Showing 1–35 of 35 results for author: Zakharevich, I

A combinatorial construction of homology via ACGW categories

Authors: Maru Sarazola, Brandon Shapiro, Inna Zakharevich

Abstract: 2-Segal spaces arise not only from $S_\dotp$-constructions associated to Waldhausen and (proto) exact categories, but also from $S_\dotp$-constructions associated to certain double-categorical structures. A major step in this direction is due to the work of Bergner--Osorno--Ozornova--Rovelli--Scheimbauer, who propose augmented stable double Segal objects as a natural input for an $S_\dotp$-constru… ▽ More 2-Segal spaces arise not only from $S_\dotp$-constructions associated to Waldhausen and (proto) exact categories, but also from $S_\dotp$-constructions associated to certain double-categorical structures. A major step in this direction is due to the work of Bergner--Osorno--Ozornova--Rovelli--Scheimbauer, who propose augmented stable double Segal objects as a natural input for an $S_\dotp$-construction. More recently, another such input has been put forth: ACGW categories. ACGW categories have the advantage that they are combinatorial in nature (as opposed to homotopical or algebraic), and thus have fewer difficult coherence issues to work with. The goal of this paper is to introduce the reader to the key ideas and techniques for working with ACGW categories. To do so, we focus on how homology theory generalizes to ACGW categories, particularly in the central example of finite sets. We show how the ACGW formalism can be used to produce various classical homological algebra results such as the Snake lemma and long exact sequences of relative pairs. △ Less

Submitted 30 September, 2024; originally announced October 2024.

MSC Class: 18G50; 19D99; 18N10

Quadratic residue patterns, algebraic curves and a K3 surface

Authors: Valentina Kiritchenko, Michael Tsfasman, Serge Vladuts, Ilya Zakharevich

Abstract: Quadratic residue patterns modulo a prime are studied since 19th century. In the first part we extend existing results on the number of consecutive $\ell$-tuples of quadratic residues, studying corresponding algebraic curves and their jacobians, which happen to be products of jacobians of hyperelliptic curves. In the second part we state the last unpublished result of Lydia Goncharova on squares s… ▽ More Quadratic residue patterns modulo a prime are studied since 19th century. In the first part we extend existing results on the number of consecutive $\ell$-tuples of quadratic residues, studying corresponding algebraic curves and their jacobians, which happen to be products of jacobians of hyperelliptic curves. In the second part we state the last unpublished result of Lydia Goncharova on squares such that their differences are also squares, reformulate it in terms of algebraic geometry of a K3 surface, and prove it. The core of this theorem is an unexpected relation between the number of points on the K3 surface and that on a CM elliptic curve. △ Less

Submitted 10 October, 2024; v1 submitted 24 March, 2024; originally announced March 2024.

Comments: some errors corrected,Finite Fields and Their Applications 101(2025) 102517

MSC Class: 11A15; 11L10; 14H40; 14H52

Journal ref: Finite Fields and Their Applications 101(2025) 102517

A prop structure on partitions

Authors: Coline Emprin, Dana Hunter, Muriel Livernet, Christine Vespa, Inna Zakharevich

Abstract: Motivated by its link with functor homology, we study the prop freely generated by the operadic suspension of the operad Com. We exhibit a particular family of generators, for which the composition and the symmetric group actions admit simple descriptions. We highlight associated subcategories of its Karoubi envelope which allows us to compute extensions groups between simple functors from free gr… ▽ More Motivated by its link with functor homology, we study the prop freely generated by the operadic suspension of the operad Com. We exhibit a particular family of generators, for which the composition and the symmetric group actions admit simple descriptions. We highlight associated subcategories of its Karoubi envelope which allows us to compute extensions groups between simple functors from free groups. We construct a particular prop structure on partitions whose composition corresponds to the Yoneda product of extensions between exterior power functors. △ Less

Submitted 20 February, 2024; originally announced February 2024.

Algebraic $K$-theory for squares categories

Authors: Jonathan Campbell, Josefien Kuijper, Mona Merling, Inna Zakharevich

