Search

We give a sufficient criterion for the Chow or algebraic bordism groups of an algebraic stack, localized at a set of Chern classes of line bundles, to be concentrated in some closed substack. This is a vast generalization of the torus fixed-point localization theorem in equivariant intersection theory, which is the special case of the stack quotient of a scheme $X$ by an action of a torus $T$. Taking on the one hand an algebraic stack in place of $X$, we deduce a generalization of torus localization to algebraic stacks. Taking on the other hand any algebraic group $G$ instead of $T$, we obtain a localization theorem in $G$-equivariant intersection theory., Comment: 32 pages; split off from arXiv:2207.01652 and revised exposition

Higher theta series on moduli spaces of Hermitian shtukas were constructed by Feng--Yun--Zhang and conjectured to be modular, parallel to classical conjectures in the Kudla program. In this paper we prove the modularity of higher theta series after restriction to the generic locus. The proof is an upgrade, using motivic homotopy theory, of earlier work of Feng--Yun--Zhang which established generic modularity of $\ell$-adic realizations. In the process, we develop some general tools of broader utility. One such is the "motivic sheaf-cycle correspondence", a categorical trace formalism for extracting computations in the Chow group from computations in Voevodsky's derived category of motives. Another new tool is the "derived homogeneous Fourier transform", which we use to implement a form of Fourier analysis for motives., Comment: Corrected some statements in section 7.5. This paper absorbs arXiv:2311.13270 as section 8

We study a derived version of Laumon's homogeneous Fourier transform, which exchanges G_m-equivariant sheaves on a derived vector bundle and its dual. In this context, the Fourier transform exhibits a duality between derived and stacky phenomena. This is the first in a series of papers on derived microlocal sheaf theory., Comment: 29 pages

We construct a cdh-local motivic homotopy category SH_cdh(S) over an arbitrary base scheme S, and show that there is a canonical equivalence between SH_cdh(S) and SH(S). We learned this result from D.-C. Cisinski., Comment: 6 pages, posted on author's webpage in 2019; to appear in JPAA

Notes on algebraic stacks, prepared for an 11-lecture course at the NCTS, Taipei, during the fall of 2022., Comment: 78 pages

Given a torus action on a compact space X, a fundamental result of Borel and Atiyah-Segal asserts that the equivariant cohomology of X is concentrated in the fixed locus X^T, up to inverting enough Chern classes. We prove an analogue for algebraic varieties over an arbitrary field. In fact, we deduce this from a categorification at the level of equivariant derived categories and even equivariant stable motivic homotopy categories, which also gives concentration at the level of Voevodsky motives and for homotopy K-theory., Comment: 30 pages

Let C be the stable oo-category of perfect complexes on a derived Deligne-Mumford stack X of finite type over the complex numbers. We prove that the complexified noncommutative topological Chern character is an isomorphism for C. In the appendix we show the same property for C the stable oo-category of coherent complexes on a derived algebraic space., Comment: 7 pages

We prove a general form of the statement that the cohomology of a quotient stack can be computed by the Borel construction. It also applies to the lisse extensions of generalized cohomology theories like motivic cohomology and algebraic cobordism. We use this to prove a (higher) equivariant Grothendieck-Riemann-Roch theorem, comparing Borel-equivariant G-theory and equivariant Chow groups. We also give a Bernstein-Lunts-type gluing description of the infinity-category of equivariant sheaves on a scheme X, in terms of nonequivariant sheaves on X and sheaves on its Borel construction., Comment: 37 pages; equivariant GRR added

Let $T$ be a split torus acting on an algebraic scheme $X$ with fixed locus $Z$. Edidin and Graham showed that on localized $T$-equivariant Chow groups, (a) push-forward $i_*$ along $i : Z \to X$ is an isomorphism, and (b) when $X$ is smooth the inverse $(i_*)^{-1}$ can be described via Gysin pullback $i^!$ and cap product with $e(N)^{-1}$, the inverse of the Euler class of the normal bundle $N$. In this paper we show that (b) still holds when $X$ is a quasi-smooth derived scheme (or Deligne-Mumford stack), using virtual versions of the operations $i^!$ and $(-)\cap e(N)^{-1}$. As a corollary we prove the virtual localization formula $[X]^{vir} = i_* ([Z]^{vir} \cap e(N^{vir})^{-1})$ of Graber-Pandharipande without global resolution hypotheses and over arbitrary base fields. We include an appendix on fixed loci of group actions on (derived) stacks which should be of independent interest., Comment: 46 pages, new title and improved exposition; material on stacky concentration and cosection localization will reappear elsewhere

