The paper proves a Kempf-Ness theorem for non-algebraic structures.
problem Non-algebraic symplectic structures and shifted moment maps.
method Proves an affine Kempf-Ness theorem for these structures.
result Describes hyperkahler quotients of T*G.
On-device research index
arXiv research
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
169,291 papers · 148 categories
Trend · papers per month
48 results for “Kempf-Ness Theorem”
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.
The paper proves abelian convexity theorems using Kempf-Ness functions.
problem Establishing convexity along orbits in general settings.
method Using Kempf-Ness functions to prove abelian convexity theorems.
result Short proofs of Atiyah-Guillemin-Sternberg theorem and abelian convexity for gradient maps.
Geometric invariant theory for real Lie groups proved.
problem Closed orbits and null cone stratification in real reductive Lie groups.
method Completely self-contained proof focusing on geometric and analytic methods.
result Applies to non-rational linear actions.
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…
Study on line bundle flow on Kähler surfaces converging to a singular solution.
problem Analyzing the mean curvature flow on Kähler surfaces.
method Investigates the flow under hypercritical phase and semipositivity conditions.
result The flow converges to a singular solution away from curves of negative self-intersection.
Stability theory for Lie group actions on spaces.
problem Characterizing stability of points in topological spaces under Lie group actions.
method Abstract setting for actions of non-compact real reductive Lie groups, introducing maximal weight function.
result Characterization of stability, semi-stability, and polystability using numerical criteria.
The paper trivializes moment maps for various geometric structures.
problem Trivializing moment maps for different geometric structures.
method General framework of a reductive group 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 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 solves a generalized Kähler Calabi-Yau problem for nondegenerate structures.
problem Formulating a Calabi-Yau conjecture in generalized Kähler geometry for nondegenerate Poisson structures.
method Defining Hamiltonian deformation spaces, establishing uniqueness, and using GIT framework.
result All solutions are hyper-Kähler metrics, and the flow evolves within the given class.
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.
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.
Generalized gradient flows in Hadamard manifolds and convex optimization on entanglement polytopesmath.OC
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 .
result Gradient flow attains infimum in limit for basic manifolds.
Theorem analogues proven using Artin's approximation theorem.
problem Proving analogues of Moser's Theorem.
method Using Artin's approximation theorem.
result Few analogues of Moser's Theorem proven.
AI generates theorems and proofs for training theorem provers.
problem Limited human-written theorems and proofs for supervised learning.
method Proposes a neural generator to automatically synthesize theorems and proofs.
result Synthetic data improves automated theorem proving in Metamath.
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.
The paper proves a new theorem in Riemannian geometry and offers a new proof for Toponogov's theorem in Alexandrov geometry.
problem Proving new theorems in Riemannian and Alexandrov geometries.
method Inspired by the proof of the Schur-Toponogov theorem, a new proof of Toponogov's theorem is provided.
result A new theorem in Riemannian geometry and a new proof of Toponogov's theorem in Alexandrov geometry.
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.
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.
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.
Proves Markov theorem for trivalent braids using L-move approach.
problem Proving Markov theorem for trivalent braids.
method Follows L-move approach to prove Markov theorem.
result Proves one-move Markov-type theorem and algebraic Markov-type theorem for trivalent braids.
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.
New measure proves Poncelet-type theorems.
problem Proving Poncelet-type theorems.
method Introducing a new invariant measure on the circle.
result Simple proof of Emch closing theorem.
New theorem for doodles on sphere, similar to Markov's.
problem Understanding doodles on a sphere.
method Description of twins with equivalent closures.
result Analogous to Markov's theorem for doodles.
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.
Analyzes Saito vanishing theorem using methods.
problem Proving the Saito vanishing theorem.
method Uses -methods to prove the theorem.
result Analytic proof of the Saito vanishing theorem.
Extends calculus theorem to higher dimensions.
problem Calculus theorem limitations in higher dimensions.
method Type Stokes' theorem for type -chains.
result Extends fundamental theorem of calculus.
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.
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.
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.
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.
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.
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 proves compactness and rigidity of -surfaces in 3D.
problem Compactness and rigidity of -surfaces in .
method Developed a compactness theorem for -surfaces with uniform , genus, and area growth.
result Proved a rigidity theorem for convex -surfaces.
Notes on a theorem with broad applications in dynamical systems.
problem The Oseledets Multiplicative Ergodic Theorem and its applications.
method Introduction and lectures on the theorem and its generalizations.
result Introduction to the theorem and its applications.