Source author record

Inna Zakharevich

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

14works
5topics
4close collaborators

Published work

14 publications

preprint2022arXiv

Compactly supported A1\mathbb{A}^{1}-Euler characteristic and the Hochschild complex

We show the A1\mathbb{A}^{1}-Euler characteristic of a smooth, projective scheme over a characteristic 00 field is represented by its Hochschild complex together with a canonical bilinear form, and give an exposition of the compactly supported A1\mathbb{A}^{1}-Euler characteristic χA1c:K0(Vark)→GW(k)χ^{c}_{\mathbb{A}^{1}}: K_0(\mathbf{Var}_{k}) \to \text{GW}(k) from the Grothendieck group of varieties to the Grothendieck--Witt group of bilinear forms. We also provide example computations.

preprint2020arXiv

KK-theory of endomorphisms, the TR\mathit{TR}-trace, and zeta functions

We show that the characteristic polynomial and the Lefschetz zeta function are manifestations of the trace map from the KK-theory of endomorphisms to topological restriction homology (TR). Along the way we generalize Lindenstrauss and McCarthy's map from KK-theory of endomorphisms to topological restriction homology, defining it for any Waldhausen category with a compatible enrichment in orthogonal spectra. In particular, this extends their construction from rings to ring spectra. We also give a revisionist treatment of the original Dennis trace map from KK-theory to topological Hochschild homology (THH) and explain its connection to traces in bicategories with shadow (also known as trace theories).

preprint2020arXiv

Spectral Waldhausen categories, the S∙S_\bullet-construction, and the Dennis trace

We give an explicit point-set construction of the Dennis trace map from the KK-theory of endomorphisms KEnd(C)K\mathrm{End}(\mathcal{C}) to topological Hochschild homology THH(C)\mathrm{THH}(\mathcal{C}) for any spectral Waldhausen category C\mathcal{C}. We describe the necessary technical foundations, most notably a well-behaved model for the spectral category of diagrams in C\mathcal{C} indexed by an ordinary category via the Moore end. This is applied to define a version of Waldhausen's S∙S_{\bullet}-construction for spectral Waldhausen categories, which is central to this account of the Dennis trace map. Our goals are both convenience and transparency---we provide all details except for a proof of the additivity theorem for THH\mathrm{THH}, which is taken for granted---and the exposition is concerned not with originality of ideas, but rather aims to provide a useful resource for learning about the Dennis trace and its underlying machinery.

preprint2016arXiv

The KK-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 KK-theory spectrum, in which π0π_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 KK-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.

preprint2014arXiv

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 C\mathcal{C} with a subcategory wCw\mathcal{C} closed under retracts, when is there a model structure on C\mathcal{C} with wCw\mathcal{C} as the subcategory of weak equivalences? We begin exploring this question in the case where wC=F−1(iso D)w\mathcal{C} = F^{-1}(\mathrm{iso}\, \mathcal{D}) for some functor F:C→DF:\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.

preprint2014arXiv

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

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

preprint2011arXiv

Simplicial Polytope Complexes and Deloopings of KK-theory

This paper is a continuation of our previous work in which we defined the notion of a polytope complex and its KK-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 nn-manifold (with sufficient geometric data) are determined by its local properties.

Research graph

See the researcher in context

Open full explorer

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.