http://arxiv.org/api/xaspLhZL6kIc7sO2uJs8XhisZ7Y 2025-05-16T00:00:00-04:00 16590 555 15 http://arxiv.org/abs/2411.04614v2 2025-02-07T10:34:37Z 2024-11-07T10:55:43Z

We introduce a general definition of a $n$-crossed module of $P$-algebras over an algebraic operad $P$, which coincides with historical definitions in the cases of the operads As and Lie and $n = 1$. We establish a natural isomorphism between the abelian group of equivalence classes of $n$-crossed modules over a pair $(A,M)$ for an operad $P$ and the $(n+1)^\text{th}$ operadic cohomology group of $A$ with coefficients in $M$.

Johan Leray Salim Rivière Friedrich Wagemann 22 pages http://arxiv.org/abs/1211.5741v12 2025-03-16T10:36:48Z 2012-11-25T08:20:35Z

The higher associativity was introduced by Jim Stasheff in [Sta63] with higher coherence conditions and now becomes one of the most important structures on spaces and algebras. He also claims that the condition on unit can be weakened, using James retractile arguments [Jam60], while the proof given in [Sta63] for the equivalence of two definitions is not very clear for us. We had been puzzled for years, and decided to prove it in a different way by constructing an $A_{m}$-structure. To justify that our construction is natural, we bring our ideas into the theory of an internal precategory which is a weak version of Aguiar's internal category [Agu97]. Using that construction, we show the equivalence of two definitions under the `loop-like' condition. That condition is not necessary to manipulate higher forms using retractile arguments as is performed in [Sta63], but is necessary to construct an $A_{m}$-structure from the given $A_{m}$-form with {\em strict-unit} as is mentioned in Stasheff [Sta70].

Norio Iwase 60 pages, 6 figures http://arxiv.org/abs/2412.12950v2 2025-02-07T08:58:45Z 2024-12-17T14:30:13Z

We apply a topological method to prove existence of positive solutions for the nonlineair Choquard equation with upper critical exponent in the sense of Hardy-Littlewood-Sobolev inquality on bounded domains having nontrivial homology group.

Mohammed Ali Mohammed Alghamdi Hichem Chtioui 22 pages http://arxiv.org/abs/2411.04463v2 2025-02-07T07:39:44Z 2024-11-07T06:24:10Z

We establish Morse inequalities for a noncompact manifold with a cocompact and properly discontinuous action of a discrete group, where Morse functions are not necessarily invariant under the group action. The inequalities are given in terms of the $L^2$-Betti numbers and functions on the acting group which describe rough configurations of critical points of a Morse function.

Tsuyoshi Kato Daisuke Kishimoto Mitsunobu Tsutaya 28 pages, the definition of a fundamental domain is modified http://arxiv.org/abs/2405.05873v4 2025-02-06T17:49:56Z 2024-05-09T16:02:09Z

We prove a duality theorem for Cohen--Macaulay simplicial complexes. This is a generalisation of Poincar\'e Duality, framed in the language of combinatorial sheaves. Our treatment is self-contained and accessible for readers with a working knowledge of simplicial complexes and (co)homology. The main motivation is a link with Bieri-Eckmann duality for discrete groups, which is explored in a companion paper.

Richard D. Wade Thomas A. Wasserman 45 pages. v4: Significantly shortened the paper and streamlined the exposition by combining the proofs of CM duality with ring coefficients and with coefficients in arbitrary (co)sheaves. See v3 for an explanation of the relationship between our work and classical sheaves and Verdier duality, a more elaborate treatment of naturality, and an example of the duality theorem in the setting of trees http://arxiv.org/abs/2405.12169v3 2025-02-06T12:33:26Z 2024-05-20T16:52:58Z

