arxiv: 2604.27337 · v2 · submitted 2026-04-30 · 🧮 math.CV

Recognition: 2 theorem links

· Lean Theorem

Geometry of bounded generic domains with piecewise smooth boundary

Lang Wang, Xingsi Pu

Pith reviewed 2026-05-11 00:50 UTC · model grok-4.3

classification 🧮 math.CV

keywords squeezing functionLevi flatbidiskTeichmüller spacebiholomorphismgeneric convex domainpiecewise smooth boundary

0 comments

The pith

A two-dimensional bounded generic convex domain with piecewise C²-smooth boundary that admits a finite volume quotient is biholomorphic to the bidisk.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a relationship between the polydisk squeezing function and Levi flatness on bounded generic convex domains: the squeezing function attains its supremum if and only if the domain is Levi flat. This link is used to classify two-dimensional bounded generic convex domains with piecewise C²-smooth boundary that admit finite volume quotients as biholomorphic to the bidisk. It also proves that Teichmüller spaces T_g for g≥2 cannot be biholomorphic to any bounded generic domain with piecewise C²-smooth boundary. A sympathetic reader would care because the result imposes rigidity on the possible complex structures of domains satisfying these smoothness and quotient conditions.

Core claim

On bounded generic convex domains the squeezing function corresponding to the polydisk attains its supremum if and only if the domain is Levi flat. As an application, any two-dimensional bounded generic convex domain with piecewise C²-smooth boundary that admits a finite volume quotient is biholomorphic to the bidisk. Moreover, any Teichmüller space T_g with g≥2 cannot be biholomorphic to a bounded generic domain with piecewise C²-smooth boundary.

What carries the argument

The polydisk squeezing function and its relation to Levi flatness, which serves as the criterion for the biholomorphic classification.

If this is right

Two-dimensional bounded generic convex domains with piecewise C²-smooth boundary and finite volume quotients are biholomorphic to the bidisk.
Teichmüller spaces T_g for g≥2 cannot be biholomorphic to bounded generic domains with piecewise C²-smooth boundary.
The polydisk squeezing function attaining its supremum implies the domain is Levi flat for these convex domains.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This rigidity may restrict the possible automorphism groups or holomorphic sectional curvatures of domains satisfying the boundary and quotient conditions.
The approach could extend to questions about whether other moduli spaces admit realizations as bounded generic domains.
It connects squeezing-function methods to the study of finite-volume quotients in complex geometry.

Load-bearing premise

The equivalence between the polydisk squeezing function attaining its supremum and the domain being Levi flat holds for bounded generic convex domains.

What would settle it

A two-dimensional bounded generic convex domain with piecewise C²-smooth boundary and a finite volume quotient that is not biholomorphic to the bidisk would falsify the classification.

read the original abstract

In this paper, we study the geometry of bounded domains with piecewise smooth boundary. Specifically, we obtain the relationship between the squeezing function corresponding to polydisk and Levi flatness on bounded generic convex domains. As an application, we prove that a two dimensional bounded generic convex domain with piecewise $C^2$-smooth boundary that admits a finite volume quotient is biholomorphic to bidisk. Moreover, we show that any Teichm$\ddot{\operatorname{u}}$ller space $\mathcal{T}_g$ with $g\geq2$ can not be biholomorphic to a bounded generic domain with piecewise $C^2$-smooth boundary.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper links the polydisk squeezing function to Levi flatness on generic convex domains to classify 2D finite-volume-quotient cases as bidisks and rule out Teichmüller spaces.

read the letter

