pith. machine review for the scientific record. sign in

arxiv: 2605.02271 · v1 · submitted 2026-05-04 · 🧮 math.DG

Recognition: 4 theorem links

· Lean Theorem

Non-K\"ahler Special Lagrangian submanifolds and SYZ mirror symmetry

Adriano Tomassini, Francesca Lusetti, Tristan C. Collins

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

classification 🧮 math.DG
keywords non-Kähler Calabi-Yau manifoldsspecial Lagrangian submanifoldsinvariant distributionsdeformation theorySYZ mirror symmetrytorus fibrationsBott-Chern cohomology
0
0 comments X

The pith

Purely algebraic equations identify special Lagrangian submanifolds generated by invariant distributions in certain non-Kähler Calabi-Yau manifolds.

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

The paper sets out algebraic conditions that pick out special Lagrangian submanifolds arising from invariant distributions on a class of non-Kähler Calabi-Yau manifolds. It checks these conditions on explicit examples, determines when the leaves close up into compact submanifolds, and shows that the deformation theory of the resulting submanifolds is unobstructed. These constructions are then used to produce explicit SYZ mirror pairs that are semi-flat yet not diffeomorphic. A reader would care because the work supplies concrete, checkable instances of mirror symmetry outside the usual Kähler setting, where the geometry is less rigid and topological differences between mirrors can be exhibited directly.

Core claim

In a class of non-Kähler Calabi-Yau manifolds the authors derive purely algebraic equations that detect when an invariant distribution generates special Lagrangian submanifolds. They apply the equations to the Iwasawa manifold and to two Nakamura manifolds, obtain families of topologically distinct compact special Lagrangians including torus fibrations, verify that deformations are unobstructed, and compute the corresponding non-Kähler SYZ mirrors together with their refined symplectic Bott-Chern cohomologies. The outcome is a collection of semi-flat mirror pairs that are not diffeomorphic.

What carries the argument

Purely algebraic equations on invariant distributions that certify when their leaves integrate to special Lagrangian submanifolds with unobstructed deformations.

If this is right

  • Compact special Lagrangian submanifolds, including torus fibrations, exist in the studied non-Kähler Calabi-Yau examples.
  • The deformation theory of these submanifolds is unobstructed.
  • Non-Kähler SYZ mirrors of the Nakamura manifolds can be written down explicitly along with their refined symplectic Bott-Chern cohomologies.
  • Semi-flat non-Kähler mirror pairs that are not diffeomorphic exist.

Where Pith is reading between the lines

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

  • The algebraic test may extend to other non-Kähler Calabi-Yau threefolds whose invariant distributions satisfy similar closure conditions.
  • The non-diffeomorphic mirrors indicate that SYZ duality can pair manifolds whose underlying smooth structures differ.
  • Unobstructed deformations suggest that nearby deformations of the ambient manifold continue to admit special Lagrangian fibrations of the same type.

Load-bearing premise

The non-Kähler Calabi-Yau manifolds under study possess invariant distributions whose leaves are special Lagrangian submanifolds whose deformations remain unobstructed and to which the SYZ mirror construction applies directly.

What would settle it

An explicit check on one of the example manifolds showing that the algebraic equations produce no compact special Lagrangian leaves, or a direct computation proving that a constructed mirror pair is actually diffeomorphic.

read the original abstract

We determine purely algebraic equations to identify \textit{SLags} generated by invariant distributions in a class of non-K\"ahler Calabi-Yau manifolds. We determine SLag distributions, determine which leaves integrate to compact submanifolds and study the deformation theory, which we find to be unobstructed. We apply our results to the Iwasawa manifold, the completely solvable 6-dimensional Nakamura manifold and the complex parallelizable Nakamura manifold. Through these examples we find families of topologically distinct \textit{SLags}, including the existence of SLag torus fibrations. Following the proposal of Lau-Tseng-Yau, we compute the non-K\"ahler SYZ mirrors of Nakamura manifolds, together with their refined symplectic Bott-Chern cohomologies. As a consequence, we find the existence of semi-flat non-K\"ahler mirror pairs which are not diffeomorphic.

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.

Referee Report

2 major / 1 minor

