相关论文: Nice triples and a moving lemma for motivic spaces
Strongly (respectively strictly) A1-invariant sheaves are foundational for motivic homotopy theory over fields. They are sheaves of (abelian) groups on the Nisnevich site of smooth varieties over a field k, with the property that their…
For $E$ a presheaf of spectra on the category of smooth $k$-schemes satisfying Nisnevich excision, we prove that the canonical map from the algebraic singular complex of the theory $E$ with quasi-finite supports to the theory $E$ with…
The strictly homotopy invariance of the associated Nisnevish sheave $\widetilde{\mathcal F}_{Nis}$ of a homotopy invariant presheave $\mathcal F$ with GW-transfers (or Witt-transfers) on the category of smooth varieties over a prefect field…
The category of framed correspondences $Fr_*(k)$, framed presheaves and framed sheaves were invented by Voevodsky in his unpublished notes [12]. Based on the theory, framed motives are introduced and studied in [7]. The main aim of this…
We develop the technique of compactified correspondences and homotopies over one-dimensional base schemes, and illuminate the perfectness and the inverting of characteristic assumptions from the celebrating Voevodsky's strict homotopy…
The notion of good spectral triple is initiated. We prove firstly that any regular spectral triple may be embedded in a good spectral triple, so that, in non-commutative geometry, we can restricts to deal only with good spectral triples.…
Over a field of characteristic zero, we establish the homotopy invariance of the Nisnevich cohomology of homotopy invariant presheaves with oriented weak transfers, and the agreement of Zariski and Nisnevich cohomology for such presheaves.…
In this paper, we study the Nisnevich sheafification $\mathcal{H}^1_{\acute{e}t}(G)$ of the presheaf associating to a smooth scheme the set of isomorphism classes of $G$-torsors, for a reductive group $G$. We show that if $G$-torsors on…
To smooth schemes equipped with a smooth affine group scheme action, we associate an equivariant motivic homotopy category. Underlying our construction is the choice of an `equivariant Nisnevich topology' induced by a complete, regular, and…
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:…
Given a polynomial endomorphism F of the n-dimensional affine space over a field K, we define a sequence of polynomial endomorphisms of the affine space associated to F. We call F nice if there exists an integer m such that the m-th term of…
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 prove a global Torelli theorem for the moduli space of marked triples (X,m,A), consisting of an irreducible holomorphic symplectic manifold X, a marking m of its second integral cohomology, and a stable and rigid sheaf A of Azumaya…
We define, for a regular scheme $S$ and a given field of characteristic zero $\KK$, the notion of $\KK$-linear mixed Weil cohomology on smooth $S$-schemes by a simple set of properties, mainly: Nisnevich descent, homotopy invariance,…
We investigate Cousin (bi-)complexes in the setting of motives. Over essentially smooth local schemes, the columns of the Cousin bicomplex with coefficients in any stable motivic homotopy type are shown to be acyclic. On the other hand, we…
Let X be a smooth scheme, Z a smooth closed subscheme, and U the open complement. Given any localizing and A1-homotopy invariant of dg categories E, we construct an associated Gysin triangle relating the value of E at the dg categories of…
Let $X$ be a smooth proper variety over a field $k$ and suppose that the degree map $\mathrm{CH}_0(X \otimes_k K) \to \mathbb{Z}$ is isomorphic for any field extension $K/k$. We show that $G(\mathrm{Spec} k) \to G(X)$ is an isomorphism for…
We give an existence result on (H,A)-stable sheaves on a K3 or abelian surface X with primitive triple of invariants (rank,first Chern class,Euler characteristics) in the integral cohomology lattice. Such a result yields the existence of…
We provide a cohomological interpretation of the zeroth stable $\mathbb{A}^1$-homotopy group of a smooth curve over an infinite perfect field. We show that this group is isomorphic to the first Nisnevich (or Zariski) cohomology group of a…
The aim of this paper is to connect two important and apparently unrelated theories: motivic homotopy theory and ramification theory. We construct motivic homotopy categories over a qcqs base scheme $S$, in which cohomology theories with…