Equivariant and Invariant Parametrized Topological Complexity

2025-03-12T09:40:40Z

For a $G$-equivariant fibration $p \colon E\to B$, we introduce and study the invariant analogue of Cohen, Farber and Weinberger's parametrized topological complexity, called the invariant parametrized topological complexity. This notion generalizes the invariant topological complexity introduced by Lubawski and Marzantowicz. We establish the equivariant fibrewise homotopy invariance of this notion and derive several bounds, including a cohomological lower bound and a dimensional upper bound. Additionally, we compare invariant parametrized topological complexity with other well-known invariants. When $G$ is a compact Lie group acting freely on $E$, we show that the invariant parametrized topological complexity of the $G$-fibration $p \colon E\to B$ coincides with the parametrized topological complexity of the induced fibration $\overline{p} \colon \overline{E} \to \overline{B}$ between the orbit spaces. Finally, under minor conditions, we compute the invariant parametrized topological complexity of equivariant Fadell-Neuwirth fibrations, which measures the complexity of motion planning in presence of obstacles having unknown positions such that the order in which they are placed is irrelevant. Apart from this, we establish several bounds, including a cohomological lower bound, an equivariant homotopy dimension-connectivity upper bound and various product inequalities for the equivariant sectional category. Applying them, we obtain some interesting results for equivariant and invariant parametrized topological complexity of a $G$-fibration.

Homotopy groups and quantitative Sperner-type lemma

2025-03-12T06:39:53Z

We consider a generalization of Sperner's lemma for a triangulation $T$ of $(m+1)$-discs $D$ whose vertices are colored in $n+2$ colors. A proper coloring of $T$ on the boundary of $D$ determines a simplicial mapping $f:S^m \to S^n$ and the element $x=[f]$ in $\pi_m(S^n)$. For any $x$ in this homotopy group we define a non-negative integer $\mu(x)$. For some cases this invariant can be found explicitly. Namely, if $m=n$ then this number is the Brouwer degree of the mapping $f$. For the case $m=3, n=2$ we found a lower bound for $\mu(x)$, where $x$ is the Hopf invariant, and proved that $\mu(1)=\mu(2)=9$. The main result of this paper is the theorem that the number of fully colored $n$-simplexes in $T$ is not less than $\mu([f])$. To prove this theorem we use a generalization of Pontryagin's theorem for manifolds with respect to their boundaries.

Optimal partial transport for metric pairs

2025-03-11T18:23:37Z

In this article we study Figalli and Gigli's formulation of optimal transport between non-negative Radon measures in the setting of metric pairs. We carry over classical characterisations of optimal plans to this setting and prove that the resulting spaces of measures, $\mathcal{M}_p(X,A)$, are complete, separable and geodesic whenever the underlying space, $X$, is so. We also prove that, for $p>1$, $\mathcal{M}_p(X,A)$ preserves the property of being non-branching, and for $p=2$ it preserves non-negative curvature in the Alexandrov sense. Finally, we prove isometric embeddings of generalised spaces of persistence diagrams $\mathcal{D}_p(X,A)$ into the corresponding spaces $\mathcal{M}_p(X,A)$, generalising a result by Divol and Lacombe. As an application of this framework, we show that several known geometric properties of spaces of persistence diagrams follow from those of $\mathcal{M}_p(X,A)$, including the fact that $\mathcal{D}_2(X,A)$ is an Alexandrov space of non-negative curvature whenever $X$ is a proper non-negatively curved Alexandrov space.

Higher Riemann-Hilbert correspondence for foliations

2025-03-11T14:06:17Z

