Log-Conformal Projective Manifolds

Alex Massarenti; Maur\'icio Corr\^ea

arxiv: 2604.16215 · v1 · submitted 2026-04-17 · 🧮 math.AG · math.DG

Log-Conformal Projective Manifolds

Maur\'icio Corr\^ea , Alex Massarenti This is my paper

Pith reviewed 2026-05-10 07:11 UTC · model grok-4.3

classification 🧮 math.AG math.DG

keywords logarithmic conformal tensorprojective manifoldsnef divisorsisotropic fibrationtoroidal compactificationsimple normal crossingsholonomy

0 comments

The pith

A nondegenerate log-conformal tensor on a projective pair with non-nef log canonical divisor forces it to be a quadric, projective space with hyperplane, or even-dimensional with isotropic fibration.

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

The paper considers smooth complex projective simple normal crossing pairs of dimension at least three that carry an everywhere nondegenerate logarithmic conformal tensor. When the log canonical divisor K_X plus Delta is not nef, exactly one of three mutually exclusive possibilities holds: the boundary is empty and the variety is the quadric hypersurface, the variety is projective space with the boundary a hyperplane, or the dimension is even and the pair admits a rational maximal isotropic fibration whose general fiber is the log pair consisting of projective space with a hyperplane. In the numerically trivial case, an additional Bochner extension principle together with an irreducibility assumption on the restricted holonomy of a complete Ricci-flat Kähler metric on the complement implies that the complement is semi-abelian and the pair is its toroidal compactification.

Core claim

The central claim is that for such a pair (X, Delta) the nondegeneracy of the logarithmic conformal tensor together with the failure of K_X + Delta to be nef implies one of the three listed alternatives; when K_X + Delta is numerically zero the same tensor, under the stated holonomy and extension assumptions, forces the complement to be semi-abelian with the pair as its toroidal compactification.

What carries the argument

The everywhere nondegenerate logarithmic conformal tensor, which equips the log tangent sheaf with a conformal structure that constrains the positivity and birational geometry of the log canonical class.

If this is right

All non-nef cases are exhausted by the quadric, projective space, or even-dimensional isotropic fibration geometries.
The complement of the divisor in the numerically trivial case must be semi-abelian.
No other projective manifolds of dimension three or higher can support a nondegenerate log-conformal tensor when the log canonical class fails to be nef.
The tensor distinguishes these rigid examples from more general pairs with the same dimension and singularity type.

Where Pith is reading between the lines

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

The result suggests that log-conformal structures are incompatible with most positive or negative canonical classes outside these model cases.
Explicit constructions of the tensor on the listed model varieties would verify the boundary cases of the theorem.
The classification may supply a template for similar structure theorems when the conformal tensor is allowed to degenerate along lower-dimensional strata.

Load-bearing premise

The pair carries an everywhere nondegenerate logarithmic conformal tensor, and in the numerically trivial case the Bochner extension principle together with irreducible restricted holonomy of the Ricci-flat metric both hold.

What would settle it

A smooth projective simple normal crossing pair of dimension at least three equipped with a nondegenerate logarithmic conformal tensor whose log canonical divisor is not nef yet fits none of the three listed alternatives, or whose complement is not semi-abelian while satisfying the holonomy assumptions.

read the original abstract

Let $(X,\Delta)$ be a smooth complex projective simple normal crossing pair of dimension $n\geq 3$ endowed with an everywhere nondegenerate logarithmic conformal tensor. If $K_X+\Delta$ is not nef, then precisely one of the following mutually exclusive alternatives occurs: either $\Delta=\varnothing$ and $X\simeq Q^n$; or $X\simeq \mathbb{P}^n$ and $\Delta$ is a hyperplane; or $n=2m$ is even and $(X,\Delta)$ admits a rational maximal isotropic fibration whose geometric generic fibre is the log pair $(\mathbb{P}^m,H)$. If $K_X+\Delta\equiv 0$, then, under a Bochner extension principle and an irreducibility assumption on the restricted holonomy of a complete Ricci-flat K\"ahler metric on $M:=X\setminus \Delta$, the existence of a logarithmic conformal tensor with trivial conformal line bundle forces $M$ to be semi-abelian and $(X,\Delta)$ to be its toroidal compactification.

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 non-nef classification looks usable if the proof holds, but the zero case is conditional on two assumptions that are not derived from the tensor nondegeneracy.