We extend Poincar\'e duality in \'etale cohomology from smooth schemes to regular ones. This is achieved via a formalism of trace maps for local complete intersection morphisms., Comment: 11 pages, to appear in Forum Math. Sigma

We extend the stable motivic homotopy category of Voevodsky to the class of scalloped algebraic stacks, and show that it admits the formalism of Grothendieck's six operations. Objects in this category represent generalized cohomology theories for stacks like algebraic K-theory, as well as new examples like genuine motivic cohomology and algebraic cobordism. These cohomology theories admit Gysin maps and satisfy homotopy invariance, localization, and Mayer-Vietoris. We also prove a fixed point localization formula for torus actions. Finally, the construction is contrasted with a "lisse-extended" stable motivic homotopy category, defined for arbitrary stacks: we show for example that lisse-extended motivic cohomology of quotient stacks is computed by the equivariant higher Chow groups of Edidin-Graham, and we also get a good new theory of Borel-equivariant algebraic cobordism. Moreover, the lisse-extended motivic homotopy type is shown to recover all previous constructions of motives of stacks., Comment: 94 pages; v4 adds further comparisons of lisse extension with existing constructions

These are some notes on the basic properties of algebraic K-theory and G-theory of derived algebraic spaces and stacks, and the theory of fundamental classes in this setting., Comment: 53 pages; added some continuity statements (1.52, 1.54, 2.22), rewrote discussion of perfect stacks with some new compact generation results (1.40 and 1.42, joint with C. Ravi), and made various other minor revisions

We introduce a notion of Milnor square of stable $\infty$-categories and prove a criterion under which algebraic K-theory sends such a square to a cartesian square of spectra. We apply this to prove Milnor excision and proper excision theorems in the K-theory of algebraic stacks with affine diagonal and nice stabilizers. This yields a generalization of Weibel's conjecture on the vanishing of negative K-groups for this class of stacks., Comment: 59 pages; accepted version, to appear in Selecta

We study the structure of the rational motivic stable homotopy category over general base schemes. Our first class of results concerns the six operations: we prove absolute purity, stability of constructible objects, and Grothendieck-Verdier duality for SH_Q. Next, we prove that SH_Q is canonically SL-oriented; we compare SH_Q with the category of rational Milnor-Witt motives; and we relate the rational bivariant A^1-theory to Chow-Witt groups. These results are derived from analogous statements for the minus part of SH[1/2]., Comment: 53 pages, final version; to appear in Journal de l'\'Ecole polytechnique

We obtain geometric models for the infinite loop spaces of the motivic spectra $\mathrm{MGL}$, $\mathrm{MSL}$, and $\mathbf{1}$ over a field. They are motivically equivalent to $\mathbb{Z}\times \mathrm{Hilb}_\infty^\mathrm{lci}(\mathbb{A}^\infty)^+$, $\mathbb{Z}\times \mathrm{Hilb}_\infty^\mathrm{or}(\mathbb{A}^\infty)^+$, and $\mathbb{Z}\times \mathrm{Hilb}_\infty^\mathrm{fr}(\mathbb{A}^\infty)^+$, respectively, where $\mathrm{Hilb}_d^\mathrm{lci}(\mathbb{A}^n)$ (resp. $\mathrm{Hilb}_d^\mathrm{or}(\mathbb{A}^n)$, $\mathrm{Hilb}_d^\mathrm{fr}(\mathbb{A}^n)$) is the Hilbert scheme of lci points (resp. oriented points, framed points) of degree $d$ in $\mathbb{A}^n$, and $+$ is Quillen's plus construction. Moreover, we show that the plus construction is redundant in positive characteristic., Comment: 13 pages. v5: published version; v4: final version, to appear in \'Epijournal G\'eom. Alg\'ebrique; v3: minor corrections; v2: added details in the moving lemma over finite fields

We prove a K-theoretic excess intersection formula for derived Artin stacks. When restricted to classical schemes, it gives a refinement and new proof of R. Thomason's formula., Comment: 12 pages, final version (minor revisions)

We construct the \'etale motivic Borel-Moore homology of derived Artin stacks. Using a derived version of the intrinsic normal cone, we construct fundamental classes of quasi-smooth derived Artin stacks and demonstrate functoriality, base change, excess intersection, and Grothendieck-Riemann-Roch formulas. These classes also satisfy a general cohomological B\'ezout theorem which holds without any transversity hypotheses. The construction is new even for classical stacks and as one application we extend Gabber's proof of the absolute purity conjecture to Artin stacks., Comment: 36 pages, preliminary version