Source author record

Grigory Garkusha

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.KT math.AG math.OA math.RA

Catalog footprint

Research overview

9works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Framed motivic $Γ$ -spaces

We combine several mini miracles to achieve an elementary understanding of infinite loop spaces and very effective spectra in the algebro-geometric setting of motivic homotopy theory. Our approach combines $Γ$ -spaces and framed correspondences into the concept of framed motivic $Γ$ -spaces; these are continuous or enriched functors of two variables that take values in motivic spaces and are equipped with a framing. We craft proofs of our main results by imposing further axioms on framed motivic $Γ$ -spaces such as a Segal condition for simplicial Nisnevich sheaves, cancellation, ${\mathbb A}^{1}$ - and $σ$ -invariance, Nisnevich excision, Suslin contractibility, and grouplikeness. This adds to the discussion in the literature on coexisting points of view on the ${\mathbb A}^{1}$ -homotopy theory of algebraic varieties.

preprint2022arXiv

Group schemes and motivic spectra

By a theorem of Mandell-May-Schwede-Shipley the stable homotopy theory of classical $S^1$ -spectra is recovered from orthogonal spectra. In this paper general linear, special linear, symplectic, orthogonal and special orthogonal motivic spectra are introduced and studied. It is shown that the stable homotopy theory of motivic spectra is recovered from each of these types of spectra. An application is given for the localization functor $C_*\mathcal Fr:SH_{nis}(k)\to SH_{nis}(k)$ in the sense of [15] that converts the Morel-Voevodsky stable motivic homotopy theory $SH(k)$ into the equivalent local theory of framed bispectra [15].

preprint2021arXiv

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].

preprint2021arXiv

Framed motives of relative motivic spheres

The category of framed correspondences $Fr_*(k)$ and framed sheaves were invented by Voevodsky in his unpublished notes [V2]. Based on the theory, framed motives are introduced and studied in [GP1]. These are Nisnivich sheaves of $S^1$ -spectra and the major computational tool of [GP1]. The aim of this paper is to show the following result which is essential in proving the main theorem of [GP1]: given an infinite perfect base field $k$ , any $k$ -smooth scheme $X$ and any $n\geq 1$ , the map of simplicial pointed Nisnevich sheaves $(-,\mathbb{A}^1//\mathbb G_m)^{\wedge n}_+\to T^n$ induces a Nisnevich local level weak equivalence of $S^1$ -spectra $M_{fr}(X\times (\mathbb{A}^1// \mathbb G_m)^{\wedge n})\to M_{fr}(X\times T^n).$ Moreover, it is proven that the sequence of $S^1$ -spectra $M_{fr}(X \times T^n \times \mathbb G_m) \to M_{fr}(X \times T^n \times\mathbb A^1) \to M_{fr}(X \times T^{n+1})$ is locally a homotopy cofiber sequence in the Nisnevich topology. Another important result of this paper shows that homology of framed motives is computed as linear framed motives in the sense of [GP1]. This computation is crucial for the whole machinery of framed motives [GP1].

preprint2015arXiv

Algebraic Kasparov K-theory. II

A kind of motivic stable homotopy theory of algebras is developed. Explicit fibrant replacements for the $S^1$ -spectrum and $(S^1,\mathbb G)$ -bispectrum of an algebra are constructed. As an application, unstable, Morita stable and stable universal bivariant theories are recovered. These are shown to be embedded by means of contravariant equivalences as full triangulated subcategories of compact generators of some compactly generated triangulated categories. Another application is the introduction and study of the symmetric monoidal compactly generated triangulated category of $K$ -motives. It is established that the triangulated category $kk$ of Cortiñas--Thom can be identified with the $K$ -motives of algebras. It is proved that the triangulated category of $K$ -motives is a localization of the triangulated category of $(S^1,\mathbb G)$ -bispectra. Also, explicit fibrant $(S^1,\mathbb G)$ -bispectra representing stable algebraic Kasparov $K$ -theory and algebraic homotopy $K$ -theory are constructed.

preprint2015arXiv

On the motivic spectral sequence

It is shown that the Grayson tower for $K$ -theory of smooth algebraic varieties is isomorphic to the slice tower of $S^1$ -spectra. We also extend the Grayson tower to bispectra and show that the Grayson motivic spectral sequence is isomorphic to the motivic spectral sequence produced by the Voevodsky slice tower for the motivic $K$ -theory spectrum $KGL$ . This solves Suslin's problem for these two spectral sequences in the affirmative.

preprint2014arXiv

Algebraic Kasparov K-theory. I

This paper is to construct unstable, Morita stable and stable bivariant algebraic Kasparov $K$ -theory spectra of $k$ -algebras. These are shown to be homotopy invariant, excisive in each variable $K$ -theories. We prove that the spectra represent universal unstable, Morita stable and stable bivariant homology theories respectively.

preprint2014arXiv

The triangulated category of K-motives DK_(k)

For any perfect field k a triangulated category of K-motives DK_(k) is constructed in the style of Voevodsky's construction of the category DM_(k). To each smooth k-variety X the K-motive is associated in the category DK_(k). Also, it is shown that K_n(X)=DK_(k)(M_K(X)[n],M_K(pt)), where K(X) is Quillen's K-theory of X.

preprint2012arXiv

K-motives of algebraic varieties

A kind of motivic algebra of spectral categories and modules over them is developed to introduce K-motives of algebraic varieties. As an application, bivariant algebraic K-theory as well as bivariant motivic kohomology groups are defined and studied. We use Grayson's machinery to produce the Grayson motivic spectral sequence connecting bivariant K-theory to bivariant motivic kohomology. It is shown that the spectral sequence is naturally realized in the triangulated category of K-motives constructed in the paper. It is also shown that ordinary algebraic K-theory is represented by the K-motive of the point.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Grigory Garkusha

Research overview

Is this your work?

9 publications

Framed motivic $Γ$ -spaces

Group schemes and motivic spectra

Cancellation theorem for framed motives of algebraic varieties

Framed motives of relative motivic spheres

Algebraic Kasparov K-theory. II

On the motivic spectral sequence

Algebraic Kasparov K-theory. I

The triangulated category of K-motives DK_(k)

K-motives of algebraic varieties

See the researcher in context

Building this map preview

Grigory Garkusha

Research overview

Is this your work?

9 publications

Framed motivic ΓΓΓ-spaces

Group schemes and motivic spectra

Cancellation theorem for framed motives of algebraic varieties

Framed motives of relative motivic spheres

Algebraic Kasparov K-theory. II

On the motivic spectral sequence

Algebraic Kasparov K-theory. I

The triangulated category of K-motives DK_(k)

K-motives of algebraic varieties

See the researcher in context

Building this map preview

Framed motivic $Γ$ -spaces