This paper explores foliated differential graded algebras (dga) and their role in extending fundamental theorems of differential geometry to foliations. We establish an $A_{\infty}$ de Rham theorem for foliations, demonstrating that the classical quasi-isomorphism between singular cochains and de Rham forms lifts to an $A_{\infty}$ quasi-isomorphism in the foliated setting. Furthermore, we investigate the Riemann-Hilbert correspondence for foliations, building upon the established higher Riemann-Hilbert correspondence for manifolds. By constructing an integration functor, we prove a higher Riemann-Hilbert correspondence for foliations, revealing an equivalence between $\infty$-representations of $L_{\infty}$-algebroids and $\infty$-representations of Lie $\infty$-groupoids within the context of foliations. This work generalizes the classical Riemann-Hilbert correspondence to foliations, providing a deeper understanding of the relationship between representations of Lie algebroids and Lie groupoids in this framework.

Homotopy types of complexes of hyperplanes in quasi-median graphs and applications to right-angled Artin groups

2025-03-11T13:19:52Z

In this article, we prove that, given two finite connected graphs $\Gamma_1$ and $\Gamma_2$, if the two right-angled Artin groups $A(\Gamma_1)$ and $A(\Gamma_2)$ are quasi-isometric, then the infinite pointed sums $\bigvee_\mathbb{N} \Gamma_1^{\bowtie}$ and $\bigvee_\mathbb{N} \Gamma_2^{\bowtie}$ are homotopy equivalent, where $\Gamma_i^{\bowtie}$ denotes the simplicial complex whose vertex-set is $\Gamma_i$ and whose simplices are given by joins. These invariants are extracted from a study, of independent interest, of the homotopy types of several complexes of hyperplanes in quasi-median graphs (such as one-skeleta of CAT(0) cube complexes). For instance, given a quasi-median graph $X$, the \emph{crossing complex} $\mathrm{Cross}^\triangle(X)$ is the simplicial complex whose vertices are the hyperplanes (or $\theta$-classes) of $X$ and whose simplices are collections of pairwise transverse hyperplanes. When $X$ has no cut-vertex, we show that $\mathrm{Cross}^\triangle(X)$ is homotopy equivalent to the pointed sum of the links of all the vertices in the prism-completion $X^\square$ of $X$.

Characterization of differential K-theory by hexagon diagram

2025-03-11T07:46:13Z

Using a canonical topology on differential K-theory induced from the Frech\'et space topology on differential forms and the discrete topology on topological K-theory, we prove that differential K-theory is uniquely determined by the character diagram up to a unique natural equivalence, thus giving an affirmative answer to a question asked by Simons and Sullivan in \cite{SS10}. We further deduce rigidity results including that there is a unique way of realizing $\RR/\ZZ$-K-theory as the flat theory, strengthening the results of \cite{BS10}.

Stabilizing decomposition of multiparameter persistence modules

2025-03-10T22:28:53Z

While decomposition of one-parameter persistence modules behaves nicely, as demonstrated by the algebraic stability theorem, decomposition of multiparameter modules is known to be unstable in a certain precise sense. Until now, it has not been clear that there is any way to get around this and build a meaningful stability theory for multiparameter module decomposition. We introduce new tools, in particular $\epsilon$-refinements and $\epsilon$-erosion neighborhoods, to start building such a theory. We then define the $\epsilon$-pruning of a module, which is a new invariant acting like a ``refined barcode'' that shows great promise to extract features from a module by approximately decomposing it. Our main theorem can be interpreted as a generalization of the algebraic stability theorem to multiparameter modules up to a factor of $2r$, where $r$ is the maximal pointwise dimension of one of the modules. Furthermore, we show that the factor $2r$ is close to optimal. Finally, we discuss the possibility of strengthening the stability theorem for modules that decompose into pointwise low-dimensional summands, and pose a conjecture phrased purely in terms of basic linear algebra and graph theory that seems to capture the difficulty of doing this. We also show that this conjecture is relevant for other areas of multipersistence, like the computational complexity of approximating the interleaving distance, and recent applications of relative homological algebra to multipersistence.

The stratified Grassmannian and its depth-one subcategories

2025-03-10T19:19:18Z

