arxiv: 2604.19303 · v1 · submitted 2026-04-21 · ✦ hep-th · math-ph· math.DG· math.MP· math.SG

Recognition: unknown

The Cohomology of Solvmanifold SYZ Mirrors

Leonardo F. Cavenaghi, Lino Grama, Ludmil Katzarkov, Pedro Antonio Muniz Martins

Pith reviewed 2026-05-10 02:27 UTC · model grok-4.3

classification ✦ hep-th math-phmath.DGmath.MPmath.SG

keywords non-Kähler SYZ mirror symmetrysolvmanifoldsFourier-Mukai transformdeformed Hermitian-Yang-MillsTseng-Yau cohomologyBott-Chern cohomologysupersymmetric cyclesdual torus fibrations

0 comments

The pith

The Fourier-Mukai transform exchanges type-A supersymmetric cycles with type-B cycles on non-Kähler SYZ mirrors of solvmanifolds, while making their Tseng-Yau and Bott-Chern cohomologies isomorphic for basic forms.

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

This paper shows how non-Kähler SYZ mirror symmetry works on dual torus fibrations over solvmanifolds by proving that a Fourier-Mukai transform maps special Lagrangian sections with flat U(1) connections to line bundles whose connections solve the deformed Hermitian-Yang-Mills equation. It supplies Lie-algebra conditions that produce explicit mirror pairs, including new families from almost abelian and generalized Heisenberg groups together with a full classification for nilpotent groups. The same transform renders the enclosed cohomologies of the Tseng-Yau and Bott-Chern mirror bicomplexes isomorphic when restricted to basic forms, and the paper ties this structure to noncommutative geometry while giving concrete ways to compute the cohomologies on the constructed examples.

Core claim

The Fourier-Mukai transform exchanges type-A supersymmetric cycles, given by special Lagrangian sections equipped with flat U(1) connections, with type-B cycles, given by line bundles whose connections satisfy the deformed Hermitian-Yang-Mills equation. The Tseng-Yau and Bott-Chern mirror bicomplexes have isomorphic enclosed cohomologies under this transform for basic forms. Pure Lie-theoretic criteria determine the existence of such non-Kähler SYZ mirror pairs on solvmanifolds, yielding explicit families from almost abelian and generalized Heisenberg Lie groups and a complete classification for nilpotent groups.

What carries the argument

The Fourier-Mukai transform that maps supersymmetric branes between the symplectic and complex sides of the dual torus fibration.

If this is right

Explicit new families of non-Kähler SYZ mirror pairs arise from almost abelian and generalized Heisenberg Lie groups.
All such pairs coming from nilpotent Lie groups are completely classified by the same Lie-theoretic criteria.
The enclosed cohomologies of the Tseng-Yau and Bott-Chern mirror bicomplexes reduce to the primitive versions and become isomorphic under the Fourier-Mukai transform for basic forms.
Explicit formulas for computing Tseng-Yau and Bott-Chern cohomology are supplied for each constructed mirror pair.

Where Pith is reading between the lines

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

Solvmanifolds furnish a large supply of concrete non-Kähler examples where mirror symmetry can be checked directly via Lie data.
The cohomological isomorphism may allow invariants computed on one side of the mirror to be transferred to the other without a Kähler metric.
The link to noncommutative geometry opens the possibility of interpreting these cohomologies as invariants in deformed or quantum settings.

Load-bearing premise

Solvmanifolds admit dual torus fibrations in the Lau-Tseng-Yau sense and their Lie-algebra data alone guarantees the flat connections and deformed Hermitian-Yang-Mills solutions without further obstructions.

What would settle it

A solvmanifold that meets the Lie-algebra criteria for a mirror pair yet admits no flat U(1) connection on the special Lagrangian section or no solution to the deformed Hermitian-Yang-Mills equation on the line bundle, or where the enclosed cohomologies of the mirror bicomplexes fail to be isomorphic.

read the original abstract

