We compute the $S_n$-equivariant rational homology of the tropical moduli spaces $Δ_{2,n}$ for $n\leq 8$ using a cellular chain complex for symmetric $Δ$-complexes in Sage.
We introduce a sheaf-theoretic approach to tropical homology, especially for tropical homology with potentially non-compact supports. Our setup is suited to study the functorial properties of tropical homology, and we show that it behaves analogously to classical Borel-Moore homology in the sense that there are proper push-forwards, cross products, and cup products with tropical cohomology classes, and that it satisfies identities like the projection formula and the Künneth theorem. Our framework allows for a natural definition of the tropical cycle class map, which we show to be a natural tra…
Given a closed subvariety of an algebraic torus, the associated tropical variety is a polyhedral fan in the space of 1-parameter subgroups of the torus which describes the behaviour of the subvariety at infinity. We show that the link of the origin has only top rational homology if a genericity condition is satisfied. Our result is obtained using work of Tevelev and Deligne's theory of mixed Hodge structures.
In this article we explicitly compute equations of an Enriques surface via the involution on a K3 surface. We also discuss its tropicalization and compute the tropical homology, thus recovering a special case of the result of \cite{IKMZ}, and establish a connection between the dimension of the tropical homology groups and the Hodge numbers of the corresponding algebraic Enriques surface.
The tropical (p, q)-homology groups of Itenberg, Katzarkov, Mikhalkin and Zharkov are the tropical analogues of the Hodge decomposition of the cohomology of complex algebraic varieties. There is a well-defined intersection pairing on tropical (1, 1)-classes of a compact non-singular tropical surface. Here we compute directly the (1, 1)-homology of a non-singular floor decomposed tropical surface in tropical projective space, along with the intersection form.
Given a tropical variety X and two non-negative integers p and q we define homology group $H_{p,q}(X)$. We show that if X is a smooth tropical variety that can be represented as the tropical limit of a 1-parameter family of complex projective varieties, then $\dim H_{p,q}(X)$ coincides with the Hodge number $h^{p,q}$ of a general member of the family.
We generalize the property of small-torus equivariant K-homology of the affine Grassmannian to general oriented (co)homology theory in the sense of Levine and Morel. The main tool we use is the formal affine Demazure algebra associated to the affine root system. More precisely, we prove that the small-torus equivariant oriented cohomology of the affine Grassmannian satisfies the GKM condition. We also show that its dual, the small-torus equivariant homology, is isomorphic to the centralizer of the equivariant oriented cohomology of a point in the the formal affine Demazure algebra.
The Schubert bases of the torus-equivariant homology and cohomology rings of the affine Grassmannian of the special linear group are realized by new families of symmetric functions called k-double Schur functions and affine double Schur functions.
We study the topology of the link $M^{\mathrm{trop}}_{g,n}[1]$ of the tropical moduli spaces of curves when g=2. Tropical moduli spaces can be identified with boundary complexes for $\mathcal{M}_{g,n}$, as shown by Abramovich-Caporaso-Payne, so their reduced rational homology encodes top-weight rational cohomology of the complex moduli spaces $\mathcal{M}_{g,n}$. We prove that $M^{\mathrm{trop}}_{2,n}[1]$ is an $n$-connected topological space whose reduced integral homology is supported in the top two degrees only. We compute the reduced Euler characteristic of $M^{\mathrm{trop}}_{g,n}[1]$ for…
We introduce the notion of a tropical coamoeba which gives a combinatorial description of the Fukaya category of the mirror of a toric Fano stack. We show that the polyhedral decomposition of a real n-torus into (n + 1) permutohedra gives a tropical coamoeba for the mirror of the projective space, and prove a torus-equivariant version of homological mirror symmetry for the projective space. As a corollary, we obtain homological mirror symmetry for toric orbifolds of the projective space.
The aim of this paper is to study homological properties of tropical fans and to propose a notion of smoothness in tropical geometry, which goes beyond matroids and their Bergman fans and which leads to an enrichment of the category of smooth tropical varieties. Among the resulting applications, we prove the Hodge isomorphism theorem which asserts that the Chow rings of smooth unimodular tropical fans are isomorphic to the tropical cohomology rings of their corresponding canonical compactifications, and prove a slightly weaker statement for any unimodular fan. We furthermore introduce a notion…
We study how changing the weight datum $\mathcal{A}=(a_1,...,a_n)\in(\mathbb{Q}\cap(0,1])^n$ affects the topology of tropical moduli spaces $M_{g,\mathcal{A}}^{trop}$, $\overline{M}_{g,\mathcal{A}}^{trop}$ and $Δ_{g,\mathcal{A}}$ and the homology of the latter one. We show that for fixed $g$ and $n$, there are particular filtrations of these topological spaces which we can use to compute the reduced rational homology of $Δ_{g,\mathcal{A}}$ and the top weight cohomology of the moduli space $\mathcal{M}_{g,\mathcal{A}}$ of smooth $(g,\mathcal{A})$-stable algebraic curves.
We investigate geometric embeddings among several classes of stacky fans and algorithms, e.g., to compute their homology. Interesting cases arise from moduli spaces of tropical curves. Specifically, we show that the tropical honeycomb curves form a contractible sub-locus in the moduli of all tropical $K_4$-curves.
We prove a bound conjectured by Itenberg on the Betti numbers of real algebraic hypersurfaces near non-singular tropical limits. These bounds are given in terms of the Hodge numbers of the complexification. To prove the conjecture we introduce a real variant of tropical homology and define a filtration on the corresponding chain complex inspired by Kalinin's filtration. The spectral sequence associated to this filtration converges to the homology groups of the real algebraic variety and we show that the terms of the first page are tropical homology groups with $\mathbb{Z}_2$-coefficients. The …
Given a smooth projective toric variety X, we construct an A-infinity category of Lagrangians with boundary on a level set of the Landau-Ginzburg mirror of X. We prove that this category is quasi-equivalent to the DG category of line bundles on X. This establishes part of the Homological Mirror Conjecture for toric varieties.
We introduce a cap product pairing for homology and cohomology of tropical cycles on integral affine manifolds with singularities. We show the pairing is perfect over $\mathbb{Q}$ in degree one when the manifold has at worst symple singularities. By joint work with Siebert, the pairing computes period integrals and its perfectness implies the versality of canonical Calabi-Yau degenerations. We also give an intersection theoretic application for Strominger-Yau-Zaslow fibrations. The treatment of the cap product and Poincaré-Lefschetz by simplicial methods for constructible sheaves might be of i…
We construct Bott-type and stable equivariant Seiberg-Witten Floer homology and cohomology for rational homology spheres, and prove their diffeomorphism invariance.
We construct Bott-type and equivariant Seiberg-Witten Floer homology and cohomology for 3-manifolds, in particular rational homology spheres, and prove their diffeomorphism invariance. This paper is a revised version of math.DG/9701010. Some typos are removed.
We construct equivariant and Bott-type Seiberg-Witten Floer homology and cohomology for 3-manifolds, in particular rational homology spheres, and prove their diffeomorphism invariance. We present several versions of the equivariant theory: the singular version, the de Rham version and the Cartan version, with the first playing the most important role. These versions are shown to be equivalent to each other. A few typos are removed.
This paper provides an introduction to equivariant cohomology and homology using the approach of Goresky, Kottwitz, and MacPherson. When a group G acts suitably on a variety X, the equivariant cohomology of X can be computed using the combinatorial data of a skeleton of G-orbits on X. We give both a geometric definition and the traditional definition of equivariant cohomology. We include a discussion of the moment map and an algorithm for finding a set of generators for the equivariant cohomology of X. Many examples and explicit calculations are provided.
Let $G/H$ be a homogeneous variety, and let $X$ be a $G$-equivariant embedding of $G/H$such that the number of $G$-orbits in $X$ is finite. We show that the equivariant Borel-Moore homology of $X$ has a filtration with associated graded module the direct sum of the equivariant Borel-Moore homologies of the $G$-orbits. If $T$ is a maximal torus of $G$ such that each $G$-orbit has a $T$-fixed point, then the equivariant filtration descends to give a filtration on the ordinary Borel-Moore homology of $X$. We apply our findings to certain wonderful compactifications as well as to double flag varie…
We identify the equivariant structure of the filtered pieces of the motivic filtration defined by Bhatt, Morrow and Scholze on the topological Hochschild cohomology spectrum of polynomial algebras over $\mathbb{F}_p$.
We show that the equivariant chain complex associated to a minimal CW-structure X on the complement M(A) of a hyperplane arrangement A, is independent of X. When A is a sufficiently general linear section of an aspheric arrangement, we explain a new way for computing the twisted homology of M(A).
We use tropical curves and toric degeneration techniques to construct closed embedded Lagrangian rational homology spheres in a lot of Calabi-Yau threefolds. We apply this construction to the tropical curves obtained from the 2875 lines on the quintic Calabi-Yau threefold. Each admissible tropical curve gives a Lagrangian rational homology sphere in the corresponding mirror quintic threefold and disjoint curves give pairwise homologous but non-Hamiltonian isotopic Lagrangians. We check in an example that $>300$ mutually disjoint curves (and hence Lagrangians) arise. We show that the weight of …
We study the topology of a space parametrizing stable tropical curves of genus g with volume 1, showing that its reduced rational homology is canonically identified with both the top weight cohomology of M_g and also with the genus g part of the homology of Kontsevich's graph complex. Using a theorem of Willwacher relating this graph complex to the Grothendieck-Teichmueller Lie algebra, we deduce that H^{4g-6}(M_g;Q) is nonzero for g=3, g=5, and g at least 7. This disproves a recent conjecture of Church, Farb, and Putman as well as an older, more general conjecture of Kontsevich. We also give …
The Bieri-Neumann-Strebel-Renz invariants $Σ^q(X,\mathbb{Z})\subset H^1(X,\mathbb{R})$ of a connected, finite-type CW-complex $X$ are the vanishing loci for Novikov-Sikorav homology in degrees up to $q$, while the characteristic varieties $\mathcal{V}^q(X) \subset H^1(X,\mathbb{C}^{\times})$ are the nonvanishing loci for homology with coefficients in rank 1 local systems in degree $q$. We show that each BNSR invariant $Σ^q(X,\mathbb{Z})$ is contained in the complement of the tropical variety associated to the algebraic variety $\mathcal{V}^{\le q}(X)$, and provide applications to several class…
Based on the ideas of Cuntz and Quillen, we give a simple construction of cyclic homology of unital algebras in terms of the noncommutative de Rham complex and a certain differential similar to the equivariant de Rham differential. We describe the Connes exact sequence in this setting. We define equivariant Deligne cohomology and construct, for each n > 0, a natural map from cyclic homology of an algebra to the GL_n-equivariant Deligne cohomology of the variety of n-dimensional representations of that algebra. The bridge between cyclic homology and equivariant Deligne cohomology is provided by…
We prove an equivariant localization theorem over an algebraically closed field of characteristic zero for smooth quotient stacks by reductive groups $X/G$ in the setting of derived loop spaces as well as Hochschild homology and its cyclic variants. We show that the derived loop spaces of the stack $X/G$ and its classical $z$-fixed point stack $π_0(X^z)/G^z$ become equivalent after completion along a semisimple parameter $[z] \in G//G$, implying the analogous statement for Hochschild and cyclic homology of the dg category of perfect complexes $\text{Perf}(X/G)$. We then prove an analogue of th…
We study a space of genus $g$ stable, $n$-marked tropical curves with total edge length $1$. Its rational homology is identified both with top-weight cohomology of the complex moduli space $M_{g,n}$ and with the homology of a marked version of Kontsevich's graph complex, up to a shift in degrees. We prove a contractibility criterion that applies to various large subspaces. From this we derive a description of the homotopy type of the tropical moduli space for $g = 1$, the top weight cohomology of $M_{1,n}$ as an $S_n$-representation, and additional calculations for small $(g,n)$. We also deduc…
We develop a theory of equivariant factorization algebras on varieties with an action of a connected algebraic group $G$, extending the definitions of Francis-Gaitsgory [FG] and Beilinson-Drinfeld [BD1] to the equivariant setting. We define an equivariant analogue of factorization homology, valued in modules over $\text{H}^\bullet_G(\text{pt})$, and in the case $G=(\mathbb{C}^\times)^n$ we prove an equivariant localization theorem for factorization homology, analogous to the classical localization theorem [AtB]. We establish a relationship between $\mathbb{C}^\times$ equivariant factorization …
It was pointed out by Eliashberg in his ICM 2006 plenary talk that the integrable systems of rational Gromov-Witten theory very naturally appear in the rich algebraic formalism of symplectic field theory (SFT). Carefully generalizing the definition of gravitational descendants from Gromov-Witten theory to SFT, one can assign to every contact manifold a Hamiltonian system with symmetries on SFT homology and the question of its integrability arises. While we have shown how the well-known string, dilaton and divisor equations translate from Gromov-Witten theory to SFT, the next step is to show ho…