Showing 1–12 of 12 results for author: Ravi, C

The stacky concentration theorem

Authors: Dhyan Aranha, Adeel A. Khan, Alexei Latyntsev, Hyeonjun Park, Charanya Ravi

Abstract: 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$. Tak… ▽ More 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. △ Less

Submitted 21 April, 2025; v1 submitted 13 June, 2024; originally announced July 2024.

Comments: 32 pages; split off from arXiv:2207.01652 and revised exposition

Cohomological and categorical concentration

Authors: Adeel A. Khan, Charanya Ravi

Abstract: 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 s… ▽ More 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. △ Less

Submitted 3 August, 2023; originally announced August 2023.

Comments: 30 pages

Equivariant generalized cohomology via stacks

Authors: Adeel A. Khan, Charanya Ravi

Abstract: 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… ▽ More 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. △ Less

Submitted 7 October, 2024; v1 submitted 16 September, 2022; originally announced September 2022.

Comments: 40 pages; v6: minor revisions

Report number: MPIM-Bonn-2022 MSC Class: 14F06; 14L30; 14F42

Virtual localization revisited

Authors: Dhyan Aranha, Adeel A. Khan, Alexei Latyntsev, Hyeonjun Park, Charanya Ravi

Abstract: 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$.… ▽ More 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. △ Less

Submitted 21 April, 2025; v1 submitted 4 July, 2022; originally announced July 2022.

Comments: 46 pages, new title and improved exposition; material on stacky concentration and cosection localization will reappear elsewhere

Report number: MPIM-Bonn-2022

Generalized cohomology theories for algebraic stacks

Authors: Adeel A. Khan, Charanya Ravi

Abstract: 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 ma… ▽ More 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. For example, we deduce that homotopy K-theory satisfies cdh descent on scalloped stacks. 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. △ Less

Submitted 7 October, 2024; v1 submitted 28 June, 2021; originally announced June 2021.

Comments: 94 pages; v5 is the final version, to appear in Advances

Categorical Milnor squares and K-theory of algebraic stacks

Authors: Tom Bachmann, Adeel A. Khan, Charanya Ravi, Vladimir Sosnilo

Abstract: 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 negat… ▽ More 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. △ Less

Submitted 17 August, 2022; v1 submitted 9 November, 2020; originally announced November 2020.

Comments: 59 pages; accepted version, to appear in Selecta

MSC Class: 14F08; 19E08; 19D35; 14D23

Journal ref: Sel. Math. 28 (2022), no. 5, paper no. 85, 72 p

Virtual equivariant Grothendieck-Riemann-Roch formula

Authors: Charanya Ravi, Bhamidi Sreedhar

Abstract: For a $G$-scheme $X$ with a given equivariant perfect obstruction theory, we prove a virtual equivariant Grothendieck-Riemann-Roch formula, this is an extension of a result of Fantechi-Göttsche to the equivariant context. We also prove a virtual non-abelian localization theorem for schemes over $\mathbb{C}$ with proper actions. For a $G$-scheme $X$ with a given equivariant perfect obstruction theory, we prove a virtual equivariant Grothendieck-Riemann-Roch formula, this is an extension of a result of Fantechi-Göttsche to the equivariant context. We also prove a virtual non-abelian localization theorem for schemes over $\mathbb{C}$ with proper actions. △ Less

Submitted 21 September, 2020; originally announced September 2020.

Comments: 28 pages. Comments are welcome!

MSC Class: 19L47; 19L10 (Primary); 14C15 (Secondary)

Rigidity in equivariant algebraic $K$-theory

Authors: Niko Naumann, Charanya Ravi

Abstract: If $(R,I)$ is a henselian pair with an action of a finite group $G$ and $n\ge 1$ is an integer coprime to $|G|$ and such that $n\cdot |G|\in R^*$, then the reduction map of mod-$n$ equivariant $K$-theory spectra \[ K^G(R)/n\stackrel{\simeq}{\longrightarrow} K^G(R/I)/n\] is an equivalence. We prove this by revisiting the recent proof of non-equivariant rigidity by Clausen, Mathew, and Morrow. If $(R,I)$ is a henselian pair with an action of a finite group $G$ and $n\ge 1$ is an integer coprime to $|G|$ and such that $n\cdot |G|\in R^*$, then the reduction map of mod-$n$ equivariant $K$-theory spectra \[ K^G(R)/n\stackrel{\simeq}{\longrightarrow} K^G(R/I)/n\] is an equivalence. We prove this by revisiting the recent proof of non-equivariant rigidity by Clausen, Mathew, and Morrow. △ Less

