For an étale groupoid, we define a pairing between the Crainic-Moerdijk groupoid homology and the simplex of invariant Borel probability measures on the base space. The main novelty here is that the groupoid need not have totally disconnected base space, and thus the pairing can give more refined information than the measures of clopen subsets of the base space. Our principal motivation is $C^*$-algebra theory. The Elliott invariant of a $C^*$-algebra is defined in terms of $K$-theory and traces; it is fundamental in the long-running program to classify simple $C^*$-algebras (satisfying additional necessary conditions). We use our pairing to define a groupoid Elliott invariant, and show that for many interesting groupoids it agrees with the $C^*$-algebraic Elliott invariant of the groupoid $C^*$-algebra: this includes irrational rotation algebras and the $C^*$-algebras arising from orbit breaking constructions studied by the first listed author, Putnam, and Strung. These results can be thought of as establishing a refinement of Matui's HK conjecture for the relevant groupoids.

In this article, we establish the compatibility between norms and transfers in motivic homotopy theory. More precisely, we construct norm functors for motivic spaces equipped with various flavours of transfer. This yields a norm monoidal refinement of the infinite $\mathbb{P}^1$-delooping machine of Elmanto-Hoyois-Khan-Sosnilo-Yakerson. We apply this refinement to construct a normed algebra structure on the very effective Hermitian $\mathrm{K}$-theory spectrum.

For a localization of a smooth proper category along a subcategory preserved by the Serre functor, we show that morphisms in Efimov's algebraizable categorical formal punctured neighborhood of infinity can be computed using the natural cone between right and left adjoints of the localization functor. In particular, this recovers the following result of Ganatra--Gao--Venkatesh: morphisms in categorical formal punctured neighborhoods of wrapped Fukaya categories are computed by Rabinowitz wrapping.

We propose a method for learning topology-preserving data representations (dimensionality reduction). The method aims to provide topological similarity between the data manifold and its latent representation via enforcing the similarity in topological features (clusters, loops, 2D voids, etc.) and their localization. The core of the method is the minimization of the Representation Topology Divergence (RTD) between original high-dimensional data and low-dimensional representation in latent space. RTD minimization provides closeness in topological features with strong theoretical guarantees. We develop a scheme for RTD differentiation and apply it as a loss term for the autoencoder. The proposed method "RTD-AE" better preserves the global structure and topology of the data manifold than state-of-the-art competitors as measured by linear correlation, triplet distance ranking accuracy, and Wasserstein distance between persistence barcodes.

We use Goncharov's coproduct of multiple polylogarithms to define a Lie coalgebra over an arbitrary field. It is generated by symbols subject to inductively defined relations, which we think of as functional relations for multiple polylogarithms. In particular, we have inversion relations and shuffle relations. We relate our definition to Goncharov's Bloch groups, and to the concrete model in weight less than 5 by Goncharov and Rudenko.

For a quasi-projective smooth scheme X of pure dimension d over a field k and an effective Cartier divisor D on X whose support is a simple normal crossing divisor, we construct a cycle class map from the Chow group of zero-cycles with modulus to the top cohomology of the dth relative Milnor K-sheaf.

Bimonoidal categories are categorical analogues of rings without additive inverses. They have been actively studied in category theory, homotopy theory, and algebraic $K$-theory since around 1970. There is an abundance of new applications and questions of bimonoidal categories in mathematics and other sciences. This work provides a unified treatment of bimonoidal and higher ring-like categories, their connection with algebraic $K$-theory and homotopy theory, and applications to quantum groups and topological quantum computation. With ample background material, extensive coverage, detailed presentation of both well-known and new theorems, and a list of open questions, this work is a user friendly resource for beginners and experts alike.

We study the étale sheafification of algebraic K-theory, called étale K-theory. Our main results show that étale K-theory is very close to a noncommutative invariant called Selmer K-theory, which is defined at the level of categories. Consequently, we show that étale K-theory has surprisingly well-behaved properties, integrally and without finiteness assumptions. A key theoretical ingredient is the distinction, which we investigate in detail, between sheaves and hypersheaves of spectra on étale sites.

We give an example of a locally compact effective Hausdorff, minimal ample groupoid such that its rational homology differs from the $K$-theory of its reduced groupoid $C^*$-algebra. Moreover, we prove that such example satisfies Matui's AH-conjecture.

