pith. sign in

arxiv: 2507.23072 · v2 · submitted 2025-07-30 · ✦ hep-th

Nil-Equivariant Tropological Sigma Models on Filtered Geometries

Emil Albrychiewicz , Andr\'es Franco Valiente , Christopher Stites This is my paper

Pith reviewed 2026-05-19 02:11 UTC · model grok-4.3

classification ✦ hep-th
keywords tropological sigma modelsfiltered manifoldsEngel algebraequivariant extensionsGromov-Witten invariantsNilmanifoldsMaslov dequantization
0
0 comments X

The pith

Tropological sigma models on higher-dimensional targets develop anisotropic filtrations and Engel algebra symmetries, conjecturally yielding filtered Gromov-Witten invariants.

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

The paper shows that tropological sigma models, when placed on targets of dimension greater than two, undergo nested Maslov dequantizations that produce nontrivial anisotropic filtration structures instead of the foliations seen in two dimensions. For four-dimensional targets this leads to models defined on filtered manifolds whose enhanced global symmetries are governed by the four-dimensional step-three Engel algebra. The authors regularize the resulting noncompact symmetry group on a Nilmanifold lattice and build an equivariant extension of the model, conjecturing that the resulting invariants constitute a new filtered version of Gromov-Witten theory on filtered geometries.

Core claim

Higher-dimensional spaces admit nested Maslov dequantizations that generate nontrivial anisotropic filtration structures; on four-dimensional targets the tropological sigma models are therefore defined on filtered manifolds rather than foliated geometries. These filtrations produce enhanced global symmetries characterized by the four-dimensional step-three Engel algebra on the space of fields. A Nilmanifold lattice regularization of the noncompact symmetry group yields a natural equivariant extension of the model, which the authors conjecture is associated with filtered Gromov-Witten invariants on filtered manifolds.

What carries the argument

The four-dimensional step-three Engel algebra realized on the space of fields, which encodes the enhanced global symmetries arising from the nontrivial anisotropic filtrations on filtered manifolds.

If this is right

  • Tropological sigma models on four-dimensional targets are defined on filtered manifolds with anisotropic filtrations rather than on foliated geometries.
  • The models possess enhanced global symmetries generated by the four-dimensional step-three Engel algebra.
  • A Nilmanifold lattice provides a regularization that permits construction of a natural equivariant extension.
  • The equivariant models are conjectured to compute filtered Gromov-Witten invariants on filtered manifolds.

Where Pith is reading between the lines

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

  • The same filtration mechanism may generalize to other nilpotent algebras in higher dimensions, yielding a hierarchy of filtered invariants.
  • Filtered Gromov-Witten invariants could supply new enumerative tools for counting holomorphic curves inside geometries that carry nontrivial filtrations.
  • The Nilmanifold regularization might offer a practical route to compute the conjectured invariants numerically on explicit examples.

Load-bearing premise

Higher-dimensional target spaces admit nested Maslov dequantizations that produce nontrivial anisotropic filtration structures on four-dimensional geometries.

What would settle it

An explicit calculation of the symmetry algebra on the space of fields for a concrete four-dimensional filtered manifold that fails to reproduce the Engel algebra relations would falsify the claimed enhancement of symmetries.

read the original abstract

