The Greene-Krantz Conjecture in Dimension Two

Steven G. Krantz

DOI: https://doi.org/10.48550/arXiv.1307.5350

2013-12-25

Abstract:We give a proof of the Greene-Krantz conjecture on convex domains in $\CC^2$. Curiously, the proof technique depends on subelliptic estimates for the $\bar{\partial}$ problem.

Complex Variables

What problem does this paper attempt to address?

Geometry of Complex Bounded Domains with Finite-Volume Quotients

Kefeng Liu,Yunhui Wu

DOI: https://doi.org/10.48550/arxiv.1801.00459

2018-01-01

Abstract:We first show that for a bounded pseudoconvex domain with a manifold quotient of finite-volume in the sense of Kahler-Einstein measure, the identity component of the automorphism group of this domain is semi-simple without compact factors. This partially answers an open question in [Fra95]. Then we apply this result in different settings to solve several open problems, for examples, (1). We prove that the automorphism group of the Griffiths domain [Gri71] in ℂ^2 is discrete. This gives a complete answer to an open question raised four decades ago. (2). We show that for a contractible HHR/USq complex manifold D with a finite-volume manifold quotient M, if D contains a one-parameter group of holomorphic automorphisms and the fundamental group of M is irreducible, then D is biholomorphic to a bounded symmetric domain. This theorem can be viewed as a finite-volume version of Nadel-Frankel's solution for the Kahzdan conjecture, which has been open for years. (3). We show that for a bounded convex domain D⊂ℂ^n of C^2-smooth boundary, if D has a finite-volume manifold quotient with an irreducible fundamental group, then D is biholomorphic to the unit ball in ℂ^n, which partially solves an old conjecture of Yau. For (2) and (3) above, if the complex dimension is equal to 2, more refined results will be provided.
Relatively hyperbolic groups with planar boundaries

G. Christopher Hruska,Genevieve S. Walsh

2024-07-02

Abstract:In this article, we prove a version of Martin and Skora's conjecture that convergence groups on the $2$-sphere are covered by Kleinian groups. Given a relatively hyperbolic group pair $(G,\mathcal{P})$ with planar boundary and no Sierpinski carpet or cut points in its boundary, and with $G$ one ended and virtually having no $2$-torsion, we show that $G$ is virtually Kleinian. We also give applications to various versions of the Cannon conjecture and to convergence groups acting on $S^2$.

Group Theory,Geometric Topology
The Koebe Conjecture and the Weyl Problem for Convex Surfaces in Hyperbolic 3-Space

Feng Luo,Tianqi Wu

DOI: https://doi.org/10.1016/j.aim.2024.109969

IF: 1.675

2024-01-01

Advances in Mathematics

Abstract:We prove that the Koebe circle domain conjecture is equivalent to the Weyl type problem that every complete hyperbolic surface of genus zero is isometric to the boundary of the hyperbolic convex hull of the complement of a circle domain. It provides a new way to approach the Koebe's conjecture using convex geometry. Combining our result with the work of He-Schramm on the Koebe conjecture, one establishes that every simply connected non-compact polyhedral surface is discrete conformal to the complex plane or the open unit disk. The main tool we use is Schramm's transboundary extremal lengths.
Proof of the Caratheodory Conjecture

Brendan Guilfoyle,Wilhelm Klingenberg

2024-10-02

Abstract:A well-known conjecture of Caratheodory states that the number of umbilic points on a closed convex surface in ${\mathbb E}^3$ must be greater than one. In this paper we prove this for $C^{3+\alpha}$-smooth surfaces. The Conjecture is first reformulated in terms of complex points on a Lagrangian surface in $TS^2$, viewed as the space of oriented geodesics in ${\mathbb E}^3$. Here complex and Lagrangian refer to the canonical neutral Kaehler structure on $TS^2$. We then prove that the existence of a closed convex surface with only one umbilic point implies the existence of a totally real Lagrangian hemisphere in $TS^2$, to which it is not possible to attach the edge of a holomorphic disc. The main step in the proof is to establish the existence of a holomorphic disc with edge contained on any given totally real Lagrangian hemisphere. To construct the holomorphic disc we utilize mean curvature flow with respect to the neutral metric. Long-time existence of this flow is proven by a priori estimates and we show that the flowing disc is asymptotically holomorphic. Existence of a holomorphic disc is then deduced from Schauder estimates.

