---
title: Tropological Sigma Models in TQFT
url: https://www.emergentmind.com/topics/tropological-sigma-models
type: topic
---

# Tropological Sigma Models in TQFT

Tropological sigma models are nonrelativistic, BRST-type topological field theories obtained by Maslov dequantization of both worldsheet and target-space complex structures. They were introduced as a path-integral tropical analog of the topological A-model, with the aim of producing a field-theoretic framework whose correlators localize on tropical maps and, in explicit cases, reproduce the same enumerative data as the relativistic theory [2311.00745]. Subsequent work generalized the construction to higher-dimensional targets, where nested Maslov dequantizations yield filtered rather than merely foliated geometries, together with nilpotent global symmetries and nil-equivariant extensions [2507.23072].

## 1. Terminology and theoretical setting

The term has acquired two nearby uses in the literature. In a review of twisted \(R\)-Poisson sigma models, “Tropological Sigma Models” is used simply to mean “Topological Sigma Models” [2207.03245]. In the more specific sense developed for tropical geometry, however, tropological sigma models form a distinguished class of topological sigma theories obtained from the tropical limit of the topological sigma model before coupling to topological gravity [2311.00745].

This placement is significant because standard topological sigma models are cohomological field theories whose correlators depend only on topology, and AKSZ provides a canonical construction from a dg source \(T[1]\Sigma\) and a QP target [1204.3714]. Tropological sigma models retain the BRST-localized, cohomological character of that broader family, but replace ordinary complex structures by nilpotent “Jordan structures,” and replace the usual relativistic worldsheet geometry by a foliated or, in higher dimensions, filtered geometry [2311.00745].

A central motivation comes from tropical geometry. Mikhalkin’s program showed that certain Gromov–Witten invariants of pseudoholomorphic-map theories can be computed by passing to the tropical limit. The tropological construction translates that statement into the language of topological quantum field theory and path integrals, seeking a first-principles field-theoretic realization of tropical localization [2311.00745].

## 2. Tropicalization of worldsheet and target geometry

The basic tropicalization is implemented by writing local complex coordinates in exponential form,
\[
z=\exp\left\{ \frac{r}{\hbar}+i\theta\right\},\qquad Z=\exp\left\{\frac{X}{\hbar} +i\Theta\right\},
\]
and taking the singular limit \(\hbar\to 0\) [2311.00745]. On the target, one keeps the same differentiable topology as the original complex manifold, but the almost complex structure and metric degenerate to tropical objects.

The relativistic complex structures \(\widehat{\varepsilon}\) on the worldsheet and \(\widehat{J}\) on the target tropicalize to nilpotent endomorphisms
\[
\varepsilon_\alpha{}^\beta d\sigma^\alpha\frac{\partial}{\partial\sigma^\beta}=dr\frac{\partial}{\partial\theta},\qquad
J_i{}^jdY^i\frac{\partial}{\partial Y^j}=dX\frac{\partial}{\partial \Theta},
\]
with
\[
\varepsilon^2=0,\qquad J^2=0.
\]
These tensors take Jordan form in adapted coordinates. Correspondingly, a relativistic metric and its inverse tropicalize to the rank-one pair
\[
g_{\alpha\beta}d\sigma^\alpha d\sigma^\beta=dr^2,\qquad
h^{\alpha\beta}\frac{\partial}{\partial\sigma^\alpha}\frac{\partial}{\partial\sigma^\beta}=\left(\frac{\partial}{\partial\theta}\right)^2,
\]
satisfying
\[
g_{\alpha\beta}h^{\beta\gamma}=0,\qquad h^{\alpha\beta}g_{\beta\gamma}=0.
\]

On the worldsheet, the nilpotent \(\varepsilon\) defines a one-dimensional distribution \(F^1T\Sigma\subset T\Sigma\), integrable to a foliation by compact \(S^1\) leaves. Locally the worldsheet is built from sleeves \(I\times S^1\), and the complex structure is replaced by a foliation-preserving Jordan structure. The local infinitesimal symmetries preserving \(\varepsilon\) are
\[
\delta r=f(r),\qquad \delta\theta=F(r)+\theta\,\partial_r f(r).
\]
This is the geometric origin of the model’s anisotropic, nonrelativistic character.

The tropicalized localization equations are the degenerate counterparts of the Cauchy–Riemann equations,
\[
E_\alpha{}^i\equiv \varepsilon_\alpha{}^\beta\,\partial_\beta Y^i - J_j{}^i\,\partial_\alpha Y^j=0.
\]
In adapted coordinates they reduce to
\[
\partial_r X-\partial_\theta\Theta=0,\qquad \partial_\theta X=0.
\]
Locally the solutions are
\[
X(r,\theta)=X_0(r),\qquad \Theta(r,\theta)=\Theta_0(r)+\theta\,\partial_r X_0(r),
\]
and on compact \(\theta\)-circles global consistency imposes integer slope,
\[
X(r,\theta)=x_0+n r,\qquad \Theta(r,\theta)=\Theta_0(r)+n\theta,\qquad n\in\mathbb{Z}.
\]
Forgetting \(\Theta\) recovers the piecewise-linear tropical curve with integral slope. At singular leaves where sleeves meet, continuity imposes tropical balancing, for example
\[
n_<+n_\wedge+n_>+n_\vee=0.
\]