This paper investigates the geometric and cohomological properties of non-K\"ahler SYZ mirror symmetry for dual torus fibrations over solvmanifolds in the sense of Lau, Tseng and Yau. We are mainly concerned with three questions: \textbf{(a)} How the Lau-Tseng-Yau notion of non-K\"ahler SYZ is related to the mapping of supersymmetric branes between symplectic and complex sides; \textbf{(b)} Finding explicit non-K\"ahler SYZ mirror pairs determined purely by Lie-theoretic data; \textbf{(c)} better understand the cohomological correspondence in the Lau-Tseng-Yau framework (given by a Fourier-Mukai transform), especially concerning the role of Tseng-Yau cohomology. We prove that the Fourier-Mukai transform introduced by Lau-Tseng-Yau exchanges type-A supersymmetric cycles, which are given by special Lagrangian sections equipped with flat $\mathrm{U}(1)$ connections, with type-B cycles, corresponding to line bundles whose connections satisfy the deformed Hermitian-Yang-Mills (dHYM) equation. We provide pure Lie-theoretic criteria for the existence of non-K\"ahler SYZ mirror pairs whose base manifolds are solvmanifolds. Applying these criteria, we construct new explicit families of mirror pairs from almost abelian and generalized Heisenberg Lie groups, and provide a complete classification of such pairs arising from nilpotent Lie groups. To contextualize the role of the Tseng-Yau cohomology, we link it to noncommutative geometry. We introduce the Tseng-Yau and Bott-Chern mirror bicomplexes. We show that (some of) their enclosed cohomologies reduce to the primitive Tseng-Yau and Bott-Chern cohomologies and that for basic forms they are isomorphic under the Fourier-Mukai transform. As a last contribution, we discuss how to explicitly compute the Tseng-Yau and the Bott-Chern cohomology for the non-K\"ahler SYZ mirror pairs constructed here.

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 supplies explicit Lie-algebraic constructions of non-Kähler SYZ mirror pairs on solvmanifolds plus a full classification for nilpotents, but the geometric claims rest on criteria that may still need metric-level checks.

read the letter

The punchline is that this work turns abstract non-Kähler SYZ ideas into concrete families built from almost abelian and generalized Heisenberg Lie groups, and it gives a complete list for nilpotent cases. It also shows the Fourier-Mukai transform swaps the expected type-A special Lagrangian sections with flat connections and type-B dHYM line bundles, while some bicomplex cohomologies match for basic forms. That is the actual advance: people now have named examples they can compute with instead of general existence statements. The classification for nilpotents is especially clean and should be usable right away. The link they draw between Tseng-Yau cohomology and noncommutative geometry through the mirror bicomplexes is a sensible way to organize the data. The soft spot is the one the stress-test flags. The special Lagrangian condition and the deformed Hermitian-Yang-Mills equation are metric-dependent nonlinear conditions. Even when the Lie algebra data looks right for a torus fibration, it is not automatic that an invariant metric will make the flat connections or the dHYM solutions exist without further obstruction. The abstract says they derive pure Lie-theoretic criteria and then apply them, but it is not clear from the summary whether they run an explicit verification step that the resulting connections satisfy the equations pointwise on the manifold. If that step is missing or only sketched, the mapping property stays conditional. This paper is aimed at people already working on generalized mirror symmetry and solvmanifold fibrations. A reader who needs explicit pairs or wants to see how the cohomological correspondence plays out in examples will find it useful. It is worth sending to peer review because the constructions are new and the claims are specific enough to be checked.

Referee Report

1 major / 0 minor

Summary. The paper studies non-Kähler SYZ mirror symmetry for dual torus fibrations over solvmanifolds in the Lau-Tseng-Yau sense. It proves that the Fourier-Mukai transform exchanges type-A supersymmetric cycles (special Lagrangian sections with flat U(1) connections) with type-B cycles (line bundles satisfying the deformed Hermitian-Yang-Mills equation). It supplies pure Lie-theoretic criteria for the existence of such mirror pairs, constructs explicit families from almost abelian and generalized Heisenberg Lie groups with a complete classification for nilpotent cases, introduces Tseng-Yau and Bott-Chern mirror bicomplexes whose enclosed cohomologies reduce to the primitive versions and are isomorphic under the transform for basic forms, and discusses explicit computations of these cohomologies.

