After a historical discussion of classical uniformisation results for Riemann surfaces, of problems appearing in higher dimensions, and of uniformisation results for projective manifolds with trivial or ample canonical bundle, we introduce the basic technical concepts and sketch the ideas of the proofs for recent unifo…
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,695 papers · 148 categories
Trend · papers per month
48 results for “uniformisation theorem”
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.
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.
Uniformises Kähler surfaces with positive curvature to complex plane.
problem Uniformisation of complete Kähler surfaces with positive sectional curvature.
method New approach using uniformly Lipschitz plurisubharmonic weight functions and weighted holomorphic functions.
result Proves any complete non-compact Kähler surface with positive sectional curvature is biholomorphic to C^2.
The paper studies spaces of non-compact real algebraic curves and their uniformisation.
problem Understanding the spaces of non-compact real algebraic curves and their uniformisation.
method Construction of spaces of non-compact real algebraic curves and description of their connected components using Fuchsian groups.
result Any connected component of the spaces of non-compact real algebraic curves is homeomorphic to a quotient of a finite-dimensional real vector space by a discrete group.
Study projective KLT varieties with projectively flat cotangent sheaves.
problem Uniformisation problems on projective varieties with klt singularities.
method Generalising Jahnke-Radloff's work, study torus quotients and varieties with semistable cotangent sheaves and extremal Chern classes.
result Torus quotients are the only klt varieties with semistable cotangent sheaves and extremal Chern classes.
Dual Teichm\" uller spacesmath.DG
We describe in elementary geometrical terms Teichm\" uller spaces of decorated and holed surfaces. We construct explicit global coordinates on them as well as on the spaces of measured laminations with compact and closed support respectively. We show explicitly that the latter spaces are asymptotically isomorphic to th…
Motivated by the moduli theory of taut contact circles on spherical 3-manifolds, we relate taut contact circles to transversely holomorphic flows. We give an elementary survey of such 1-dimensional foliations from a topological viewpoint. We describe a complex analogue of the classical Godbillon-Vey invariant, the so-c…
We shall show that for a given homeomorphism type and a set of end invariants (including the parabolic locus) with necessary topological conditions which a topologically tame Kleinian group with that homeomorphism type must satisfy, there is an algebraic limit of minimally parabolic, geometrically finite Kleinian group…
This article is a comprised version of my doctoral thesis defended at Basel University in 1995. It concerns circle packings on compact surfaces of any genus.
We give a complete list of orbifolds uniformised by discrete non-elementary two-generator subgroups of PSL(2,C) without invariant plane whose generators and their commutator have real traces.
We discuss an alternative approach to the uniformisation problem on surfaces with boundary by representing conformal structures on surfaces of general type by hyperbolic metrics with boundary curves of constant positive geodesic curvature. In contrast to existing approaches to this problem, the boundary curves of o…
We prove a criterion for the existence of harmonic metrics on Higgs bundles that are defined on smooth loci of klt varieties. As one application, we resolve the quasi-etale uniformisation problem for minimal varieties of general type to obtain a complete numerical characterisation of singular quotients of the unit ball…
Fix a simple complex Lie group G and a principal sl(2,C) subalgebra of Lie(G). Then the moduli space of semi-stable, topologically trivial G-Higgs bundles on a hyperbolic, spin Riemann surface acquires a marked point. This is the unique C*-fixed point on the Hitchin section. We describe a universal analytic family of d…
We study the simply connected inextendable Lorentzian surfaces admitting a Killing vector field. We construct a natural family of such surfaces, that we call "universal extensions". They are characterized by a condition of symmetry, the "reflexivity", and a by a rather weak completeness assumption, the absence of "sadd…
The study characterizes quasiperiodic surfaces in pseudo-hyperbolic spaces with curvature conditions.
problem Characterizing quasiperiodic surfaces in pseudo-hyperbolic spaces.
method Curvature conditions, Gromov hyperbolicity, conformal hyperbolicity.
result Limit curves of quasiperiodic surfaces in the Einstein Universe have canonical quasisymmetric parametrizations.
Projective flatness over klt spaces and uniformisation of varieties with nef anti-canonical divisormath.AG
Criterion for projectivisation on klt spaces, characterizing quotients and stability.
problem Characterizing finite quotients of projective spaces and Abelian varieties.
method Criterion based on reflexive sheaves and stability conditions.
result Characterization of finite quotients using -Chern class inequalities and stability condition.
We study subgroups of generated by two non-commuting unipotent maps and whose product is also unipotent. We call the set of conjugacy classes of such groups. We provide a set of coordinates on that make it homeomorphic to . By considering the actio…
The paper proves the stability of a 3-ball under curvature constraints.
problem Stability of a 3-ball under L2-curvature pinching.
method Elementary computations based on Bochner formula and 2-spheres effective uniformisation result.
result The manifold is diffeomorphic to the Euclidean ball and metrically close to it.
The paper proves a special case of Yau's conjecture for Kähler surfaces.
problem Uniformization of complete noncompact Kähler surfaces with positive sectional curvature.
method Proves a complex Monge-Ampère equation to construct a plurisubharmonic weight function.
result A complete noncompact Kähler surface with positive and bounded sectional curvature is biholomorphic to \(\mathbb{C}^2\).
Slim curves on 3-sphere help spherical CR uniformizations.
problem Understanding curves on 3-sphere for CR uniformizations.
method Defining slimness, analyzing foliations, and applying to quasi-Fuchsian groups.
result Slim curves lead to spherical CR uniformizations of certain 3-manifolds.
Let be a non-compact geometrically finite hyperbolic 3-manifold without cusps of rank 1. The deformation space $\mc{H}$ of can be identified with the Teichmüller space $\mc{T}$ of the conformal boundary of as the graph of a section in $T^*\mc{T}$. We construct a Hermitian holomorphic line bundle $\mc{L}$ on…
We study the renormalized volume of asymptotically hyperbolic Einstein (AHE in short) manifolds when the conformal boundary $\pl M$ has dimension even. Its definition depends on the choice of metric on in the conformal class at infinity determined by , we denote it by ${\rm Vol}_R(M,g;…
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.
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.
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.
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.