Summary. The paper develops purely algebraic equations to identify special Lagrangian submanifolds generated by invariant distributions on a class of non-Kähler Calabi-Yau 3-folds (Iwasawa, solvable and complex-parallelizable Nakamura manifolds). It determines which leaves integrate to compact tori, proves that the deformation theory of these SLags is unobstructed, identifies families of topologically distinct SLags including torus fibrations, and applies the Lau-Tseng-Yau proposal to construct the non-Kähler SYZ mirrors of the Nakamura manifolds together with their refined symplectic Bott-Chern cohomologies, concluding that there exist semi-flat non-Kähler mirror pairs that are not diffeomorphic.

Significance. If the direct applicability of the Lau-Tseng-Yau proposal is justified on these solvmanifolds, the work supplies concrete algebraic criteria for SLags in non-Kähler settings and explicit examples of semi-flat mirror pairs with distinct diffeomorphism types. The algebraic constructions, compactness results for tori, and cohomology computations constitute genuine strengths that could serve as templates for further non-Kähler SYZ studies.

major comments (2)
  1. [Mirror construction and cohomology computations for Nakamura manifolds] The headline existence statement for non-diffeomorphic semi-flat non-Kähler mirror pairs rests on following the Lau-Tseng-Yau proposal without an explicit, self-contained verification that its hypotheses (existence of suitable SLag fibrations, unobstructed deformations, and the required refined-cohomology duality) hold for the Nakamura examples. In the non-Kähler setting the absence of a closed symplectic form makes the extension non-automatic; this verification is load-bearing for the central claim.
  2. [Identification of SLag distributions and deformation theory] The abstract asserts that algebraic equations, integration conditions, and unobstructed deformation theory are fully carried out, yet the manuscript provides no explicit equations or derivations for the SLag distributions on the Iwasawa or Nakamura manifolds that would allow independent checking of the compactness and unobstructedness statements.
minor comments (1)
  1. Notation for the refined symplectic Bott-Chern cohomology groups should be introduced with a brief comparison to the ordinary Bott-Chern and de Rham groups to aid readers unfamiliar with the non-Kähler setting.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and valuable feedback on our manuscript. We address each major comment in detail below, providing clarifications and indicating revisions made to strengthen the paper.

read point-by-point responses

  1. Referee: [Mirror construction and cohomology computations for Nakamura manifolds] The headline existence statement for non-diffeomorphic semi-flat non-Kähler mirror pairs rests on following the Lau-Tseng-Yau proposal without an explicit, self-contained verification that its hypotheses (existence of suitable SLag fibrations, unobstructed deformations, and the required refined-cohomology duality) hold for the Nakamura examples. In the non-Kähler setting the absence of a closed symplectic form makes the extension non-automatic; this verification is load-bearing for the central claim.

    Authors: We agree that explicit verification is essential, particularly in the non-Kähler context. In our manuscript, we derive the SLag fibrations on the Nakamura manifolds using the algebraic conditions from Section 3, which are then specialized in Section 5. The unobstructed deformation theory is established generally in Section 4 and applied specifically. For the refined symplectic Bott-Chern cohomology, we provide explicit computations in Section 6 that demonstrate the duality. To make this self-contained, we have added a new subsection (Section 5.3) that systematically verifies each hypothesis of the Lau-Tseng-Yau proposal for these examples, addressing the lack of a closed symplectic form by relying on the Bott-Chern cohomology framework appropriate for non-Kähler manifolds. revision: yes

  2. Referee: [Identification of SLag distributions and deformation theory] The abstract asserts that algebraic equations, integration conditions, and unobstructed deformation theory are fully carried out, yet the manuscript provides no explicit equations or derivations for the SLag distributions on the Iwasawa or Nakamura manifolds that would allow independent checking of the compactness and unobstructedness statements.

    Authors: The manuscript does contain the explicit algebraic equations in Section 3 for general invariant distributions on non-Kähler Calabi-Yau 3-folds, with derivations based on the special Lagrangian condition in terms of the holomorphic volume form and the metric. For the Iwasawa manifold, these are applied in Section 4 with specific left-invariant forms and the resulting equations for the distribution parameters. Similarly for Nakamura manifolds in Section 5. The integration to compact tori is shown by solving the ODEs or using the group structure, and unobstructedness follows from the vanishing of certain cohomology groups computed algebraically. However, to improve accessibility and allow easier independent checking, we have expanded the derivations with more intermediate steps and included numerical examples of the equations in the revised manuscript. revision: partial

Circularity Check

0 steps flagged

No significant circularity; independent algebraic constructions and external proposal application.

full rationale