Differential Geometry,Analysis of PDEs,Symplectic Geometry
Koebe conjecture and the Weyl problem for convex surfaces in hyperbolic 3-space

Feng Luo,Tianqi Wu

2024-10-04

Abstract:We prove that the Koebe circle domain conjecture is equivalent to the Weyl type problem that every complete hyperbolic surface of genus zero is isometric to the boundary of the hyperbolic convex hull of the complement of a circle domain. It provides a new way to approach the Koebe's conjecture using convex geometry. Combining our result with the work of He-Schramm on the Koebe conjecture, one establishes that every simply connected non-compact polyhedral surface is discrete conformal to the complex plane or the open unit disk. The main tool we use is Schramm's transboundary extremal lengths.

Geometric Topology,Complex Variables
On the Bergman Projection and the Lu Qi-Keng Conjecture

Steven G. Krantz

DOI: https://doi.org/10.48550/arXiv.1306.4382

2013-06-19

Abstract:On a reasonable class of domains in $\CC^n$, we characterize those holomorphic functions which continue analytically past the boundary. Then we give some applications of this result to holomorphic mappings. In addition, some new results about the Lu Qi-Keng conjecture are treated.

Complex Variables
Two new proofs of partial Godbersen's Conjecture

Lin Cheng

2024-06-05

Abstract:Two new proofs are provided, offering two new perspectives on Godbersen's conjecture. One of the proofs utilizes Helly's theorem to provide a concise and elegant proof of the inequality in Godbersen's conjecture. The other proof utilizes the Brunn-Minkowski inequality to provide a completely new proof of the inclusion $-K\subset nK$ for convex bodies $K$ with centroid at the origin, thereby proving Godbersen's conjecture.

Metric Geometry,Combinatorics
Action of the automorphism group on the Jacobian of Klein's quartic curve II: Invariant theta functions

Dimitri Markushevich,Anne Moreau

2024-07-07

Abstract:Bernstein-Schwarzman conjectured that the quotient of a complex affine space by an irreducible complex crystallographic group generated by reflections is a weighted projective space. The conjecture was proved by Schwarzman and Tokunaga-Yoshida in dimension 2 for almost all such groups, and for all crystallographic reflection groups of Coxeter type by Looijenga, Bernstein-Schwarzman and Kac-Peterson in any dimension. We prove that the conjecture is true for the crystallographic reflection group in dimension 3 for which the associated collineation group is Klein's simple group of order 168. In this case the quotient is the 3-dimensional weighted projective space with weights 1, 2, 4, 7. The main ingredient in the proof is the computation of the algebra of invariant theta functions. Unlike the Coxeter case, the invariant algebra is not free polynomial, and this was the major stumbling block.

Algebraic Geometry
GL(2,R) Orbit Closures in Hyperelliptic Components of Strata

Paul Apisa

DOI: https://doi.org/10.48550/arXiv.1508.05438

2015-08-21

Dynamical Systems

Abstract:The object of this paper is to study GL(2,R) orbit closures in hyperelliptic components of strata of abelian differentials. The main result is that all higher rank affine invariant submanifolds in hyperelliptic components are branched covering constructions, i.e. every translation surface in the affine invariant submanifold covers a translation surface in a lower genus hyperelliptic component of a stratum of abelian differentials. This result implies finiteness of algebraically primitive Teichmuller curves in all hyperelliptic components for genus greater than two. A classification of all GL(2, R) orbit closures in hyperelliptic components of strata (up to computing connected components and up to finitely many nonarithmetic rank one orbit closures) is provided. Our main theorem resolves a pair of conjectures of Mirzakhani in the case of hyperelliptic components of moduli space.
Proof of the Kresch-Tamvakis Conjecture

John S. Caughman,Taiyo S. Terada

2023-09-16