Significance. If the central claims hold, the work supplies concrete, Lie-algebraically determined examples of non-Kähler SYZ mirrors together with a cohomological correspondence via the Fourier-Mukai transform and a link to noncommutative geometry. These explicit constructions and the bicomplex isomorphism for basic forms would constitute a useful advance in extending mirror symmetry beyond the Kähler setting.

major comments (1)

[Criteria for existence and construction of explicit families (as stated in the abstract)] The claim that pure Lie-theoretic criteria on the solvmanifold Lie algebra suffice to guarantee the existence of flat U(1) connections on special Lagrangian sections and solutions to the nonlinear dHYM equation is load-bearing for the exchange property. The special Lagrangian condition is calibrated with respect to a specific invariant metric, and dHYM is a curvature PDE; both can fail even when a dual torus fibration exists if metric compatibility or almost-complex structure obstructions are present. The manuscript must contain an explicit verification step (pointwise or via the invariant forms) showing that the constructed connections satisfy the equations, rather than relying solely on the Lie-algebra data.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive major comment. We address the point directly below and have revised the paper to strengthen the presentation of the verification steps.

read point-by-point responses

Referee: [Criteria for existence and construction of explicit families (as stated in the abstract)] The claim that pure Lie-theoretic criteria on the solvmanifold Lie algebra suffice to guarantee the existence of flat U(1) connections on special Lagrangian sections and solutions to the nonlinear dHYM equation is load-bearing for the exchange property. The special Lagrangian condition is calibrated with respect to a specific invariant metric, and dHYM is a curvature PDE; both can fail even when a dual torus fibration exists if metric compatibility or almost-complex structure obstructions are present. The manuscript must contain an explicit verification step (pointwise or via the invariant forms) showing that the constructed connections satisfy the equations, rather than relying solely on the Lie-algebra data.

Authors: We agree that the load-bearing nature of the criteria requires transparent verification. The Lie-theoretic criteria in the manuscript are obtained by reducing the special Lagrangian calibration condition (with respect to the invariant metric) and the dHYM curvature equation to algebraic equations on the Lie algebra via left-invariant forms; the criteria are precisely the solutions to those reduced equations. In the explicit constructions for almost abelian and generalized Heisenberg cases, the manuscript already performs this reduction and confirms satisfaction for the chosen data. Nevertheless, to make the verification fully explicit and self-contained as requested, we have added a new subsection (now Section 4.3) that carries out the pointwise check on the invariant coframe for each family, confirming that the flat U(1) connections are indeed flat and that the curvature satisfies the dHYM equation identically. This addition does not change the results but improves clarity. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivations self-contained from Lie data and Fourier-Mukai transform

full rationale

The paper's core claims—the exchange of type-A special Lagrangian cycles with flat U(1) connections and type-B dHYM line bundles under the Fourier-Mukai transform, plus the isomorphism of Tseng-Yau/Bott-Chern bicomplex cohomologies for basic forms—are derived directly from the transform applied to explicit Lie-algebraic constructions on solvmanifolds (almost abelian, generalized Heisenberg, nilpotent cases). Pure Lie-theoretic criteria are stated for existence of mirror pairs, with explicit families and a complete nilpotent classification provided. The bicomplexes are newly introduced here, with their cohomologies shown to reduce to primitive versions and to be isomorphic under the transform; no reduction to fitted parameters, self-definitions, or load-bearing self-citations occurs. The abstract and structure indicate forward derivation from the given data without circular closure.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The work rests on standard differential geometry and Lie theory with no data-fitted parameters; new bicomplexes are introduced by definition to organize existing cohomologies.

axioms (2)

