No Arabic abstract
In this article, we prove that there is a canonical Verdier self-dual intersection space sheaf complex for the middle perversity on Witt spaces that admit compatible trivializations for their link bundles, for example toric varieties. If the space is an algebraic variety our construction takes place in the category of mixed Hodge modules. We obtain an intersection space cohomology theory, satisfying Poincare duality, valid for a class of pseudomanifolds with arbitrary depth stratifications. The main new ingredient is the category of Kunneth complexes; these are cohomologically constructible complexes with respect to a fixed stratification, together with additional data, which codifies triviality structures along the strata. In analogy to what Goreski and McPherson showed for intersection homology complexes, we prove that there are unique Kunneth complexes that satisfy the axioms for intersection space complexes introduced by the first and third author. This uniqueness implies the duality statements in the same scheme as in Goreski and McPherson theory.
We investigate the equivariant intersection cohomology of a toric variety. Considering the defining fan of the variety as a finite topological space with the subfans being the open sets (that corresponds to the toric topology given by the invariant open subsets), equivariant intersection cohomology provides a sheaf (of graded modules over a sheaf of graded rings) on that fan space. We prove that this sheaf is a minimal extension sheaf, i.e., that it satisfies three relatively simple axioms which are known to characterize such a sheaf up to isomorphism. In the verification of the second of these axioms, a key role is played by equivariantly formal toric varieties, where equivariant and usual (non-equivariant) intersection cohomology determine each other by Kunneth type formulae. Minimal extension sheaves can be constructed in a purely formal way and thus also exist for non-rational fans. As a consequence, we can extend the notion of an equivariantly formal fan even to this general setup. In this way, it will be possible to introduce virtual intersection cohomology for equivariantly formal non-rational fans.
We establish a positive characteristic analogue of intersection cohomology for polarized variations of Hodge structure. This includes: a) the decomposition theorem for the intersection de Rham complex; b) the $E_1$-degeneration theorem for the intersection de Rham complex of a periodic de Rham bundle: c) the Kodaira vanishing theorem for the intersection cohomology groups of a periodic Higgs bundle.
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 Kontsevichs 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 an independent proof of another theorem of Willwacher, that homology of the graph complex vanishes in negative degrees.
The dual motivic Steenrod algebra with mod $ell$ coefficients was computed by Voevodsky over a base field of characteristic zero, and by Hoyois, Kelly, and {O}stv{ae}r over a base field of characteristic $p eq ell$. In the case $p = ell$, we show that the conjectured answer is a retract of the actual answer. We also describe the slices of the algebraic cobordism spectrum $MGL$: we show that the conjectured form of $s_n MGL$ is a retract of the actual answer.
Let $X$ be a smooth complex projective variety. In 2002, Bridgeland defined a notion of stability for the objects in $D^b(X)$, the bounded derived category of coherent sheaves on $X$, which generalized the notion of slope stability for vector bundles on curves. There are many nice connections between stability conditions on $X$ and the geometry of the variety. We construct new stability conditions for surfaces containing a curve $C$ whose self-intersection is negative. We show that these stability conditions lie on a wall of the geometric chamber of ${rm Stab}(X)$, the stability manifold of $X$. We then construct the moduli space $M_{sigma}(mathcal{O}_X)$ of $sigma$-semistable objects of class $[mathcal{O}_X]$ in $K_0(X)$ after wall-crossing.