We introduce a tangential theory for linked manifolds of depth $1$, i.e., for spans $\mathfrak{S}=(M\overset{\pi}{\twoheadleftarrow} L\overset{\iota}{\hookrightarrow}N)$ of smooth manifolds where $\pi$ is a fibre bundle and $\iota$ is a closed embedding. The tangent classifier of $\mathfrak{S}$ is given as a topological span map $\mathfrak{S}\to B\mathrm{O}(n,m)$ where $B\mathrm{O}(n,m)=(B\mathrm{O}(n)\twoheadleftarrow B\mathrm{O}(n)\times B\mathrm{O}(m)\hookrightarrow B\mathrm{O}(n+m))$. We show that this recovers and generalises the tangential theory introduced by Ayala, Francis and Rozenblyum for conically smooth stratified spaces by constructing fully faithful functors $\mathbf{EX}(B\mathrm{O}(n,m))\hookrightarrow\mathbf{V}^{\hookrightarrow}$ of quasi-categories, where $\mathbf{EX}$ takes the exit path quasi-category of the span, and $\mathbf{V}^{\hookrightarrow}$ is a quasi-category model of the infinite stratified Grassmannian of AFR. This result has analogues for other classical structure groups and for Stiefel manifolds. As an application, we reduce the classification of conically smooth bundles in depth $1$ to the classification of ordinary bundles on linked manifolds.

Linked spaces and exit paths

2025-03-10T19:02:38Z

We introduce explicit exit path $\infty$-categories (EPCs) for linked spaces, i.e., spans $M\xleftarrow{\pi} L\xrightarrow{\iota}N$ of spaces where $\pi$ is a fibration and $\iota$ is a cofibration, and prove that this induces a fully faithful functor from an $\infty$-category of linked spaces to the $\infty$-category of all $\infty$-categories whose essential image includes the EPCs of conically smooth stratified spaces (CSSs) of depth $1$, reducing the stratified topology of depth-$1$ CSSs to the ordinary topology of linked spaces. Finally, using linked smooth manifolds we resolve various versions of a conjecture of Ayala-Francis-Rozenblyum in the negative by exhibiting $\infty$-categories with conservative functors to $\{0<1\}$ satisfying certain finiteness conditions but which are not equivalent to EPCs of CSSs.

Derived deformation theory of algebraic structures

2025-03-10T17:46:14Z

The main purpose of this article is to develop an explicit derived deformation theory of algebraic structures at a high level of generality, encompassing in a common framework various kinds of algebras (associative, commutative, Poisson...) or bialgebras (associative and coassociative, Lie, Frobenius...), that is algebraic structures parametrized by props. A central aspect is that we define and study moduli spaces of deformations of algebraic structures up to quasi-isomorphisms (and not just isotopies or isomorphisms). To do so, we implement methods coming from derived algebraic geometry, by encapsulating these deformation theories as classifying (pre)stacks with good infinitesimal properties and derived formal geometry, by means of derived formal moduli problems and derived formal groups. In particular, we prove that the Lie algebra describing the deformation theory of an object in a given $\infty$-category of dg algebras can be obtained equivalently as the tangent complex of loops on a derived quotient of this moduli space by the homotopy automorphims of this object. Moreover, we provide explicit formulae for such derived deformation problems of algebraic structures up to quasi-isomorphisms and relate them in a precise way to other standard deformation problems of algebraic structures. This relation is given by a fiber sequence of the associated dg-Lie algebras of their deformation complexes. Our results provide simultaneously a vast generalization of standard deformation theory of algebraic structures which is suitable (and needed) to set up algebraic deformation theory both at the $\infty$-categorical level and at a higher level of generality than algebras over operads. In addition, we study a general criterion to compare formal moduli problems of different algebraic structures and apply our formalism to $E_n$-algebras and bialgebras.

Morse theory of loop spaces and Hecke algebras

2025-03-10T17:11:23Z