The paper derives purely algebraic equations for SLag distributions on non-Kähler CY manifolds, applies them explicitly to Iwasawa and Nakamura solvmanifolds to identify compact torus leaves and prove unobstructed deformations via direct computation, then invokes the external Lau-Tseng-Yau proposal to construct mirrors and compute refined Bott-Chern cohomology. No step reduces a claimed prediction or first-principles result to a fitted parameter, self-definition, or self-citation chain by construction; the central existence statement for non-diffeomorphic semi-flat pairs follows from applying the cited external framework to the independently obtained examples rather than re-deriving or assuming the framework itself.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard facts from complex geometry and the external Lau-Tseng-Yau framework; no new free parameters, ad-hoc axioms, or postulated entities are introduced in the abstract.

axioms (2)
  • domain assumption Non-Kähler Calabi-Yau manifolds admit invariant distributions that can generate special Lagrangian submanifolds
    Invoked when the authors restrict to a class of non-Kähler CY manifolds and apply algebraic tests to their invariant distributions.
  • domain assumption The Lau-Tseng-Yau proposal for non-Kähler SYZ mirrors applies to the Nakamura manifolds
    Used to compute the mirrors and refined symplectic Bott-Chern cohomologies.

pith-pipeline@v0.9.0 · 5453 in / 1561 out tokens · 41514 ms · 2026-05-08T18:24:43.770156+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

Reference graph

Works this paper leans on