read the letter

The paper classifies smooth projective log pairs that carry an everywhere nondegenerate logarithmic conformal tensor. When K_X + Δ is not nef it lists three mutually exclusive possibilities: the quadric Q^n with empty boundary, projective space with a hyperplane, or an even-dimensional rational fibration whose generic fiber is (P^m, H). That part of the statement is concrete and organizes the geometry under the given tensor condition without obvious circularity in the abstract formulation. The authors lay out the alternatives cleanly and tie them directly to the nondegeneracy hypothesis, which is the main positive contribution here. If the full proof checks out, this gives a usable list for people working with log pairs and special tensors. The zero case is weaker. When K_X + Δ is numerically trivial the claim that the complement M is semi-abelian rests on a Bochner-type extension principle for the tensor across Δ plus an irreducibility assumption on the restricted holonomy of a complete Ricci-flat Kähler metric on M. These two inputs are listed as extra assumptions rather than shown to follow from nondegeneracy alone. The stress-test note is right on this point: if either condition fails for some pair that still has the tensor, the dichotomy is incomplete. That is a real limitation, not a minor technicality, because the paper does not supply independent verification or a reduction that removes the need for those inputs. The work is aimed at algebraic geometers who already know the relevant extension theorems and Kähler holonomy results in the log setting. A reader with that background can extract the classification statement and test it against examples. It has a clear enough statement and enough formal structure to deserve referee time rather than a desk rejection, though the zero case will likely require either a proof of the assumptions or a more precise statement of when they apply. I would bring it to a reading group that has someone following log geometry or conformal structures. I would not cite it in my own work in the next year unless the assumptions are resolved. The authors engage the problem directly without internal contradictions in the setup.

Referee Report

2 major / 2 minor

Summary. The paper classifies smooth complex projective simple normal crossing pairs (X, Δ) of dimension n ≥ 3 carrying an everywhere nondegenerate logarithmic conformal tensor. When K_X + Δ is not nef, the pair must be one of three mutually exclusive types: a smooth quadric Q^n with Δ empty, projective space P^n with Δ a hyperplane, or (when n even) a pair admitting a rational maximal isotropic fibration with generic fiber (P^m, H). When K_X + Δ ≡ 0, the existence of a logarithmic conformal tensor with trivial conformal line bundle implies that M = X ∖ Δ is semi-abelian (hence (X, Δ) is its toroidal compactification), but only under the additional assumptions that a Bochner-type extension principle holds and that the restricted holonomy of the complete Ricci-flat Kähler metric on M is irreducible.

Significance. If the derivations in the full text are complete, the unconditional classification for the non-nef case supplies a concrete geometric dichotomy that could serve as a model for other log-geometric classification problems involving special tensors. The conditional result for the numerically trivial case usefully isolates the precise holonomy and extension hypotheses needed to reach a semi-abelian conclusion, thereby clarifying the boundary between what follows from the tensor alone and what requires further analytic input.

major comments (2)

[Main theorem / Abstract] Main theorem statement (abstract and §1): the claim that the non-nef classification follows directly from the existence of an everywhere nondegenerate logarithmic conformal tensor is load-bearing, yet the abstract supplies no derivation steps or reduction; the full manuscript must exhibit the precise place (e.g., the relevant proposition or theorem in §3 or §4) where the three alternatives are deduced from the tensor hypothesis alone.
[Numerically trivial case] Numerically trivial case (abstract and the section treating K_X + Δ ≡ 0): the conclusions that M is semi-abelian and that (X, Δ) is its toroidal compactification rest explicitly on two external inputs—the Bochner extension principle and irreducibility of the restricted holonomy of the Ricci-flat metric on M—which are listed as additional assumptions rather than derived from nondegeneracy of the logarithmic conformal tensor. If either input fails for some pair satisfying the tensor hypothesis, the dichotomy is incomplete; the manuscript should either derive these properties from the nondegeneracy condition or state the precise additional hypotheses under which they hold.

