Parity sheaves and Smith theory

Let p be a prime number and let X be a complex algebraic variety with an action of ℤ / p ⁢ ℤ {\mathbb{Z}/p\mathbb{Z}} . We develop the theory of parity complexes in a certain 2-periodic localization of the equivariant constructible derived category D ℤ / p ⁢ ℤ b ⁢ ( X , ℤ p ) {D^{b}_{\mathbb{Z}/p\mathbb{Z}}(X,\mathbb{Z}_{p})} . Under certain assumptions, we use this to define a functor from the category of parity sheaves on X to the category of parity sheaves on the fixed-point locus X ℤ / p ⁢ ℤ {X^{\mathbb{Z}/p\mathbb{Z}}} . This may be thought of as a categorification of Smith theory. When X is the affine Grassmannian associated to some complex reductive group, our functor gives a geometric construction of the Frobenius-contraction functor recently defined by M. Gros and M. Kaneda via the geometric Satake equivalence.

OBSTRUCTIONS TO ALGEBRAIZING TOPOLOGICAL VECTOR BUNDLES

Suppose $X$ is a smooth complex algebraic variety. A necessary condition for a complex topological vector bundle on $X$ (viewed as a complex manifold) to be algebraic is that all Chern classes must be algebraic cohomology classes, that is, lie in the image of the cycle class map. We analyze the question of whether algebraicity of Chern classes is sufficient to guarantee algebraizability of complex topological vector bundles. For affine varieties of dimension ${\leqslant}3$, it is known that algebraicity of Chern classes of a vector bundle guarantees algebraizability of the vector bundle. In contrast, we show in dimension ${\geqslant}4$ that algebraicity of Chern classes is insufficient to guarantee algebraizability of vector bundles. To do this, we construct a new obstruction to algebraizability using Steenrod operations on Chow groups. By means of an explicit example, we observe that our obstruction is nontrivial in general.

On tangent cones at infinity of algebraic varieties

In this paper, we define the geometric and algebraic tangent cones at infinity of algebraic varieties and establish the following version at infinity of Whitney’s theorem [Local properties of analytic varieties, in Differential and Combinatorial Topology (A Symposium in Honor of Marston Morse) (Princeton University Press, Princeton, N. J., 1965), pp. 205–244; Tangents to an analytic variety, Ann. of Math. 81 (1965) 496–549]: The geometric and algebraic tangent cones at infinity of complex algebraic varieties coincide. The proof of this fact is based on a geometric characterization of the geometric tangent cone at infinity using the global Łojasiewicz inequality with explicit exponents for complex algebraic varieties. Moreover, we show that the tangent cone at infinity of a complex algebraic variety is actually the part at infinity of this variety [G.-M. Greuel and G. Pfister, A Singular Introduction to Commutative Algebra, 2nd extended edn. (Springer, Berlin, 2008)]. We also show that the tangent cone at infinity of a complex algebraic variety can be computed using Gröbner bases.

On the algebraicity of the zero locus of an admissible normal function

We show that the zero locus of an admissible normal function on a smooth complex algebraic variety is algebraic. In Part II of the paper, which is an appendix, we compute the Tannakian Galois group of the category of one-variable admissible real nilpotent orbits with split limit. We then use the answer to recover an unpublished theorem of Deligne, which characterizes the ${\mathrm{sl} }_{2} $-splitting of a real mixed Hodge structure.

Geometric motivic Poincaré series of quasi-ordinary singularities

Thegeometric motivic Poincaré seriesof a germ (S, 0) of complex algebraic variety takes into account the classes in the Grothendieck ring of the jets of arcs through (S, 0). Denef and Loeser proved that this series has a rational form. We give an explicit description of this invariant when (S, 0) is an irreducible germ ofquasi-ordinary hypersurface singularityin terms of the Newton polyhedra of thelogarithmic jacobian ideals. These ideals are determined by thecharacteristic monomialsof a quasi-ordinary branch parametrizing (S, 0).

Locally free (ℙn)-modules

The purpose of this paper is to study the structure of locally free modules over the ring of differential operators on projective space. Let be a non-singular, complex, algebraic variety. Denote by the sheaf of rings of differential operators over and by its ring of global sections. A -module M is called locally free if the associated sheaf ⊗ M is locally free as a sheaf of -modules. Locally free modules arise naturally in -module theory as inverse images of determined modules; see [1] for definitions and examples.

On the generalised Todd genus of flag bundles

Let V be a complex algebraic variety. Given integers a1, …, am such thatone defines a (a1, …, am)-flag as a nested systemof subspaces of Sn, the n-dimensional complex projective space. The set of all such flags is called an incomplete flag-manifold in Sn, and is denoted by W(al, …, am). Also let E be a complex n-dimensional vector bundle over V. Then we denote by E(a1, …, am−1, n; V) an associated fibre bundle of E with fibre W(a1 − 1, …, am−1 − 1, n − 1). E(a1, …, am−1 − 1, n; V) is called an incomplete flag bundle of E over V (cf. (2), (3)). In Section 10.3 and Section 14.4 of (1), the generalised Todd genus Ty(W(0, n)) and Ty(W(0, 1, …, n)) of the n-dimensional projective space W(0, n) and the flag manifold W(0, 1, …, n) (or F(n+l)) were calculated. Here we compute Ty(W(a1, …, am)) and also Ty(E(a1, …, am−1, n; V)).