We investigate the behavior of tropological (tropical topological) sigma models on higher dimensional target spaces and show that higher dimensional spaces explicitly admit nested Maslov dequantizations which lead to nontrivial anisotropic filtration structures. We provide a classification of all inequivalent tropological sigma models that can be constructed for the case of 4D targets and show that, generically, the corresponding sigma-models are not defined on foliated geometries like in the 2D case but instead are defined on filtered manifolds. We find that the nontrivial filtration structures lead to enhanced global symmetries characterized by noncompact nilpotent Lie algebras given by the 4 dimensional step 3 Engel algebra on the space of fields. We provide a Nilmanifold lattice regularization of the noncompact symmetry group and use this Nilmanifold symmetry to construct a natural equivariant extension of the tropological sigma model. We conjecture that these equivariant tropological sigma models are associated with a new version of GW invariants on filtered manifolds known as \textit{filtered Gromov Witten invariants

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 / 2 minor

Summary. The paper classifies all inequivalent tropological sigma models on 4D target spaces, shows that higher-dimensional targets admit nested Maslov dequantizations yielding nontrivial anisotropic filtrations (so that the models live on filtered rather than foliated geometries), identifies the resulting enhanced noncompact nilpotent symmetries realized by the 4D step-3 Engel algebra, supplies a Nilmanifold lattice regularization of this symmetry, constructs the corresponding equivariant extension of the sigma model, and conjectures that the resulting equivariant models are associated with a new class of invariants termed filtered Gromov-Witten invariants on filtered manifolds.

Significance. If the classification, symmetry analysis, and lattice regularization are rigorously established and the conjecture is equipped with an explicit definition and correspondence, the work would extend tropical sigma-model techniques from 2D foliated settings to higher-dimensional filtered geometries and potentially introduce new enumerative invariants. The explicit use of the Engel algebra and Nilmanifold regularization are concrete technical contributions that could be of interest to the mathematical-physics community working on equivariant and tropical theories.

major comments (2)
  1. [Abstract] Abstract (final sentence) and concluding section: the central conjecture that the constructed equivariant tropological sigma models 'are associated with' filtered Gromov-Witten invariants supplies neither a definition of these invariants, nor an explicit dictionary mapping sigma-model observables or correlation functions to them, nor a limiting-case verification (e.g., recovery of ordinary GW invariants when the filtration is trivial). Because the preceding constructions on classification, Engel symmetry, and Nilmanifold regularization do not logically entail this association, the conjecture remains unsupported and is load-bearing for the paper's stated novelty.
  2. [Classification of 4D models] Section describing the 4D classification and filtration structures: the claim that 'generically' the models are defined on filtered (not foliated) manifolds with anisotropic structures arising from nested Maslov dequantizations requires explicit listing of the inequivalent models, the precise filtration data on the target, and a demonstration that the filtration is nontrivial and anisotropic; without these details the transition from the 2D foliated case to the 4D filtered case cannot be verified as load-bearing for the symmetry enhancement.
minor comments (2)
  1. [Introduction] The parenthetical gloss 'tropological (tropical topological)' appears only in the abstract; a brief definition or reference to the origin of the term 'tropological' should be supplied in the introduction for readers unfamiliar with the 2D literature.
  2. [Symmetry analysis] Notation for the Engel algebra generators and the filtration degrees on the target manifold should be introduced consistently and tabulated once, rather than re-defined inline in multiple sections.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive major comments. We respond to each point below and indicate the revisions we will incorporate.

read point-by-point responses

  1. Referee: [Abstract] Abstract (final sentence) and concluding section: the central conjecture that the constructed equivariant tropological sigma models 'are associated with' filtered Gromov-Witten invariants supplies neither a definition of these invariants, nor an explicit dictionary mapping sigma-model observables or correlation functions to them, nor a limiting-case verification (e.g., recovery of ordinary GW invariants when the filtration is trivial). Because the preceding constructions on classification, Engel symmetry, and Nilmanifold regularization do not logically entail this association, the conjecture remains unsupported and is load-bearing for the paper's stated novelty.

    Authors: We agree that the conjecture is central to the novelty claim and that the current manuscript does not supply an explicit definition of filtered Gromov-Witten invariants, a detailed dictionary, or a limiting-case verification. The constructions of the 4D classification, Engel symmetry, and Nilmanifold regularization establish the necessary geometric and symmetry structures, but they do not by themselves constitute a full logical entailment of the association. In the revised version we will add a new subsection in the concluding section that proposes a definition of filtered Gromov-Witten invariants as enumerative counts of holomorphic curves compatible with the anisotropic filtration, sketches a basic dictionary relating sigma-model observables to these counts, and verifies recovery of ordinary Gromov-Witten invariants in the trivial-filtration limit. This addition will make the conjecture better supported. revision: yes

  2. Referee: [Classification of 4D models] Section describing the 4D classification and filtration structures: the claim that 'generically' the models are defined on filtered (not foliated) manifolds with anisotropic structures arising from nested Maslov dequantizations requires explicit listing of the inequivalent models, the precise filtration data on the target, and a demonstration that the filtration is nontrivial and anisotropic; without these details the transition from the 2D foliated case to the 4D filtered case cannot be verified as load-bearing for the symmetry enhancement.

    Authors: The manuscript contains a classification of inequivalent tropological sigma models on 4D targets and describes the emergence of anisotropic filtrations via nested Maslov dequantizations. To address the referee's request for greater explicitness, we will revise the classification section to include a tabulated list of the inequivalent models, the precise filtration data (step-by-step filtration flags and anisotropy measures) for each target, and a short demonstration, via concrete coordinate charts, that the resulting structures are filtered rather than foliated and that this anisotropy is responsible for the enhancement to the 4-dimensional step-3 Engel algebra. These additions will make the distinction from the 2D foliated setting and its role in the symmetry analysis fully verifiable. revision: yes

Circularity Check

0 steps flagged

No significant circularity; conjecture stands apart from technical derivations

full rationale

The paper classifies tropological sigma models for 4D targets, identifies filtered geometries, derives noncompact nilpotent symmetries from the 4D step-3 Engel algebra, constructs a Nilmanifold lattice regularization, and builds the equivariant extension. These steps are technical and self-contained. The association with filtered Gromov-Witten invariants is stated as a conjecture without any supporting derivation, definition, or reduction to the prior results. No self-citations are load-bearing for the central claims, and no predictions reduce by construction to fitted inputs. The derivation chain does not exhibit circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The claims rest on domain assumptions from tropical geometry and Lie algebra theory; the main new element is the conjectured filtered Gromov-Witten invariants without independent evidence supplied.

axioms (2)
  • domain assumption Higher dimensional spaces admit nested Maslov dequantizations leading to anisotropic filtration structures
    Invoked in the abstract to explain the difference from 2D foliated geometries.
  • standard math The 4 dimensional step 3 Engel algebra characterizes the enhanced global symmetries on the space of fields
    Stated as the Lie algebra arising from the filtration structures.
invented entities (1)
  • filtered Gromov-Witten invariants no independent evidence
    purpose: New version of GW invariants associated with equivariant tropological sigma models on filtered manifolds
    Introduced via conjecture in the abstract with no independent evidence or falsifiable prediction provided.

pith-pipeline@v0.9.0 · 5711 in / 1418 out tokens · 70190 ms · 2026-05-19T02:11:24.040322+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.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages · 12 internal anchors

  1. [1]

    Gromov, Pseudo Holomorphic Curves In Symplectic Manifolds , Inv

    M. Gromov, Pseudo Holomorphic Curves In Symplectic Manifolds , Inv. Math. 82 (1985) 307

    work page 1985

  2. [2]

    Witten, Topological Sigma Models, Commun

    E. Witten, Topological Sigma Models, Commun. Math. Phys. 118 (1988) 411. – 24 –

    work page 1988

  3. [3]

    The Topological Vertex

    M. Aganagic, A. Klemm, M. Marino and C. Vafa, The Topological Vertex, Commun. Math. Phys. 254 (2005) 425 [ hep-th/0305132]

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  4. [4]

    Homological Algebra of Mirror Symmetry

    M. Kontsevich, Homological Algebra of Mirror Symmetry , alg-geom/9411018

    work page internal anchor Pith review Pith/arXiv arXiv

  5. [5]

    Mirror Manifolds And Topological Field Theory

    E. Witten, Mirror Manifolds and Topological Field Theory , AMS/IP Stud. Adv. Math. 9 (1998) 121 [arXiv:hep-th/9112056]

    work page internal anchor Pith review Pith/arXiv arXiv 1998

  6. [6]

    Instantons beyond topological theory I

    E. Frenkel, A. Losev and N. Nekrasov, Instantons Beyond Topological Theory. I , hep-th/0610149

    work page internal anchor Pith review Pith/arXiv arXiv

  7. [7]

    Instantons beyond topological theory II

    E. Frenkel, A. Losev and N. Nekrasov, Instantons Beyond Topological Theory II , 0803.3302

    work page internal anchor Pith review Pith/arXiv arXiv

  8. [8]

    Albrychiewicz, K.-I

    E. Albrychiewicz, K.-I. Ellers, A. Franco Valiente and P. Hoˇ rava,Tropological Sigma Models, JHEP 06 (2024) 135 [ 2311.00745]

    work page arXiv 2024

  9. [9]

    Enumerative tropical algebraic geometry in R2

    G. Mikhalkin, Enumerative Tropical Algebraic Geometry in R2, J. Am. Math. Soc. 18 (2005) 313 [arXiv:math/0312530]

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  10. [10]

    Maclagan and B

    D. Maclagan and B. Sturmfels, Introduction to Tropical Geometry, Graduate Studies in Mathematics, vol. 161, American Mathematical Society (2015)

    work page 2015

  11. [11]

    Rau, A First Expedition to Tropical Geometry, https://www.math.uni-tuebingen.de/user/jora/downloads/FirstExpedition.pdf, 2017

    J. Rau, A First Expedition to Tropical Geometry, https://www.math.uni-tuebingen.de/user/jora/downloads/FirstExpedition.pdf, 2017

    work page 2017

  12. [12]

    Mikhalkin and J

    G. Mikhalkin and J. Rau, Tropical Geometry, https://www.math.uni-tuebingen.de/user/jora/downloads/main.pdf, 2018

    work page 2018

  13. [13]

    Albrychiewicz, A

    E. Albrychiewicz, A. Franco Valiente and V. Hong, A Tropical Look at Coisotropic Branes and Quantization, 2502.19246

    work page arXiv

  14. [14]

    The Maslov dequantization, idempotent and tropical mathematics: A brief introduction

    G.L. Litvinov, The Maslov dequantization, idempotent and tropical mathematics: A brief introduction, arXiv:math/0507014

    work page internal anchor Pith review Pith/arXiv arXiv

  15. [15]

    Viro, On basic concepts of tropical geometry , Proceedings of the Steklov Institute of Mathematics 273 (2011) 252

    O.Y. Viro, On basic concepts of tropical geometry , Proceedings of the Steklov Institute of Mathematics 273 (2011) 252

    work page 2011

  16. [16]

    Hyperfields for Tropical Geometry I. Hyperfields and dequantization

    O. Viro, Hyperfields for tropical geometry I. Hyperfields and dequantization , arXiv:1006.3034

    work page internal anchor Pith review Pith/arXiv arXiv

  17. [17]

    Albrychiewicz, A

    E. Albrychiewicz, A. Franco Valiente and P. Hoˇ rava,Tropological sigma models and tropological gravity, in preparation (2025)

    work page 2025

  18. [18]

    Albrychiewicz, A

    E. Albrychiewicz, A. Franco Valiente and V. Hong, Tropical Branes, JHEP 06 (2025) 012 [2412.12337]

    work page arXiv 2025

  19. [19]

    Holography in the Flat Space Limit

    L. Susskind, Holography in the Flat Space Limit , AIP Conf. Proc. 493 (1999) 98 [hep-th/9901079]

    work page internal anchor Pith review Pith/arXiv arXiv 1999

  20. [20]

    Gross and P.F

    D.J. Gross and P.F. Mende, The High-Energy Behavior of String Scattering Amplitudes , Phys. Lett. B 197 (1987) 129

    work page 1987

  21. [21]

    Gross and P.F

    D.J. Gross and P.F. Mende, String Theory Beyond the Planck Scale , Nucl. Phys. B 303 (1988) 407

    work page 1988

  22. [22]

    Worldsheet Formalism for Decoupling Limits in String Theory

    J. Gomis and Z. Yan, Worldsheet formalism for decoupling limits in string theory , JHEP 07 (2024) 102 [ 2311.10565]

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  23. [23]

    Mubarakzyanov, On solvable Lie algebras , Izv

    G.M. Mubarakzyanov, On solvable Lie algebras , Izv. Vyssch. Uchebn. Zaved. Mat. 1 (1963) 114. – 25 –

    work page 1963

  24. [24]

    Power-law bounds on transfer matrices and quantum dynamics in one dimension II

    R.O. Popovych, V.M. Boyko, M.O. Nesterenko and M.W. Lutfullin, Realizations of real low-dimensional Lie algebras , J. of Phys. A: Math. and Gen. 36 (2003) 7337 [arXiv:math-ph/0302029]

    work page internal anchor Pith review Pith/arXiv arXiv 2003

  25. [25]

    Montgomery, A tour of subriemannian geometries, their geodesics and applications , no

    R. Montgomery, A tour of subriemannian geometries, their geodesics and applications , no. 91, American Mathematical Soc. (2002)

    work page 2002

  26. [26]

    AI, On a class of homogeneous spaces , Amer

    M. AI, On a class of homogeneous spaces , Amer. Math. Soc. Transl. 39 (1951)

    work page 1951

  27. [27]

    Fischer and M

    V. Fischer and M. Ruzhansky, Quantization on nilpotent Lie groups , Springer Nature (2016)

    work page 2016

  28. [28]

    Witten, Topological gravity, Phys

    E. Witten, Topological gravity, Phys. Lett. B206 (1988) 601

    work page 1988

  29. [29]

    Enhanced Gauge Symmetries and Calabi-Yau Threefolds

    P.S. Aspinwall, Enhanced gauge symmetries and Calabi-Yau threefolds , Phys. Lett. B 371 (1996) 231 [ hep-th/9511171]. – 26 –

    work page internal anchor Pith review Pith/arXiv arXiv 1996