domain assumption Solvmanifolds admit dual torus fibrations in the Lau-Tseng-Yau sense
Invoked to set up the non-Kähler SYZ framework for the mirror pairs.
domain assumption Existence of flat U(1) connections on type-A cycles and dHYM solutions on type-B cycles
Required for the supersymmetric cycles whose exchange is proved.

invented entities (1)

Tseng-Yau and Bott-Chern mirror bicomplexes no independent evidence
purpose: To connect Tseng-Yau cohomology to noncommutative geometry and prove isomorphisms under the Fourier-Mukai transform
Newly defined objects built from existing cohomologies; no independent physical evidence supplied.

pith-pipeline@v0.9.0 · 5696 in / 1543 out tokens · 52534 ms · 2026-05-10T02:27:50.361948+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Non-K\"ahler Special Lagrangian submanifolds and SYZ mirror symmetry
math.DG 2026-05 unverdicted novelty 7.0

Algebraic conditions identify special Lagrangian distributions in non-Kähler Calabi-Yau manifolds; explicit examples on Iwasawa and Nakamura manifolds yield non-diffeomorphic semi-flat SYZ mirror pairs.

Reference graph

Works this paper leans on

46 extracted references · cited by 1 Pith paper

[1]

Efimov, Ludmil Katzarkov, and Dmitri Orlov, Homological mirror symmetry for punctured spheres, Journal of the American Mathematical Society26 (2013), no

Mohammed Abouzaid, Denis Auroux, Alexander I. Efimov, Ludmil Katzarkov, and Dmitri Orlov, Homological mirror symmetry for punctured spheres, Journal of the American Mathematical Society26 (2013), no. 4, 1051–1083. 1

2013
[2]

MR 3502098 1

Mohammed Abouzaid, Denis Auroux, and Ludmil Katzarkov,Lagrangian fibrations on blowups of toric varieties and mirror symmetry for hypersurfaces, Publications Mathématiques de l’IHÉS123(2016), 199–282 (en). MR 3502098 1

2016
[3]

Andrada and M

A. Andrada and M. Origlia,Lattices in almost abelian Lie groups with locally conformal Kähler or symplectic structures, Manuscripta Mathematica155(2018), 389–417. 40

2018
[4]

1, 41–91

Daniele Angella and Hisashi Kasuya,Symplectic Bott–Chern cohomology of solvmanifolds, Journal of Symplectic Geometry17(2019), no. 1, 41–91. 5, 31

2019
[5]

V. I. Arnold,Mathematical Methods of Classical Mechanics, Springer New York, 1989. 2, 8

1989
[6]

Denis Auroux,Mirror symmetry and T-duality in the complement of an anticanonical divisor, Journal of Gökova Geometry Topology1(2007), 51–91. 1, 8

2007
[7]

Louis Auslander,Simply Transitive Groups of Affine Motions, American Journal of Mathematics99 (1977), no. 4, 809. 13

1977
[8]

1, 359–385

Lucio Bedulli and Alessandro Vannini,SYZ mirror symmetry of solvmanifolds, Annali di Matematica Pura ed Applicata (1923 -)204(2024), no. 1, 359–385. 1, 2, 8, 13, 14

1923
[9]

2, 199–262

Christoph Bock,On low-dimensional solvmanifolds, Asian Journal of Mathematics20(2016), no. 2, 199–262. 40

2016
[10]

2, 383–415

Peter Bouwknegt, Jarah Evslin, and Varghese Mathai,T-Duality: Topology Change from H-Flux, Communications in Mathematical Physics249(2004), no. 2, 383–415. 2, 8

2004
[11]

Jean-Luc Brylinski,A differential complex for Poisson manifolds, Journal of Differential Geometry28 (1988), no. 1. 4, 24

1988
[12]

Cavalcanti and Marco Gualtieri,Generalized complex geometry and T-duality, 2011

Gil R. Cavalcanti and Marco Gualtieri,Generalized complex geometry and T-duality, 2011. 2, 8

2011
[13]

1, 243–287

Patrick Clarke,Duality for toric landau–ginzburg models, Advances in Theoretical and Mathematical Physics21(2017), no. 1, 243–287. 1