37 extracted references · 35 canonical work pages · 1 internal anchor

  1. [1]

    \'Alvarez-C\'onsul, A

    L. \'Alvarez-C\'onsul, A. De Arriba De La Hera, M. Garcia-Fernandez, (0,2) mirror symmetry on homogeneous H opf surfaces, Int. Math. Res. Not. IMRN, (2024) no. 2, 1211--1298, https://doi.org/10.1093/imrn/rnad016

    work page doi:10.1093/imrn/rnad016 2024

  2. [2]

    Angella, H

    D. Angella, H. Kasuya, Symplectic Bott-Chern cohomology of solvmanifolds. J. Symplectic Geom. 17 (2019), N. 1, 41--91, https://doi.org/10.4310/JSG.2019.v17.n1.a2

    work page doi:10.4310/jsg.2019.v17.n1.a2 2019

  3. [3]

    Bedulli, A

    L. Bedulli, A. Vannini, SYZ mirror symmetry of solvmanifolds. Ann. Mat. Pura Appl. 204 (2025), 359–385, https://doi.org/10.1007/s10231-024-01487-3

    work page doi:10.1007/s10231-024-01487-3 2025

  4. [4]

    R. Bott, S. S. Chern, Hermitian vector bundles and the equidistribution of the zeroes of their holomorphic sections. Acta Math. 114 (1965), 71–112, https://doi.org/10.1007/BF02391818

    work page doi:10.1007/bf02391818 1965

  5. [5]

    Cattaneo, A

    A. Cattaneo, A. Tomassini, -lemma and p -K\"ahler structures on families of solvmanifolds. Math. Z. 308 (2024), https://doi.org/10.1007/s00209-024-03612-7

    work page doi:10.1007/s00209-024-03612-7 2024

  6. [6]

    The Cohomology of Solvmanifold SYZ Mirrors

    L. Cavenaghi, L. Grama, L. Katzarkov, P.A. muniz Martins, The Cohomology of Solvmanifold SYZ Mirrors. arXiv preprint (2026), https://arxiv.org/abs/2604.19303

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  7. [7]

    Collins, S

    T. Collins, S. Gukov, S. Picard, S. Yau, Special Lagrangian Cycles and Calabi-Yau Transitions. Commun. Math. Phys. 401 (2021), 769-802, https://doi.org/10.1007/s00220-023-04655-3

    work page doi:10.1007/s00220-023-04655-3 2021

  8. [8]

    Collins, S

    T. Collins, S. Picard, S. T. Yau, Stability of the tangent bundle through conifold transitions. Comm. Pure Appl. Math. 77 (2024), 284–371, https://doi.org/10.1002/cpa.22135

    work page doi:10.1002/cpa.22135 2024

  9. [9]

    de Bartolomeis, A

    P. de Bartolomeis, A. Tomassini, On the Maslov index of Lagrangian submanifolds of generalized Calabi-Yau manifolds. Internat. J. Math. 17 (2006), 921–947, https://dx.doi.org/10.1142/S0129167X06003710

    work page doi:10.1142/s0129167x06003710 2006

  10. [10]

    de Bartolomeis, A

    P. de Bartolomeis, A. Tomassini, On solvable generalized Calabi-Yau manifolds. Ann. Inst. Fourier (Grenoble) 56 (2006), 1281-1296, https://dx.doi.org/10.5802/aif.2213

    work page doi:10.5802/aif.2213 2006

  11. [11]

    T. Fei, D. H. Phong, S. Picard, X. Zhang, Geometric flows for the type IIA string. Camb. J. Math., 9 (2021), no. 3, 693--807, https://doi.org/10.4310/CJM.2021.v9.n3.a3

    work page doi:10.4310/cjm.2021.v9.n3.a3 2021

  12. [12]

    T. Fei, D. H. Phong, S. Picard, X. Zhang, Estimates for a geometric flow for the type IIB string, Math. Ann., 382 (2022), no. 3-4, 1935--1955, https://doi.org/10.1007/s00208-021-02171-0

    work page doi:10.1007/s00208-021-02171-0 2022

  13. [13]

    T. Fei, S. T. Yau, Invariant solutions to the Strominger system on complex Lie groups and their quotients. Comm. Math. Phys. 338 (2015), 1183–1195, https://doi.org/10.1007/s00220-015-2374-0

    work page doi:10.1007/s00220-015-2374-0 2015

  14. [14]

    A. Fino, G. Grantcharov, L. Vezzoni, Solutions to the Hull–Strominger system with torus symmetry. Commun. Math. Phys. 388 (2021), 947–967, https://doi.org/10.1007/s00220-021-04223-7

    work page doi:10.1007/s00220-021-04223-7 2021

  15. [15]

    Friedman, On threefolds with trivial canonical bundle

    R. Friedman, On threefolds with trivial canonical bundle. Proceedings of Symposia in Pure Mathematics (1991), 103–134, https://doi.org/10.1090/pspum/053/1141199

    work page doi:10.1090/pspum/053/1141199 1991

  16. [16]

    J. Fu, J. Li, S. T. Yau, Balanced metrics on non-Kähler Calabi-Yau threefolds. J. Differential Geom. 90 (2012), 81–129, https://doi.org/10.4310/jdg/1335209490

    work page doi:10.4310/jdg/1335209490 2012

  17. [17]

    Garcia-Fernandez, R

    M. Garcia-Fernandez, R. Gonzalez Molina, Futaki invariants and Y au's conjecture on the H ull- S trominger system, J. Reine Angew. Math. 822 (2025), 221--257, https://doi.org/10.1515/crelle-2025-0008

    work page doi:10.1515/crelle-2025-0008 2025

  18. [18]

    Garcia-Fernandez, R

    M. Garcia-Fernandez, R. Gonzalez Molina, J. Streets, Pluriclosed flow and the H ull- S trominger system, Adv. Math. 485 (2026), Paper No. 110699, 95, https://doi.org/10.1016/j.aim.2025.110699

    work page doi:10.1016/j.aim.2025.110699 2026

  19. [19]

    Goldstein, Calibrated Fibrations

    E. Goldstein, Calibrated Fibrations. Comm. Anal. Geom. 10(1) (2002), 127-150, 10.4310/CAG.2002.v10.n1.a6

    work page doi:10.4310/cag.2002.v10.n1.a6 2002

  20. [20]

    Acta Math

    R. Harvey, H. B. Lawson, Calibrated geometries. Acta Math. 148 (1982), 47–157, https://doi.org/10.1007/BF02392726

    work page doi:10.1007/bf02392726 1982

  21. [21]

    Hattori, Spectral sequence in the de Rham cohomology of fibre bundles

    A. Hattori, Spectral sequence in the de Rham cohomology of fibre bundles. J. Fac. Sci. Univ. Tokyo Sect. I 8 (1960), 289--331

    1960

  22. [22]

    Hitchin, Generalized Calabi–Yau Manifolds

    N. Hitchin, Generalized Calabi–Yau Manifolds. The Quarterly J. Math. 54 (2003), 281–308, https://doi.org/10.1093/qmath/hag025

    work page doi:10.1093/qmath/hag025 2003

  23. [23]

    Hull, Compactifications of the Heterotic Superstring

    C. Hull, Compactifications of the Heterotic Superstring. Phys. Lett. B 178 (1986) no. 4, 357--364, https://doi.org/10.1016/0370-2693(86)91393-6

    work page doi:10.1016/0370-2693(86)91393-6 1986

  24. [24]

    Kasuya, Techniques of computations of Dolbeault cohomology of solvmanifolds, Math

    H. Kasuya, Techniques of computations of Dolbeault cohomology of solvmanifolds, Math. Z. 273 (2013), no. 1-2, 437–447. https://doi.org/10.1007/s00209-012-1013-0

    work page doi:10.1007/s00209-012-1013-0 2013

  25. [25]

    Kasuya, Formality and hard Lefschetz property of aspherical manifolds

    H. Kasuya, Formality and hard Lefschetz property of aspherical manifolds. Osaka J. Math. 50 (2013), 439-455, http://projecteuclid.org/euclid.ojm/1371833494

    work page arXiv 2013

  26. [26]

    S. C. Lau, L. S. Tseng, S. T. Yau, Non-Kähler SYZ Mirror Symmetry. Commun. Math. Phys. 340 (2015), 145–170 https://doi.org/10.1007/s00220-015-2454-1

    work page doi:10.1007/s00220-015-2454-1 2015

  27. [27]

    Lusetti, A

    F. Lusetti, A. Tomassini, Hard Lefschetz Condition on symplectic non-K\"ahler solvmanifolds. Math. Z. 311, (2025), https://doi.org/10.1007/s00209-025-03878-5

    work page doi:10.1007/s00209-025-03878-5 2025

  28. [28]

    Macrì, Cohomological properties of unimodular six dimensional solvable Lie algebras

    M. Macrì, Cohomological properties of unimodular six dimensional solvable Lie algebras. Differential Geom. Appl. 31 (2013), https://doi.org/10.1016/j.difgeo.2012.10.002

    work page doi:10.1016/j.difgeo.2012.10.002 2013

  29. [29]

    Mclean, Deformations of calibrated submanifolds

    R.C. Mclean, Deformations of calibrated submanifolds. Comm. Anal. Geom. 6 (1998), 705-747, https://doi.org/10.4310/CAG.1998.v6.n4.a4

    work page doi:10.4310/cag.1998.v6.n4.a4 1998

  30. [30]

    Michelsohn, On the existence of special metrics in complex geometry

    M.L. Michelsohn, On the existence of special metrics in complex geometry. Acta Math. 149 (1982), 261–295, https://doi.org/10.1007/BF02392356

    work page doi:10.1007/bf02392356 1982

  31. [31]

    Nakamura, Complex parallelisable manifolds and their small deformations

    I. Nakamura, Complex parallelisable manifolds and their small deformations. J. Differential Geom. 10 (1975), no. 1, 85–112, http://projecteuclid.org/euclid.jdg/1214432677

    work page arXiv 1975

  32. [32]

    D. H. Phong, Geometric flows from unified string theories, Surveys in differential geometry 2022. E ssays on geometric flows---celebrating 40 years of R icci flow , Surv. Differ. Geom. 27 (2024), 75--102

    2022

  33. [33]

    D. H. Phong, S. Picard, and X. Zhang, Geometric flows and Strominger systems, Math. Z. 288 (2018), no. 1--2, 101--113, https://doi.org/10.1007/s00209-017-1879-y

    work page doi:10.1007/s00209-017-1879-y 2018

  34. [34]

    Strominger, Superstrings with torsion

    A. Strominger, Superstrings with torsion. Nuclear Phys. B 274.2 (1986), 253–284. issn: 0550-3213. doi: https://doi.org/10.1016/0550-3213(86)90286-5

    work page doi:10.1016/0550-3213(86)90286-5 1986

  35. [35]

    and Yau, S.-T

    A. Strominger, S.-T. Yau, E. Zaslow, Mirror symmetry is T-duality, Nuclear Phys. B 479 (1996), no. 1-2, 243–259, https://doi.org/10.1016/0550-3213(96)00434-8

    work page doi:10.1016/0550-3213(96)00434-8 1996

  36. [36]

    Tomassini, L

    A. Tomassini, L. Vezzoni, On symplectic half-flat manifolds. Manuscripta Math. 125, (2008), 515–530, https://doi.org/10.1007/s00229-007-0158-3

    work page doi:10.1007/s00229-007-0158-3 2008

  37. [37]

    Tseng, S.-T

    L.-S. Tseng, S.-T. Yau, Cohomology and Hodge theory on symplectic manifolds, I. J. Differential Geom. 91 (2012), no. 3, 383–416. https://doi.org/10.4310/jdg/1349292670

    work page doi:10.4310/jdg/1349292670 2012