Computations of Spin-Sp(4), Spin-SU(8), and Spin-Spin(16) bordism groups in dimensions up to 7

2025-04-21T10:47:10Z

We investigate the structure of Spin-$G$ bordism groups, focusing on the interplay between Spin and additional twisting symmetries such as $Sp(4)$, $SU(8)$ and $Spin(16)$. Using techniques from spectral sequences, obstruction theory, and cohomology operations, we compute explicit generators for the Spin-$G$ bordism groups in dimensions up to 7.

On the Birman exact sequence of the subgroups of the mapping class group of genus three

2025-04-21T07:46:43Z

We prove that for any finite index subgroup of the mapping class group containing the Johnson subgroup, the profinite Birman exact sequence does not split in genus $g\ge 3$, extending prior results of Hain and the second author for $g\ge 4$. For the Torelli group, we prove that the graded Lie algebra version of the Birman exact sequence admits no section with symplectic equivariance, extending Hain's result from $g\ge 4$ to $g=3$. These results are deduced by our main tool, relative completion, with the help of Hodge theory and representation theory of symplectic groups, along with explicit structural obstructions coming from hyperelliptic mapping class groups.

The Mid-sphere Cousin of the Medial Axis Transform

2025-04-20T21:24:41Z

The medial axis of a smoothly embedded surface in $\mathbb{R}^3$ consists of all points for which the Euclidean distance function on the surface has at least two minima. We generalize this notion to the mid-sphere axis, which consists of all points for which the Euclidean distance function has two interchanging saddles that swap their partners in the pairing by persistent homology. It offers a discrete-algebraic multi-scale approach to computing ridge-like structures on the surface. As a proof of concept, an algorithm that computes stair-case approximations of the mid-sphere axis is provided.

Regular Lagrangians are smooth Lagrangians

2025-04-20T12:02:56Z

We prove that for any element in the $\gamma$-completion of the space of smooth compact exact Lagrangian submanifolds of a cotangent bundle, if its $\gamma$-support is a smooth Lagrangian submanifold, then the element itself is a smooth Lagrangian. We also prove that if the $\gamma$-support of an element in the completion is compact, then it is connected.

A universal characteristic class for vector bundles with a connection

2025-04-20T10:21:22Z

In the paper I introduce a new characteristic class $c(E)$ for a finite rank vector bundle $E$ on an affine scheme $S:=Spec(A)$ - the fundamental class of $E$. The class $c(E)$ is not a characteristic class in the classical sense in the sense that it lives in a pointed cohomology torsor $\operatorname{Ext}^1(L, \operatorname{End}_A(E))$. Most characteristic classes lives in a cohomology group. The pointed cohomology torsor $\operatorname{Ext}^1(L, \operatorname{End}_A(E))$ is a torsor on the abelian group $\operatorname{H}^2(L, Z(\operatorname{End}_A(E)))$ where $Z(\operatorname{End}_A(E))$ is the center of the ring of endomorphisms of $E$ and where the cohomology is the Lie-Rinehart cohomology of the center. The class $c(E)$ is trivial if and only if $E$ has a flat algebraic connection. Hence the class $c(T_S)$ where $T_S$ is the tangent bundle, is an an obstruction for $S$ to be algebraically parallelizable. I use a connection $\nabla$ to define $c(E)$ and I also prove the class $c(E)$ is independent of choice of connection, hence $c(E)$ is an invariant of the vector bundle $E$. The class generalize the Chern class, the Pontryagin class, the Euler class and the Teleman characteristic class. I prove using an explicit example that the class $c(E)$ is stronger than the Chern class and the Euler class. I also give a new proof of a formula for the curvature of a connection $\nabla$ in terms of an idempotent endomorphism $\phi$ defining $E$. This formula was claimed and proved in a paper put out on the arXiv in 2011, and in this paper I give a new proof that is easier to read. The class may be interesting in the study of the "cancellation problem" in affine algebraic geometry and the problem of giving algebraic formulas for the topological Euler characteristic. I also calculate the algebraic deRham cohomology of the complex two sphere and prove it is infinite dimensional.

Equilevel algebras

2025-04-20T03:07:21Z

An equilevel algebra is a subalgebra of the space of smooth functions $f: M \to {\mathbb R}$ distinguished in this space by finitely many conditions of the type $f(x_i) = f(\tilde x_i)$, $x_i \neq \tilde x_i \in M$, or approximated by such subalgebras. For $M = S^1$ or ${\mathbb R}^1$, the regular points of the variety of equilevel algebras of codimension $k$ are known in knot theory as $k$-chord diagrams. The whole of this variety completes the space of chord diagrams in the same way as the Hilbert schemes complete the configuration spaces. We describe cell structures of the varieties of all equilevel algebras up to the codimension three in the space $C^\infty(S^1, {\mathbb R})$ and compute their homology groups and characteristic classes of canonical vector bundles on them.

Exotic periodic phenomena in the cohomology of the moduli stack of $1$-dimensional formal group laws

2025-04-19T19:13:13Z

We describe some periodic structure in the cohomology of the moduli stack of 1-dimensional formal group laws, also known as the $E_2$-page of the classical Adams--Novikov spectral sequence. This structure is distinct from the familiar $v_n$-periodicities, and it displays interesting number-theoretic properties. Our techniques involve the $\mathbb{C}$-motivic Adams spectral sequence, and we obtain analogous periodic structure in $\mathbb{C}$-motivic stable homotopy.

Leibniz rule for wedge product in discrete exterior calculus on general polygonal meshes

2025-04-19T12:00:05Z