Abstract:In this paper we resolve a conjecture of Kresch and Tamvakis. Our result is the following. Theorem: For any positive integer $D$ and any integers $i,j$ $(0\leq i,j \leq D)$, the absolute value of the following hypergeometric series is at most 1: \begin{equation*} {_4F_3} \left[ \begin{array}{c} -i, \; i+1, \; -j, \; j+1 \\ 1, \; D+2, \; -D \end{array} ; 1 \right]. \end{equation*} To prove this theorem, we use the Biedenharn-Elliott identity, the theory of Leonard pairs, and the Perron-Frobenius theorem.

Number Theory,Algebraic Geometry,Classical Analysis and ODEs,Combinatorics
On certain extremal Banach-Mazur distances in small dimensions

Florian Grundbacher,Tomasz Kobos

2024-07-12

Abstract:We study the maximal possible Banach-Mazur distance for certain pairs of symmetric convex bodies. A classical consequence of the John Ellipsoid Theorem is that the Banach-Mazur distance of a symmetric convex body $K \subseteq \mathbb{R}^n$ to the $n$-dimensional Euclidean ball is not greater than $\sqrt{n}$. Equality holds in every dimension $n$ for the unit balls of $\ell_1^n$ and $\ell_{\infty}^n$, that is, for cross-polytopes and parallelotopes in dimension $n$. While it is known that in dimension $n \geq 4$, there are more convex bodies (not affinely equivalent to either of the previous two) with the distance $\sqrt{n}$ to the ball, and that for $n=2$ the parallelogram is unique, the characterization of the equality case for dimension $n=3$ seems to have never been published. We prove that the three-dimensional cross-polytopes and parallelotopes are the only symmetric convex bodies in $\mathbb{R}^3$ with the distance $\sqrt{3}$ to the Euclidean ball. Moreover, in the planar case we establish the stability of the uniqueness of the parallelogram with the best possible (linear) order of the estimate. We also consider the maximal possible Banach-Mazur distance between planar $1$-symmetric convex bodies. In this case, we prove that the maximal possible distance is $\sqrt{2}$ and characterize the equality case, which again involves a parallelogram.

Metric Geometry,Functional Analysis
The Giroux Correspondence in dimension 3

Joan Licata,Vera Vértesi

2024-08-02

Abstract:In an earlier paper, the authors proved the Giroux Correspondence for tight contact $3$-manifolds via convex Heegaard surfaces. Simultaneously, Breen, Honda and Huang gave an all-dimensions proof of the Giroux Correspondence by generalising convex surface theory to higher dimensions. This paper uses a key result about relations of bypasses to complete the $3$-dimensional proof for arbitrary (not necessarily tight) contact 3-manifolds. This presentation features low-dimensional techniques and further clarifies the relationship between contact manifolds and their Heegaard splittings.

Geometric Topology
A Furstenberg-type problem for circles, and a Kaufman-type restricted projection theorem in $\mathbb{R}^3$

Malabika Pramanik,Tongou Yang,Joshua Zahl

2024-10-26

Abstract:We resolve a conjecture of Fässler and Orponen on the dimension of exceptional projections to one-dimensional subspaces indexed by a space curve in $\mathbb{R}^3$. We do this by obtaining sharp $L^p$ bounds for a variant of the Wolff circular maximal function over fractal sets for a class of $C^2$ curves related to Sogge's cinematic curvature condition. A key new tool is the use of lens cutting techniques from discrete geometry.

Classical Analysis and ODEs,Metric Geometry
Proof of Audenaert-Kittaneh's Conjecture

Teng Zhang

2024-07-31

Abstract:By using the Three-lines theorem for a certain analytic function defined in terms of the trace and a duality argument method, we prove Audenaert-Kittaneh's conjecture related to $p$-Schatten classes. This generalizes the main result obtained by McCarthy in [Israel J. Math. 5 (1967)].

Functional Analysis,Operator Algebras
Proof of the Toponogov Conjecture on Complete Surfaces

Brendan Guilfoyle,Wilhelm Klingenberg

2024-09-28

Abstract:We prove a conjecture of Toponogov on complete convex planes, namely that such planes must contain an umbilic point, albeit at infinity. Our proof is indirect. It uses Fredholm regularity of an associated Riemann-Hilbert boundary value problem and an existence result for holomorphic discs with Lagrangian boundary conditions, both of which apply to a putative counterexample. Corollaries of the main theorem include a Hawking-Penrose singularity-type theorem, as well as the proof of a conjecture of Milnor's from 1965 in the convex case.

