Torsion algebraic cycles and étale cobordism

We prove that the classical integral cycle class map from algebraic cycles to étale cohomology factors through a quotient of ?-adic étale cobordism over an algebraically closed field of positive characteristic. This shows that there is a strong topological obstruction for cohomology classes to be algebraic and that examples of Atiyah, Hirzebruch and Totaro also work in positive characteristic.     

Nonstandard étale cohomology

A lot of good properties of étale cohomology only hold for torsion coefficients. We use ultraproducts respectively enlargement construction to define a cohomology theory that inherits the important properties of étale cohomology while allowing greater flexibility with the coefficients. In particular, choosing coefficients ^∗Z/P^∗Z (for P an infinite prime and ^∗Z the enlargement of Z) gives a Weil cohomology, and choosing ^∗Z/l^h∗Z (for l a finite prime and h an infinite number) allows comparison with ordinary l-adic cohomology. More generally, for every N∈^∗Z, we get a category of ^∗Z/N^∗Z-constructible sheaves with good properties.     

Some finiteness results for étale cohomology

We prove some finiteness theorems for the étale cohomology, Borel-Moore homology and cohomology with proper supports with divisible coefficients of schemes of finite type over a finite or p-adic field. This yields vanishing results for their l-adic cohomology, proving part of a conjecture of Jannsen.     

Pseudogroups and their étale groupoids

A pseudogroup is a complete infinitely distributive inverse monoid. Such inverse monoids bear the same relationship to classical pseudogroups of transformations as frames do to topological spaces. The goal of this paper is to develop the theory of pseudogroups motivated by applications to group theory, C^∗$C^{\ast }$-algebras and aperiodic tilings. Our starting point is an adjunction between a category of pseudogroups and a category of étale groupoids from which we are able to set up a duality between spatial pseudogroups and sober étale groupoids. As a corollary to this duality, we deduce a non-commutative version of Stone duality involving what we call boolean inverse semigroups and boolean étale groupoids, as well as a generalization of this duality to distributive inverse semigroups. Non-commutative Stone duality has important applications in the theory of C^∗$C^{\ast }$-algebras: it is the basis for the construction of Cuntz and Cuntz–Krieger algebras and in the case of the Cuntz algebras it can also be used to construct the Thompson groups. We then define coverages on inverse semigroups and the resulting presentations of pseudogroups. As applications, we show that Paterson’s universal groupoid is an example of a booleanization, and reconcile Exel’s recent work on the theory of tight maps with the work of the second author.     

Rigidity for orientable functors

In the following paper we introduce the notion of orientable functor (orientable cohomology theory) on the category of projective smooth schemes and define a family of transfer maps. Applying this technique, we prove that with finite coefficients orientable cohomology of a projective variety is invariant with respect to the base-change given by an extension of algebraically closed fields. This statement generalizes the classical result of Suslin, concerning algebraic K-theory of algebraically closed fields. Besides K-theory, we treat such examples of orientable functors as etale cohomology, motivic cohomology, algebraic cobordism. We also demonstrate a method to endow algebraic cobordism with multiplicative structure and Chern classes.     

Étale groupoids and their quantales

We establish close and previously unknown relations between quantales and groupoids. In particular, to each étale groupoid, either localic or topological, there is associated a unital involutive quantale. We obtain a bijective correspondence between localic étale groupoids and their quantales, which are given a rather simple characterization and here are called inverse quantal frames. We show that the category of inverse quantal frames is equivalent to the category of complete and infinitely distributive inverse monoids, and as a consequence we obtain a (non-functorial) correspondence between these and localic étale groupoids that generalizes more classical results concerning inverse semigroups and topological étale groupoids. This generalization is entirely algebraic and it is valid in an arbitrary topos. As a consequence of these results we see that a localic groupoid is étale if and only if its sublocale of units is open and its multiplication map is semiopen, and an analogue of this holds for topological groupoids. In practice we are provided with new tools for constructing localic and topological étale groupoids, as well as inverse semigroups, for instance via presentations of quantales by generators and relations. The characterization of inverse quantal frames is to a large extent based on a new quantale operation, here called a support, whose properties are thoroughly investigated, and which may be of independent interest.     

An Atiyah-Hirzebruch spectral sequence for topological André-Quillen homology

We show how topological André-Quillen homology can be related to the usual algebraic André-Quillen homology. To this end we construct an Atiyah-Hirzebruch spectral sequence starting with the algebraic version and converging to the topological theory. This determines topological André-Quillen homology in classical cases of étale and smooth algebras.     

Finite preorders and topological descent II: étale descent

It is known that every effective (global-) descent morphism of topological spaces is an effective étale-descent morphism. On the other hand, in the predecessor of this paper we gave examples of:

•

a descent morphism that is not an effective étale-descent morphism;

•

an effective étale-descent morphism that is not a descent morphism.

Both of the examples in fact involved only finite topological spaces, i.e. just finite preorders, and now we characterize the effective étale-descent morphisms of preorders/finite topological spaces completely.     

Continuous group actions on profinite spaces

For a profinite group, we construct a model structure on profinite spaces and profinite spectra with a continuous action. This yields descent spectral sequences for the homotopy groups of homotopy fixed point spaces and for stable homotopy groups of homotopy orbit spaces. Our main example is the Galois action on profinite étale topological types of varieties over a field. One motivation is to understand Grothendieck’s section conjecture in terms of homotopy fixed points.     

Oriented cohomology and motivic decompositions of relative cellular spaces

