Develops infinite-dimensional Kempf-Ness theory for complexification-free groups.
problem Infinite-dimensional Kempf-Ness theorem challenges due to lack of complexification.
method Uses Cartan bundles to generalize theory, defining essential objects.
result Establishes convexity properties and generalized Futaki character.
We prove a version of the affine Kempf-Ness theorem for non-algebraic symplectic structures and shifted moment maps, and use it to describe hyperkahler quotients of T*G, where G is a complex reductive group.
For linear actions of real reductive Lie groups we prove the Kempf-Ness Theorem about closed orbits and the Kirwan-Ness Stratification Theorem of the null cone. Since our completely self-contained proof focuses strongly on geometric and analytic methods, essentially avoiding any deep algebraic result, it applies also t…
This note contains some observations on abelian convexity theorems. Convexity along an orbit is established in a very general setting using Kempf-Ness functions. This is applied to give short proofs of the Atiyah-Guillemin-Sternberg theorem and of abelian convexity for the gradient map in the case of a real analytic su…
Proves non-positivity of Hirzebruch form on stable weights and connects to flat logarithmic connections.
problem Non-positivity of Hirzebruch form on stable weights
method Kempf--Ness and frame-potential inequality
result Zero locus of Hirzebruch form on stable weights corresponds to flat logarithmic connections
The purpose of this paper is to give a self-contained exposition of the Atiyah-Bott picture for the Yang-Mills equation over Riemann surfaces with an emphasis on the analogy to finite dimensional geometric invariant theory. The main motivation is to provide a careful study of the semistable and unstable orbits: This in…
The paper trivializes moment maps for various geometric structures.
problem Trivializing moment maps for different geometric structures.
method General framework of a reductive group G acting on a smooth affine variety, using Kempf-Ness theory, Morse theory, and ideas from Nakajima and Kronheimer. result Locally trivial fibration of moment maps over a regular locus of the center of the Lie algebra of a maximal compact subgroup.
We formulate a Calabi-Yau type conjecture in generalized Kähler geometry, focusing on the case of nondegenerate Poisson structure. After defining natural Hamiltonian deformation spaces for generalized Kähler structures generalizing the notion of Kähler class, we conjecture unique solvability of Gualtieri's Calabi-Yau e…
We prove that constant scalar curvature Kähler metric "adjacent" to a fixed Kähler class is unique up to isomorphism. This extends the uniqueness theorem of Donaldson and Chen-Tian, and formally fits into the infinite dimensional G.I.T picture described by Donaldson. We prove that the Calabi flow near a cscK metric exi…
Study on octonionic Nahm's equations and their moduli space properties.
problem Properties of octonionic Nahm's equations and their moduli space.
method Analyzing basic properties, constructing solutions, introducing symmetry, proving theorems.
result Moduli space of smooth solutions to octonionic Nahm's equations over [0,1] is a star-shaped smooth manifold.
The paper studies conditions for graphs connecting level sets of harmonic polynomials.
problem Conditions for graphs connecting level sets of harmonic polynomials.
method Algebraic properties and Kempf-Ness functional construction.
result Stability condition equivalent to the existence of a solution to the deformed Hermitian-Yang-Mills equation.
Geometric invariant theory introduces stability conditions mirroring abelian category theory.
problem Stability conditions in geometric invariant theory.
method Axiomatic notion of central charge and stability condition on schemes and stacks.
result Introduction of stability conditions for polarized schemes and smooth projective varieties.
Study local perturbations of vector bundles with polynomial curvature solutions.
problem Existence and stability of solutions to geometric PDEs under deformations.
method Geometric invariant theory, moment map framework, polystability conditions.
result Existence and uniqueness of solutions under local polystability conditions.
Regularization leads to balancedness in deep linear networks.
problem Balancedness in deep linear networks.
method Geometric invariant theory and Riemannian geometry of fibers.
result Balancing flows converge to the balanced manifold at a uniform exponential rate.
We study the line bundle mean curvature flow on Kähler surfaces under the hypercritical phase and a certain semipositivity condition. We naturally encounter such a condition when considering the blowup of Kähler surfaces. We show that the flow converges smoothly to a singular solution to the deformed Hermitian-Yang-Mil…
We give a systematic treatment of the stability theory for action of a real reductive Lie group G on a topological space. More precisely, we introduce an abstract setting for actions of non-compact real reductive Lie groups on topological spaces that admit functions similar to the Kempf-Ness function. The point of this…
Gradient descent on Hadamard manifolds converges to boundary points, solving optimization problems.
problem Optimization on Hadamard manifolds with unbounded convex functions.
method Gradient descent, duality theorem, moment-weight inequality.
result Gradient descent converges to boundary points, solving optimization problems.
Paper addresses optimization on Hadamard manifolds, generalizing gradient flow.
problem Optimization of convex functions on Hadamard manifolds.
method Introduces a generalized gradient flow to minimize Q(dfx). result Gradient flow attains infimum in limit for basic manifolds.
Global inverse function theorem proved easily using Riemannian geometry.
problem Global inverse function theorem in Riemannian geometry.
method Hopf--Rinow theorem in Riemannian geometry.
result Hadamard's global inverse function theorem is proven easily.
A new comparison theorem for geometric spaces.
problem Geometric space comparison theorems.
method Relative form of Toponogov comparison theorem.
result New geometric space comparison theorem established.
Paper develops formulas and theorems in Hermitian geometry.
problem None explicitly stated in the abstract.
method Develops second variational formulas and index forms in Hermitian geometry.
result Establishes results analogous to classical theorems in Riemannian geometry.
The paper proves three circles theorems and Liouville type theorems for subharmonic and holomorphic functions.
problem Establishing theorems for subharmonic and holomorphic functions on specific geometric structures.
method Using subharmonic and holomorphic functions on Riemannian manifolds and gradient shrinking Ricci solitons.
result Proves Liouville type theorems as applications of the established theorems.
Revises a theorem by Thurston, finding a counter-example and a weaker version.
problem The bounded image theorem in Haken manifolds.
method Providing a counter-example and a weaker version of the second statement of Thurston's theorem.
result A counter-example and a weaker version of the second statement of Thurston's theorem are presented.
Proofs for Moon's theorem and its generalization.
problem Proving Moon's theorem and its generalization.
method Proofs based on key lemmas.
result Generalization of the four-vertex theorem.
We consider the task of automated theorem proving, a key AI task. Deep learning has shown promise for training theorem provers, but there are limited human-written theorems and proofs available for supervised learning. To address this limitation, we propose to learn a neural generator that automatically synthesizes the…
Analyzes Saito vanishing theorem using L2 methods.
problem Proving the Saito vanishing theorem.
method Uses L2-methods to prove the theorem. result Analytic proof of the Saito vanishing theorem.
Investigates proving geometric theorems over complex and real numbers using tilings.
problem Proving incidence theorems over C and R using the master theorem.
method Formalizes tiling proofs and introduces a hierarchy of theorems based on topological spaces.
result Identifies which theorems can or cannot be proved over C and R.
Extends symplectic reduction and theorem to Lie algebroids.
problem Symplectic reduction and theorem for Lie algebroids.
method Extends Marsden-Weinstein reduction and Darboux-Moser-Weinstein theorems.
result Obtained coisotropic embedding theorem for symplectic Lie algebroids.
Paper generalizes complex Brunn-Minkowski theory and proves new extension theorems.
problem Complex Brunn-Minkowski theory and extension theorems.
method Hilbert bundle approach to complex Brunn-Minkowski theory.
result Generalizes Guan's sharp strong openness theorem and sharp Ohsawa-Takegoshi extension theorem.
Proves Thurston's bounded image theorem for Haken manifolds.
problem Proving Thurston's bounded image theorem for Haken manifolds.
method Using recent developments in Kleinian group theory.
result A proof of Thurston's original bounded image theorem.
Method upgrades limit theorems to mixing limit theorems for dynamical systems.
problem Improving limit theorems for dynamical systems.
method General method for upgrading limit theorems to mixing limit theorems.
result Mixing limit theorems for specific subbundles of the Kontsevich-Zorich cocycle.
Formulates Index III lemma and Rauch III theorem with applications.
problem Develops new mathematical theorems based on existing ones.
method Formulation of Index III lemma and Rauch III theorem based on Index I, II lemmas and Rauch I, II theorems.
result Presented Rauch's type theorem and volume comparison result as applications.
In LM, we proved a family version of the famous Witten rigidity theorems and several family vanishing theorems for elliptic genera. In this paper, we gerenalize our theorems LM in two directions. First we establish a family rigidity theorem for the Dirac operator on loop space twisted by general positive energy loop gr…
The paper explains the topological origin of the distinction between incidence theorems over division rings and fields.
problem Understanding the distinction between incidence theorems over division rings and fields.
method Extending the surface-graph approach to noncommutative settings, the paper analyzes the topological properties of graphs embedded on surfaces of different genera.
result Theorems associated with graphs on the sphere hold over any division ring, while those on surfaces of positive genus typically hold only if the ground ring is a field.
Proves two theorems on odd-dimensional manifolds with boundary.
problem Proving theorems on manifolds with boundaries.
method Proof of theorems using mathematical techniques.
result Proved the general Kastler-Kalau-Walze and Dabrowski-Sitarz-Zalecki type theorems.
Sharp convergence theorem for sphere submanifolds proved.
problem Sphere submanifolds in spheres.
method Proved a sharp convergence theorem.
result New differentiable sphere theorem for submanifolds in spheres.
INT benchmark tests theorem proving agents' ability to generalize to unseen theorems.
problem Evaluating theorem proving agents' ability to generalize to unseen theorems.
method INT benchmark based on a theorem generation and proof procedure with adjustable knobs for measuring 6 types of generalization.
result MCTS can help agents prove new theorems.
A homological selection theorem for C-spaces, as well as, a finite-dimensional homological selection theorem is established. We apply the finite-dimensional homological selection theorem to obtain fixed-point theorems for usco homologically UV^n set-valued maps.
Abstracts a theorem for non-smooth maps in infinite dimensions.
problem Generalizing inverse mapping theorem for non-smooth maps.
method Introduces property A and applies it to non-smooth maps.
result Generalized inverse mapping theorems for non-smooth maps.
Atiyah-Singer theorem links math fields, predicts topological insights.
problem Understanding the interplay between analysis, geometry, and topology.
method Analyzes and generalizes topological invariants in differential geometry.
result Predicts the index of elliptic operators based on topology.
Paper generalizes a theorem for real analytic singularities.
problem No specific problem stated; focuses on generalization.
method Generalization of a theorem for complex singularities.
result Generalized Join theorem for real analytic singularities.
The paper proves injectivity and vanishing theorems on compact Kahler manifolds.
problem Injectivity and vanishing theorems on compact Kahler manifolds.
method Hodge theory, Bochner-Kodaira-Nakano identity, analytic method, transcendental method, Demailly-Peternell-Schneider equisingular approximation theorem, Hormander L2 estimates.
result The main injectivity theorem implies several Nadel type vanishing theorems.
Several proofs of Fáry--Milnor theorem are presented.
problem Fáry--Milnor theorem
method Sketches several proofs
result Proofs of Fáry--Milnor theorem
Reidemeister's theorem proved using smooth functions and transversality.
problem Proving Reidemeister's theorem
method Using smooth functions and transversality
result Reidemeister's theorem proved
Proves an analytic Bertini theorem, generalizing previous work.
problem Generalizing previous results in algebraic geometry.
method Analytic Bertini theorem proof.
result Generalizes previous results in algebraic geometry.
This note explores comparison geometry concepts and theorems.
problem Exploring various comparison theorems in geometry.
method Analyzes Rauch and Toponogov theorems and their applications.
result Introduction of Gromov-Hausdorff convergence and Alexandrov Spaces.
Proof of Tait-Kneser theorem and related variations using Lorentzian geometry.
problem Proving variations of the Tait-Kneser theorem for different conics.
method Using Lorentzian geometry to prove the theorem and its variations.
result Proof of the theorem and its variations concerning different conics.
Proves Skoda's Division Theorem using degeneration and positivity of direct image bundles.
problem Division Theorem in Skoda's context
method Degeneration approach inspired by B. Berndtsson and L. Lempert's L2 extension theorem result Simplified and extended proof of L2 extension theorem