Given a finite category T, we consider the functor category [T,A], where A can in particular be any quasi-abelian category. Examples of quasi-abelian categories are given by any abelian category but also by non-exact additive categories as the categories of torsion(-free) abelian groups, topological abelian groups, locally compact abelian groups, Banach spaces and Fréchet spaces. In this situation, the categories of various internal categorical structures in A, such as the categories of internal n-fold groupoids, are equivalent to functor categories [T,A] for a suitable category T. For a replete full subcategory S of T, we define F to be the full subcategory of [T,A] whose objects are given by the functors G with G(X)=0 for all objects X not in S. We prove that F is a torsion-free Birkhoff subcategory of [T,A]. This allows us to study (higher) central extensions from categorical Galois theory in [T,A] with respect to F and generalized Hopf formulae for homology.

We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes the rings $\mathbf{Z}/p^n$ where $p$ is a prime. The algebraic description allows us to describe a practical algorithm to compute individual K-groups as well as to obtain several theoretical results: the vanishing of the even K-groups in high degrees, the determination of the orders of the odd K-groups in high degrees, and the degree of nilpotence of $v_1$ acting on the mod $p$ syntomic cohomology of $\mathbf{Z}/p^n$.

We prove the topological analogue of the period-index conjecture in each dimension away from a small set of primes.

Quantitative (or controlled) $K$-theory for $C^*$-algebras was used by Guoliang Yu in his work on the Novikov conjecture, and later developed more formally by Yu together with Herv\'e Oyono-Oyono. In this paper, we extend their work by developing a framework of quantitative $K$-theory for the class of algebras of bounded linear operators on subquotients (i.e., subspaces of quotients) of $L_p$ spaces. We also prove the existence of a controlled Mayer-Vietoris sequence in this framework.

We apply quantitative (or controlled) $K$-theory to prove that a certain $L^p$ assembly map is an isomorphism for $p\in[1,\infty)$ when an action of a countable discrete group $\Gamma$ on a compact Hausdorff space $X$ has finite dynamical complexity. When $p=2$, this is a model for the Baum-Connes assembly map for $\Gamma$ with coefficients in $C(X)$, and was shown to be an isomorphism by Guentner, Willett, and Yu.

We prove some $K$-theoretic descent results for finite group actions on stable $\infty$-categories, including the $p$-group case of the Galois descent conjecture of Ausoni-Rognes. We also prove vanishing results in accordance with Ausoni-Rognes's redshift philosophy: in particular, we show that if $R$ is an $\mathbb{E}_\infty$-ring spectrum with $L_{T(n)}R=0$, then $L_{T(n+1)}K(R)=0$. Our key observation is that descent and vanishing are logically interrelated, permitting to establish them simultaneously by induction on the height.

At each prime $p$ and height $n+1 \ge 2$, we prove that the telescopic and chromatic localizations of spectra differ. Specifically, for $\mathbb{Z}$ acting by Adams operations on $\mathrm{BP}\langle n \rangle$, we prove that the $T(n+1)$-localized algebraic $K$-theory of $\mathrm{BP}\langle n \rangle^{h\mathbb{Z}}$is not$K(n+1)$-local. We also show that Galois hyperdescent, $\mathbb{A}^1$-invariance, and nil-invariance fail for the $K(n+1)$-localized algebraic $K$-theory of $K(n)$-local $\mathbb{E}_{\infty}$-rings. In the case $n=1$ and $p \ge 7$ we make complete computations of $T(2)_*\mathrm{K}(R)$, for $R$ certain finite Galois extensions of the $K(1)$-local sphere. We show for $p\geq 5$ that the algebraic $K$-theory of the $K(1)$-local sphere is asymptotically $L_2^{f}$-local.

We study a variant of algebraic K-theory and prove that it is stable and preserves module structures.

We define higher semiadditive algebraic K-theory, a variant of algebraic K-theory that takes into account higher semiadditive structure, as enjoyed for example by the $K(n)$- and $T(n)$-local categories. We prove that it satisfies a form of the redshift conjecture. Namely, that if $R$ is a ring spectrum of height $\leq n$, then its semiadditive K-theory is of height $\leq n+1$. Under further hypothesis on $R$, which are satisfied for example by the Lubin-Tate spectrum $E_n$, we show that its semiadditive algebraic K-theory is of height exactly $n+1$. Finally, we connect semiadditive K-theory to $T(n+1)$-localized K-theory, showing that they coincide for any $p$-invertible ring spectrum and for the completed Johnson-Wilson spectrum $\widehat{E(n)}$.

In this article we prove that there exists an explicit bijection between nice $d$-pre-Calabi-Yau algebras and $d$-double Poisson differential graded algebras, where $d \in \mathbb{Z}$, extending a result proved by N. Iyudu and M. Kontsevich. We also show that this correspondence is functorial in a quite satisfactory way, giving rise to a (partial) functor from the category of $d$-double Poisson dg algebras to the partial category of $d$-pre-Calabi-Yau algebras. Finally, we further generalize it to include double $P_{\infty}$-algebras, as introduced by T. Schedler.