Abstract: In this paper we introduce a new formalism for $K$-theory, called squares $K$-theory. This formalism allows us to simultaneously generalize the usual three-term relation $[B] = [A] + [C]$ for an exact sequence $A \hookrightarrow B \twoheadrightarrow C$ or for a subtractive sequence $A\hookrightarrow B \leftarrow C$, by defining $K_0$ of exact and subtractive categories to satisfy a four-term relat… ▽ More In this paper we introduce a new formalism for $K$-theory, called squares $K$-theory. This formalism allows us to simultaneously generalize the usual three-term relation $[B] = [A] + [C]$ for an exact sequence $A \hookrightarrow B \twoheadrightarrow C$ or for a subtractive sequence $A\hookrightarrow B \leftarrow C$, by defining $K_0$ of exact and subtractive categories to satisfy a four-term relation $[A]+[D]= [C] + [B]$ for a ``good'' square diagram with these corners. Examples that rely on this formalism are $K$-theory of smooth manifolds of a fixed dimension and $K$-theory of (smooth and) complete varieties. Another application we give of this theory is the construction of a derived motivic measure taking value in the $K$-theory of homotopy sheaves. △ Less

Submitted 4 October, 2023; originally announced October 2023.

Comments: 28 pages

Flat origami is Turing Complete

Authors: Thomas C. Hull, Inna Zakharevich

Abstract: Flat origami refers to the folding of flat, zero-curvature paper such that the finished object lies in a plane. Mathematically, flat origami consists of a continuous, piecewise isometric map $f:P\subseteq\mathbb{R}^2\to\mathbb{R}^2$ along with a layer ordering $λ_f:P\times P\to \{-1,1\}$ that tracks which points of $P$ are above/below others when folded. The set of crease lines that a flat origami… ▽ More Flat origami refers to the folding of flat, zero-curvature paper such that the finished object lies in a plane. Mathematically, flat origami consists of a continuous, piecewise isometric map $f:P\subseteq\mathbb{R}^2\to\mathbb{R}^2$ along with a layer ordering $λ_f:P\times P\to \{-1,1\}$ that tracks which points of $P$ are above/below others when folded. The set of crease lines that a flat origami makes (i.e., the set on which the mapping $f$ is non-differentiable) is called its \textit{crease pattern}. Flat origami mappings and their layer orderings can possess surprisingly intricate structure. For instance, determining whether or not a given straight-line planar graph drawn on $P$ is the crease pattern for some flat origami has been shown to be an NP-complete problem, and this result from 1996 led to numerous explorations in computational aspects of flat origami. In this paper we prove that flat origami, when viewed as a computational device, is Turing complete. We do this by showing that flat origami crease patterns with \textit{optional creases} (creases that might be folded or remain unfolded depending on constraints imposed by other creases or inputs) can be constructed to simulate Rule 110, a one-dimensional cellular automaton that was proven to be Turing complete by Matthew Cook in 2004. △ Less

Submitted 2 March, 2024; v1 submitted 13 September, 2023; originally announced September 2023.

A trace map on higher scissors congruence groups

Authors: Anna Marie Bohmann, Teena Gerhardt, Cary Malkiewich, Mona Merling, Inna Zakharevich

Abstract: Cut-and-paste $K$-theory has recently emerged as an important variant of higher algebraic $K$-theory. However, many of the powerful tools used to study classical higher algebraic $K$-theory do not yet have analogues in the cut-and-paste setting. In particular, there does not yet exist a sensible notion of the Dennis trace for cut-and-paste $K$-theory. In this paper we address the particular case… ▽ More Cut-and-paste $K$-theory has recently emerged as an important variant of higher algebraic $K$-theory. However, many of the powerful tools used to study classical higher algebraic $K$-theory do not yet have analogues in the cut-and-paste setting. In particular, there does not yet exist a sensible notion of the Dennis trace for cut-and-paste $K$-theory. In this paper we address the particular case of the $K$-theory of polyhedra, also called scissors congruence $K$-theory. We introduce an explicit, computable trace map from the higher scissors congruence groups to group homology, and use this trace to prove the existence of some nonzero classes in the higher scissors congruence groups. We also show that the $K$-theory of polyhedra is a homotopy orbit spectrum. This fits into Thomason's general framework of $K$-theory commuting with homotopy colimits, but we give a self-contained proof. We then use this result to re-interpret the trace map as a partial inverse to the map that commutes homotopy orbits with algebraic $K$-theory. △ Less

Submitted 13 September, 2023; v1 submitted 14 March, 2023; originally announced March 2023.

Comments: 32 pages, 3 figures. Revision of the paper previously entitled "A Farrell--Jones isomorphism for $K$-theory of polyhedra."

