Search arXivSearch

arXiv · 2407.11769

Constant coefficient and intersection complex $L$-classes of projective varieties

Abstract

For a projective variety $X$, we have the intersection complex $L$-classes $L_*(X)$ defined by Goresky-MacPerson using cohomotopy and also the constant coefficient $L$-class $L^c_*(X)$ defined by applying an $L$-class transformation (or $T_{1*}$) to a cubic hyperresolution of $X$. These coincide if $X$ is a $\mathbb Q$-homology manifold. We show that the two $L$-classes $L_*(X)$ and $L^c_*(X)$ differ if they do by replacing $X$ with an intersection of general hyperplane sections which has only $\mathbb Q$-homologically isolated singularities. Finding a good sufficient condition for the non-coincidence of $L_*(X)$ and $L^c_*(X)$ is thus reduced to the latter case, where a necessary and sufficient condition has been obtained in terms of the Hodge signatures of stalks of intersection complex in our previous paper. In the case of projective hypersurfaces having only isolated singularities, the difference between $L_*(X)$ and $L^c_*(X)$ is given by the Hodge signatures of the link cohomologies at singular points, and the Hodge signatures of the vanishing cohomologies give the difference between $L^c_*(X)$ and the virtual $L$-class of $X$, that is, the image by a retraction map of the $L$-class of a smooth deformation of $X$ in an ambient smooth projective variety $Y$ in the very ample case.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Javier Fernández de Bobadilla, Irma Pallarés, Morihiko Saito. 2026-04-10. Constant coefficient and intersection complex $L$-classes of projective varieties. https://arxiv.org/abs/2407.11769

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

G3-Criteria and Applications

The G3-property of a subvariety was introduced by Hironaka-Matsumura, and plays an important role for deducing connectedness and extension results. Unfortunately, it's a rather elusive notion, which is not always easy to establish. Most of the existing work is concentrated on subvarieties of homogeneous varieties. The first goal of this article is to show that mobility assumptions on the subvariety, considered in works of Badescu, Chow, Debarre, Voisin, yield a certain partial positivity property, slightly stronger than G3, previously introduced by the author. Second, we apply the result to prove that, in numerous situations, the splitting of the normal bundle of a smooth two-codimensional subvariety implies that it is a complete intersection.

math.AG

Moduli Stacks of $G$-Curves in Homotopy Theory at Height $p-1$

Let $p$ be odd and $G' = \mathbb{Z}/p \rtimes \mathbb{Z}/(p-1)^2$ the maximal finite subgroup of the Morava stabilizer group at height $p-1$. Inverse Galois theory produces from $G'$ alone a curve $X$, the unique curve of minimal genus with $\operatorname{Aut}(X) \simeq G'$; its ramification, its field of definition and its equation are consequences of the group, not choices. We prove a $G'$-equivariant equivalence between the deformations of $X$ and Lubin--Tate space, so that the Lubin--Tate action of $G'$ is the action of $\operatorname{Aut}(X)$ on deformations of the curve. The proof is a coordinate-free Kodaira--Spencer argument reducing to a single character count. The action becomes explicit: $G'$ acts through $\mathbb{F}_p \rtimes \mathbb{F}_p^\times$ shifting and scaling $p+1$ points on $\mathbb{P}^1$. From this we compute $H^*(G', π_* E_{p-1})$ and its Tate cohomology. One identity, $π^{p-1} = -p$, runs through every section.

math.AG