Submitted 8 May, 2019; originally announced May 2019.

Journal ref: Ann. K-Th. 5 (2020) 141-158

Rigidity for equivariant pseudo pretheories

Authors: Jeremiah Heller, Charanya Ravi, Paul Arne Østvær

Abstract: We prove versions of the Suslin and Gabber rigidity theorems in the setting of equivariant pseudo pretheories of smooth schemes over a field with an action of a finite group. Examples include equivariant algebraic $K$-theory, presheaves with equivariant transfers, equivariant Suslin homology, and Bredon motivic cohomology. We prove versions of the Suslin and Gabber rigidity theorems in the setting of equivariant pseudo pretheories of smooth schemes over a field with an action of a finite group. Examples include equivariant algebraic $K$-theory, presheaves with equivariant transfers, equivariant Suslin homology, and Bredon motivic cohomology. △ Less

Submitted 1 October, 2018; originally announced October 2018.

Comments: 19 pages; to appear in Journal of Algebra

MSC Class: 14C35; 14F42; 19E15

A Grothendieck-Lefschetz theorem for equivariant Picard groups

Authors: Charanya Ravi

Abstract: We prove a Grothendieck-Lefschetz theorem for equivariant Picard groups of non-singular varieties with finite group actions. We prove a Grothendieck-Lefschetz theorem for equivariant Picard groups of non-singular varieties with finite group actions. △ Less

Submitted 21 December, 2017; originally announced December 2017.

Comments: 7 pages; to appear in JPAA

MSC Class: 14C22; 14L30

Algebraic K-theory of quotient stacks

Authors: Amalendu Krishna, Charanya Ravi

Abstract: We prove some fundamental results like localization, excision, Nisnevich descent and the Mayer-Vietoris property for equivariant regular blow-up for the equivariant K-theory of schemes with an affine group scheme action. We also show that the equivariant K-theory with finite coefficients is invariant under equivariant vector bundle morphisms. We show that the equivariant homotopy K-theory is invar… ▽ More We prove some fundamental results like localization, excision, Nisnevich descent and the Mayer-Vietoris property for equivariant regular blow-up for the equivariant K-theory of schemes with an affine group scheme action. We also show that the equivariant K-theory with finite coefficients is invariant under equivariant vector bundle morphisms. We show that the equivariant homotopy K-theory is invariant under equivariant vector bundle morphisms and satisfies all the above properties, including nil-invariance. △ Less

Submitted 2 August, 2017; v1 submitted 17 September, 2015; originally announced September 2015.

Comments: 21 pages, Title changed, Final version, to appear in Annals of K-Theory

Equivariant vector bundles, their derived category and $K$-theory on affine schemes

Authors: Amalendu Krishna, Charanya Ravi

Abstract: Let $G$ be an affine group scheme over a noetherian commutative ring $R$. We show that every $G$-equivariant vector bundle on an affine toric scheme over $R$ with $G$-action is extended from $\Spec(R)$ for several cases of $R$ and $G$. We show that given two affine schemes with group scheme actions, an equivalence of the equivariant derived categories implies isomorphism of the equivariant $K$-t… ▽ More Let $G$ be an affine group scheme over a noetherian commutative ring $R$. We show that every $G$-equivariant vector bundle on an affine toric scheme over $R$ with $G$-action is extended from $\Spec(R)$ for several cases of $R$ and $G$. We show that given two affine schemes with group scheme actions, an equivalence of the equivariant derived categories implies isomorphism of the equivariant $K$-theories as well as equivariant $K'$-theories. △ Less

Submitted 31 May, 2016; v1 submitted 31 October, 2014; originally announced October 2014.

Comments: 34 pages, minor corrections, final version, to appear in Annals of K-Theory

MSC Class: Primary 13C10; Secondary 14L30

Journal ref: Ann. K-Th. 2 (2017) 235-275