SearcharxivSearch

arXiv subjects

Olivier Haution

Publications and source records attributed to Olivier Haution.

At least 19 recordsLinked to original sources

Essential p-dimension and Chern numbers

Let $X$ be a smooth, projective, geometrically connected variety over a field $k$ containing a root of unity of order $p$. If $X$ has a Chern number prime to $p$, we show that every action of a finite $p$-group on $X$ factors through a subgroup of $\operatorname{GL}_n(k)$, where $n=\dim X$. This allows one to transfer properties of representations of finite $p$-groups to their actions on $X$. We deduce a fixed-point theorem which, unlike previously known results of this kind, is sensitive to the arithmetic of the base field. We also obtain a bound on the orders of cyclic $p$-subgroups of the Cremona groups: for instance $\operatorname{Cr}_n(\mathbb{Q})$ contains no element of order $p^2$ when $p \ge n+2$. The method is based on the following observation, of independent interest. For an affine algebraic group $G$ over a field of characteristic zero, $\operatorname{ed}_p(G) + \dim G$ is the least dimension of a smooth projective variety $Y$ with a generically free $G$-action such that the degree map $\operatorname{CH}_G(Y) \to \mathbb{F}_p$ is nonzero. A key input for our result is Karpenko and Merkurjev's computation of the essential $p$-dimension of $p$-groups.

math.AG

Actions of diagonalizable $p$-groups and Chern numbers modulo $p$