Quadratic residue patterns and point counting on K3 surfaces

Authors: Valentina Kiritchenko, Mikhail Tsfasman, Serge Vladuts, Ilya Zakharevich

Abstract: Quadratic residue patterns modulo a prime are studied since 19th century. We state the last unpublished result of Lydia Goncharova, reformulate it and prior results in terms of algebraic geometry, and prove it. The core of this theorem is an unexpected relation between the number of points on a K3 surface and that on a CM elliptic curve. Quadratic residue patterns modulo a prime are studied since 19th century. We state the last unpublished result of Lydia Goncharova, reformulate it and prior results in terms of algebraic geometry, and prove it. The core of this theorem is an unexpected relation between the number of points on a K3 surface and that on a CM elliptic curve. △ Less

Submitted 6 March, 2023; originally announced March 2023.

Comments: 9 pages, highly preliminary

MSC Class: 11A15 (Primary); 14A15 (Secondary) 01A55; 01A60 (Secondary)

$E_\infty$-Ring structures on the $K$-theory of assemblers and point counting

Authors: Inna Zakharevich

Abstract: We construct a monoidal structure on the category of assemblers. As an application of this, we construct a derived local zeta-function which takes a variety over a finite field to the set of points over the separable closure, and use the structure of this map to detect interesting elements in $K_1(\mathbf{Var}_k)$. We construct a monoidal structure on the category of assemblers. As an application of this, we construct a derived local zeta-function which takes a variety over a finite field to the set of points over the separable closure, and use the structure of this map to detect interesting elements in $K_1(\mathbf{Var}_k)$. △ Less

Submitted 18 September, 2022; originally announced September 2022.

MSC Class: 13D15; 18F30; 19F27; 19F99

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

Authors: Jonathan A. Campbell, John A. Lind, Cary Malkiewich, Kate Ponto, Inna Zakharevich

Abstract: 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… ▽ More 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. △ Less

Submitted 6 June, 2020; originally announced June 2020.

Comments: This paper is a companion to arxiv:2005.04334

MSC Class: 55N15; 55P42; 18D20; 16E40

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

Authors: Jonathan A. Campbell, John A. Lind, Cary Malkiewich, Kate Ponto, Inna Zakharevich

Abstract: 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 orthogo… ▽ More 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). △ Less

Submitted 8 June, 2020; v1 submitted 8 May, 2020; originally announced May 2020.

Comments: Minor revisions to make references consistent with arXiv:2006.04006. arXiv:2006.04006 is a companion to this paper and provides extended discussion of technical foundations

MSC Class: 55N15; 18D05; 55P42

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

Authors: Niny Arcila-Maya, Candace Bethea, Morgan Opie, Kirsten Wickelgren, Inna Zakharevich

Abstract: 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 Grot… ▽ More 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. △ Less

Submitted 25 April, 2022; v1 submitted 20 March, 2020; originally announced March 2020.

Comments: 24 pages. Accepted for publication in Topology and its Applications

MSC Class: 14F42 (Primary); 19E15; 13D03; 55M05 (Secondary)

Hilbert's third problem and a conjecture of Goncharov

Authors: Jonathan Campbell, Inna Zakharevich

Abstract: In this paper we reduce the generalized Hilbert's third problem about Dehn invariants and scissors congruence classes to the injectivity of certain Chern--Simons invariants. We also establish a version of a conjecture of Goncharov relating scissors congruence groups of polytopes and the algebraic $K$-theory of $\mathbf{C}$. In this paper we reduce the generalized Hilbert's third problem about Dehn invariants and scissors congruence classes to the injectivity of certain Chern--Simons invariants. We also establish a version of a conjecture of Goncharov relating scissors congruence groups of polytopes and the algebraic $K$-theory of $\mathbf{C}$. △ Less

Submitted 28 April, 2022; v1 submitted 15 October, 2019; originally announced October 2019.

Comments: Current version is slightly different from previous: the maps relating K-theory and the Goncharov complex go in the other direction

MSC Class: 52B45; 19E99; 19D55; 55U10; 18G40; 19F27

Devissage and Localization for the Grothendieck Spectrum of Varieties

Authors: Jonathan A. Campbell, Inna Zakharevich