## 3. BRST formulation and localization

The field content consists of maps \(\Phi:\Sigma\to M\), represented locally by adapted target coordinates \(Y^i=(X,\Theta)\), together with BRST multiplets for the map and for gauge fixing [2311.00745]. The basic BRST algebra is
\[
[Q,X]=\psi,\quad \{Q,\psi\}=0,\qquad [Q,\Theta]=\Psi,\quad \{Q,\Psi\}=0,
\]
and for the antighost and auxiliary fields,
\[
\{ Q,\chi^\alpha{}_i\}=B^\alpha{}_i,\qquad [Q,B^\alpha{}_i]=0.
\]

After fixing the redundant components in a conformally compatible way, one introduces
\[
B\equiv B^r{}_\Theta,\qquad \beta\equiv -B^\theta{}_\Theta,\qquad
\Xi\equiv\chi^r{}_\Theta,\qquad \chi\equiv -\chi^\theta{}_\Theta.
\]
The BRST-exact action is
\[
S=\frac{1}{e}\int dr\,d\theta\left\{ Q,\ \Xi\left(\partial_\theta\Theta-\partial_r X -\frac{1}{2}B\right)+\chi\,\partial_\theta X\right\},
\]
which expands to
\[
S=\frac{1}{e}\int dr\,d\theta\left\{B(\partial_\theta\Theta-\partial_r X)+\beta\,\partial_\theta X-\frac{1}{2}B^2
-(\partial_\theta\Psi-\partial_r\psi)-\chi\,\partial_\theta\psi\right\}.
\]
Integrating out \(B\) gives
\[
S=\frac{1}{e}\int dr\,d\theta\left\{\frac{1}{2}\left(\partial_\theta\Theta-\partial_r X\right)^2+\beta\,\partial_\theta X-(\partial_\theta\Psi-\partial_r\psi)-\chi\,\partial_\theta\psi\right\}.
\]

Because the action is BRST-exact, the path integral localizes to the tropical equations \(E_\alpha{}^i=0\), and the semiclassical one-loop approximation in the topological Planck constant \(e\) is exact. The residual bosonic and fermionic gauge symmetries are
\[
\delta X=\partial_\theta\alpha,\quad \delta \Theta=\partial_r\alpha,\qquad \partial_\theta{}^2\alpha=0,
\]
\[
\delta\psi=\partial_\theta\zeta,\quad \delta\Psi=\partial_r\zeta,\qquad \partial_\theta{}^2\zeta=0,
\]
with \(\alpha=\alpha_0(r)+\theta\,\alpha_1(r)\) and \(\zeta=\zeta_0(r)+\theta\,\zeta_1(r)\). These gauge symmetries remove sleeve zero-modes and encode the hybrid local/global structure characteristic of the foliated worldsheet.

Near punctures the Jordan structure becomes singular but remains admissible. In non-adapted coordinates \((x,y)\), the localization equations admit smooth monomial solutions
\[
\zeta_{(n)}(z,\bar z)=z^n,\qquad z=x+iy,
\]
which represent sleeves of winding number \(n\). This furnishes the local field-theoretic realization of tropical ends.

## 4. Observables and enumerative content

Observables are constructed by the standard cohomological mechanism: a closed form \(\omega\) on the target defines
\[
\mathcal{O}^{(0)}_\omega=\omega_{i_1\ldots i_p}\,\psi^{i_1}\ldots \psi^{i_p},
\]
with Stora–Zumino descent
\[
d\mathcal{O}^{(0)}_\omega=\{Q,\mathcal{O}^{(1)}_\omega],\qquad
d\mathcal{O}^{(1)}_\omega=\{Q,\mathcal{O}^{(2)}_\omega],\qquad
d\mathcal{O}^{(2)}_\omega=0
\]
[2311.00745]. In this respect the theory remains squarely within the cohomological sigma-model paradigm.

For the tropical target \(\mathbb{CP}^1\), the BRST cohomology of point operators is two-dimensional, spanned by the identity and the top-degree class. To avoid divergence in \(\int_{\mathbb{CP}^1}dX\wedge d\Theta\), one uses the \(\Theta\)-translation-invariant representative
\[
\omega_*= \frac{1}{2\pi}\delta(X-X_0)\,dX\wedge d\Theta,\qquad \int_{\mathbb{CP}^1}\omega_*=1.
\]
The instanton number becomes the sleeve winding number,
\[
\int_\Sigma \Phi^\ast(\omega_*)=\frac{1}{2\pi}\int_0^{2\pi}\frac{\partial \Theta}{\partial \theta}\,d\theta=k\in\mathbb{Z}.
\]