In this paper we introduce and study the so-called continuous $K$-theory for a certain class of "large" stable $\infty$-categories, more precisely, for dualizable presentable categories. For compactly generated categories, the continuous $K$-theory is simply the usual (non-connective) $K$-theory of the full subcategory of compact objects. More generally, we show that any localizing invariant of small stable $\infty$-categories can be uniquely extended to a localizing invariant of dualizable categories. We compute the continuous $K$-theory for categories of sheaves on locally compact Hausdorff spaces. Using the special case for sheaves on the real line, we give an alternative proof of the theorem of Kasprowski and Winges \cite{KW19} on the commutation of $K$-theory with infinite products for small stable $\infty$-categories. We also study the general theory of dualizable categories. In particular, we give an "explicit" proof of Ramzi's theorem \cite{Ram24a} on the $\omega_1$-presentability of the category of dualizable categories. Among other things, we prove that dualizability is equivalent to "flatness" in the category of presentable stable categories.

Alexander I. Efimov 133 pages; v3: some results added, exposition expanded, typos corrected, references added http://arxiv.org/abs/2502.03744v1 2025-02-06T03:14:12Z 2025-02-06T03:14:12Z

Many practical applications in topological data analysis arise from data in the form of point clouds, which then yield simplicial complexes. The combinatorial structure of simplicial complexes captures the topological relationships between the elements of the complex. In addition to the combinatorial structure, simplicial complexes possess a geometric realization that provides a concrete way to visualize the complex and understand its geometric properties. This work presents an amended Hausdorff distance as an extended metric that integrates geometric proximity with the topological features of simplicial complexes. We also present a version of the simplicial Hausdorff metric for filtered complexes and show results on its computational complexity. In addition, we discuss concerns about the monotonicity of the measurement functions involved in the setup of the simplicial complexes.

Nkechi Nnadi Daniel Isaksen 12 pages http://arxiv.org/abs/2407.21003v2 2025-02-06T00:13:30Z 2024-07-30T17:51:39Z

Recall that topological complex $K$-theory associates to an isomorphism class of a complex vector bundle $E$ over a space $X$ an element of the complex $K$-theory group of $X$. Or from algebraic $K$-theory perspective, one assigns a homotopy class $[X \to K (\mathcal{K})]$, where $\mathcal{K}$ is the ring of compact operators on the Hilbert space. We show that there is an analogous story for algebraic $K$-theory of a general commutative ring $k$, replacing, and in a sense generalizing complex vector bundles by certain monotone/Calabi-Yau Hamiltonian fiber bundles. (In Calabi-Yau setting $k$ must be restricted.) In suitable cases, we may first assign elements in a certain categorified algebraic $K$-theory, analogous to To\"en's secondary $K$-theory of $k$. And there is a natural ``Hochschild'' map from this categorified algebraic $K$-theory to the classical variant. In particular, if $k$ is regular and $G$ is a compact Lie group we obtain a natural group homomorphism $\pi _{m} (BG) \to K _{m}(k) \oplus K _{m-1} (k) $. This story leads us to formulate a generalization of the homological mirror symmetry phenomenon to the algebraic $K$-theory context, based on ideas of gauged mirror symmetry of Teleman, and the formalism of Langlands dual groups.

Yasha Savelyev Slightly sharpened. Comments welcome http://arxiv.org/abs/2502.03408v1 2025-02-05T17:49:42Z 2025-02-05T17:49:42Z

We show that Klemenc's stable envelope of exact $\infty$-categories induces an equivalence between stable $\infty$-categories with a bounded heart structure and weakly idempotent complete exact $\infty$-categories. Moreover, we generalise the Gillet-Waldhausen theorem to the connective algebraic K-theory of exact $\infty$-categories and deduce a universal property of connective algebraic K-theory as an additive invariant on exact $\infty$-categories. A key tool is a generalisation of a theorem due to Keller which provides a sufficient condition for an exact functor to induce a fully faithful functor on stable envelopes.

Victor Saunier Christoph Winges 24 pages http://arxiv.org/abs/2502.03380v1 2025-02-05T17:17:21Z 2025-02-05T17:17:21Z