The one or two things to know: this paper links the polydisk squeezing function attaining its supremum to the domain being Levi flat on bounded generic convex domains, and uses that to prove that a two-dimensional bounded generic convex domain with piecewise C²-smooth boundary admitting a finite volume quotient is biholomorphic to the bidisk. It also shows that Teichmüller spaces with genus at least 2 cannot be biholomorphic to any bounded generic domain with that boundary regularity. The new part is that relationship between the squeezing function and Levi flatness, which appears to be a fresh observation for these domains. The paper does a good job applying it directly to the classification and the exclusion of Teichmüller spaces without relying on heavy additional tools. The arguments look sound. They define the domains clearly and analyze the squeezing function to get the Levi flat conclusion even with the piecewise boundary. The finite volume quotient is used to force the biholomorphism in dimension 2. There is no sign of circular reasoning or invented entities. Soft spots are minor. The boundary is only piecewise C2, so some care is needed near the edges, but the paper seems to handle the estimates. If the squeezing function analysis has any gap in the generic convex case, it would be worth checking, but nothing major stands out. This paper is for people working in complex geometry, particularly those interested in bounded domains in several variables, squeezing functions, and connections to Teichmüller theory. A reader focused on moduli spaces or holomorphic geometry would get concrete results from it. I recommend sending this to peer review. The results are specific and the approach is direct enough to warrant referee attention.

Referee Report

0 major / 3 minor

Summary. The paper studies bounded generic convex domains with piecewise smooth boundary in complex geometry. It establishes that for such domains the polydisk squeezing function attains its supremum precisely when the domain is Levi flat. This relationship is applied to show that any two-dimensional bounded generic convex domain with piecewise C²-smooth boundary admitting a finite-volume quotient is biholomorphic to the bidisk, and that no Teichmüller space T_g (g ≥ 2) is biholomorphic to a bounded generic domain with piecewise C²-smooth boundary.

Significance. If the results are correct, the work supplies an analytic criterion linking the polydisk squeezing function to Levi flatness under only piecewise C² boundary regularity, yielding a clean classification in dimension two and a negative result excluding Teichmüller spaces from this class of domains. The direct analysis of the squeezing function without additional fitted parameters is a methodological strength.

minor comments (3)

The definition of 'generic convex domain' (presumably in §2) should be stated explicitly with all required convexity and genericity conditions, as the subsequent squeezing-function estimates depend on it.
In the statement of the main theorem on the squeezing function (likely Theorem 3.1 or 4.2), clarify whether the piecewise C² hypothesis is used only for the boundary or also for the interior estimates; a short remark on the extension of the function across the corners would help.
The application to Teichmüller spaces would benefit from a one-sentence reminder of why T_g cannot be Levi flat, even if this is standard.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the positive assessment, including the recommendation for minor revision. The referee's summary accurately captures the main results concerning the relationship between the polydisk squeezing function and Levi flatness, as well as the applications to two-dimensional domains with finite-volume quotients and the exclusion of Teichmüller spaces.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper defines bounded generic convex domains and proves via direct analysis that the polydisk squeezing function attains its supremum precisely when the domain is Levi flat (under the piecewise C² boundary condition). This relationship is then applied to classify 2D finite-volume-quotient domains as biholomorphic to the bidisk and to exclude Teichmüller spaces. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation chain; the central estimates and applications rest on independent holomorphic geometry arguments external to the fitted values or prior results of the same authors. The derivation chain is therefore non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard background results in several complex variables; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)

standard math Standard properties of the Levi form, holomorphic mappings, and squeezing functions on domains in C^n
Invoked implicitly when relating the squeezing function to Levi flatness and deriving biholomorphisms.

pith-pipeline@v0.9.0 · 5392 in / 1314 out tokens · 77822 ms · 2026-05-11T00:50:47.527188+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear
Theorem 4.3... after passing to a subsequence, A_k(Ω,p_k) converges to (Ω_∞,0) in X_2 and Ω_∞ is biholomorphic to D²

Reference graph

Works this paper leans on

22 extracted references · 1 canonical work pages

[1]

Binder, C

I. Binder, C. Rojas, and M. Yampolsky. Carath´ eodory convergence and harmonic measure. Potential Anal., 51:499–509, 2019

2019
[2]

