arXiv subjects
Publications and source records attributed to Andrew J. Blumberg.
Topological periodic cyclic homology (i.e., $\mathbb{T}$-Tate fixed points of $THH$) has the structure of a strong symmetric monoidal functor of smooth and proper dg categories over a perfect field of finite characteristic.
As a step towards establishing homotopy-theoretic foundations for topological data analysis (TDA), we introduce and study homotopy interleavings between filtered topological spaces. These are homotopy-invariant analogues of interleavings, objects commonly used in TDA to articulate stability and inference theorems. Intuitively, whereas a strict interleaving between filtered spaces $X$ and $Y$ certifies that $X$ and $Y$ are approximately isomorphic, a homotopy interleaving between $X$ and $Y$ certifies that $X$ and $Y$ are approximately weakly equivalent. The main results of this paper are that homotopy interleavings induce an extended pseudometric $d_{HI}$ on filtered spaces, and that this is the universal pseudometric satisfying natural stability and homotopy invariance axioms. To motivate these axioms, we also observe that $d_{HI}$ (or more generally, any pseudometric satisfying these two axioms and an additional "homology bounding" axiom) can be used to formulate lifts of several fundamental TDA theorems from the algebraic (homological) level to the level of filtered spaces. Finally, we consider the problem of establishing a persistent Whitehead theorem in terms of homotopy interleavings. We provide a counterexample to a naive formulation of the result.
The Čech and Rips constructions of persistent homology are stable with respect to perturbations of the input data. However, neither is robust to outliers, and both can be insensitive to topological structure of high-density regions of the data. A natural solution is to consider 2-parameter persistence. This paper studies the stability of 2-parameter persistent homology: We show that several related density-sensitive constructions of bifiltrations from data satisfy stability properties accommodating the addition and removal of outliers. Specifically, we consider the multicover bifiltration, Sheehy's subdivision bifiltrations, and the degree bifiltrations. For the multicover and subdivision bifiltrations, we get 1-Lipschitz stability results closely analogous to the standard stability results for 1-parameter persistent homology. Our results for the degree bifiltrations are weaker, but they are tight, in a sense. As an application of our theory, we prove a law of large numbers for subdivision bifiltrations of random data.
The map $TC(\mathbb{S})^{\wedge}_{p}\to \text{holim } TC(L_{n}\mathbb{S})^{\wedge}_{p}$ is a weak equivalence.
For an equivariant commutative ring spectrum $R$, $π_0 R$ has algebraic structure reflecting the presence of both additive transfers and multiplicative norms. The additive structure gives rise to a Mackey functor and the multiplicative structure yields the additional structure of a Tambara functor. If $R$ is an $N_\infty$ ring spectrum in the category of genuine $G$-spectra, then all possible additive transfers are present and $π_0 R$ has the structure of an incomplete Tambara functor. However, if $R$ is an $N_\infty$ ring spectrum in a category of incomplete $G$-spectra, the situation is more subtle. In this paper, we study the algebraic theory of Tambara structures on incomplete Mackey functors, which we call bi-incomplete Tambara functors. Just as incomplete Tambara functors have compatibility conditions that control which systems of norms are possible, bi-incomplete Tambara functors have algebraic constraints arising from the possible interactions of transfers and norms. We give a complete description of the possible interactions between the additive and multiplicative structures.
We prove that the rank of the cohomology of a closed symplectic manifold with coefficients in a field of characteristic $p$ is smaller than the number of periodic orbits of any non-degenerate Hamiltonian flow. Following Floer, the proof relies on constructing a homology group associated to each such flow, and comparing it with the homology of the ambient symplectic manifold. The proof does not proceed by constructing a version of Floer's complex with characteristic $p$ coefficients, but uses instead the canonical (stable) complex orientations of moduli spaces of Floer trajectories to construct a version of Floer homology with coefficients in Morava's $K$-theories, and can thus be seen as an implementation of Cohen, Jones, and Segal's vision for a Floer homotopy theory. The key feature of Morava K-theory that allows the construction to be carried out is the fact that the corresponding homology and cohomology groups of classifying spaces of finite groups satisfy Poincaré duality.
We describe spectral model category structures on the categories of cyclotomic spectra and $p$-cyclotomic spectra (in orthogonal spectra) with triangulated homotopy categories. We show that the functors $TR$ and $TC$ are corepresentable in these categories. Specifically, the derived mapping spectrum out of the sphere spectrum in the category of cyclotomic spectra corepresents the finite completion of $TC$ and the derived mapping spectrum out of the sphere spectrum in the category of $p$-cyclotomic spectra corepresents the $p$-completion of $TC(-;p)$.
We calculate $π_*K(\mathbb S)[1/2]$, the homotopy groups of $K(\mathbb S)$ away from 2, in terms of the homotopy groups of $K(\mathbb Z)$, the homotopy groups of ${\mathbb C}P^\infty_{-1}$, and the homotopy groups of $\mathbb S$. This builds on the work of Waldhausen, who computed the rational homotopy groups (building on work of Quillen and Borel) and Rognes, who calculated the groups at regular primes in terms of the homotopy groups of ${\mathbb C}P^\infty_{-1}$, and the homotopy groups of $\mathbb S$.
Comparing and aligning large datasets is a pervasive problem occurring across many different knowledge domains. We introduce and study MREC, a recursive decomposition algorithm for computing matchings between data sets. The basic idea is to partition the data, match the partitions, and then recursively match the points within each pair of identified partitions. The matching itself is done using black box matching procedures that are too expensive to run on the entire data set. Using an absolute measure of the quality of a matching, the framework supports optimization over parameters including partitioning procedures and matching algorithms. By design, MREC can be applied to extremely large data sets. We analyze the procedure to describe when we can expect it to work well and demonstrate its flexibility and power by applying it to a number of alignment problems arising in the analysis of single cell molecular data.
Let $p\in \mathbb{Z}$ be an odd prime. We prove a spectral version of Tate-Poitou duality for the algebraic $K$-theory spectra of number rings with $p$ inverted. This identifies the homotopy type of the fiber of the cyclotomic trace $K(\mathcal{O}_{F})^{\scriptscriptstyle\wedge}_{p} \to TC(\mathcal{O}_{F})^{\wedge}_{p}$ after taking a suitably connective cover. As an application, we identify the homotopy type at odd primes of the homotopy fiber of the cyclotomic trace for the sphere spectrum in terms of the algebraic $K$-theory of $\mathbb{Z}$.
We define twisted Hochschild homology for Green functors. This construction is the algebraic analogue of the relative topological Hochschild homology $THH_{C_n}(-)$, and it describes the $E_2$ term of the Künneth spectral sequence for relative $THH$. Applied to ordinary rings, we obtain new algebraic invariants. Extending Hesselholt's construction of the Witt vectors of noncommutative rings, we interpret our construction as providing Witt vectors for Green functors.
In this paper, we construct incomplete versions of the equivariant stable category; i.e., equivariant stabilization of the category of $G$-spaces with respect to incomplete systems of transfers encoded by an $N_\infty$ operad $\mathcal{O}$. These categories are built from the categories of $\mathcal{O}$-algebras in $G$-spaces. Using this operadic formulation, we establish incomplete versions of the usual structural properties of the equivariant stable category, notably the tom Dieck splitting. Our work is motivated in part by the examples arising from the equivariant units and Picard space functors.
The development of single-cell technologies provides the opportunity to identify new cellular states and reconstruct novel cell-to-cell relationships. Applications range from understanding the transcriptional and epigenetic processes involved in metazoan development to characterizing distinct cells types in heterogeneous populations like cancers or immune cells. However, analysis of the data is impeded by its unknown intrinsic biological and technical variability together with its sparseness; these factors complicate the identification of true biological signals amidst artifact and noise. Here we show that, across technologies, roughly 95% of the eigenvalues derived from each single-cell data set can be described by universal distributions predicted by Random Matrix Theory. Interestingly, 5% of the spectrum shows deviations from these distributions and present a phenomenon known as eigenvector localization, where information tightly concentrates in groups of cells. Some of the localized eigenvectors reflect underlying biological signal, and some are simply a consequence of the sparsity of single cell data; roughly 3% is artifactual. Based on the universal distributions and a technique for detecting sparsity induced localization, we present a strategy to identify the residual 2% of directions that encode biological information and thereby denoise single-cell data. We demonstrate the effectiveness of this approach by comparing with standard single-cell data analysis techniques in a variety of examples with marked cell populations.
We describe the multiplicative structures that arise on categories of equivariant modules over certain equivariant commutative ring spectra. Building on our previous work on N-infinity ring spectra, we construct categories of equivariant operadic modules over N-infinity rings that are structured by equivariant linear isometries operads. These categories of modules are endowed with equivariant symmetric monoidal structures, which amounts to the structure of an "incomplete Mackey functor in homotopical categories". In particular, we construct internal norms which satisfy the double coset formula. We regard the work of this paper as a first step towards equivariant derived algebraic geometry.
For $N_\infty$ operads $\mathcal O$ and $\mathcal O'$ such that there is an inclusion of the associated indexing systems, there is a forgetful functor from incomplete Tambara functors over $\mathcal O'$ to incomplete Tambara functors over $\mathcal O$. Roughly speaking, this functor forgets the norms in $\mathcal O'$ that are not present in $\mathcal O$. The forgetful functor has both a left and a right adjoint; the left adjoint is an operadic tensor product, but the right adjoint is more mysterious. We explicitly compute the right adjoint for finite cyclic groups of prime order.
We study the problem of distinguishing between two distributions on a metric space; i.e., given metric measure spaces $({\mathbb X}, d, μ_1)$ and $({\mathbb X}, d, μ_2)$, we are interested in the problem of determining from finite data whether or not $μ_1$ is $μ_2$. The key is to use pairwise distances between observations and, employing a reconstruction theorem of Gromov, we can perform such a test using a two sample Kolmogorov--Smirnov test. A real analysis using phylogenetic trees and flu data is presented.
We construct an equivalence of $E_{2}$ algebras between two models for the Thom spectrum of the free loop space that are related by derived Koszul duality. To do this, we describe the functoriality and invariance properties of topological Hochschild cohomology.
The Gromov-Hausdorff distance provides a metric on the set of isometry classes of compact metric spaces. Unfortunately, computing this metric directly is believed to be computationally intractable. Motivated by applications in shape matching and point-cloud comparison, we study a semidefinite programming relaxation of the Gromov-Hausdorff metric. This relaxation can be computed in polynomial time, and somewhat surprisingly is itself a pseudometric. We describe the induced topology on the set of compact metric spaces. Finally, we demonstrate the numerical performance of various algorithms for computing the relaxed distance and apply these algorithms to several relevant data sets. In particular we propose a greedy algorithm for finding the best correspondence between finite metric spaces that can handle hundreds of points.