Related papers: A^1-connected components of schemes

The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group scheme $G$ over a regular local ring $R$ is trivial. The mixed characteristic case of the conjecture is widely open. We consider the…

Let S be a smooth irreducible curve defined over a number field k and consider an abelian scheme A over S and a curve C inside A, both defined over k. In previous works, we proved that when A is a fibered product of elliptic schemes, if C…

Let k be an infinite field. Let R be the semi-local ring of a finite family of closed points on a k-smooth affine irreducible variety, let K be the fraction field of R, and let G be a reductive simple simply connected R-group scheme…

Suppose $X$ is a smooth projective scheme of finite type over a field $K$, $\mathcal{E}$ is a locally free ${\mathcal{O}}_{X}$-bimodule of rank 2, $\mathcal{A}$ is the non-commutative symmetric algebra generated by $\mathcal{E}$ and ${\sf…

Let $X$ be a smooth manifold and $\mathbf{k}$ be a commutative (or at least $\mathbb{E}_2$) ring spectrum. Given a smooth exact Lagrangian $L\hookrightarrow T^*X$, the microlocal sheaf theory (following Kashiwara--Schapira) naturally…

Kashiwara conjectured that the hard Lefshetz theorem and the semisimplicity theorem hold for any semisimple perverse sheaf M on a variety over a field of characteristic 0. He also conjectured that if you apply to such M the nearby cycle…

Moduli spaces of stable sheaves on smooth projective surfaces are in general singular. Nonetheless, they carry a virtual class, which -- in analogy with the classical case of Hilbert schemes of points -- can be used to define intersection…

We prove that the Farrell-Jones isomorphism conjecture for non-connective algebraic K-theory for a discrete group G and a coefficient ring R holds true if G belongs to the class of groups acting on trees, under certain conditions on G (see…

For a reduced pure dimensional complex space $X$, we show that if Barlet's recently introduced sheaf $\alpha_X^1$ of holomorphic $1$-forms or the sheaf of germs of weakly holomorphic $1$-forms is locally free, then $X$ is smooth. Moreover,…

We prove the Farrell-Jones Conjecture for (non-connective) $A$-theory with coefficients and finite wreath products for hyperbolic groups, CAT(0)-groups, cocompact lattices in almost connected Lie groups and fundamental groups of manifolds…

Quot schemes of quotients of a trivial bundle of arbitrary rank on a nonsingular projective surface X carry perfect obstruction theories and virtual fundamental classes whenever the quotient sheaf has at most 1-dimensional support. The…

We prove a formula which relates Euler characteristic of moduli spaces of stable pairs on local K3 surfaces to counting invariants of semistable sheaves on them. Our formula generalizes Kawai-Yoshioka's formula for stable pairs with…

We extend the definition of the unramified curve-tame cohomology groups to $\mathbb{A}^1$-invariant \'etale sheaves under some additional hypotheses. We define a pairing of this group with the Suslin homology satisfying desirable properties…

In this article, we first prove a general result in topology which states that every quasi-component of a quasi-spectral space is connected. \\ As an application, the structure of the connected components of every quasi-compact…

Assume that R is a semi-local regular ring containing an infinite perfect field, or that R is a semi-local ring of several points on a smooth scheme over an infinite field. Let K be the field of fractions of R. Let H be a strongly inner…

We show that the cohomology of the structure sheaf of smooth and proper schemes over a complete non-archimedean field $K$ of characteristic zero, can be refined to an $\mathbf{A}^1$-invariant cohomology theory of smooth (not necessarily…

We give a description of the value of a finitary localizing invariant, such as algebraic $K$-theory, on the category of sheaves on a locally coherent space $X$. This in particular includes all spaces that arise as spectra of commutative…

A reduced divisor on a nonsingular variety defines the sheaf of logarithmic 1-forms. We introduce a certain coherent sheaf whose double dual coincides with this sheaf. It has some nice properties, for example, the residue exact sequence…

Let $(\mathcal C,\otimes,1)$ be an abelian symmetric monoidal category satisfying certain conditions and let $X$ be a scheme over $(\mathcal C,\otimes,1)$ in the sense of To\"en and Vaqui\'{e}. In this paper we show that when $X$ is…

In 2010 de Jong proposed a $p$-adic version of Gieseker's conjecture: if $X$ is a smooth, simply connected projective variety, then any isocrystal on $X$ is constant. This was proven by Esnault and Shiho under some additional assumptions.…