2017
[14]

1, 37–55

Richard Cleyton, Jorge Lauret, and Yat Sun Poon,Weak mirror symmetry of Lie algebras, Journal of Symplectic Geometry8(2010), no. 1, 37–55. 1

2010
[15]

Collins, Sergei Gukov, Sebastien Picard, and Shing-Tung Yau,Special Lagrangian Cycles and Calabi-Yau Transitions, Communications in Mathematical Physics401(2023), no

Tristan C. Collins, Sergei Gukov, Sebastien Picard, and Shing-Tung Yau,Special Lagrangian Cycles and Calabi-Yau Transitions, Communications in Mathematical Physics401(2023), no. 1, 769–802. 1

2023
[16]

MR 823176 24, 25

Alain Connes,Non-commutative differential geometry, Publications Mathématiques de l’IHÉS62(1985), 41–144 (en). MR 823176 24, 25

1985
[17]

Viviana del Barco, Lino Grama, and Leonardo Soriani,T-duality on nilmanifolds, Journal of High Energy Physics2018(2018), no. 5. 1

2018
[18]

2, 625–650

Anna Fino and Alberto Raffero,Coupled SU(3)-Structures and Supersymmetry, Symmetry7(2015), no. 2, 625–650. 6

2015
[19]

David Fried and William M Goldman,Three-dimensional affine crystallographic groups, Advances in Mathematics47(1983), no. 1, 1–49. 40

1983
[20]

1 THE COHOMOLOGY OF SOL VMANIFOLD SYZ MIRRORS 39

Mario Garcia-Fernandez,Ricci flow, killing spinors, and t-duality in generalized geometry, Advances in Mathematics350(2019), 1059–1108. 1 THE COHOMOLOGY OF SOL VMANIFOLD SYZ MIRRORS 39

2019
[21]

William Goldman,Geometric Structures on Manifolds, American Mathematical Society, December
[22]

James Gray, Magdalena Larfors, and Dieter Lüst,Heterotic domain wall solutions and SU(3) structure manifolds, Journal of High Energy Physics2012(2012), no. 8. 6

2012
[23]

Mark Gross,The Strominger-Yau-Zaslow conjecture: From torus fibrations to degenerations, 2008. 1

2008
[24]

1, 133–191

,Mirror symmetry and the Strominger-Yau-Zaslow conjecture, Current Developments in Mathe- matics2012(2012), no. 1, 133–191. 1

2012
[25]

Mark Gross, Ludmil Katzarkov, and Helge Ruddat,Towards mirror symmetry for varieties of general type, Advances in Mathematics308(2017), 208–275. 1

2017
[26]

4, 571–605

Anton Kapustin, Ludmil Katzarkov, Dmitri Orlov, and Mirroslav Yotov,Homological mirror symmetry for manifolds of general type, Open Mathematics7(2009), no. 4, 571–605. 1

2009
[27]

3, 1141–1160

Ludmil Katzarkov and Leonardo Soriani,Homological Mirror Symmetry, coisotropic branes andP = W, European Journal of Mathematics4(2018), no. 3, 1141–1160. 1

2018
[28]

Hyuk Kim,Complete left-invariant affine structures on nilpotent Lie groups, Journal of Differential Geometry24(1986), no. 3. 23

1986
[29]

Michael Klaput, Andre Lukas, and Cyril Matti,Bundles over nearly-Kahler homogeneous spaces in heterotic string theory, Journal of High Energy Physics2011(2011), no. 9. 6

2011
[30]

(Notes by Ernesto Lupercio), 2008

Maxim Kontsevich,XI Solomon Lefschetz Memorial Lecture Series: Hodge structures in non- commutative geometry. (Notes by Ernesto Lupercio), 2008. 4, 24

2008
[31]

1, 145–170

Siu-Cheong Lau, Li-Sheng Tseng, and Shing-Tung Yau,Non-Kähler SYZ Mirror Symmetry, Communi- cations in Mathematical Physics340(2015), no. 1, 145–170. 1, 2, 3, 6, 8, 9, 10, 20, 30