For an oriented cohomology theory A and a relative cellular space X, we decompose the A-motive of X into a direct sum of twisted motives of the base spaces. We also obtain respective decompositions of the A-cohomology of X. Applying them, one can compute A(X), where X is an isotropic projective homogeneous variety and A means algebraic K-theory, motivic cohomology or algebraic cobordism MGL.     

p-adic étale Tate twists and arithmetic duality

In this paper, we define, for arithmetic schemes with semi-stable reduction, p-adic objects playing the roles of Tate twists in étale topology, and establish their fundamental properties.     

Étale wild kernels of exceptional number fields

We clarify the relationship between higher étale wild kernels of a number field at the prime 2 and the Galois-coinvariants of Tate-twisted class groups in the 2-cyclotomic tower of the field. We also determine the relationship between the étale wild kernel and the group of infinitely divisible elements of H²(F,Z₂(j+1)){2}.     

The Merkuriev-Suslin theorem for any semi-local ring

We introduce here a method which uses étale neighborhoods to extend results from smooth semi-local rings to arbitrary semi-local rings A by passing to the henselization of a smooth presentation of A. The technique is used to show that étale cohomology of A agrees with Galois cohomology, to show that the Merkuriev-Suslin theorem holds for A, and to describe torsion in K₂(A).     

Higher Intersection Theory on Algebraic Stacks: II

This is the second part of our work on the intersection theory of algebraic stacks. The main results here are the following. We provide an intersection pairing for all smooth Artin stacks (locally of finite type over a field) which we show reduces to the known intersection pairing on the Chow groups of smooth Deligne–Mumford stacks of finite type over a field as well as on the Chow groups of quotient stacks associated to actions of linear algebraic groups on smooth quasi-projective schemes modulo torsion. The former involves also showing the existence of Adams operations on the rational étale K-theory of all smooth Deligne–Mumford stacks of finite type over a field. In addition, we show that our definition of the higher Chow groups is intrinsic to the stack for all smooth stacks and also stacks of finite type over the given field. Next we establish the existence of Chern classes and Chern character for Artin stacks with values in our Chow groups and extend these to higher Chern classes and a higher Chern character for perfect complexes on an algebraic stack, taking values in cohomology theories of algebraic stacks that are defined with respect to complexes of sheaves on a big smooth site. As a by-product of our techniques we also provide an extension of higher intersection theory to all schemes locally of finite type over a field. As the higher cycle complex, by itself, is a bit difficult to handle, the stronger results like contravariance for arbitrary maps between smooth stacks and the intersection pairing for smooth stacks are established by comparison with motivic cohomology.     

Algebraic Morava K-theories

For any prime q and positive integer t, we construct a spectrum k(t) in the stable homotopy category of schemes over a field k equipped with an embedding k↪ℂ. In classical homotopy theory, the ℂ realization of k(t) is known as Morava K-theory. The algebraic content lies in the fact that these spectra are defined as the homotopy limit of a tower whose cofibers are appropriate suspensions of the motivic Eilenberg-MacLane spectra, which are known to represent motivic cohomology in the stable homotopy category of schemes. Oblatum 26-XI-2001 & 5-VIII-2002?Published online: 8 November 2002     

Equivalence between the Morita categories of étale Lie groupoids and of locally grouplike Hopf algebroids

Any étale Lie groupoid G is completely determined by its associated convolution algebra C_c^∞(G) equipped with the natural Hopfalgebroid structure. We extend this result to the generalized morphisms between étale Lie groupoids: we show that any principal H-bundle P over G is uniquely determined by the associated C_c^∞(G)-C_c^∞(H)-bimodule C_c^∞(P) equipped with the natural coalgebra structure. Furthermore, we prove that the functor C_c^∞gives an equivalence between the Morita category of étale Lie groupoids and the Morita category of locally grouplike Hopf algebroids.     

On the étale Descent Problem for Topological Cyclic Homology and Algebraic K-Theory

We investigate étale descent properties of topological Hochschild and cyclic homology. Using these properties we deduce a general injectivity result for the descent map in algebraic K-theory, and show that algebraic K-theory has étale descent for rings of integers in unramified and tamely ramified p-adic fields.     

K-Theory of Surfaces at the Prime 2

We prove that for smooth surfaces over real closed fields, and a class of smooth projective surfaces over a real number field, the map between mod 2 algebraic and étale K-theory is an isomorphism in sufficiently large degrees. For a class of smooth projective surfaces over a real closed field, including rational surfaces, complete intersections and K3-surfaces over the real numbers, we explicate the abutment of the mod 2 motivic cohomology to algebraic K-theory spectral sequence.     

Torsors under finite and flat group schemes of rank <Emphasis Type="Italic">p</Emphasis> with Galois action

In this note we study the geometry of torsors under flat and finite commutative group schemes of rank p above curves in characteristic p, and above relative curves over a complete discrete valuation ring of inequal characteristic. In both cases we study the Galois action of the Galois group of the base field on these torsors. We also study the degeneration of _p -torsors, from characteritic 0 to characteristic p, and show that this degeneration is compatible with the Galois action. We then discuss the lifting of torsors under flat and commutative group schemes of rank p from positive to zero characteristics. Finally, for a proper and smooth curve X over a complete discrete valuation field, of inequal characteristic, which has good reduction, we show the existence of a canonical Galois equivariant filtration, on the first étale cohomology group of the geometric fibre of X, with values in _p .