Discrete exterior calculus offers a coordinate-free discretization of exterior calculus especially suited for computations on curved spaces. In this work, we present a wedge product on 2-dimensional pseudomanifolds, whose faces are any polygons. We prove that this polygonal wedge product is compatible with the discrete exterior derivative in the sense that it satisfies the Leibniz product rule. We thus extend previously studied discretizations of wedge products from simplicial or quadrilateral meshes to general polygonal surface meshes. We also prove that our discrete wedge product corresponds to a cup product of cochains on 2-pseudomanifolds.

Topological $ΔG$ homology of rings with twisted $G$-action

2025-04-19T06:50:07Z

We provide a unifying framework for studying variants of topological Hochschild homology such as Real topological Hochschild homology. Associated to a crossed simplicial group $\Delta G$, a category that generalizes Connes' cyclic category, we introduce an invariant of rings with twisted $G$-action, which we call topological $\Delta G$-homology. Here a ring with twisted $G$-action is a common generalization of a ring with involution and a ring with $G$-action. Our construction provides homotopical analogues of quaternionic homology, symmetric homology, braid homology, and hyperoctahedral homology defined by Fiedorowicz--Loday. In the quaternionic case our construction, called quaternionic topological Hochschild homology, is equipped with a left Pin(2)-action and we compute it for loop spaces with a twisted $C_4$-action. As an important step along the way, we introduce a new family of crossed simplicial groups called the twisted symmetric crossed simplicial groups and we prove that they corresponds to operads for algebras with twisted $G$-action.

K-theoretic Poitou-Tate duality in higher dimensions: proper case

2025-04-19T02:59:36Z

We generalize Blumberg-Mandell's K-theoretic Poitou-Tate duality to arithmetic schemes of arbitrary dimension, smooth and proper over S-integers. As in our earlier papers on the subject, we discuss how to model the compactly supported side via the K-theory of locally compact modules.

On minimal shapes and topological invariants in hyperbolic lattices

2025-04-18T21:12:59Z

We characterize the set of finite shapes with minimal perimeter on hyperbolic lattices given by regular tilings of the hyperbolic plane whose tiles are regular $p$-gons meeting at vertices of degree $q$, with $1/p+1/q<\frac{1}{2}$. The main tool is a layer decomposition due to Rietman--Nienhuis--Oitmaa and Moran, which allows us to prove convergence towards the Cheeger constant when these shapes exhaust the lattice. Furthermore, we apply a celebrated result of Floyd--Plotnick, which will allow us to compute the Euler characteristic for these graphs in terms of certain growth functions and the number of $n$-sized animals on those lattices.

The Topological Structures of the Orders of Hypergraphs

2025-04-18T18:30:24Z

We provide first a categorical exploration of, and then completion of the mapping of the relationships among, three fundamental perspectives on binary relations: as the incidence matrices of hypergraphs, as the formal contexts of concept lattices, and as specifying topological cosheaves of simplicial (Dowker) complexes on simplicial (Dowker) complexes. We provide an integrative, functorial framework combining previously known with three new results: 1) given a binary relation, there are order isomorphisms among the bounded edge order of the intersection complexes of its dual hypergraphs and its concept lattice; 2) the concept lattice of a context is an isomorphism invariant of the Dowker cosheaf (of abstract simplicial complexes) of that context; and 3) a novel Dowker cosheaf (of chain complexes) of a relation is an isomorphism invariant of the concept lattice of the context that generalizes Dowker's original homological result. We illustrate these concepts throughout with a running example, and demonstrate relationships to past results.

Directed homotopy modules

2025-04-18T17:59:57Z

In this short note, we argue that directed homotopy can be given the structure of generalized modules, over particular monoids. This is part of a general attempt for refoundation of directed topology.

Quillen cohomology of enriched operads

2025-04-18T14:51:59Z

A modern insight due to Quillen, which is further developed by Lurie, asserts that many cohomology theories of interest are particular cases of a single construction, which allows one to define cohomology groups in an abstract setting using only intrinsic properties of the category (or $\infty$-category) at hand. This universal cohomology theory is known as Quillen cohomology. In any setting, Quillen cohomology of a given object is classified by its cotangent complex. The main purpose of this paper is to study Quillen cohomology of operads enriched over a general base category. Our main result provides an explicit formula for computing Quillen cohomology of enriched operads, based on a procedure of taking certain infinitesimal models of their cotangent complexes. Furthermore, we propose a natural construction of the twisted arrow $\infty$-categories of simplicial operads. We then assert that the cotangent complex of a simplicial operad can be represented as a spectrum valued functor on its twisted arrow $\infty$-category. When working in stable base categories such as chain complexes and spectra, Francis and Lurie proved the existence of a fiber sequence relating the cotangent complex and Hochschild complex of an $E_n$-algebra, from which a conjecture of Kontsevich is verified. We establish an analogous fiber sequence for the operad $E_n$ itself, in the topological setting.

Natural homotopy of multipointed d-spaces

2025-04-18T12:45:44Z

We identify Grandis' directed spaces as a full reflective subcategory of the category of multipointed $d$-spaces. When the multipointed $d$-space realizes a precubical set, its reflection coincides with the standard realization of the precubical set as a directed space. The reflection enables us to extend the construction of the natural system of topological spaces in Baues-Wirsching's sense from directed spaces to multipointed $d$-spaces. In the case of a cellular multipointed $d$-space, there is a discrete version of this natural system which is proved to be bisimilar up to homotopy. We also prove that these constructions are invariant up to homotopy under globular subdivision. These results are the globular analogue of Dubut's results. Finally, we point the apparent incompatibility between the notion of bisimilar natural systems and the q-model structure of multipointed $d$-spaces and we give some suggestions for future works.