Abstract: We introduce a new perspective on the $K$-theory of exact categories via the notion of a CGW-category. CGW-categories are a generalization of exact categories that admit a Qullen $Q$-construction, but which also include examples such as finite sets and varieties. By analyzing Quillen's proofs of dévissage and localization we define ACGW-categories, an analogous generalization of abelian categories… ▽ More We introduce a new perspective on the $K$-theory of exact categories via the notion of a CGW-category. CGW-categories are a generalization of exact categories that admit a Qullen $Q$-construction, but which also include examples such as finite sets and varieties. By analyzing Quillen's proofs of dévissage and localization we define ACGW-categories, an analogous generalization of abelian categories for which we prove theorems analogous to dévissage and localization. In particular, although the category of varieties is not quite ACGW, the category of reduced schemes of finite type is; applying dévissage and localization allows us to calculate a filtration on the $K$-theory of schemes of finite type. As an application of this theory we construct a comparison map showing that the two authors' definitions of the Grothendieck spectrum of varieties are equivalent. △ Less

Submitted 18 November, 2021; v1 submitted 19 November, 2018; originally announced November 2018.

Comments: 46 pages

MSC Class: 19D06; 19D10; 19D99; 19M05; 18E10; 18E35; 18F25; 14C35;

Splittings and calculational techniques for higher THH

Authors: Irina Bobkova, Eva Höning, Ayelet Lindenstrauss, Kate Poirier, Birgit Richter, Inna Zakharevich

Abstract: Tensoring finite pointed simplicial sets with commutative ring spectra yields important homology theories such as (higher) topological Hochschild homology and torus homology. We prove several structural properties of these constructions relating $X \otimes (-)$ to $ΣX \otimes (-)$ and we establish splitting results. This allows us, among other important examples, to determine… ▽ More Tensoring finite pointed simplicial sets with commutative ring spectra yields important homology theories such as (higher) topological Hochschild homology and torus homology. We prove several structural properties of these constructions relating $X \otimes (-)$ to $ΣX \otimes (-)$ and we establish splitting results. This allows us, among other important examples, to determine $THH^{[n]}_*(\mathbb{Z}/p^m; \mathbb{Z}/p)$ for all $n \geq 1$ and for all $m \geq 2$. △ Less

Submitted 20 November, 2018; v1 submitted 16 August, 2018; originally announced August 2018.

Comments: Cleaned up argument about Loday constructions commuting with products

MSC Class: 18G60; 55P43

Journal ref: Algebr. Geom. Topol. 19 (2019) 3711-3753

Derived $\ell$-adic zeta functions

Authors: Jonathan Campbell, Jesse Wolfson, Inna Zakharevich

Abstract: We lift the classical Hasse--Weil zeta function of varieties over a finite field to a map of spectra with domain the Grothendieck spectrum of varieties constructed by Campbell and Zakharevich. We use this map to prove that the Grothendieck spectrum of varieties contains nontrivial geometric information in its higher homotopy groups by showing that the map $\mathbb{S} \to K(Var_k)$ induced by the i… ▽ More We lift the classical Hasse--Weil zeta function of varieties over a finite field to a map of spectra with domain the Grothendieck spectrum of varieties constructed by Campbell and Zakharevich. We use this map to prove that the Grothendieck spectrum of varieties contains nontrivial geometric information in its higher homotopy groups by showing that the map $\mathbb{S} \to K(Var_k)$ induced by the inclusion of $0$-dimensional varieties is not surjective on $π_1$ for a wide range of fields $k$. The methods used in this paper should generalize to lifting other motivic measures to maps of $K$-theory spectra. △ Less

Submitted 13 August, 2019; v1 submitted 28 March, 2017; originally announced March 2017.

Comments: 40 pages. Final version

MSC Class: 14F43; 11S40

Relative Loday constructions and applications to higher THH-calculations

Authors: Gemma Halliwell, Eva Höning, Ayelet Lindenstrauss, Birgit Richter, Inna Zakharevich

Abstract: 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. 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. △ Less

Submitted 8 September, 2016; originally announced September 2016.

MSC Class: 18G60; 55P43

The homotopy theory of equivariant posets

Authors: J. P. May, Marc Stephan, Inna Zakharevich

