New proofs of Donaldson-Uhlenbeck-Yau theorem using geodesic rays.
problem Donaldson-Uhlenbeck-Yau theorem implications
method Geodesic rays of Hermitian metrics
result New proofs of the theorem
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.
168,742 papers · 148 categories
Trend · papers per month
48 results for “Donaldson-Uhlenbeck-Yau theorem”
The paper proves a Donaldson-Uhlenbeck-Yau theorem for normal varieties and semistable bundles.
problem Proving a Donaldson-Uhlenbeck-Yau theorem for normal varieties and semistable bundles.
method Analyzing degenerating families of projective normal varieties and studying the limiting behavior of semistable bundles.
result Improves several previously known algebro-geometric results on normalized tautological classes and proves a new version of the singular Donaldson-Uhlenbeck-Yau theorem.
In this paper, we prove a generalized Donaldson-Uhlenbeck-Yau theorem on Higgs bundles over a class of non-compact Gauduchon manifolds.
The paper proves a theorem and characterizes connections over normal varieties.
problem The study addresses the stability and connections over normal varieties.
method The authors prove a complete version of the Donaldson-Uhlenbeck-Yau theorem and use it to show the polystability of reflexive sheaves.
result An admissible Hermitian-Yang-Mills connection defines a polystable reflexive sheaf and gives a lower bound for discriminants.
In this paper, we use the affine Hermitian-Yang-Mills flow to prove a generalized Donaldson-Uhlenbeck-Yau theorem on flat Higgs bundles over a class of non-compact affine Gauduchon manifolds.
This paper describes how, in the case of algebraic surfaces, the well-known theorem of Donaldson-Uhlenbeck-Yau can be proved in a framework of generalized 'multiplier ideal sheaves', following the ideas of Siu. The key concept is that the destabilizing sheaf satisfies a differential inclusion relation. This relation is…
The flow proves a theorem for Fano manifolds.
problem Proving a theorem for Fano manifolds using the prescribed Hermitian-Yang-Mills flow.
method Using the prescribed Hermitian-Yang-Mills flow to prove the Donaldson-Uhlenbeck-Yau theorem.
result The flow converges to a Hermitian metric satisfying the prescribed tensor condition.
The paper broadens a mathematical correspondence to include more balanced metrics.
problem Extending a mathematical correspondence to a broader class of metrics.
method Using key observations and known theorems to apply results to a new class of metrics.
result The known results can be applied to a larger class of metrics, including those arising from multipolarizations.
Hermitian Yang-Mills metrics on reflexive sheaves over asymptotically cylindrical Kähler manifoldsmath.DG
We prove an analogue of the Donaldson-Uhlenbeck-Yau theorem for asymptotically cylindrical Kähler manifolds: If is a reflexive sheaf over an ACyl Kähler manifold, which is asymptotic to a -stable holomorphic vector bundle, then it admits an asymptotically translation-invariant protectively Hermitian Ya…
This is a sequel of our paper [arXiv:1809.08425] on the Quot-scheme limit and variational properties of Donaldson's functional, which established its coercivity for slope stable holomorphic vector bundles over smooth projective varieties. Assuming that the coercivity is uniform in a certain sense, we provide a new proo…
We develop a theory of stable bundles and affine Hermitian-Einstein metrics for flat vector bundles over a special affine manifold (a manifold admitting an atlas whose gluing maps are all locally constant volume-preserving affine maps). Our paper presents a parallel to Donaldson-Uhlenbeck-Yau's proof of the existence o…
Introduces gauge theory for string algebroids, solving Calabi system.
problem Solving coupled equations for Calabi problem and Hull-Strominger system.
method Moment map picture with Hamiltonian gauge action, inner automorphisms of Courant algebroids.
result Moduli space carries pseudo-Kähler metric with Kähler potential given by dilaton functional.
Existence of twisted Hermitian-Einstein metrics on unstable vector bundles
problem Existence of twisted Hermitian-Einstein metrics on unstable holomorphic vector bundles
method Prove the existence of a unique smooth solution to the twisted Hermitian-Einstein equation
result The twisted Hermitian-Einstein equation admits a unique smooth solution
This work extends Chern correspondence to higher gauge theory.
problem Generalizing Chern correspondence to higher gauge theory.
method Defined connective structures on multiplicative gerbes and proposed a complexification for 2-groups.
result Established a Chern correspondence for holomorphic principal 2-bundles.
In this paper we study the relationship between three compactifications of the moduli space of Hermitian-Yang-Mills connections on a fixed Hermitian vector bundle over a projective algebraic manifold of arbitrary dimension. Via the Donaldson-Uhlenbeck-Yau theorem, this space is analytically isomorphic to the moduli spa…
Study of ALF manifolds via hyperkahler quotients of affine spaces.
problem Resolving flat orbifold quotients of .
method Infinite-dimensional generalization of Kronheimer's construction, hyperkahler quotients of affine spaces, singular equivariant instantons, stability of Nahm data.
result Construction of the family of ALF manifolds as a deformation of the flat orbifold .
Study hermitian Yang-Mills connections on pullback bundles for holomorphic submersions.
problem Investigate hermitian Yang-Mills connections on pullback bundles for holomorphic submersions.
method Obtain a criterion for the existence of hermitian Yang-Mills connections on pullback bundles, using intersection numbers on the base.
result Determine conditions under which pullback bundles of stable or unstable bundles remain stable or unstable for adiabatic classes.
Constructs a moduli space for PDEs, linking stability to geometric metrics.
problem Moduli space construction for involutive ideal sheaves from PDEs.
method Introduces -Hilbert and -Quot functors, defines Spencer stability.
result Spencer poly-stability of PDE ideal implies Hermitian-Yang-Mills metric existence.
Let be a compact connected Kähler manifold equipped with an anti-holomorphic involution which is compatible with the Kähler structure. Let be a connected complex reductive affine algebraic group equipped with a real form . We define pseudo-real principal --bundles on ; these are generalizations of re…
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.
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.
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.
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.
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.
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.
Some Kollar-Enoki type injectivity and Nadel type vanishing theorems on compact Kahler manifoldsmath.AG
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
Analytic Bertini theoremmath.AG
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.