Bracci, H

F. Bracci, H. Gaussier, and A. Zimmer. The geometry of domains with negatively pinched K¨ ahler metrics.J. Differ. Geom., 126(3):909–938, 2024

2024
[3]

M. R. Bridson and A. Haefliger.Metric spaces of non-positive curvature, volume 319 of Fundamental Principles of Mathematical Sciences. Springer-Verlag Berlin Heidelberg, 1999

1999
[4]

F. Deng, Q. Guan, and L. Zhang. Properties of squeezing functions and global transformations of bounded domains.Trans. Amer. Math. Soc., 368:2679–2696, 2016

2016
[5]

J. E. Fornæss and E. F. Wold. A non-strictly pseudoconvex domain for which the squeezing function tends to one towards the boundary.Pacific J. Math., 297(1), 2018

2018
[6]

S. Frankel. Complex geometry of convex domains that cover varieties.Acta Math., 163:109– 149, 1989

1989
[7]

M. Freeman. Local complex foliation of real submanifolds.Math. Ann., 209(2), 1974

1974
[8]

Fu and B

S. Fu and B. Wong. On a domain inC 2 with generic piecewise smooth Levi-flat boundary and noncompact automorphism group.Complex Variables Theory Appl., 42:25–40, 2000

2000
[9]

Gaussier and A

H. Gaussier and A. Zimmer. The space of convex domains in complex Euclidean space.J. Geom. Anal., 30:1312–1358, 2020

2020
[10]

Gupta and S

N. Gupta and S. K. Pant. Squeezing function corresponding to polydisk.Complex Anal. Synergies, 2(12), 2022

2022
[11]

Gupta and H

S. Gupta and H. Seshadri. On domains biholomorphic to Teichm¨ uller spaces.Int. Math. Res. Not., 2020(8), 2020

2020
[12]

K. T. Kim. Domains inC n with a piecewise Levi flat boundary which possess a noncompact automorphism group.Math. Ann., 292:575–586, 1992

1992
[13]

K. T. Kim and L. Zhang. On the uniform squeezing property of bounded convex domains in Cn.Pacific J. Math., 282(2):341–358, 2016

2016
[14]

A. Kodama. On the structure of a bounded domain with a special boundary point.Osaka J. Math., 23(2):271–298, 1986

1986
[15]

Liu and H

J. Liu and H. Wang. Localization of the Kobayashi metric and applications.Math. Z., 297(1- 2):867–883, 2021

2021
[16]

Liu and Y

K. Liu and Y. Wu. Geometry of complex bounded domains with finite-volume quotients. arXiv:1801.00459

work page arXiv
[17]

Markovic

V. Markovic. Carath´ eodory’s metrics on Teichm¨ uller spaces and L-shaped pillowcases.Duke Math. J., 167(3):497–535, 2018

2018
[18]

S. I. Pinchuk. Holomorphic inequivalence of some classes of domains inC n.Math. USSR Sb., 39(1), 1981

1981
[19]

S. I. Pinchuk. Homogeneous domains with piecewise smooth boundaries.Math. Notes, 32(1):849–852, 1983

1983
[20]

J. P. Rosay. Sur une caract´ erisation de la boule parmi les domaines deC n par son groupe d’automorphismes.Ann. Inst. Fourier (Grenoble), 29(4):ix, 91–97, 1979

1979
[21]

B. Wong. Characterization of the unit ball inC n by its automorphism group.Invent. Math., 41(3):253–257, 1977. 18

1977
[22]

A. Zimmer. Smoothly bounded domains covering finite volume manifolds.J. Differ. Geom., 119:161–182, 2021. 1.Mathematical Science Research Center, Chongqing University of Technology, Chongqing, 400054, China 2.School of Mathematical Sciences, Guizhou Normal University, Guiyang, 550025, P.R. China. Email address:puxs@cqut.edu.cn, wanglang2020@amss.ac.cn 19

2021