Abstract: Let $G$ be a discrete group. We prove that the category of $G$-posets admits a model structure that is Quillen equivalent to the standard model structure on $G$-spaces. As is already true nonequivariantly, the three classes of maps defining the model structure are not well understood calculationally. To illustrate, we exhibit some examples of cofibrant and fibrant posets and an example of a non-co… ▽ More Let $G$ be a discrete group. We prove that the category of $G$-posets admits a model structure that is Quillen equivalent to the standard model structure on $G$-spaces. As is already true nonequivariantly, the three classes of maps defining the model structure are not well understood calculationally. To illustrate, we exhibit some examples of cofibrant and fibrant posets and an example of a non-cofibrant finite poset. △ Less

Submitted 2 March, 2017; v1 submitted 11 January, 2016; originally announced January 2016.

Comments: 22 pages; minor improvements suggested by the referee, final version, to appear in Cahiers de Topologie et Géométrie Différentielle Catégoriques

MSC Class: 55P91; 18G55; 18B35; 05E18

Journal ref: Cah. Topol. Géom. Différ. Catég. 58(2) (2017) 82-114

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

Authors: Charles Weibel, Inna Zakharevich

Abstract: 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. 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. △ Less

Submitted 15 February, 2016; v1 submitted 10 July, 2015; originally announced July 2015.

Comments: 14 pages

The annihilator of the Lefschetz motive

Authors: Inna Zakharevich

Abstract: 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 alw… ▽ More 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])$. △ Less

Submitted 11 December, 2015; v1 submitted 19 June, 2015; originally announced June 2015.

Comments: 20 pages

MSC Class: 14E07; 55T99; 55P15; 19D99; 18F25;

Journal ref: Duke Math. J. 166, no. 11 (2017), 1989-2022

On $K_1$ of an assembler

Authors: Inna Zakharevich

Abstract: 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. 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. △ Less

Submitted 16 September, 2016; v1 submitted 19 June, 2015; originally announced June 2015.

Comments: 25 pages

MSC Class: 19D99; 18F30; 14C35; 14E07

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

Authors: Jean-Marie Droz, Inna Zakharevich

Abstract: 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. 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. △ Less

Submitted 23 February, 2021; v1 submitted 22 October, 2014; originally announced October 2014.

Comments: 26 pages

MSC Class: 55U35; 3B15; 18B35

The category of Waldhausen categories as a closed multicategory

Authors: Inna Zakharevich

Abstract: This paper works out in detail the closed multicategory structure of the category of Waldhausen categories. This paper works out in detail the closed multicategory structure of the category of Waldhausen categories. △ Less

Submitted 17 October, 2014; originally announced October 2014.

Comments: 21 pages

The $K$-theory of assemblers

Authors: Inna Zakharevich

Abstract: 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… ▽ More 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. △ Less

Submitted 19 September, 2016; v1 submitted 15 January, 2014; originally announced January 2014.

Comments: 29 pages

MSC Class: 19D99; 18F30; 14C35; 14E07

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

Authors: Irina Bobkova, Ayelet Lindenstrauss, Kate Poirier, Birgit Richter, Inna Zakharevich

Abstract: 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 c… ▽ More 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. △ Less

Submitted 10 July, 2014; v1 submitted 22 December, 2013; originally announced December 2013.

Comments: Submitted

MSC Class: 18G60; 55P43

Model categories with simple homotopy categories

Authors: Jean-Marie Droz, Inna Zakharevich

Abstract: 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… ▽ More 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. △ Less

Submitted 25 September, 2014; v1 submitted 15 December, 2013; originally announced December 2013.

Comments: 25 pages, 1 figure

Simplicial Polytope Complexes and Deloopings of $K$-theory

Authors: Inna Zakharevich

Abstract: 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$-manifol… ▽ More 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. △ Less

Submitted 21 February, 2011; originally announced February 2011.

Scissors Congruence as K-theory

Authors: Inna Zakharevich

Abstract: 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. 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. △ Less

Submitted 20 January, 2011; originally announced January 2011.

Curves of infinite genus I Riemann--Roch theorem for small degree

Authors: Ilya Zakharevich

