arXiv subjects

Alexey Ananyevskiy

Publications and source records attributed to Alexey Ananyevskiy.

18 recordsLinked to original sources

arXiv2026

Semiorthogonal decompositions for families of twisted flag varieties

We show that the derived categories of smooth families of twisted generalized flag varieties admit semiorthogonal decompositions into derived categories of twisted sheaves over the base. In particular, we obtain a categorification of Panin's computation of the Quillen K-theory of twisted flag varieties. The main ingredient is a generalization of the Samokhin-van der Kallen semiorthogonal decomposition for representation categories of parabolic subgroups from split simply connected semisimple groups to arbitrary quasi-split semisimple groups, including non-simply connected cases.

math.AG↗

arXiv2025

Combing a hedgehog over a field

We investigate the question of the existence of a non-vanishing section of the tangent bundle on a smooth affine quadric hypersurface $Q^o$ over a given perfect field $k$. In case $Q^o$ admits a $k$-rational point, we give necessary and sufficient conditions for such existence. We apply these conditions in a number of examples, including the case of the algebraic $n$-sphere over $k$, $S^n_k\subset \mathbb{A}^{n+1}_k$, defined by the equation $\sum_{i=1}^{n+1}x_i^2=1$.

math.AG↗

arXiv2025

The motivic Adams conjecture

We solve a motivic version of the Adams conjecture with the exponential characteristic of the base field inverted. In the way of the proof we obtain a motivic version of mod k Dold theorem and give a motivic version of Brown's trick studying the homogeneous variety of maximal tori in a general linear group, which turns out to be not stably A1-connected. We also show that the higher motivic stable stems are of bounded torsion.

math.KT↗

arXiv2024

Chow rings of quasi-split geometrically almost simple algebraic groups

We compute the Chow ring of a quasi-split geometrically almost simple algebraic group assuming the coefficients to be a field. This extends the classical computation for split groups done by Kac to the non-split quasi-split case. For the proof we introduce and study equivariant conormed Chow rings, which are well adapted to the study of quasi-split groups and their homogeneous varieties.

math.AG↗

arXiv2021

On the $\mathbb{A}^1$-Euler characteristic of the variety of maximal tori in a reductive group

We show that for a reductive group $G$ over a field $k$ the $\mathbb{A}^1$-Euler characteristic of the variety of maximal tori in $G$ is an invertible element of the Grothendieck-Witt ring $\mathrm{GW}(k)$, settling the weak form of a conjecture by Fabien Morel. As an application we obtain a generalized splitting principle which allows one to reduce the structure group of a Nisnevich locally trivial $G$-torsor to the normalizer of a maximal torus.

math.AG↗

arXiv2021

Cancellation theorem for framed motives of algebraic varieties

The machinery of framed (pre)sheaves was developed by Voevodsky [V1]. Based on the theory, framed motives of algebraic varieties are introduced and studied in [GP1]. An analog of Voevodsky's Cancellation Theorem [V1] is proved in this paper for framed motives stating that a natural map of framed $S^1$-spectra $$M_{fr}(X)(n)\to\underline{\textrm{Hom}}(\mathbb G,M_{fr}(X)(n+1)),\quad n\geq 0,$$ is a schemewise stable equivalence, where $M_{fr}(X)(n)$ is the $n$th twisted framed motive of $X$. This result is also necessary for the proof of the main theorem of [GP1] computing fibrant resolutions of suspension $\mathbb P^1$-spectra $Σ^\infty_{\mathbb P^1}X_+$ with $X$ a smooth algebraic variety. The Cancellation Theorem for framed motives is reduced to the Cancellation Theorem for linear framed motives stating that the natural map of complexes of abelian groups \[ \mathbb ZF(Δ^\bullet \times X,Y) \to \mathbb ZF((Δ^\bullet \times X)\wedge (\mathbb G_m,1),Y\wedge (\mathbb G_m,1)),\quad X,Y\in Sm/k, \] is a quasi-isomorphism, where $\mathbb ZF(X,Y)$ is the group of stable linear framed correspondences in the sense of [GP1].

math.KT↗

arXiv2020

Thom isomorphisms in triangulated motivic categories

We show that a triangulated motivic category admits categorical Thom isomorphisms for vector bundles with an additional structure if and only if the generalized motivic cohomology theory represented by the tensor unit object admits Thom classes. We also show that the stable $\mathbb{A}^1$-derived category does not admit Thom isomorphisms for oriented vector bundles and, more generally, for symplectic bundles. In order to do so we compute the first homology sheaves of the motivic sphere spectrum and show that the class in the coefficient ring of $\mathbb{A}^1$-homology corresponding to the second motivic Hopf map $ν$ is nonzero which provides an obstruction to the existence of a reasonable theory of Thom classes in $\mathbb{A}^1$-cohomology.

math.AT↗

arXiv2019

SL-oriented cohomology theories

We show that a representable motivic cohomology theory admits a unique normalized SL^c-orientation if the zeroth cohomology presheaf is a Zariski sheaf. We also construct Thom isomorphisms in SL-oriented cohomology for SL^c-bundles and obtain new results on the η-torsion characteristic classes, in particular, we prove that the Euler class of an oriented bundle admitting a (possibly non-orientable) odd rank subbundle is annihilated by the Hopf element.

math.AG↗

arXiv2018

Framed and MW-transfers for homotopy modules

