arxiv: 2605.04390 · v1 · submitted 2026-05-06 · 🧮 math.AG

Recognition: unknown

Local isomorphisms for families of projective non-unruled manifolds

Mu-Lin Li

Pith reviewed 2026-05-08 17:24 UTC · model grok-4.3

classification 🧮 math.AG

keywords local isomorphismsfamilies of manifoldsprojective manifoldsnon-uniruled manifoldsRiemann surfacespointwise isomorphismWehler's question

0 comments

The pith

If two families of projective non-uniruled manifolds over a Riemann surface are pointwise isomorphic, then they are locally isomorphic over an open dense subset of the base.

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

The paper proves that smooth families of projective non-uniruled manifolds over a Riemann surface which match at every point must be locally isomorphic over some open dense subset of the base. This matters because it turns pointwise data into local structural control for families of manifolds. A sympathetic reader would care about the result in contexts where one wants to upgrade discrete isomorphisms to continuous families of isomorphisms. The argument applies even when the base is non-compact and gives a partial answer to a question on when families of compact complex manifolds are locally isomorphic.

Core claim

Let π: X → S and π: Y → S be two smooth families of projective non-uniruled manifolds over a Riemann surface S. Suppose these two families are pointwise isomorphic. Then there exists an open dense subset U ⊂ S such that the two restricted families are locally isomorphic over U. This partially answers Wehler's question on locally isomorphic families of compact complex manifolds.

What carries the argument

The passage from pointwise isomorphism of families to local isomorphism over an open dense subset of the base, for smooth projective non-uniruled manifolds.

If this is right

The local isomorphism holds on a dense open set even if the base is non-compact.
The result is specific to projective non-uniruled manifolds.
It gives a partial positive answer to Wehler's question for families of compact complex manifolds.
Restricted families over the dense open set become locally isomorphic.

Where Pith is reading between the lines

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

The result may indicate that isomorphism classes in these families are determined by their values on dense subsets.
It leaves the case of uniruled or non-projective manifolds open.
One could ask whether similar density statements hold when the base has higher dimension.

Load-bearing premise

The manifolds in the families are projective and non-uniruled, the families are smooth, and the base is a Riemann surface.

What would settle it

Two pointwise isomorphic smooth families of projective non-uniruled manifolds over a Riemann surface that fail to be locally isomorphic over any open dense subset would disprove the claim.

read the original abstract

Let $\pi\cln \cX\to S$ and $\pi\cln \cY\to S$ be two smooth families of projective non-uniruled manifolds over a Riemann surface $S$ (probably non-compact). Suppose these two families are pointwise isomorphic. We prove that there exists an open dense subset $U\subset S$ such that the two restricted families are locally isomorphic over $U$. This partially answers Wehler's question on locally isomorphic of families of compact complex manifolds.

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

This paper shows that pointwise fiberwise isomorphisms between smooth families of projective non-uniruled manifolds over a Riemann surface imply local isomorphism over a dense open subset of the base, partially answering Wehler's question.

read the letter

The core new result is a theorem that takes two smooth families of projective non-uniruled manifolds over a Riemann surface S, assumes the fibers are isomorphic at every point, and concludes that after restricting to a dense open U in S the families become locally isomorphic over U. This extends earlier work on isomorphisms of families by handling the non-uniruled projective case specifically, which rules out some pathologies that appear when rational curves are present. The argument appears to rely on standard deformation theory and the fact that such manifolds have discrete automorphism groups, keeping the moduli behavior controlled. The base being a Riemann surface (possibly non-compact) also simplifies the topology and allows the dense open set to be found without global obstructions. That is the main positive contribution: a clean partial resolution of an open question in the theory of families of compact complex manifolds. The soft spots are modest but real. The result is stated only for projective non-uniruled manifolds, so it does not cover the general compact complex case that Wehler originally asked about. Without the full proof it is impossible to check whether the local isomorphism is constructed explicitly or relies on some non-effective existence argument from the deformation functor. The paper also does not address whether the isomorphism can be chosen to vary continuously or algebraically over U. These are not fatal gaps, but they limit how far the statement can be pushed. This work is aimed at specialists in algebraic geometry who study moduli of manifolds or deformation theory. A reader already familiar with the literature on families of varieties with finite automorphism groups will find the statement useful and the partial answer worth recording. It is coherent on its own terms and engages honestly with the cited open question. I would send it to peer review so that the details of the proof can be checked by someone working in the same area.

Referee Report

0 major / 3 minor

