相关论文: Profinite Etale Cobordism

If the $\ell$-adic cohomology of a projective smooth variety, defined over a $\frak{p}$-adic field $K$ with finite residue field $k$, is supported in codimension $\ge 1$, then any model over the ring of integers of $K$ has a $k$-rational…

This paper is devoted to the study of algebraic structures leading to link homology theories. The originally used structures of Frobenius algebra and/or TQFT are modified in two directions. First, we refine 2-dimensional cobordisms by…

We prove the existence of a sequence of commutative diagrams generalizing existing results on the cohomology of the Borel-Serre boundary and well-rounded retract to the context of the well-tempered complex. Our main theorem provides a…

Quillen's algebraic K-theory is reconstructed via Voevodsky's algebraic cobordism. More precisely, for a ground field k the algebraic cobordism P^1-spectrum MGL of Voevodsky is considered as a commutative P^1-ring spectrum. There is a…

We establish new general etale versions of theorems of Barth and Sommese. Respectively, we compute the lower etale cohomology of closed subvarieties of $P^N$ of small codimensions and of their preimages with respect to proper morphisms…

We show that the spectral radius for the action of a self map $f$ of a smooth projective variety (over an arbitrary base field) on its $\ell$-adic cohomology is achieved on the $f^*$-stable sub-algebra generated by any ample class. This…

We construct a motivic Eilenberg-MacLane spectrum with a highly structured multiplication over smooth schemes over Dedekind domains which represents Levine's motivic cohomology. The latter is defined via Bloch's cycle complexes. Our method…

The purpose of this paper is to lay the foundations of a theory of invariants in \'etale cohomology for smooth Artin stacks. We compute the invariants in the case of the stack of elliptic curves, and we use the theory we developed to get…

For each commutative, graded algebra with finite dimension in each degree, we construct a graded cohomology theory for graphs whose graded Euler characteristic is the chromatic polynomial of the graph. This extends our previous work which…

Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman's theorem states that they precisely specify pseudovarieties, i.e. classes of finite algebras closed under finite products,…

Let k be a field, and let {\pi}:\tilde{X} -> X be a proper birational morphism of irreducible k-varieties, where \tilde{X} is smooth and X has at worst quotient singularities. When the characteristic of k is zero, a theorem of Koll\'ar in…

We start to study the problem of classifying smooth proper varieties over a field k from the standpoint of A^1-homotopy theory. Motivated by the topological theory of surgery, we discuss the problem of classifying up to isomorphism all…

An etale cohomology group $W$ of some irreducible components, which is the smooth compactification of an affine curve $(X^{q^2}-X)^{q-1}=(Y^{q(q+1)}-Y^{q+1})^{q-1},$ in the stable reduction the Lubin-Tate curve of level two is related to…

In this paper we investigate the structure of algebraic cobordism of Levine-Morel as a module over the Lazard ring with the action of Landweber-Novikov and symmetric operations on it. We show that the associated graded groups of algebraic…

We present a closed model structure for the category of pro-spectra in which the weak equivalences are detected by stable homotopy pro-groups. With some bounded-below assumptions, weak equivalences are also detected by cohomology as in the…

We define and study the notion of numerical equivalence on algebraic cobordism cycles. We prove that algebraic cobordism modulo numerical equivalence is a finitely generated module over the Lazard ring, and it reproduces the Chow group…

We construct and analyze the "syntomic Steenrod algebra", which acts on the mod $p$ syntomic cohomology (also known as etale-motivic cohomology) of algebraic varieties in characteristic $p$. We then apply the resulting theory to resolve the…

We construct an equivariant algebraic cobordism theory for schemes with an action by a linear algebraic group over a field of characteristic zero.

\'Etale Nori finite vector bundles are those bundles defined by representations of a finite \'etale group scheme in the usual way. In this note we show that in many cases the dimensions of the Hodge cohomology groups of such a vector bundle…

In previous articles, we showed that the category of profinite $L$-algebras (where $L$ is a normal modal logic with the finite model property) is monadic over $\textbf{Set}$. Then, we developed sequent calculi for extensions of the language…