Searcharxiv⌕ Search

arXiv subjects

Inna Zakharevich

Publications and source records attributed to Inna Zakharevich.

28 records · Page 2Linked to original sources
arXiv2016

The $K$-theory of assemblers

In this paper we introduce the notion of an assembler, which formally encodes "cutting and pasting" data. An assembler has an associated $K$-theory spectrum, in which $π_0$ is the free abelian group of objects of the assembler modulo the cutting and pasting relations, and in which the higher homotopy groups encode further geometric invariants. The goal of this paper is to prove structural theorems about this $K$-theory spectrum, including analogs of Quillen's localization and dévissage theorems. We demonstrate the uses of these theorems by analysing the assembler associated to the Grothendieck ring of varieties and the assembler associated to scissors congruence groups of polytopes.

math.KT↗
arXiv2016

On $K_1$ of an assembler

This paper contains a construction of generators and partial relations for $K_1$ of a simplicial Waldhausen category where cofiber sequences split up to weak equivalence. The main application of these generators and relations is to produce generators for $K_1$ of a (simplicial) assembler.

math.KT↗
arXiv2016

Relative Loday constructions and applications to higher THH-calculations

We define a relative version of the Loday construction for a sequence of commutative S-algebras $A \rightarrow B \rightarrow C$ and a pointed simplicial subset $Y \subset X$. We use this to construct several spectral sequences for the calculation of higher topological Hochschild homology and apply those for calculations in some examples that could not be treated before.

math.AT↗
arXiv2016

Principal ideals in mod-$\ell$ Milnor $K$-theory

Fix a symbol $\underline{a}$ in the mod-$\ell$ Milnor $K$-theory of a field $k$, and a norm variety $X$ for $\underline{a}$. We show that the ideal generated by $\underline{a}$ is the kernel of the $K$-theory map induced by $k\subset k(X)$ and give generators for the annihilator of the ideal. When $\ell=2$, this was done by Orlov, Vishik and Voevodsky.

math.KT↗
arXiv2015

The annihilator of the Lefschetz motive

In this paper we study a spectrum $K(\mathcal{V}_k)$ such that $π_0 K(\mathcal{V}_k)$ is the Grothendieck ring of varieties and such that the higher homotopy groups contain more geometric information about the geometry of varieties. We use the topology of this spectrum to analyze the structure of $K_0[\mathcal{V}_k]$ and show that classes in the kernel of multiplication by $[\mathbb{A}^1]$ can always be represented as $[X]-[Y]$ where $X$ and $Y$ are varieties such that $[X] \neq [Y]$, $X\times \mathbb{A}^1$ and $Y\times \mathbb{A}^1$ are not piecewise isomorphic, but $[X\times \mathbb{A}^1] =[Y\times \mathbb{A}^1]$ in $K_0[\mathcal{V}_k]$. Along the way we present new proofs of the result of Larsen--Lunts on the structure on $K_0[\mathcal{V}_k]/([\mathbb{A}^1])$.

math.KT↗
arXiv2014

Model categories with simple homotopy categories

In the present article, we describe constructions of model structures on general bicomplete categories. We are motivated by the following question: given a category $\mathcal{C}$ with a subcategory $w\mathcal{C}$ closed under retracts, when is there a model structure on $\mathcal{C}$ with $w\mathcal{C}$ as the subcategory of weak equivalences? We begin exploring this question in the case where $w\mathcal{C} = F^{-1}(\mathrm{iso}\, \mathcal{D})$ for some functor $F:\mathcal{C}\rightarrow \mathcal{D}$. We also prove properness of our constructions under minor assumptions and examine an application to the category of infinite graphs.

math.AT↗
arXiv2014

On the higher topological Hochschild homology of $\mathbb{F}_p$ and commutative $\mathbb{F}_p$-group algebras

We extend Torleif Veen's calculation of higher topological Hochschild homology ${\sf THH}^{[n]}_*(\mathbb{F}_p)$ from $n\leq 2p$ to $n\leq 2p+2$ for $p$ odd, and from $n=2$ to $n\leq 3$ for $p=2$. We calculate higher Hochschild homology ${\sf HH}_*^{[n]}(k[x])$ over $k$ for any integral domain $k$, and ${\sf HH}_*^{[n]}(\mathbb{F}_p[x]/x^{p^\ell})$ for all $n>0$. We use this and étale descent to calculate ${\sf HH}_*^{[n]}(\mathbb{F}_p[G])$ for all $n>0$ for any cyclic group $G$, and therefore also for any finitely generated abelian group $G$. We show a splitting result for higher ${\sf THH}$ of commutative $\mathbb{F}_p$-group algebras and use this technique to calculate higher topological Hochschild homology of such group algebras for as large an $n$ as ${\sf THH}^{[n]}_*(\mathbb{F}_p) $ is known for.

math.AT↗
arXiv2011

Simplicial Polytope Complexes and Deloopings of $K$-theory

This paper is a continuation of our previous work in which we defined the notion of a polytope complex and its $K$-theory. In this paper we produce formulas for the delooping of a simplicial polytope complex and the cofiber of a morphism of simplicial polytope complexes. Along the way we also prove that the (classical and higher) scissors congruence groups of polytopes in a homogeneous $n$-manifold (with sufficient geometric data) are determined by its local properties.

math.AT↗
arXiv2011

Scissors Congruence as K-theory

Scissors congruence groups have traditionally been expressed algebraically in terms of group homology. We give an alternate construction of these groups by producing them as the $0$-level in the algebraic $K$-theory of a Waldhausen category.

math.AT↗