minor comments (2)

[Introduction / Notation] The distinction between the “everywhere nondegenerate logarithmic conformal tensor” used in the non-nef case and the “logarithmic conformal tensor with trivial conformal line bundle” used in the numerically trivial case should be clarified in the introduction, with an explicit statement of how the two notions relate.
[Introduction] Add a short paragraph comparing the present classification with existing results on projective manifolds admitting conformal or holomorphic tensors (e.g., works on irreducible holonomy or log Calabi–Yau pairs) to situate the contribution.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The points raised concern the clarity of how the main classification is derived and the precise scope of the assumptions in the numerically trivial case. We address each major comment below.

read point-by-point responses

Referee: [Main theorem / Abstract] Main theorem statement (abstract and §1): the claim that the non-nef classification follows directly from the existence of an everywhere nondegenerate logarithmic conformal tensor is load-bearing, yet the abstract supplies no derivation steps or reduction; the full manuscript must exhibit the precise place (e.g., the relevant proposition or theorem in §3 or §4) where the three alternatives are deduced from the tensor hypothesis alone.

Authors: We agree that the abstract, being a summary, does not contain the full derivation. The deduction of the three alternatives from the nondegeneracy of the logarithmic conformal tensor is carried out in full in the body of the paper, via the preparatory results on the tensor and the subsequent case analysis. In the revised manuscript we have added a sentence to the abstract and to the introduction that explicitly references the classification theorem in Section 4 together with the key propositions in Section 3 that supply the reduction steps. revision: yes
Referee: [Numerically trivial case] Numerically trivial case (abstract and the section treating K_X + Δ ≡ 0): the conclusions that M is semi-abelian and that (X, Δ) is its toroidal compactification rest explicitly on two external inputs—the Bochner extension principle and irreducibility of the restricted holonomy of the Ricci-flat metric on M—which are listed as additional assumptions rather than derived from nondegeneracy of the logarithmic conformal tensor. If either input fails for some pair satisfying the tensor hypothesis, the dichotomy is incomplete; the manuscript should either derive these properties from the nondegeneracy condition or state the precise additional hypotheses under which they hold.

Authors: The manuscript already states these two analytic inputs explicitly as additional assumptions in both the abstract and the dedicated section; we do not claim they follow from tensor nondegeneracy alone. The result is therefore conditional, and the boundary between the algebraic input and the required analytic hypotheses is already delineated. In the revision we have strengthened the wording in the abstract and the relevant section to emphasize that the semi-abelian conclusion holds only under these hypotheses, thereby making the conditional nature fully transparent. revision: partial

Circularity Check

0 steps flagged

No circularity: classification stated conditionally on explicit nondegeneracy and separate assumptions

full rationale

The paper asserts a classification theorem directly from the existence of an everywhere nondegenerate logarithmic conformal tensor when K_X + Δ is not nef, listing three mutually exclusive geometric alternatives without any reduction to fitted quantities or self-referential definitions. For the K_X + Δ ≡ 0 case the semi-abelian conclusion is explicitly conditioned on two additional inputs (Bochner extension principle and holonomy irreducibility) that are presented as standing assumptions rather than derived or imported via self-citation. No equations, ansätze, or uniqueness claims collapse by construction to the paper's own inputs; the derivation chain remains independent of the target statement.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The claims rest on the existence of a nondegenerate logarithmic conformal tensor together with the Bochner extension principle and an irreducibility condition on holonomy; these are domain assumptions rather than derived quantities.

axioms (3)

domain assumption Existence of an everywhere nondegenerate logarithmic conformal tensor on the pair (X,Δ)
Invoked at the start of the statement for all dimensions n≥3.
domain assumption Bochnner extension principle
Used in the numerically trivial case to extend the tensor or metric.
domain assumption Irreducibility of the restricted holonomy of the complete Ricci-flat Kähler metric on M = X∖Δ
Required to conclude that M is semi-abelian.