Abstract: The most useful and interesting line bundles over algebraic curves of a very high genus have the ratio δof the degree to the genus close to half-integer values, usually δ\approx 0, δ\approx 1/2, or δ\approx 1; the numeric properties are very different in these three cases. This leads to three different theories for curves of infinite genus. For analytic curves of infinite genus, to get a theor… ▽ More The most useful and interesting line bundles over algebraic curves of a very high genus have the ratio δof the degree to the genus close to half-integer values, usually δ\approx 0, δ\approx 1/2, or δ\approx 1; the numeric properties are very different in these three cases. This leads to three different theories for curves of infinite genus. For analytic curves of infinite genus, to get a theory parallel to algebraic geometry one needs to restrict attention to holomorphic sections satisfying some ``conditions on growth at infinity''. Each such condition effectively attaches an ``ideal point'' to the curve; this process is similar to compactification. The theory of holomorphic functions on curves with such ``ideal points'' is developed (the variant presented in the first part of the series is tuned to the case δ\approx 0). Conditions on the ``lengths of handles'' of the curve are found which ensure the geometry to be parallel to algebraic geometry. It turns out that these conditions give no restriction on the density of ideal points on the curve. In particular, such curves may have a dense set of ideal points; these curves have no smooth points at all, and have a purely fractal nature. (Such ``foam'' curves live near the ``periphery'' of the corresponding g = \infty moduli space; one needs to study these curves too, since they may be included in the support of natural measures arising on the moduli spaces.) △ Less

Submitted 7 February, 2002; originally announced February 2002.

Comments: 54pp, AmS-LaTeX

Nonlinear wave equation, nonlinear Riemann problem, and the twistor transform of Veronese webs

Authors: Ilya Zakharevich

Abstract: Veronese webs are rich geometric structures with deep relationships to various domains of mathematics. The PDEs which determine the Veronese web are overdetermined if dim >3, but in the case dim =3 they reduce to a special flavor of a non-linear wave equation. The symmetries embedded in the definition of a Veronese web reveal themselves as Bäcklund--Darboux transformations between these non-line… ▽ More Veronese webs are rich geometric structures with deep relationships to various domains of mathematics. The PDEs which determine the Veronese web are overdetermined if dim >3, but in the case dim =3 they reduce to a special flavor of a non-linear wave equation. The symmetries embedded in the definition of a Veronese web reveal themselves as Bäcklund--Darboux transformations between these non-linear wave equations. On the other hand, the twistor transform identifies Veronese webs with moduli spaces of rational curves on certain complex surfaces. These moduli spaces can be described in terms of the non-linear Riemann problem. This reduces solutions of these non-linear wave equations to the non-linear Riemann problem. We examine these relationships in the particular case of 3-dimensional Veronese webs, simultaneously investigating how these notions relate to general notions of geometry of webs. △ Less

Submitted 4 June, 2000; originally announced June 2000.

Comments: 43 pages, preliminary version

Kronecker webs, bihamiltonian structures, and the method of argument translation

Authors: Ilya Zakharevich

Abstract: We show that manifolds which parameterize values of first integrals of integrable finite-dimensional bihamiltonian systems carry a geometric structure which we call a {\em Kronecker web}. We describe two functors between Kronecker webs and integrable bihamiltonian structures, one is left inverse to another one. Conjecturally, these two functors are mutually inverse (for ``small'' open subsets).… ▽ More We show that manifolds which parameterize values of first integrals of integrable finite-dimensional bihamiltonian systems carry a geometric structure which we call a {\em Kronecker web}. We describe two functors between Kronecker webs and integrable bihamiltonian structures, one is left inverse to another one. Conjecturally, these two functors are mutually inverse (for ``small'' open subsets). The above conjecture is proven provided the bihamiltonian structure allows an antiinvolution of a particular form. This implies the conjecture of \cite{GelZakh99Web} that on a dense open subset the bihamiltonian structure on ${\mathfrak g}^{*}$ is flat if ${\mathfrak g}$ is semisimple, or if ${\mathfrak g}={\mathfrak G}\ltimes \operatorname{ad}_{\mathfrak G}$ and ${\mathfrak G}$ is semisimple, and for some other Lie algebras of mappings. △ Less

Submitted 27 March, 2000; v1 submitted 9 August, 1999; originally announced August 1999.

Comments: 54 pages, In addition to cosmetic changes, revision II of this paper contains a major simplification of arguments in Section 7, adds Remarks 2.5 and 2.6. Section 14 is expanded beyond Corollary 14.24 by adding the discussion of the case of groups of mappings. Revision III reworked the introduction. The numeration of statements did not change

Webs, Lenard schemes, and the local geometry of bihamiltonian Toda and Lax structures

Authors: Israel M. Gelfand, Ilya Zakharevich

