arXiv Science⌕ Search

arXiv · math/0601258

Complexes d'intersection des compactifications de Baily-Borel. Le cas des groupes unitaires sur Q

Abstract

In this work, we calculate the trace of a power of the Frobenius endomorphism on the fibers of the intersection complex of the Baily-Borel compactification of a Shimura variety associated to a unitary group over Q. Our main tool is Pink's theorem about the restriction to the strata of the Baily-Borel compactification of the direct image of a local system on the Shimura variety. To use this theorem, we give a new construction of the intermediate extension of a pure perverse sheaf as a weight truncated of the full direct image. More generally, we are able to define analogs in positive characteristic of the weighted cohomology complexes introduced by Goresky, Harder and MacPherson. ----- Dans ce travail, nous calculons la trace d'une puissance de l'endomorphisme de Frobenius sur les fibres du complexe d'intersection de la compactification de Baily-Borel d'une variete de Shimura associee a un groupe unitaire sur Q. Notre outil principal est le theoreme de Pink sur la restriction aux strates de la compactification de Baily-Borel de l'image directe d'un systeme de coefficients sur la variete de Shimura. Pour pouvoir utiliser ce theoreme, nous donnons une nouvelle construction du prolongement intermediaire d'un faisceau pervers pur comme un tronque par le poids de l'image directe ordinaire. Plus generalement, nous definissons des analogues en caracteristique strictement positive des complexes ponderes introduits par Goresky, Harder et MacPherson.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

S. Morel. 2006-01-11. Complexes d'intersection des compactifications de Baily-Borel. Le cas des groupes unitaires sur Q. https://arxiv.org/abs/math/0601258

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

KEEP EXPLORING

Related papers

The virtual fundamental class for the moduli space of surfaces of general type

We prove that the moduli stack of index-one covers of semi-log-canonical surfaces of general type is isomorphic to the KSBA moduli stack of stable general type surfaces. Using the index-one covering Deligne-Mumford stack of a semi-log-canonical surface, we define the $\lci$ cover. The $\lci$ cover, as a Deligne-Mumford stack, has only locally complete intersection singularities. We then construct the moduli stack of $\lci$ covers so that it admits a proper map to the moduli stack of surfaces of general type. The smoothing of lci covering Deligne-Mumford stacks can not control all the non lci slc singularities. Thus, we construct the moduli stack of birational lci enhancement Deligne-Mumford stacks for all non lci slc singularities. This moduli stack is in general nonseparated. We construct a separated {\em algebraic space} from this moduli stack. Next, we construct a perfect obstruction theory on each of these moduli stacks and a virtual fundamental class in the Chow group. We then pushforward the virtual fundamental class to the KSBA moduli space. Thus, our construction proves Donaldson's conjecture on the existence of a virtual fundamental class for KSBA moduli spaces. A tautological invariant is defined by integrating a power of the first Chern class of the CM line bundle over the virtual fundamental class. This serves as a generalization of the tautological invariants defined by integrating tautological classes over the moduli space $\overline{M}_g$ of stable curves to the moduli space of stable surfaces.

math.AG↗

$P=W$ via $\mathcal{H}_2$

Let $\mathcal{H}_2$ be the Lie algebra of polynomial Hamiltonian vector fields on the symplectic plane. Let $X$ be the moduli space of stable Higgs bundles of fixed relatively prime rank and degree, or more generally the moduli space of stable parabolic Higgs bundles of arbitrary rank and degree for a generic stability condition. Let $H^*(X)$ be the cohomology with rational coefficients. Using the operations of cup-product by tautological classes and Hecke correspondences we construct an action of $\mathcal{H}_2$ on $H^*(X)[x,y]$, where $x$ and $y$ are formal variables. We show that the perverse filtration on $H^*(X)$ coincides with the filtration canonically associated to $\mathfrak{sl}_2\subset \mathcal{H}_2$ and deduce the $P=W$ conjecture of de Cataldo-Hausel-Migliorini.

math.AG↗

Fundamental groups, coregularity, and low dimensional klt Calabi-Yau pairs

In this article, we study how the absolute coregularity of a projective log pair reflects on its fundamental group. More precisely, we conjecture that for a projective klt log pair $(X,D)$ of absolute coregularity $c$ (and arbitrary dimension) the fundamental group $π_1^{\rm reg}(X,D)$ admits a normal abelian subgroup of finite index and rank at most $2c$. We prove this conjecture in the cases $0 \leq c \leq 3$, building on the almost abelianity of the fundamental groups of klt Calabi-Yau pairs of dimension $\leq 3$. In the cases $c \in \{0,1,2\}$ and fixed dimension, we can furthermore bound the index of a solvable normal subgroup. In dimension three, we are able to prove almost abelianity of the fundamental group of the regular locus for projective klt Calabi-Yau pairs.

math.AG↗