We provide an expository introduction to Euclidean Scissors Congruence, the study of polytopes in Euclidean space up to `cut and paste' relations. We first re-frame questions in scissors congruence as those in group homology. We then use this perspective to review the proof of the Dehn-Sydler-Jessen Theorem as found in the works of Dupont and Sah.

Anubhav Nanavaty 24 pages, comments welcome! http://arxiv.org/abs/2502.03141v1 2025-02-05T13:03:37Z 2025-02-05T13:03:37Z

Working at the prime $2$ and chromatic height $2$, we construct a finite resolution of the homotopy fixed points of Morava $E$-theory with respect to the subgroup $\mathbb{G}_2^1$ of the Morava stabilizer group. This is an upgrade of the finite resolution of the homotopy fixed points of $E$-theory with respect to the subgroup $\mathbb{S}_2^1$ constructed in work of Goerss-Henn-Mahowald-Rezk, Beaudry and Bobkova-Goerss.

Agnès Beaudry Irina Bobkova Hans-Werner Henn http://arxiv.org/abs/2502.02432v2 2025-02-05T02:15:46Z 2025-02-04T15:56:57Z

We revisit and elucidate the $\widehat{A}$-genus, Hirzebruch's $L$-genus and Witten's $W$-genus, cobordism invariants of special classes of manifolds. After slight modification, involving Hecke's trick, we find that the $\widehat{A}$-genus and $L$-genus arise directly from Jacobi's theta function. In this way, for every $k\geq 0,$ we obtain exact formulas for the quasimodular expressions of $\widehat{A}_k$ and $L_k$ as ``traces'' of partition Eisenstein series \[\widehat{\mathcal{A}}_k(\tau)= \operatorname{Tr}_k(\phi_{\widehat{A}};\tau)\ \ \ \ \ \ {\text {\rm and}}\ \ \ \ \ \ \mathcal{L}_k(\tau)= \operatorname{Tr}_k(\phi_L;\tau). \] Surprisingly, Ramanujan defined twists of the $\widehat{\mathcal{A}}_k(\tau)$ in his ``lost notebook'' in his study of derivatives of theta functions, decades before Borel and Hirzebruch rediscovered them in the context of spin manifolds. In addition, we show that the nonholomorphic $G_2^{\star}$-completion of the characteristic series of the Witten genus is the Jacobi theta function avatar of the $\widehat{A}$-genus.

Tewodros Amdeberhan Michael Griffin Ken Ono http://arxiv.org/abs/2406.02300v3 2025-02-04T16:59:47Z 2024-06-04T13:29:12Z

Topological Data Analysis (TDA) allows us to extract powerful topological and higher-order information on the global shape of a data set or point cloud. Tools like Persistent Homology or the Euler Transform give a single complex description of the global structure of the point cloud. However, common machine learning applications like classification require point-level information and features to be available. In this paper, we bridge this gap and propose a novel method to extract node-level topological features from complex point clouds using discrete variants of concepts from algebraic topology and differential geometry. We verify the effectiveness of these topological point features (TOPF) on both synthetic and real-world data and study their robustness under noise and heterogeneous sampling.

Vincent P. Grande Michael T. Schaub 47 pages, 18 figures, comments welcome http://arxiv.org/abs/2502.02400v1 2025-02-04T15:19:24Z 2025-02-04T15:19:24Z

A central objective of topological data analysis is to identify topologically significant features in data represented as a finite point cloud. We consider the setting where the ambient space of the point sample is a compact Riemannian manifold. Given a simplicial complex constructed on the point set, we can relate the first homology of the complex with that of the ambient manifold by matching edges in the complex with minimising geodesics between points. Provided the universal covering of the manifold is known, we give a constructive method for identifying whether a given edge loop (or representative first homology cycle) on the complex corresponds to a non-trivial loop (or first homology class) of the ambient manifold. We show that metric data on the point cloud and its fibre in the covering suffices for the construction, and formalise our approach in the framework of groupoids and monodromy of coverings.

Ka Man Yim http://arxiv.org/abs/1807.08319v2 2025-02-04T09:31:29Z 2018-07-22T16:50:43Z

We study configuration spaces of framed points on oriented closed smooth manifolds. Such configuration spaces admit natural actions of the framed little discs operads, that play an important role in the study of embedding spaces of manifolds and in factorization homology. We construct real combinatorial models for these operadic modules, for orientable closed smooth manifolds.

Ricardo Campos Julien Ducoulombier Najib Idrissi Thomas Willwacher 47 pages, revised and expanded version. Comments are welcome