2015
[32]

6, 1319–1341

Naichung Conan Leung, Shing-Tung Yau, and Eric Zaslow,From special Lagrangian to Hermit- ian–Yang–Mills via Fourier–Mukai transform, Advances in Theoretical and Mathematical Physics4 (2000), no. 6, 1319–1341. 2, 3, 8

2000
[33]

3, 293–329

John Milnor,Curvatures of left invariant metrics on lie groups, Advances in Mathematics21(1976), no. 3, 293–329. 21

1976
[34]

Ruben Minasian and Daniël Prins,Mirror symmetry & supersymmetry onSU(4)-structure backgrounds, Journal of High Energy Physics2016(2016), no. 5. 1

2016
[35]

Nest and B

R. Nest and B. Tsygan,Cyclic Homology, Unpublished Manuscript, Northwestern University. Available at: https://sites.math.northwestern.edu/~tsygan/Part1_11.pdf (Accessed: October 2025). 4, 24, 25

2025
[36]

Fabio Podestà and Alberto Raffero,Homogeneous symplectic half-flat 6-manifolds, Annals of Global Analysis and Geometry55(2018), no. 1, 1–15. 6

2018
[37]

23, 9471–9538

Dan Popovici,Non-kähler mirror symmetry of the iwasawa manifold, International Mathematics Research Notices2020(2020), no. 23, 9471–9538. 1

2020
[38]

Raghunathan,Discrete Subgroups of Lie Groups, Ergebnisse der Mathematik und ihrer Grenzgebi- ete, Springer-Verlag, 1972

M.S. Raghunathan,Discrete Subgroups of Lie Groups, Ergebnisse der Mathematik und ihrer Grenzgebi- ete, Springer-Verlag, 1972. 4, 22

1972
[39]

Raju Roychowdhury and Leonardo Soriani,T-duality of emergent gravities on nilmanifolds, Journal of High Energy Physics2024(2024), no. 7. 1

2024
[40]

1, 569–578

Dan Segal,The structure of complete left-symmetric algebras, Mathematische Annalen293(1992), no. 1, 569–578. 16

1992
[41]

1–2, 243–259

Andrew Strominger, Shing-Tung Yau, and Eric Zaslow,Mirror symmetry is T-duality, Nuclear Physics B479(1996), no. 1–2, 243–259. 1, 2

1996
[42]

3, 213 – 266

Hiro Lee Tanaka and Li-Sheng Tseng,Odd sphere bundles, symplectic manifolds, and their intersection theory, Cambridge Journal of Mathematics6(2018), no. 3, 213 – 266. 1

2018
[43]

Li-Sheng Tseng and Shing-Tung Yau,Cohomology and Hodge Theory on Symplectic Manifolds: I, Journal of Differential Geometry91(2012), no. 3. 23, 24, 25, 27, 28

2012
[44]

3, 875–885

,Generalized Cohomologies and Supersymmetry, Communications in Mathematical Physics326 (2014), no. 3, 875–885. 6, 30

2014
[45]

1 AppendixA.Existence of lattice In Example 3.8, we assumed the existence of a latticeΓwith the desired properties

Abigail Ward,Homological mirror symmetry for elliptic hopf surfaces, 2021. 1 AppendixA.Existence of lattice In Example 3.8, we assumed the existence of a latticeΓwith the desired properties. It turns out that determining when such lattices exist in this context (and in broader contexts) is an active area of research. In dimension three, lattices related t...

2021
[46]

Let G be a simply connected Lie group

and [3]. Let G be a simply connected Lie group. A complete left-invariant affine structure on G is equivalent to an affine representationα:G→Aff (Rn). Let ρ:G→GL (n,R )be the linear part ofα, given by: ρ(x1, x2, . . . , xn) = 1 0 0e x1A . In the almost abelian case, Bock [9] proved the following theorem (see also [3, Proposition 2.3]). Theorem 1.1(Bock [9...