The genus-zero correlators with instanton weight \(\lambda^k\) are
\[
\left\langle\mathcal{O}_\omega(P_0)\,\mathcal{O}_\omega(P_1)\ldots \mathcal{O}_\omega(P_{n})\right\rangle_{g=0}=
\begin{cases}
0,& n=2k-1,\\
\lambda^k,& n=2k.
\end{cases}
\]
These values match the relativistic A-model on \(\mathbb{CP}^1\). A torus handle with one finite sleeve carries zero winding and collapses to the local operator
\[
\mathcal{H}=2\,\mathcal{O}_\omega,
\]
so that the all-genus partition function becomes
\[
\left\langle\!\left\langle \mathbf{1}\right\rangle\!\right\rangle=\sum_{g=0}^\infty g_s^{2g-2}\langle \mathbf{1}\rangle_g
=\sum_{g=0}^\infty g_s^{2g-2}\langle \mathcal{H}^{\,g-1}\rangle_0
=\frac{2}{1-4g_s^4\lambda}.
\]
This agreement provides the principal explicit check of the construction. At the same time, the initial paper does not introduce Mikhalkin multiplicities or general tropical counts for higher-dimensional toric targets; its concrete enumerative verification is confined to \(\mathbb{CP}^1\).

## 5. Symmetry, nonrelativistic structure, and relation to standard topological sigma models

The worldsheet theory exhibits a nonrelativistic structure “similar to theories of the Lifshitz type” and is governed by foliation-preserving rather than full relativistic conformal symmetry [2311.00745]. Before integrating out \(B\), the action is invariant under the transformations preserving the Jordan structure, and the degenerate metric pair \((g,h)\) supplies a compatible notion of anisotropic conformal symmetry. The intersection of the conformal symmetries of \(g\) and \(h\) coincides with the symmetries of the Jordan structure.

Besides the infinite-dimensional foliation-preserving algebra, the model admits finite-dimensional subalgebras. The paper identifies a Heisenberg–Weyl algebra generated by rigid translations and nonrelativistic boosts, as well as the indecomposable solvable algebra \(A_{4.8}\). An anisotropic deformation parameterized by \(b\) yields dynamical exponent
\[
z=1/(1+b),
\]
although the original tropological model focuses on the isotropic case \(b=0\), hence \(z=1\). In the cross-channel, Fourier modes generate a BMS/GCA-type algebra with possible central extensions,
\[
[L_m,L_n]=(m-n)L_{m+n}+\frac{c}{12}m(m^2-1)\delta_{m+n,0},
\]
\[
[J_m,J_n]=0,
\]
\[
[L_m,J_n]=(m-n)J_{m+n}+\frac{c_\times}{12}m(m^2-1)\delta_{m+n,0}.
\]

This nonrelativistic structure sharply distinguishes tropological models from standard A- and B-models. In the latter, the worldsheet requires a nondegenerate complex structure and metric, and localization is onto holomorphic or pseudo-holomorphic maps. By contrast, the tropological construction does not require a worldsheet complex structure; it is based on a worldsheet foliation structure [2311.00745]. The comparison is nonetheless structurally close: standard topological sigma models are cohomological and metric-independent, and AKSZ furnishes a general construction for many such theories [1204.3714]. Tropological sigma models preserve the BRST-localized and topological features of that setting while replacing complex geometry by tropical Jordan geometry.

The original work treats worldsheet gravity as a fixed, nondynamical background and postpones coupling to tropicalized topological gravity to a sequel. It also raises several open problems: extension beyond \(\mathbb{CP}^1\), incorporation of tropical multiplicities, classification of boundary sectors and D-branes, and a refinement of Atiyah–Segal-type axioms appropriate to foliated, nonrelativistic topological quantum field theories [2311.00745].

## 6. Higher-dimensional targets, filtered manifolds, and nil-equivariant extensions

The higher-dimensional generalization shows that tropological sigma models are not confined to foliated targets. For 4D targets, nested Maslov dequantizations lead generically to filtered manifolds with nonholonomic tangent structure, and the corresponding sigma models acquire enhanced global symmetries described by nilpotent Lie algebras [2507.23072].

The 4D target-space classification is organized by Jordan type:

| Jordan structure | Nilpotency/class | Geometric interpretation |
|---|---|---|
| \(J_{2,1,1}\) | degree-2 nilpotent | foliation |
| \(J_{2,2}\) | degree-2 nilpotent | foliation |
| \(J_{3,1}\) | degree-3 nilpotent | nontrivial filtration |
| \(J_4\) | degree-4 nilpotent | chain structure with constrained winding |