Abstract: We introduce a criterion that a given bihamiltonian structure allows a local coordinate system where both brackets have constant coefficients. This criterion is applied to the bihamiltonian open Toda lattice in a generic point, which is shown to be locally isomorphic to a Kronecker odd-dimensional pair of brackets with constant coefficients. This shows that the open Toda lattice cannot be locall… ▽ More We introduce a criterion that a given bihamiltonian structure allows a local coordinate system where both brackets have constant coefficients. This criterion is applied to the bihamiltonian open Toda lattice in a generic point, which is shown to be locally isomorphic to a Kronecker odd-dimensional pair of brackets with constant coefficients. This shows that the open Toda lattice cannot be locally represented as a product of two bihamiltonian structures. In a generic point the bihamiltonian periodic Toda lattice is shown to be isomorphic to a product of two open Toda lattices (one of which is a (trivial) structure of dimension 1). While the above results might be obtained by more traditional methods, we use an approach based on general results on geometry of webs. This demonstrates a possibility to apply a geometric language to problems on bihamiltonian integrable systems, such a possibility may be no less important than the particular results proven in this paper. Based on these geometric approaches, we conjecture that decompositions similar to the decomposition of the periodic Toda lattice exist in local geometry of the Volterra system, the complete Toda lattice, the multidimensional Euler top, and a regular bihamiltonian Lie coalgebra. We also state general conjectures about geometry of more general ``homogeneous'' finite-dimensional bihamiltonian structures. The class of homogeneous structures is shown to coincide with the class of system integrable by Lenard scheme. The bihamiltonian structures which allow a non-degenerate Lax structure are shown to be locally isomorphic to the open Toda lattice. △ Less

Submitted 27 March, 2000; v1 submitted 13 March, 1999; originally announced March 1999.

Comments: 51 pages. The second revision of this paper introduced references to new papers \cite{Tur99Equi} and \cite{Zakh99Kro}, expanded bibliography on ``classical'' bi-Hamiltonian systems, and minor stylistic corrections. The revision III (March 2000) added Remark 10.18. Numbering of statements did not change. To be published in Selecta Math

Geometic vertex operators

Authors: Ilya Zakharevich

Abstract: Vertex operators, being families of birational transformations of infinite-dimensional algebraic ``varieties'' M, act on appropriate line bundles on M. However, they act on (meromorphic) sections only as_partial operators_: they are defined on a subspace (in an appropriate_lattice of subspaces_ of Mer(M)), and send "smooth families" of vectors in such a subspace to smooth families. Axiomatizing… ▽ More Vertex operators, being families of birational transformations of infinite-dimensional algebraic ``varieties'' M, act on appropriate line bundles on M. However, they act on (meromorphic) sections only as_partial operators_: they are defined on a subspace (in an appropriate_lattice of subspaces_ of Mer(M)), and send "smooth families" of vectors in such a subspace to smooth families. Axiomatizing this, we define_conformal fields_ as arbitrary families of partial operators in Mer(M) which satisfy both these properties. The ``variety'' M related to standard vertex operators is formed by rational functions of one variable z in Z=P^1, changing the variety Z one obtains different examples of M, and multidimensional analogues of vertex operators. One can cover Mer(M) by ``big smooth subsets''; these subsets are parameterized by appropriate projective bundles over Hilbert schemes of points on Z. We deduce conformal associativity relation for conformal fields, and conformal commutation relations for Laurent coefficients of commuting conformal fields from geometric properties of the Hilbert schemes. We start with providing examples of OPE in smooth families, i.e., smooth families a(s) and b(t) (of partial linear operators) such that a(s)b(t) has a pole when s=t. We also provide geometric description of boson-fermion correspondence, and relations of this correspondence to geometry of the set of meromorphic functions. △ Less

Submitted 26 September, 2002; v1 submitted 21 May, 1998; originally announced May 1998.

Comments: 79 pages. Revision II: the introduction is completely reworked from scratch. Now we accent the attention on two issues addressed in this paper: 1. We describe a flavor of algebraic geometry of loop groups and loop spaces in which vertex operators describe the action of groups on line bundles over homogeneous spaces. 2. We describe a (non-topological!) flavor of infinite-dimensional linear algebra "with smoothness structure" in which "smooth" families of partial linear operators automatically satisfy OPE

Quasi-algebraic geometry of curves I. Riemann-Roch theorem and Jacobian

Authors: Ilya Zakharevich

