相关论文: On a conjecture of Morel

Let $M(d,\chi)$ be the moduli space of semistable 1-dimensional sheaves supported at curves of degree $d$ on $\mathbb{P}^2$, with Euler characteristic $\chi$. We have the Hilbert-Chow morphism $\pi: M(d,\chi)\rightarrow |dH|$ sending each…

Weibel proved that $p$-inverted K-theory is $\mathbb{A}^1$-invariant on $\mathbb{F}_p$-schemes and K-theory with $\mathbb{Z}/p$-coefficients is $\mathbb{A}^1$-invariant on $\mathbb{Z}[\frac{1}{p}]$-schemes. We extend this result to all…

We show that the continuous \'etale cohomology groups $H^n_{\mathrm{cont}}(X,\mathbf{Z}_l(n))$ of smooth varieties $X$ over a finite field $k$ are spanned as $\mathbf{Z}_l$-modules by the $n$-th Milnor $K$-sheaf locally for the Zariski…

The Cox construction presents a toric variety as a quotient of affine space by a torus. The category of coherent sheaves on the corresponding stack thus has an evident description as invariants in a quotient of the category of modules over…

We prove the A-theoretic Isomorphism Conjecture with coefficients and finite wreath products for solvable groups.

We obtain a criterion for the automorphism group of an affine toric variety to be connected in combinatorial terms and in terms of the divisor class group of the variety. The component group of the automorphism group of a non-degenerate…

We prove that a smooth scheme of dimension $n$ over a perfect field is A^1-weakly equivalent to a point if it is A^1-n-connected. We also prove an excision result for A^1-homotopy sheaves over a perfect field.

Let $\mathbb{X}$ be a weighted projective line of tubular type and $\operatorname{coh}\mathbb{X}$ the category of coherent sheaves on $\mathbb{X}$. The main purpose of this note is to show that the subgraph of the tilting graph consisting…

We prove a geometric version of a classical result on the characterization of an irreducible cuspidal automorphic representation of $\mathrm{GL}_n(\mathbb{A}_E)$ being the base change of a stable cuspidal packet of the quasi-split unitary…

We prove a theorem relating torus-equivariant coherent sheaves on toric varieties to polyhedrally-constructible sheaves on a vector space. At the level of K-theory, the theorem recovers Morelli's description of the K-theory of a smooth…

Let $X$ be a compact K\"ahler manifold. The set $\cha(X)$ of one-dimensional complex valued characters of the fundamental group of $X$ forms an algebraic group. Consider the subset of $\cha(X)$ consisting of those characters for which the…

In this paper we prove the Knop conjecture asserting that two smooth affine spherical varieties with the same weight monoids are equivariantly isomorphic. We also state and prove a uniqueness property for not necessarily smooth affine…

We establish a relative version of the abstract "affine representability" theorem in ${\mathbb A}^1$--homotopy theory from Part I of this paper. We then prove some ${\mathbb A}^1$--invariance statements for generically trivial torsors under…

We give a homotopy theoretic characterization of sheaves on a stack and, more generally, a presheaf of groupoids on an arbitary small site C. We use this to prove homotopy invariance and generalized descent statements for categories of…

In this article, we prove the Hodge conjecture for a desingularization of the moduli space of rank 2, semi-stable, torsion-free sheaves with fixed odd degree determinant over a very general irreducible nodal curve of genus at least 2. We…

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…

Let $R_s M$ denote the Singer construction on an unstable module $M$ over the Steenrod algebra $A$ at the prime two; $R_s M$ is canonically a subobject of $P_s\otimes M$, where $P_s$ is the polynomial algebra on s generators of degree one.…

If $G$ is a group acting on a tree $X$, and ${\mathcal S}$ is a $G$-equivariant sheaf of vector spaces on $X$, then its compactly-supported cohomology is a representation of $G$. Under a finiteness hypothesis, we prove that if $H_c^0(X,…

We introduce a dynamical Mordell-Lang-type conjecture for coherent sheaves. When the sheaves are structure sheaves of closed subschemes, our conjecture becomes a statement about unlikely intersections. We prove an analogue of this…

This paper introduces the trivial fiber topology on schemes. For one-dimensional base schemes, we use it to describe fibrant replacements in the stable motivic homotopy category and motivic infinite loop spaces. We also extend the…