In the paper we use the theory of framed correpondences to construct Milnor-Witt transfers on homotopy modules. As a consequence we identify the zeroth stable $\mathbb{A}^1$-homotopy sheaves of smooth varieties with the zeroth homology of corresponding MW-motivic complexes and prove that the hearts of homotopy $t$-structures on the stable $\mathbb{A}^1$-derived category and the category of Milnor-Witt motives are equivalent.

math.AG↗

arXiv2018

Rigidity for linear framed presheaves and generalized motivic cohomology theories

A rigidity property for the homotopy invariant stable linear framed presheaves is established. As a consequence a variant of Gabber rigidity theorem is obtained for a cohomology theory representable in the motivic stable homotopy category by a $ϕ$-torsion spectrum with $ϕ\in\mathrm{GW}(k)$ of rank coprime to the (exponential) characteristic of the base field $k$. It is shown that the values of such cohomology theories at an essentially smooth Henselian ring and its residue field coincide. The result is applicable to cohomology theories representable by $n$-torsion spectra as well as to the ones representable by $η$-periodic spectra and spectra related to Witt groups.

math.KT↗

arXiv2017

On the zeroth stable $\mathbb{A}^1$-homotopy group of a smooth curve

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 certain sheaf closely related to the first Milnor--Witt $\mathrm{K}$-theory sheaf. This cohomology group can be computed using an explicit Gersten-type complex. We show that if the base field is algebraically closed then the zeroth stable $\mathbb{A}^1$-homotopy group of a smooth curve coincides with the zeroth Suslin homology group that was identified by Suslin and Voevodsky with a relative Picard group. As a consequence we reobtain a version of Suslin's rigidity theorem.

math.KT↗

arXiv2017

On very effective hermitian $K$-theory

We argue that the very effective cover of hermitian $K$-theory in the sense of motivic homotopy theory is a convenient algebro-geometric generalization of the connective real topological $K$-theory spectrum. This means the very effective cover acquires the correct Betti realization, its motivic cohomology has the desired structure as a module over the motivic Steenrod algebra, and that its motivic Adams and slice spectral sequences are amenable to calculations.

math.KT↗

arXiv2017

Stable operations and cooperations in derived Witt theory with rational coefficients

The algebras of stable operations and cooperations in derived Witt theory with rational coefficients are computed and an additive description of cooperations in derived Witt theory is given. The answer is parallel to the well-known case of K-theory of real vector bundles in topology. In particular, we show that stable operations in derived Witt theory with rational coefficients are given by the values on the powers of Bott element.

math.KT↗

arXiv2015

On the relation of special linear algebraic cobordism to Witt groups

We reconstruct derived Witt groups via special linear algebraic cobordism. There is a morphism of ring cohomology theories which sends the canonical Thom class in special linear cobordism to the Thom class in the derived Witt groups. We show that for every smooth variety X this morphism induces an isomorphism between MSL^{*,*}(X)[h^{-1}] with the "extended" coefficient ring MSL^{4*,2*}(pt) -> W^{2*}(pt) and Laurent polynomial ring over the derived Witt groups W^*(X), where h is the stable Hopf map. This result is an analogue of the result by Panin and Walter reconstructing hermitian K-theory using symplectic algebraic cobordism.

math.AG↗

arXiv2015

On the push-forwards for motivic cohomology theories with invertible stable Hopf element

We present a geometric construction of push-forward maps along projective morphisms for cohomology theories representable in the stable motivic homotopy category assuming that the element corresponding to the stable Hopf map is inverted in the coefficient ring of the theory. The construction is parallel to the one given by A. Nenashev for derived Witt groups. Along the way we introduce cohomology groups twisted by a formal difference of vector bundles as cohomology groups of a certain Thom space and compute twisted cohomology groups of projective spaces.

math.AG↗

arXiv2015

Witt sheaves and the $η$-inverted sphere spectrum

Ananyevsky has recently computed the stable operations and cooperations of rational Witt theory. These computations enable us to show a motivic analog of Serre's finiteness result: Theorem: Let $k$ be a field. Then $π^{\mathbb{A}^1}_ n(\mathbb{S}^- _k )_*$ is torsion for $n > 0$. As an application we define a category of Witt motives over $k$ and show that rationally this category is equivalent to the minus part of $SH(k)_\mathbb{Q}$.

math.AT↗

arXiv2013

The special linear version of the projective bundle theorem

A special linear Grassmann variety SGr(k,n) is the complement to the zero section of the determinant of the tautological vector bundle over Gr(k,n). For a representable ring cohomology theory A(-) with a special linear orientation and invertible stable Hopf map η, including Witt groups and MSL[η^{-1}], we have A(SGr(2,2n+1))=A(pt)[e]/(e^{2n}), and A(SGr(2,2n)) is a truncated polynomial algebra in two variables over A(pt). A splitting principle for such theories is established. We use the computations for the special linear Grassmann varieties to calculate A(BSL_n) in terms of the homogeneous power series in certain characteristic classes of the tautological bundle.

math.AG↗

arXiv2012

Exceptional collections of line bundles on projective homogeneous varieties

We construct new examples of exceptional collections of line bundles on the variety of Borel subgroups of a split semisimple linear algebraic group G of rank 2 over a field. We exhibit exceptional collections of the expected length for types A_2 and B_2=C_2 and prove that no such collection exists for type G_2. This settles the question of the existence of full exceptional collections of line bundles on projective homogeneous G-varieties for split linear algebraic groups G of rank at most 2.

math.AG↗