Given a smooth closed $n$-manifold $M$ and a $\kappa$-tuple of basepoints $\boldsymbol{q}\subset M$, we define a Morse-type $A_\infty$-algebra $CM_{-*}(\Omega(M,\boldsymbol{q}))$, called the based multiloop $A_\infty$-algebra, as a graded generalization of the braid skein algebra due to Morton and Samuelson. For example, when $M=T^2$ the braid skein algebra is the Type A double affine Hecke algebra (DAHA). The $A_\infty$-operations couple Morse gradient trees on a based loop space with Chas-Sullivan type string operations. We show that, after a certain "base change", $CM_{-*}(\Omega(M,\boldsymbol{q}))$ is $A_\infty$-equivalent to the wrapped higher-dimensional Heegaard Floer $A_\infty$-algebra of $\kappa$ disjoint cotangent fibers which was studied in the work of Honda, Colin, and Tian. We also compute the based multiloop $A_\infty$-algebra for $M=S^2$, which we can regard as a derived Hecke algebra of the $2$-sphere.

Heisenberg homology on surface configurations

2025-03-10T16:37:23Z

Motivated by the Lawrence-Krammer-Bigelow representations of the classical braid groups, we study the homology of unordered configurations in an orientable genus-$g$ surface with one boundary component, over non-commutative local systems defined from representations of the discrete Heisenberg group. Mapping classes act on the local systems and for a general representation of the Heisenberg group we obtain a representation of the mapping class group that is twisted by this action. For the linearisation of the affine translation action of the Heisenberg group we obtain a genuine, untwisted representation of the mapping class group. In the case of the generic Schr\"odinger representation, by composing with a Stone-von Neumann isomorphism we obtain a projective representation by bounded operators on a Hilbert space, which lifts to a representation of the stably universal central extension of the mapping class group. We also discuss the finite dimensional Schr\"odinger representations, especially in the even case. Based on a natural intersection pairing, we show that our representations preserve a sesquilinear form.

Spherical Coordinates from Persistent Cohomology

2025-03-10T15:16:24Z

We describe a method to obtain spherical parameterizations of arbitrary data through the use of persistent cohomology and variational optimization. We begin by computing the second-degree persistent cohomology of the filtered Vietoris-Rips (VR) complex of a data set $X$ and extract a cocycle $\alpha$ from any significant feature. From this cocycle, we define an associated map $\alpha: VR(X) \to S^2$ and use this map as an infeasible initialization for a variational model, which we show has a unique solution (up to rigid motion). We then employ an alternating gradient descent/M\"{o}bius transformation update method to solve the problem and generate a more suitable, i.e., smoother, representative of the homotopy class of $\alpha$, preserving the relevant topological feature. Finally, we conduct numerical experiments on both synthetic and real-world data sets to show the efficacy of our proposed approach.

Representing two-parameter persistence modules via graphcodes

2025-03-10T14:27:22Z

Graphcodes were recently introduced as a technique to employ two-parameter persistence modules in machine learning tasks (Kerber and Russold, NeurIPS 2024). We show in this work that a compressed version of graphcodes yields a description of a two-parameter module that is equivalent to a presentation of the module. This alternative representation as a graph allows for a simple translation between combinatorics and algebra: connected components of the graphcode correspond to summands of the module and isolated paths correspond to intervals. We demonstrate that graphcodes are useful in practice by speeding-up the task of decomposing a module into indecomposable summands. Also, the graphcode viewpoint allows to devise a simple algorithm to decide whether a persistence module is interval-decomposable in $O(n^4)$ time, which improves on the previous bound of $O(n^{2\omega+1})$.

A note on relative Gelfand-Fuks cohomology of spheres

2025-03-10T13:38:23Z

We study the Gelfand-Fuks cohomology of smooth vector fields on $S^d$ relative to $\mathrm{SO}(d+1)$ following a method by Haefliger that uses tools from rational homotopy theory. In particular, we show that $H^*(\mathrm{BSO}(4);\mathbb{R})$ injects into the relative Gelfand-Fuks cohomology which corrects a claim by Haefliger. Moreover, for $S^3$ the relative Gelfand-Fuks cohomology agrees with the smooth cohomology of $\text{Diff}^+(S^3)$ and we provide a computation in low degrees.