pith-pipeline@v0.9.0 · 5482 in / 1492 out tokens · 61980 ms · 2026-05-10T07:11:00.688808+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages

[1]

[AHS78] M. F. Atiyah, N. J. Hitchin, and I. M. Singer,Self-duality in four-dimensional Riemannian geometry, Proc. Roy. Soc. London Ser. A362(1978), no. 1711, 425–461. [Ara06] Carolina Araujo,Rational curves of minimal degree and characterizations ofPn, Math. Ann.335(2006), no. 4, 937–951. MR 2232020 [BDM20] Indranil Biswas, Sorin Dumitrescu, and Benjamin ...

work page 1978
[2]

Collins and Henri Guenancia,Log calabi–yau manifolds: holomorphic tensors, stability and universal cover, 2025, Preprint

MR 0867684 [CG25] Tristan C. Collins and Henri Guenancia,Log calabi–yau manifolds: holomorphic tensors, stability and universal cover, 2025, Preprint. [CMSB02] K. Cho, Y. Miyaoka, and N. I. Shepherd-Barron,Characterizations of projective space and applications to complex symplectic manifolds, Fano Conference, Adv. Stud. Pure Math., vol. 35, Math. Soc. Jap...

work page 2025
[3]

Math.8 (2004), no

MR 2532439 [HM04] Jun-Muk Hwang and Ngaiming Mok,Birationality of the tangent map for minimal rational curves, Asian J. Math.8 (2004), no. 1, 51–64. MR 2129284 [Joy07] Dominic D. Joyce,Riemannian holonomy groups and calibrated geometry, Oxford Graduate Texts in Mathematics, vol. 12, Oxford University Press, Oxford,

work page 2004
[4]

MR 2350850 [Keb02] Stefan Kebekus,Characterizing the projective space after Cho, Miyaoka and Shepherd-Barron, Complex Geometry (Göttingen, 2000), Springer, Berlin, 2002, pp. 147–155. [KM98] János Kollár and Shigefumi Mori,Birational geometry of algebraic varieties, Cambridge Tracts in Mathematics, vol. 134, Cambridge University Press, Cambridge,

work page 2000
[5]

Ann.279(1988), no

MR 1658959 [KN88] Ryoichi Kobayashi and Isao Naruki,Holomorphic conformal structures and uniformization of complex surfaces, Math. Ann.279(1988), no. 3, 485–500. [KO82] Shoshichi Kobayashi and Takushiro Ochiai,Holomorphic structures modeled after hyperquadrics, Tohoku Math. J. (2) 34(1982), no. 4, 587–629. [Kol96] János Kollár,Rational curves on algebraic...

work page 1988
[6]

[LeB83] Claude R

MR 1440180 30 MAURÍCIO CORRÊA AND ALEX MASSARENTI [Lan24] Adrian Langer,Projective contact log varieties, 2024, Preprint. [LeB83] Claude R. LeBrun,Spaces of complex null geodesics in complex-Riemannian geometry, Trans. Amer. Math. Soc.278 (1983), no. 1, 209–231. [Mok08] Ngaiming Mok,Geometry of varieties of minimal rational tangents, Astérisque322(2008), ...

work page 2024
[7]

MR 3775567 [Pen67] Roger Penrose,Twistor algebra, J. Math. Phys.8(1967), no. 2, 345–366. [Sal89] Simon Salamon,Riemannian geometry and holonomy groups, Pitman Research Notes in Mathematics Series, vol. 201, Longman Scientific & Technical, Harlow,

work page 1967
[8]

Math.41(2004), no

MR 1453120 [Win04] Jörg Winkelmann,On manifolds with trivial logarithmic tangent bundle, Osaka J. Math.41(2004), no. 2, 473–484. MR 2069006 [Ye94] Yun-Gang Ye,Extremal rays and null geodesics on a complex conformal manifold, Internat. J. Math.5(1994), no. 1, 141–168. (Maurício Corrêa)Dipartimento di Matematica, Università degli Studi di Bari, Via E. Orabo...

