相关论文: Kato-Milne cohomology group over rational function…
We use intuitive results from algebraic topology and intersection theory to clarify the pullback action on cohomology by compositions of rational maps. We use these techniques to prove a simple sufficient criterion for functoriality of a…
We confirm the quasi-projective case of Saito's conjecture, namely that the cohomological characteristic classes defined by Abbes and Saito can be computed in terms of the characteristic cycles. We construct a cohomological characteristic…
This appendix discusses some basic definitions and properties of differential forms and Kato's cohomology groups in characteristic p and a sketch of the proof of Bloch-Kato-Gabber's theorem which describes the differential symbol from the…
Let $R$ be a commutative ring with unit. We develop a Hochschild cohomology theory in the category $\mathcal{F}$ of linear functors defined from an essentially small symmetric monoidal category enriched in $R$-Mod, to $R$-Mod. The category…
Milne's correcting factor, which appears in the Zeta-value at $s=n$ of a smooth projective variety $X$ over a finite field $\mathbb{F}_q$, is the Euler characteristic of the derived de Rham cohomology of $X/\mathbb{Z}$ modulo the Hodge…
We introduce a theory of finite polynomial cohomology with coefficients in this paper. We prove several basic properties and introduce an Abel-Jacobi map with coefficients. As applications, we use such a cohomology theory to study…
We prove a quantitative version of Hilbert's irreducibility theorem for function fields: If $f(T_1,\ldots, T_n,X)$ is an irreducible polynomial over the field of rational functions over a finite field $\mathbb{F}_q$ of characteristic $p$,…
The classical Ritt's Theorems state several properties of univariate polynomial decomposition. In this paper we present new counterexamples to Ritt's first theorem, which states the equality of length of decomposition chains of a…
We provide a complete proof of a duality theorem for the fppf cohomology of either a curve over a finite field or a ring of integers of a number field, which extends the classical Artin-Verdier Theorem in \'etale cohomology. We also prove…
Our aim in this paper is to extend a work of Sivatski to characteristic 2. More precisely, for $F$ a field of characteristic $2$ and a central simple algebra $A$ of exponent 2 that splits over a triquadratic extension of $F$ of separability…
If the $\ell$-adic cohomology of a projective smooth variety, defined over a local field $K$ with finite residue field $k$, is supported in codimension $\ge 1$, then every model over the ring of integers of $K$ has a $k$-rational point. For…
We initiate the study of the cohomology of (strict polynomial) bifunctors by introducing the foundational formalism, establishing numerous properties in analogy with the cohomology of functors, and providing computational techniques. Since…
We compute syntomic cohomology of semistable affinoids in terms of cohomology of $(\varphi,\Gamma)$-modules which, thanks to work of Fontaine-Herr, Andreatta-Iovita, and Kedlaya-Liu, is known to compute Galois cohomology of these affinoids.…
This paper is concerned with an interpretation of f-cohomology, a modification of motivic cohomology of motives over number fields, in terms of motives over number rings. Under standard assumptions on mixed motives over finite fields,…
We determine the mod p cohomological invariants for several affine group schemes G in chararacteristic p. These are invariants of G-torsors with values in etale motivic cohomology, or equivalently in Kato's version of Galois cohomology…
Let $X$ be a smooth irreducible projective variety over a field $\mathbf{k}$ of dimension $d.$ Let $\tau: \mathbb{Q}_l\to \mathbb{C}$ be any field embedding. Let $f: X\to X$ be a surjective endomorphism. We show that for every…
We recall some basic computations in the Milnor-Witt K-theory of a field, following Morel. We then focus on the Witt K-theory of a field of characteristic two and give an elementary proof of the fact that it is isomorphic as a graded ring…
A field $F$ is a $\mathfrak{B}_s$-field if, for every finite extension $E'/E$ of $F$, the norm map $K_s^M(E')\to K_s^M(E)$ of the Milnor $K$-groups is surjective. In particular, finite fields ($s=1$), local fields, and certain global fields…
For a field $\mathbb{F}$, let $L_k(\mathbb{F})$ be the Lie algebra of derivations $f(t)\frac{d}{dt}$ of the polynomial ring $\mathbb{F}[t]$, where $f(t)$ is a polynomial of degree $\geqslant k$. For any $k\geqslant -1$, we present a basis…
Let $q$ be a non-negative integer. We prove that a perfect field $K$ has cohomological dimension at most $q+1$ if, and only if, for any finite extension $L$ of $K$ and for any homogeneous space $Z$ under a smooth linear connected algebraic…