BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Inna Zakharevich

Inna Zakharevich appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.ATmath.KTmath.CTmath.AGmath.CO

Catalog footprint

What is connected

14works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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.

Published work

14 published item(s)

preprint2022arXiv

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

We show the $\mathbb{A}^{1}$-Euler characteristic of a smooth, projective scheme over a characteristic $0$ field is represented by its Hochschild complex together with a canonical bilinear form, and give an exposition of the compactly supported $\mathbb{A}^{1}$-Euler characteristic $χ^{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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Extending to a model structure is not a first-order property

Let $\mathcal{C}$ be a finitely bicomplete category and $\mathcal{W}$ a subcategory. We prove that the existence of a model structure on $\mathcal{C}$ with $\mathcal{W}$ as subcategory of weak equivalence is not first order expressible. Along the way we characterize all model structures where $\mathcal{C}$ is a partial order and show that these are determined by the homotopy categories.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

$K$-theory of endomorphisms, the $\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 $K$-theory of endomorphisms to topological restriction homology (TR). Along the way we generalize Lindenstrauss and McCarthy's map from $K$-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 $K$-theory to topological Hochschild homology (THH) and explain its connection to traces in bicategories with shadow (also known as trace theories).

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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

We give an explicit point-set construction of the Dennis trace map from the $K$-theory of endomorphisms $K\mathrm{End}(\mathcal{C})$ to topological Hochschild homology $\mathrm{THH}(\mathcal{C})$ for any spectral Waldhausen category $\mathcal{C}$. We describe the necessary technical foundations, most notably a well-behaved model for the spectral category of diagrams in $\mathcal{C}$ indexed by an ordinary category via the Moore end. This is applied to define a version of Waldhausen'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 $\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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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.

0 citations0 reviewsNo code linkedOpen access
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 $\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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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.

0 citations0 reviewsNo code linkedOpen access