work page 2004

[1] [1]

[AHS78] M. F. Atiyah, N. J. Hitchin, and I. M. Singer,Self-duality in four-dimensional Riemannian geometry, Proc. Roy. Soc. London Ser. A362(1978), no. 1711, 425–461. [Ara06] Carolina Araujo,Rational curves of minimal degree and characterizations ofPn, Math. Ann.335(2006), no. 4, 937–951. MR 2232020 [BDM20] Indranil Biswas, Sorin Dumitrescu, and Benjamin ...

work page 1978

[2] [2]

Collins and Henri Guenancia,Log calabi–yau manifolds: holomorphic tensors, stability and universal cover, 2025, Preprint

MR 0867684 [CG25] Tristan C. Collins and Henri Guenancia,Log calabi–yau manifolds: holomorphic tensors, stability and universal cover, 2025, Preprint. [CMSB02] K. Cho, Y. Miyaoka, and N. I. Shepherd-Barron,Characterizations of projective space and applications to complex symplectic manifolds, Fano Conference, Adv. Stud. Pure Math., vol. 35, Math. Soc. Jap...

work page 2025

[3] [3]

Math.8 (2004), no

MR 2532439 [HM04] Jun-Muk Hwang and Ngaiming Mok,Birationality of the tangent map for minimal rational curves, Asian J. Math.8 (2004), no. 1, 51–64. MR 2129284 [Joy07] Dominic D. Joyce,Riemannian holonomy groups and calibrated geometry, Oxford Graduate Texts in Mathematics, vol. 12, Oxford University Press, Oxford,

work page 2004

[4] [4]

MR 2350850 [Keb02] Stefan Kebekus,Characterizing the projective space after Cho, Miyaoka and Shepherd-Barron, Complex Geometry (Göttingen, 2000), Springer, Berlin, 2002, pp. 147–155. [KM98] János Kollár and Shigefumi Mori,Birational geometry of algebraic varieties, Cambridge Tracts in Mathematics, vol. 134, Cambridge University Press, Cambridge,

work page 2000

[5] [5]

Ann.279(1988), no

MR 1658959 [KN88] Ryoichi Kobayashi and Isao Naruki,Holomorphic conformal structures and uniformization of complex surfaces, Math. Ann.279(1988), no. 3, 485–500. [KO82] Shoshichi Kobayashi and Takushiro Ochiai,Holomorphic structures modeled after hyperquadrics, Tohoku Math. J. (2) 34(1982), no. 4, 587–629. [Kol96] János Kollár,Rational curves on algebraic...

work page 1988

[6] [6]

[LeB83] Claude R

MR 1440180 30 MAURÍCIO CORRÊA AND ALEX MASSARENTI [Lan24] Adrian Langer,Projective contact log varieties, 2024, Preprint. [LeB83] Claude R. LeBrun,Spaces of complex null geodesics in complex-Riemannian geometry, Trans. Amer. Math. Soc.278 (1983), no. 1, 209–231. [Mok08] Ngaiming Mok,Geometry of varieties of minimal rational tangents, Astérisque322(2008), ...

work page 2024

[7] [7]

MR 3775567 [Pen67] Roger Penrose,Twistor algebra, J. Math. Phys.8(1967), no. 2, 345–366. [Sal89] Simon Salamon,Riemannian geometry and holonomy groups, Pitman Research Notes in Mathematics Series, vol. 201, Longman Scientific & Technical, Harlow,

work page 1967

[8] [8]

Math.41(2004), no

MR 1453120 [Win04] Jörg Winkelmann,On manifolds with trivial logarithmic tangent bundle, Osaka J. Math.41(2004), no. 2, 473–484. MR 2069006 [Ye94] Yun-Gang Ye,Extremal rays and null geodesics on a complex conformal manifold, Internat. J. Math.5(1994), no. 1, 141–168. (Maurício Corrêa)Dipartimento di Matematica, Università degli Studi di Bari, Via E. Orabo...

work page 2004