We obtain lower bounds for the dimension of fixed loci of diagonalizable $p$-groups acting on smooth projective varieties. Those bounds depend on the modulo $p$ Chern numbers of the ambient variety, and are expressed in a natural way by introducing an appropriate filtration on the "modulo $p$ cobordism ring" (for $p=2$ this is Thom's unoriented cobordism ring $MO^*$). They are obtained using equivariant localization methods, via the concentration theorem for the Chow ring, and by a technique of "partition dividing". As applications we derive statements in the spirit of Boardman's Five-Halves Theorem for involutions on manifolds.

math.AG

Dimension of fixed loci of diagonalizable groups via algebraic cobordism

We determine all restrictions on the dimension of the fixed locus of a diagonalizable group acting on a smooth projective variety that arise from the Chern numbers of the ambient variety. We reduce the problem to finding lower bounds for actions of p-groups, which we achieve by analyzing the equivariant cobordism ring with the help of the concentration theorem. To do so, we construct enough explicit examples of actions that realize the expected lower bound. We then prove that this family is maximal in the equivariant cobordism ring, in an appropriate sense.

math.AG

The geometric concentration theorem

We establish a purely geometric form of the concentration theorem (also called localization theorem) for actions of a linearly reductive group $G$ on an affine scheme $X$ over an affine base scheme $S$. It asserts the existence of a $G$-representation without trivial summand over $S$, which acquires over $X$ an equivariant section vanishing precisely at the fixed locus of $X$. As a consequence, we show that the equivariant stable motivic homotopy theory of a scheme with an action of a linearly reductive group is equivalent to that of the fixed locus, upon inverting appropriate maps, namely the Euler classes of representations without trivial summands. We also discuss consequences for equivariant cohomology theories obtained using Borel's construction. This recovers most known forms of the concentration theorem in algebraic geometry, and yields generalizations valid beyond the setting of actions of diagonalizable groups on one hand, and that of oriented cohomology theories on the other hand. Finally, we derive a version of Smith theory for motivic cohomology, following the approach of Dwyer--Wilkerson in topology.

math.AG

On the first Steenrod square for Chow groups

We construct a weak version of the homological first Steenrod square, a natural transformation from the modulo two Chow group to the Chow group modulo two and two-torsion. No assumption is made on the characteristic of the base field. As an application, we generalize a theorem of Nikita Karpenko on the parity of the first Witt index of quadratic forms to the case of a base field of characteristic two.

math.AG

Motivic Pontryagin classes and hyperbolic orientations

We introduce the notion of hyperbolic orientation of a motivic ring spectrum, which generalises the various existing notions of orientation (by the groups GL, SLc, SL, Sp). We show that hyperbolic orientations of eta-periodic ring spectra correspond to theories of Pontryagin classes, much in the same way that GL-orientations of arbitrary ring spectra correspond to theories of Chern classes. We prove that eta-periodic hyperbolically oriented cohomology theories do not admit further characteristic classes for vector bundles, by computing the cohomology of the etale classifying space BGLn. Finally we construct the universal hyperbolically oriented eta-periodic commutative motivic ring spectrum, an analog of Voevodsky's cobordism spectrum MGL.

math.AG

The stable Adams operations on Hermitian K-theory

We prove that exterior powers of (skew-)symmetric bundles induce a $λ$-ring structure on the ring $GW^0(X) \oplus GW^2(X)$, when $X$ is a scheme where $2$ is invertible. Using this structure, we define stable Adams operations on Hermitian $K$-theory. As a byproduct of our methods, we also compute the ternary laws associated to Hermitian $K$-theory.

math.KT

On the algebraic cobordism ring of involutions

We consider the cobordism ring of involutions of a field of characteristic not two, whose elements are formal differences of classes of smooth projective varieties equipped with an involution, and relations arise from equivariant K-theory characteristic numbers. We investigate in detail the structure of this ring. Concrete applications are provided concerning involutions of varieties, relating the geometry of the ambient variety to that of the fixed locus, in terms of Chern numbers. In particular, we prove an algebraic analog of Boardman's five halves theorem in topology, of which we provide several generalisations and variations.

math.AG

Connective K-theory and Adams operations

We investigate the relations between the Grothendieck group of coherent modules of an algebraic variety and its Chow group of algebraic cycles modulo rational equivalence. Those are in essence torsion phenomena, which we attempt to control by considering the action of the Adams operations on the Brown-Gersten-Quillen spectral sequence and related objects, such as connective K_0-theory. We provide elementary arguments whenever possible. As applications, we compute the connective K_0-theory of the following objects: (1) the variety of reduced norm one elements in a central division algebra of prime degree; (2) the classifying space of the split special orthogonal group of odd degree.

math.AG

Involutions and Chern numbers of varieties

Consider an involution of a smooth projective variety over a field of characteristic not two. We look at the relations between the variety and the fixed locus of the involution from the point of view of cobordism. We show in particular that the fixed locus has dimension larger than its codimension when certain Chern numbers of the variety are not divisible by two, or four. Some of those results, but not all, are analogues of theorems in algebraic topology obtained by Conner-Floyd and Boardman in the sixties. We include versions of our results concerning the vanishing loci of idempotent global derivations in characteristic two. Our approach to cobordism, following Merkurjev's, is elementary, in the sense that it does not involve resolution of singularities or homotopical methods.

math.AG

Diagonalisable p-groups cannot fix exactly one point on projective varieties

We prove an algebraic version of a classical theorem in topology, asserting that an abelian p-group action on a smooth projective variety of positive dimension cannot fix exactly one point. When the group has only two elements, we prove that the number of fixed points cannot be odd. The main tool is a construction originally used by Rost in the context of the degree formula. The framework of diagonalisable groups allows us to include the case of base fields of characteristic p.

math.AG

Fixed point theorems involving numerical invariants

We exhibit invariants of smooth projective algebraic varieties with integer values, whose nonvanishing modulo p prevents the existence of an action without fixed points of certain finite p-groups. The case of base fields of characteristic p is included. Counterexamples are systematically provided to test the sharpness of our results.

math.AG

On rational fixed points of finite group actions on the affine space

Consider a finite l-group acting on the affine space of dimension n over a field k, whose characteristic differs from l. We prove the existence of a fixed point, rational over k, in the following cases: --- The field k is p-special for some prime p different from its characteristic. --- The field k is perfect and fertile, and n = 3.

math.AG

Involutions of varieties and Rost's degree formula

To an algebraic variety equipped with an involution, we associate a cycle class in the modulo two Chow group of its fixed locus. This association is functorial with respect to proper morphisms having a degree and preserving the involutions. Specialising to the exchange involution of the square of a complete variety, we obtain Rost's degree formula in arbitrary characteristic (this formula was proved by Rost/Merkurjev in characteristic not two).

math.AG

Detection by regular schemes in degree two

Using Lipman's results on resolution of two-dimensional singularities, we provide a form of resolution of singularities in codimension two for reduced quasi-excellent schemes. We deduce that operations of degree less than two on algebraic cycles are characterised by their values on classes of regular schemes. We provide several applications of this "detection principle", when the base is an arbitrary regular excellent scheme: integrality of the Chern character in codimension less than three, existence of weak forms of the second and third Steenrod squares, Adem relation for the first Steenrod square, commutativity and Poincaré duality for bivariant Chow groups in small degrees. We also provide an application to the possible values of the Witt indices of non-degenerate quadratic forms in characteristic two.

math.AG

Invariants of upper motives

Let H be a homology theory for algebraic varieties over a field k. To a complete k-variety X, one naturally attaches an ideal of the coefficient ring H(k). We show that, when X is regular, this ideal depends only on the upper Chow motive of X. This generalises the classical results asserting that this ideal is a birational invariant of smooth varieties for particular choices of H, such as the Chow group. When H is the Grothendieck group of coherent sheaves, we obtain a lower bound on the canonical dimension of varieties. When H is the algebraic cobordism, we give a new proof of a theorem of Levine and Morel. Finally we discuss some splitting properties of geometrically unirational field extensions of small transcendence degree.

math.AG

Duality and the topological filtration

We investigate some relations between the duality and the topological filtration in algebraic K-theory. As a result, we obtain a construction of the first Steenrod square for Chow groups modulo two of varieties over a field of arbitrary characteristic. This improves previously obtained results, in the sense that it is not anymore needed to mod out the image modulo two of torsion integral cycles. Along the way we construct a lifting of the first Steenrod square to algebraic connective K-theory with integral coefficients, and homological Adams operations in this theory. Finally we provide some applications to the Chow groups of quadrics.

math.AG

Integrality of the Chern character in small codimension

We prove an integrality property of the Chern character with values in Chow groups. As a consequence we obtain, for a prime number p, a construction of the p-1 first homological Steenrod operations on Chow groups modulo p and p-primary torsion, over an arbitrary field. We provide applications to the study of correspondences between algebraic varieties.

math.AG