Differential Geometry
The geometric cone conjecture in relative dimension two

Joaquín Moraga,Talon Stark

2024-09-20

Abstract:Let $X\rightarrow S$ be a fibration of relative dimension at most two and let $(X,\Delta)$ be a klt pair for which $K_X+\Delta \equiv_S 0$. We show that there are only finitely many Mori chambers and Mori faces in the movable effective cone $\mathcal{M}^e(X/S)$ up to the action of relative pseudo-automorphisms of $X/S$ preserving $\Delta$.

Algebraic Geometry
A geometric $C_2$-equivariant Bézout Theorem

Steven R. Costenoble,Thomas Hudson

2023-12-01

Abstract:Classically, Bézout's theorem says that an intersection of hypersurfaces in a projective space is rationally equivalent to a number of copies of a smaller projective space, the number depending on the degrees of the hypersurfaces. We give a generalization of that result to the context of $C_2$-equivariant hypersurfaces in $C_2$-equivariant linear projective space, expressing the intersection as a linear combination of equivariant Schubert varieties.

Algebraic Topology,Algebraic Geometry
Outline of the proof of the geometric Langlands conjecture for GL(2)

Dennis Gaitsgory

DOI: https://doi.org/10.48550/arXiv.1302.2506

2013-02-11

Algebraic Geometry

Abstract:We outline a proof of the categorical geometric Langlands conjecture for GL(2), as formulated in reference [AG], modulo a number of more tractable statements that we call Quasi-Theorems.
On the strange duality conjecture for elliptic K3 surfaces

Alina Marian,Dragos Oprea

DOI: https://doi.org/10.48550/arXiv.0902.3052

2010-05-01

Abstract:The more recent paper "Generic strange duality for K3 surfaces" by the authors contains stronger results.

Algebraic Geometry
INTERIOR C-2 REGULARITY OF CONVEX SOLUTIONS TO PRESCRIBING SCALAR CURVATURE EQUATIONS

Pengeli Guan,Guohuan Qiu

DOI: https://doi.org/10.1215/00127094-2019-0001

2019-01-01

Duke Mathematical Journal

Abstract:We establish interior $C^2$ estimates for convex solutions of scalar curvature equation and $\sigma_2$-Hessian equation. We also prove interior curvature estimate for isometrically immersed hypersurfaces $(M^n,g)\subset \mathbb R^{n+1}$ with positive scalar curvature. These estimates are consequences of an interior estimate for these equations obtained under a weakened condition.

The Greene-Krantz Conjecture in Dimension Two

Geometry of Complex Bounded Domains with Finite-Volume Quotients

Relatively hyperbolic groups with planar boundaries

The Koebe Conjecture and the Weyl Problem for Convex Surfaces in Hyperbolic 3-Space

Proof of the Caratheodory Conjecture

Koebe conjecture and the Weyl problem for convex surfaces in hyperbolic 3-space

On the Bergman Projection and the Lu Qi-Keng Conjecture

Two new proofs of partial Godbersen's Conjecture

Action of the automorphism group on the Jacobian of Klein's quartic curve II: Invariant theta functions

GL(2,R) Orbit Closures in Hyperelliptic Components of Strata

Proof of the Kresch-Tamvakis Conjecture

On certain extremal Banach-Mazur distances in small dimensions

The Giroux Correspondence in dimension 3

A Furstenberg-type problem for circles, and a Kaufman-type restricted projection theorem in $\mathbb{R}^3$

Proof of Audenaert-Kittaneh's Conjecture

Proof of the Toponogov Conjecture on Complete Surfaces

The geometric cone conjecture in relative dimension two

A geometric $C_2$-equivariant Bézout Theorem

Outline of the proof of the geometric Langlands conjecture for GL(2)

On the strange duality conjecture for elliptic K3 surfaces

INTERIOR C-2 REGULARITY OF CONVEX SOLUTIONS TO PRESCRIBING SCALAR CURVATURE EQUATIONS