Summary. The paper proves that if two smooth families of projective non-uniruled manifolds over a Riemann surface S are pointwise isomorphic (i.e., the fibers over each s in S are isomorphic), then there exists a dense open subset U of S such that the restricted families are locally isomorphic over U. This partially answers Wehler's question on local isomorphisms for families of compact complex manifolds, under the assumptions that the families are smooth, the manifolds are projective and non-uniruled, and S is a (possibly non-compact) Riemann surface.

Significance. If the result holds, it provides a concrete partial positive answer to Wehler's question in the projective non-uniruled case over curves, which aligns with expectations from deformation theory and moduli theory for varieties whose automorphism groups are often finite or discrete. The manuscript uses standard techniques without introducing free parameters or ad-hoc axioms, and the central claim is presented as a direct proof.

minor comments (3)

The title uses 'non-unruled' while the abstract and body use 'non-uniruled'; standardize the spelling to the conventional term 'uniruled' throughout.
§1 (Introduction): the statement of the main theorem could explicitly reference the smoothness of the families and projectivity of the fibers as hypotheses, to make the setup immediately clear before the proof.
The manuscript would benefit from a brief remark on whether the result extends to higher-dimensional bases or requires the base to be a curve; this would clarify the scope relative to Wehler's original question.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our manuscript and for recommending minor revision. The referee's summary correctly captures the main theorem: under the stated hypotheses (smooth families of projective non-uniruled manifolds over a Riemann surface that are pointwise isomorphic), the families become locally isomorphic over a dense open subset of the base. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper presents a direct mathematical proof that pointwise fiberwise isomorphisms between two smooth families of projective non-uniruled manifolds over a Riemann surface imply local isomorphism of the families over a dense open subset of the base. No steps in the provided abstract or high-level description reduce a claimed result to a fitted parameter, self-referential definition, or load-bearing self-citation chain. The argument relies on standard techniques from deformation theory and moduli spaces for varieties with discrete automorphism groups, which are independent of the target statement. The derivation is self-contained against external benchmarks in algebraic geometry, with the partial answer to Wehler's question serving as context rather than a foundational reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard domain assumptions in algebraic geometry regarding projectivity, non-uniruledness, and smoothness of families; no free parameters or invented entities are introduced in the abstract.

axioms (2)

domain assumption Projective non-uniruled manifolds have sufficient rigidity for controlling deformations and isomorphisms in families
Invoked to ensure that pointwise isomorphisms lift to local isomorphisms over dense open sets.
standard math Smooth families over a Riemann surface admit local trivializations or deformation theory tools
Standard in the field for studying families of manifolds.

pith-pipeline@v0.9.0 · 5362 in / 1128 out tokens · 19350 ms · 2026-05-08T17:24:27.429345+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

38 extracted references · 6 canonical work pages · 2 internal anchors

[1]

L., Burghelea, D., Kahn, P

Antonelli, P. L., Burghelea, D., Kahn, P. J., The non-finite homotopy type of some diffeomorphism groups, Topology 11 (1972), 1-49

1972
[2]

Bauer, I., Catanese, F., On rigid compact complex surfaces and manifolds, Adv. Math. 333 (2018), 620-669

2018
[3]

Bott, R., Homogeneous vector bundles, Ann. Math. 66 (1957), 203-248

1957
[4]

C., Tosatti, V., K\"ahler currents and null loci, Invent

Collins, T. C., Tosatti, V., K\"ahler currents and null loci, Invent. Math. 202 (2015), no. 3, 1167-1198

2015
[5]

Carlson, J., M\" u ller-Stach, S., Peters, C., Period mappings and period domains, Cambridge Stud. Adv. Math., 168, Cambridge University Press, Cambridge, 2017

2017
[6]

del Hoyo, M., Complete connections on fiber bundles, Indag. Math. (N.S.) 27 (2016), no. 4, 985-990

2016
[7]

Demailly, J-P., Complex analytic and differential geometry, https://www-fourier
[8]

ahler cone of a compact K\

Demailly, J-P., P a un, M., Numerical characterization of the K\"ahler cone of a compact K\"ahler manifold, Ann. of Math. (2) 159 (2004), no. 3, 1247-1274

2004
[9]

Ehresmann, C., Sur les espaces fibres differentiables, C. R. A cad.Sci. Paris, 224, 1611-1612 (1947)

1947
[10]

Fischer, W., Grauert, H., Lokal-triviale Familien kompakter komplexer Mannigfaltigkeiten, Nachr. Akad. Wiss. Gottingen Math.-Phys. Kl. II (1965), 89-94

1965
[11]

Fujiki, A., A theorem on bimeromorphic maps of K\"ahler manifolds and its applications Publ. Res. Inst. Math. Sci. 17 (1981), no. 2, 735-754