A single dequantization of \(\mathbb{CP}^2\) yields
\[
J_{2,2}=\mathrm{diag}(J_2,J_2),\qquad
J_2=\begin{bmatrix}0&1\\0&0\end{bmatrix},
\]
while a nested double dequantization, with an intermediate basis rotation, can produce
\[
J_{3,1}=
\begin{bmatrix}
0&1&0&0\\
0&0&1&0\\
0&0&0&0\\
0&0&0&0
\end{bmatrix},
\qquad J_{3,1}^3=0,\quad J_{3,1}^2\neq 0.
\]
For \(J_{3,1}\), the target carries the filtration
\[
F_p^1=\ker(J),\qquad F_p^2=\ker(J^2),\qquad F_p^3=\ker(J^3)=T_pM,
\]
with \(\dim F_p^1=2\), \(\dim F_p^2=3\), and \(\dim F_p^3=4\). The associated graded symbol algebra is the step-3 Engel algebra.

In the \(J_{3,1}\) model, the BRST-exact action takes the form
\[
S = (1/e) \int dr d\theta \left[ B_1(\partial_\theta \Theta^1 - \partial_r X^1) + B_2(\partial_\theta \Theta^2)
+ \beta_1 \partial_\theta X^1 - \frac{1}{2}(B_1^2 + B_2^2)
- \Xi_1(\partial_\theta \phi^1 - \partial_r \psi^1) - \Xi_2(\partial_\theta \phi^2) - \chi_1 \partial_\theta \psi^1 \right],
\]
and after integrating out \(B_1,B_2\),
\[
S = (1/e) \int dr d\theta \left[ \frac{1}{2}(\partial_\theta \Theta^1 - \partial_r X^1)^2 + \frac{1}{2}(\partial_\theta \Theta^2)^2
+ \beta_1 \partial_\theta X^1
- \Xi_1(\partial_\theta \phi^1 - \partial_r \psi^1) - \Xi_2 \partial_\theta \phi^2 - \chi_1 \partial_\theta \psi^1 \right].
\]
The theory possesses additional fermionic symmetries with charges \(Q_1,\dots,Q_4\) satisfying
\[
[Q_1, Q_2] = Q_3,\qquad [Q_1, Q_3] = Q_4,
\]
with all other commutators vanishing. This realizes the 4D step-3 Engel algebra on field space.

To regularize the noncompact symmetry, the construction passes to the simply connected Engel group \(G\) and a lattice \(\Gamma\), producing the compact nilmanifold \(\mathcal{G}=G/\Gamma\). The left-invariant Maurer–Cartan forms are
\[
\theta^1 = dx,\qquad \theta^2 = dy,\qquad \theta^3 = dz - x dy,\qquad \theta^4 = du - \frac{1}{2} x dz + \frac{1}{4} x^2 dy,
\]
with
\[
d\theta^3 = -\theta^1 \wedge \theta^2,\qquad d\theta^4 = -\frac{1}{2} \theta^1 \wedge \theta^3.
\]
This nilmanifold symmetry is then used to define a nil-equivariant tropological sigma model. Introducing Grassmann-even Nil ghosts \(\phi^a\), the equivariant BRST differential acts by
\[
Q_\mathcal{G} X^i = \Psi^i,\qquad Q_\mathcal{G} \Psi^i = \phi^a K_a^{\ i}(X),\qquad Q_\mathcal{G} \phi^a = 0,
\]
\[
Q_\mathcal{G} \chi_i^\alpha = B_i^\alpha,\qquad
Q_\mathcal{G} B_i^\alpha = \mathcal{L}_{\phi^a K_a} \chi_i^\alpha,
\]
so that
\[
Q_\mathcal{G}^2 = \mathcal{L}_{\phi^a K_a}.
\]
The equivariant symplectic form is
\[
\omega_\mathcal{G} = \omega_{FS} - \mu_a \phi^a,\qquad d_\mathcal{G}\omega_\mathcal{G}=0,
\]
and the basic equivariant observable is
\[
\mathcal{O}_{\omega,\mathcal{G}}^{(0)} = \frac{1}{2}\omega_{ij}\psi^i\psi^j - \mu_a \phi^a.
\]

This framework leads to the conjectural notion of filtered Gromov–Witten invariants. The proposal is that nil-equivariant correlators in the \(Q_\mathcal{G}\)-cohomology define invariants of filtered manifolds, refining ordinary Gromov–Witten theory by incorporating the filtration and its symbol algebra. The higher-dimensional theory therefore extends the original tropological program from foliated tropical worldsheets to anisotropic filtered geometries with explicit nilpotent symmetry, while preserving the BRST-localized and metric-independent character of the construction [2507.23072].

Source: https://www.emergentmind.com/topics/tropological-sigma-models