相关论文: Variations on the Bloch-Ogus Theorem

In this paper, we define a generalization of the Brauer groups by using Bloch's cycle complex on etale site. We prove the Gersten conjecture of generalized Brauer group on some cases. As an application we prove the Gersten conjecture of the…

We first study hyperplane sections of some singular schemes over a field. We prove a Bertini theorem for the log smoothness of generic hyperplane sections of a large class of log smooth schemes over a log point. We also give an abstract…

For any cohomology theory $H$ that can be factorized through (the Morel-Voevodsky's triangulated motivic homotopy category) $SH^{S^1}(k)$ we establish the $SH^{S^1}(k)$-functoriality of coniveau spectral sequences for $H$. We also prove:…

We develop a version of Hodge theory for a large class of smooth formally proper quotient stacks $X/G$ analogous to Hodge theory for smooth projective schemes. We show that the noncommutative Hodge-de Rham sequence for the category of…

We construct a K-theory version of Bhatt-Morrow-Scholze's Breuil-Kisin cohomology theory for $\sO_K$-linear idempotent-complete, small smooth proper stable infinity-categories, where $K$ is a discretely valued extension of $\Q_p$ with…

We use techniques of Alper-Hall-Rydh to prove a local structure theorem for smooth morphisms between smooth stacks around points with linearly reductive stabilizers. This implies that the good moduli space of a smooth stack over a base has…

For a smooth proper scheme over a local field of mixed characteristics which has semistable reduction we define the category of its semistable etale sheaves and under certain hypothesis we prove the appropriate semistable comparison…

This work is dedicated to the construction of a new motivic homotopy theory for (log) schemes, generalizing Morel-Voevodsky's (un)stable $\mathbb{A}^1$-homotopy category. Our framework can be used to represent log topological Hochschild and…

We study three graph complexes related to the higher genus Grothendieck-Teichm\"uller Lie algebra and diffeomorphism groups of manifolds. We show how the cohomology of these graph complexes is related, and we compute the cohomology as the…

Let X be the quasi-projective symplectic surface that is given by the total space of the invertible sheaf O(-2) over the projective line. Let Hilb X be the family of Hilbert schemes of points on X. We give and prove a closed formula…

Improved local and global versions of the effective Nullstellensatz for ideal sheaves on non-singular complex varieties are obtained, based on a new invariant motivated by the notion of finite type from the theory of several complex…

We develop properties of unramified, \'etale and smooth morphisms between Berkovich spaces over $\mathbb{Z}$. We prove that they satisfy properties analogous to those of morphisms of schemes and we provide analytification criteria. Our…

Any smooth, projective variety satisfies the Hodge conjecture in codimension one, known as the Lefschetz (1,1) theorem. Totaro formulated a version for singular varieties. He asked whether the natural Bloch-Gillet-Soul\'{e} cycle class map…

We present a new method for determining the Galois module structure of the cohomology of coherent sheaves on varieties over the integers with a tame action of a finite group. This uses a novel Adams-Riemann-Roch type theorem obtained by…

Let $B$ denote the upper triangular subgroup of $SL_2(C)$, $T$ its diagonal torus and $U$ its unipotent radical. A complex projective variety $Y$ endowed with an algebraic action of $B$ such that the fixed point set $Y^U$ is a single point,…

Let $G$ be a connected split reductive group over a finite field ${\mathbb F}_q$ and $X$ a smooth projective geometrically connected curve over ${\mathbb F}_q$. The $\ell$-adic cohomology of stacks of $G$-shtukas is a generalization of the…

We scrutinise the notions of cohomologically smooth morphisms and smooth objects for the six functor formalism of \'etale $\mathbb F_p$-sheaves on schemes in characteristic $p$. We show that only cohomologically \'etale morphisms are…

Let $n\geq 0$ and $r>0$ be integers. Let $\mathcal{O}_{X, x}^{h}$ be the henselization of the local ring $\mathcal{O}_{X, x}$ of a scheme $X$ at a point $x\in X$. For a normal crossing variety $Y$ over the spectrum of a field $k$ of…

In this document we consider an exact sequence of group varieties $e\to N\to G\to Q\to e$ over an algebraically closed field. We show that for $l\neq \mathrm{char}(k)$ a prime there exists an isomorphism of graded $\mathbb{Q}_l$-algebras…

Sheaf cohomology or, more generally, higher direct images of coherent sheaves along proper morphisms are central to modern algebraic geometry. However, the computation of these objects is a non-trivial and expensive task which easily…