1981
[12]

Fujiki, A., Countability of the Douady space of a complex space, Japan. J. Math. (N.S.) 5 (1979), no. 2, 431-447

1979
[13]

Fujiki, A., Coarse Moduli Space for Polarized Compact K\"ahler Manifolds, Publ. Res. Inst. Math. Sci. 20 (1984), no. 5, pp. 977-1005

1984
[14]

The Moduli Space of Extremal Compact K\"ahler Manifolds and Generalized Well-Petersson Metrics, Publ

Fujiki, A., Schumacher, G. The Moduli Space of Extremal Compact K\"ahler Manifolds and Generalized Well-Petersson Metrics, Publ. Res. Inst. Math. Sci. 26 (1990), no. 1, pp. 101-183

1990
[15]

Gieseker, D., Global moduli for surfaces of general type, Invent. Math. 43(3) (1977) 233-282,

1977
[16]

Griffiths, A., Periods of integrals on algebraic manifolds. II. Local study of the period mapping, Amer. J. Math. 90 (1968), 805-865

1968
[17]

Huybrechts, D., Complex geometry An introduction, Universitext, Springer-Verlag, Berlin, 2005

2005
[18]

Nondeformability of the complex hyperquadric Invent

Hwang, J.-M. Nondeformability of the complex hyperquadric Invent. Math. 120 (1995), no. 2, 317-338

1995
[19]

Hwang, J.-M., Mok, N., Rigidity of irreducible Hermitian symmetric spaces of the compact type under K\"ahler deformation,
[20]

Hwang, J.-M., Mok, N., Deformation rigidity of the rational homogeneous space associated to a long simple root, Ann. Scient
[21]

Hwang, J.-M., Mok, N., Prolongations of infinitesimal linear automorphisms of projective varieties and rigidity of rational
[22]

Kodaira, K., Spencer, D., On deformations of complex analytic structures, II, Ann. Math. 67 (1958), 403-466

1958
[23]

Kirschner, T., On the local isomorphism property for families of K3 surfaces, arXiv:1810.11395

work page arXiv
[24]

Leslie, J. A. On a differential structure for the group of diffeomorphisms, Topology 6 (1967), 263-271

1967
[25]

Li, M.-L., A note on holomorphic families of Abelian varieties, Proc. Amer. Math. Soci. 150 (2022), no. 4, 1449-1454

2022
[26]

Li, M.-L., Liu, W., The limits of K\"ahler manifolds under holomorphic deformations, arXiv:2406.14076

work page internal anchor Pith review arXiv
[27]

Li, M.-L., Liu, X.-L., Deformation rigidity for projective manifolds and isotriviality of smooth families over curves, arXiv:2407.18491

work page internal anchor Pith review arXiv
[28]

Li, M.-L., The holomorphic limit of K\"ahler manifolds, arXiv:2409.19957

work page arXiv
[29]

Li, M.-L., Rao S., Wang, K., Deformation of nef adjoint canonical line bundles, arXiv:2510.23967

work page arXiv
[30]

Matsusaka, T., Mumford, D., Two fundamental theorems on deformations of polarized varieties, Amer. J. Math. 86 (1964), 668-684

1964
[31]

https://math.stackexchange.com/questions/186145/a-fiber-bundle-over-euclidean-space-is-trivial
[32]

Meersseman, L., Foliated structure of the Kuranishi space and isomorphisms of deformation families of compact complex manifolds, Ann. Sci. E c. Norm. Sup e r. (4) 44.3 (2011), pp. 495-525

2011
[33]

Ou, W., A characterization of uniruled compact K\"ahler manifolds, arXiv:2501.18088

work page arXiv
[34]

Reine Angew

Siu, Y.-T., Nondeformability of the complex projective space, J. Reine Angew. Math. 399 (1989), 208-219

1989
[35]

Cambridge University Press, Cambridge, 2023

Schmeding, A., An introduction to infinite-dimensional differential geometry, Cambridge Studies in Advanced Mathematics, 202. Cambridge University Press, Cambridge, 2023

2023
[36]

Schumacher, G., Moduli of polarized K\"ahler manifolds, Math. Ann. 269, 137-144 (1984)

1984
[37]

Voisin, C., Hodge theory and complex algebraic geometry. I. Translated from the French by Leila Schneps, Cambridge Studies in Advanced Mathematics, 76, Cambridge University Press, Cambridge, 2007

2007
[38]

Wehler. J. Isomorphie von Familien kompakter komplexer Mannigfaltigkeiten, Math. Ann. 231 (1977), pp. 77-90

1977