Abstract: We discuss an analogue of Riemann-Roch theorem for curves with an infinite number of handles. We represent such a curve X by its Shottki model, which is an open subset U of CP^{1} with infinite union of circles as a boundary. An appropriate bundle on X is ω^{1/2} \otimes L, L being a bundle with (say) constants as gluing conditions on the circles. An admissible section of an appropriate bundle o… ▽ More We discuss an analogue of Riemann-Roch theorem for curves with an infinite number of handles. We represent such a curve X by its Shottki model, which is an open subset U of CP^{1} with infinite union of circles as a boundary. An appropriate bundle on X is ω^{1/2} \otimes L, L being a bundle with (say) constants as gluing conditions on the circles. An admissible section of an appropriate bundle on X is a holomorphic half-form on U with given gluing conditions and H^{1/2}-smoothness condition. We study the restrictions on the mutual position of the circles and the gluing constants which guarantee the finite dimension of the space of appropriate sections of admissible bundles, and make the Riemann-Roch theorem hold. The resulting Jacobian variety is described as an infinite-dimension analogue of a torus. △ Less

Submitted 10 October, 1997; originally announced October 1997.

Comments: 99 pages, AmsLaTeX

Poisson-Lie group of pseudodifferential symbols

Authors: Boris Khesin, Ilya Zakharevich

Abstract: We introduce a Lie bialgebra structure on the central extension of the Lie algebra of differential operators on the line and the circle (with scalar or matrix coefficients). This defines a Poisson--Lie structure on the dual group of pseudodifferential symbols of an arbitrary real (or complex) order. We show that the usual (second) Benney, KdV (or GL_n--Adler--Gelfand--Dickey) and KP Poisson stru… ▽ More We introduce a Lie bialgebra structure on the central extension of the Lie algebra of differential operators on the line and the circle (with scalar or matrix coefficients). This defines a Poisson--Lie structure on the dual group of pseudodifferential symbols of an arbitrary real (or complex) order. We show that the usual (second) Benney, KdV (or GL_n--Adler--Gelfand--Dickey) and KP Poisson structures are naturally realized as restrictions of this Poisson structure to submanifolds of this ``universal'' Poisson--Lie group. Moreover, the reduced (=SL_n) versions of these manifolds (W_n-algebras in physical terminology) can be viewed as subspaces of the quotient (or Poisson reduction) of this Poisson--Lie group by the dressing action of the group of functions. Finally, we define an infinite set of functions in involution on the Poisson--Lie group that give the standard families of Hamiltonians when restricted to the submanifolds mentioned above. The Poisson structure and Hamiltonians on the whole group interpolate between the Poisson structures and Hamiltonians of Benney, KP and KdV flows. We also discuss the geometrical meaning of W_\infty as a limit of Poisson algebras W_εas εgoes to 0. △ Less

Submitted 10 December, 1993; originally announced December 1993.

Comments: 64 pages, no figures

Report number: IHES/M/93/53

Journal ref: Commun.Math.Phys. 171 (1995) 475-530

Poisson-Lie group of pseudodifferential symbols and fractional KP-KdV hierarchies

Authors: Boris Khesin, Ilya Zakharevich

Abstract: The Lie algebra of pseudodifferential symbols on the circle has a nontrivial central extension (by the ``logarithmic'' 2-cocycle) generalizing the Virasoro algebra. The corresponding extended subalgebra of integral operators generates the Lie group of classical symbols of all real (or complex) degrees. It turns out that this group has a natural Poisson-Lie structure whose restriction to differen… ▽ More The Lie algebra of pseudodifferential symbols on the circle has a nontrivial central extension (by the ``logarithmic'' 2-cocycle) generalizing the Virasoro algebra. The corresponding extended subalgebra of integral operators generates the Lie group of classical symbols of all real (or complex) degrees. It turns out that this group has a natural Poisson-Lie structure whose restriction to differential operators of an arbitrary integer order coincides with the second Adler-Gelfand-Dickey structure. Moreover, for any real (or complex) αthere exists a hierarchy of completely integrable equations on the degree αpseudodifferential symbols, and this hierarchy for α=1 coincides with the KP one, and for an integer α=n>1$ and purely differential symbol gives the n-KdV-hierarchy. △ Less

Submitted 20 November, 1993; originally announced November 1993.

Comments: 7 pages, no figures

Journal ref: C.R. Acad. Sci., v. 316 (1993) Serie I, 621-626