http://arxiv.org/api/S0VN05V44CROMGZnpyvdnyUKf5E2025-05-06T00:00:00-04:001655613515http://arxiv.org/abs/2201.01063v22025-04-11T10:49:33Z2022-01-04T10:03:46ZReal Bott manifold structure of $n$-dimensional Klein bottle and its
rational Betti numbers Donald Davis initiated the study of an $n$-dimensional analogue of the Klein
bottle. This generalized Klein bottle occurs as a moduli space of planar
polygons for a certain choice of side lengths. In this paper, we show that the
$n$-dimensional Klein bottle is a real Bott manifold and determine the
corresponding Bott matrix. We determine the small cover structure on two other
classes of moduli spaces of planar polygons. As an application, we compute the
rational Betti numbers of these spaces using a formula, due to Suciu and
Trevisan.
Navnath DaundkarPriyavrat DeshpandeTitle has been changed. Major revision after referees' comments. This
is the final version to appear in Boletin de la Sociedad Matematica Mexicanahttp://arxiv.org/abs/2503.15854v22025-04-11T05:40:16Z2025-03-20T05:24:54ZPersistent Stiefel-Whitney Classes of Tangent Bundles Stiefel-Whitney classes are invariants of the tangent bundle of a smooth
manifold, represented as cohomology classes of the base manifold. These classes
are essential in obstruction theory, embedding problems, and cobordism theory.
In this work, we first reestablish an appropriate notion of vector bundles in a
persistent setting, allowing characteristic classes to be interpreted through
topological data analysis. Next, we propose a concrete algorithm to compute
persistent cohomology classes that represent the Stiefel-Whitney classes of the
tangent bundle of a smooth manifold. Given a point cloud, we construct a
\v{C}ech or alpha filtration. By applying the Wu formula in this setting, we
derive a sequence of persistent cohomology classes from the filtration. We show
that if the filtration is homotopy equivalent to a smooth manifold, then one of
these persistent cohomology classes corresponds to the $k$-th Stiefel-Whitney
class of the tangent bundle of that manifold. To demonstrate the effectiveness
of our approach, we present experiments on real-world datasets, including
applications to complex manifolds, image patches, and molecular conformation
space.
Dongwoo Gang25 pages, 4 figures. Comments welcomehttp://arxiv.org/abs/2504.08119v12025-04-10T20:37:36Z2025-04-10T20:37:36ZDecomposing Multiparameter Persistence Modules Dey and Xin (J.Appl.Comput.Top., 2022, arXiv:1904.03766) describe an
algorithm to decompose finitely presented multiparameter persistence modules
using a matrix reduction algorithm. Their algorithm only works for modules
whose generators and relations are distinctly graded. We extend their approach
to work on \emph{all} finitely presented modules and introduce several
improvements that lead to significant speed-ups in practice. Our algorithm is
fixed parameter tractable with respect to the maximal number of relations with
the same degree and with further optimisation we obtain an $O(n^3)$ algorithm
for interval-decomposable modules. In particular, we can decide
interval-decomposability in this time. As a by-product to the proofs of
correctness we develop a theory of parameter restriction for persistence
modules. Our algorithm is implemented as a software library \textsc{aida} which
is the first to enable the decomposition of large inputs. We show its
capabilities via extensive experimental evaluation.
Tamal K. DeyJan JendrysiakMichael Kerber45 pages, 17 figures, to be partially published in the proceedings of
SOCG 2025http://arxiv.org/abs/2504.07917v12025-04-10T17:32:26Z2025-04-10T17:32:26ZSKK groups of manifolds and non-unitary invertible TQFTs This work considers the computation of controllable cut-and-paste groups
$\mathrm{SKK}^{\xi}_n$ of manifolds with tangential structure $\xi:B_n\to
BO_n$. To this end, we apply the work of Galatius-Madsen-Tillman-Weiss, Genauer
and Schommer-Pries, who showed that for a wide range of structures $\xi$ these
groups fit into a short exact sequence that relates them to bordism groups of
$\xi$-manifolds with kernel generated by the disc-bounding $\xi$-sphere. The
order of this sphere can be computed by knowing the possible values of the
Euler characteristic of $\xi$-manifolds. We are thus led to address two key
questions: the existence of $\xi$-manifolds with odd Euler characteristic of a
given dimension and conditions for the exact sequence to admit a splitting. We
resolve these questions in a wide range of cases.
$\mathrm{SKK}$ groups are of interest in physics as they play a role in the
classification of non-unitary invertible topological quantum field theories,
which classify anomalies and symmetry protected topological (SPT) phases of
matter. Applying our topological results, we give a complete classification of
non-unitary invertible topological quantum field theories in the tenfold way in
dimensions 1-5.
Renee S. HoekzemaLuuk StehouwerSimona Veselá68 pages, comments welcome!http://arxiv.org/abs/2504.07874v12025-04-10T15:47:31Z2025-04-10T15:47:31ZPower Operations on $K(n-1)$-Localized Morava $E$-theory at Height $n$ We calculate the $K(n-1)$-localized $E_n$ theory for symmetric groups, and
deduce a modular interpretation of the total power operation $\psi^p_F$ on
$F=L_{K(n-1)}E_n$ in terms of augmented deformations of formal groups and their
subgroups. We compute the Dyer-Lashof algebra structure over $K(n-1)$-local
$E_n$-algebra. Then we specify our calculation to the $n=2$ case. We calculate
an explicit formula for $\psi^p_F$ using the formula of $\psi^p_E$, and explain
connections between these computations and elliptic curves, modular forms and
$p$-divisible groups.
Yifan Wuhttp://arxiv.org/abs/2504.07592v12025-04-10T09:44:53Z2025-04-10T09:44:53ZHardness of 4-Colourings G-Colourable Graphs We study the complexity of a class of promise graph homomorphism problems.
For a fixed graph H, the H-colouring problem is to decide whether a given graph
has a homomorphism to H. By a result of Hell and Ne\v{s}et\v{r}il, this problem
is NP-hard for any non-bipartite loop-less graph H. Brakensiek and Guruswami
[SODA 2018] conjectured the hardness extends to promise graph homomorphism
problems as follows: fix a pair of non-bipartite loop-less graphs G, H such
that there is a homomorphism from G to H, it is NP-hard to distinguish between
graphs that are G-colourable and those that are not H-colourable. We confirm
this conjecture in the cases when both G and H are 4-colourable. This is a
common generalisation of previous results of Khanna, Linial, and Safra [Comb.
20(3): 393-415 (2000)] and of Krokhin and Opr\v{s}al [FOCS 2019]. The result is
obtained by combining the algebraic approach to promise constraint satisfaction
with methods of topological combinatorics and equivariant obstruction theory.
Sergey AvvakumovTel Aviv UniversityMarek FilakovskýMasaryk UniversityJakub OpršalUniversity of BirminghamGianluca TasinatoInstitute of Science and Technology AustriaUli WagnerInstitute of Science and Technology Austria17 pages, 5 figures, accepted to STOC 2025http://arxiv.org/abs/2504.07526v12025-04-10T07:48:31Z2025-04-10T07:48:31ZComputing gradient vector fields with Morse sequences We rely on the framework of Morse sequences to enable the direct computation
of gradient vector fields on simplicial complexes. A Morse sequence is a
filtration from a subcomplex L to a complex K via elementary expansions and
fillings, naturally encoding critical and regular simplexes. Maximal increasing
and minimal decreasing schemes allow constructing these sequences, and are
linked to algorithms like Random Discrete Morse and Coreduction. Extending the
approach to cosimplicial complexes (S = K \ L), we define operations --
reductions, perforations, coreductions, and coperforations -- for efficient
computation. We further generalize to F -sequences, which are Morse sequences
weighted by an arbitrary stack function F , and provide algorithms to compute
maximal and minimal sequences. A particular case is when the stack function is
given through a vertex map, as it is common in topological data analysis. We
show that we retrieve existing methods when the vertex map is injective; in
this case, the complex partitions into lower stars, facilitating parallel
processing. Thus, this paper proposes simple, flexible, and computationally
efficient approaches to obtain Morse sequences from arbitrary stack functions,
allowing to generalize previous approaches dedicated to computing gradient
vector fields from injective vertex maps.
Gilles BertrandLIGMLaurent NajmanLIGMhttp://arxiv.org/abs/2504.07473v12025-04-10T05:55:43Z2025-04-10T05:55:43ZStandard $t$-structures We provide a general construction of induced $t$-structures, that generalizes
standard $t$-structures for $\infty$-categories of sheaves. More precisely,
given a presentable $\infty$-category $\mathcal{X}$ and a presentable stable
$\infty$-category $\mathcal{E}$ equipped with an accessible $t$-structure $\tau
= (\mathcal{E}_{\geq 0}, \mathcal{E}_{\leq 0})$, we show that $\mathcal{X}
\otimes \mathcal{E}$ is equipped with a canonical $t$-structure whose
coconnective part is given in $\mathcal{X} \otimes \mathcal{E}_{\leq 0}$. When
$\mathcal{X}$ is an $\infty$-topos, we give a more explicit description of the
connective part as well.
Peter J. HaineMauro PortaJean-Baptiste TeyssierComments very welcome. 11 pageshttp://arxiv.org/abs/2504.07407v12025-04-10T03:01:18Z2025-04-10T03:01:18ZCech - de Rham Chern character on the stack of holomorphic vector
bundles We provide a formula for the Chern character of a holomorphic vector bundle
in the hyper-cohomology of the de Rham complex of holomorphic sheaves on a
complex manifold. This Chern character can be thought of as a completion of the
Chern character in Hodge cohomology obtained as the trace of the exponential of
the Atiyah class, which is \v{C}ech closed, to one that is \v{C}ech-Del closed.
Such a completion is a key step toward lifting O'Brian-Toledo-Tong invariants
of coherent sheaves from Hodge cohomology to de Rham cohomology. An alternate
approach toward the same end goal, instead using simplicial differential forms
and Green complexes, can be found in Hosgood's works [Ho1, Ho2]. In the
algebraic setting, and more generally for K\"{a}hler manifolds, where Hodge and
de Rham cohomologies agree, such extensions are not necessary, whereas in the
non-K\"{a}hler, or equivariant settings the two theories differ. We provide our
formulae as a map of simplicial presheaves, which readily extend the results to
the equivariant setting and beyond. This paper can be viewed as a sequel to
[GMTZ1] which covered such a discussion in Hodge cohomology. As an aside, we
give a conceptual understanding of how formulas obtained by Bott and Tu for
Chern classes using transition functions and those from Chern-Weil theory using
connections, are part of a natural unifying story.
Cheyne GlassThomas TradlerMahmoud Zeinalianhttp://arxiv.org/abs/2008.03363v32025-04-09T22:13:06Z2020-08-07T20:13:20ZAlgebraic vector bundles and $p$-local A^1-homotopy theory Using techniques of A^1-homotopy theory, we produce motivic lifts of elements
in classical homotopy groups of spheres; these lifts provide polynomial maps of
spheres and allow us to construct ``low rank'' algebraic vector bundles on
``simple'' smooth affine varieties of high dimension.
Aravind AsokJean FaselMichael J. Hopkins20 pages; Version to appear in Ann. Scient. Ec. Norm. Suphttp://arxiv.org/abs/2504.07064v12025-04-09T17:27:53Z2025-04-09T17:27:53ZEquivariant operations in topological Hochschild homology We observe a new equivariant relationship between topological Hochschild
homology and cohomology. We also calculate the topological Hochschild homology
of the topological Hochschild cohomology of a finite prime field, which can be
viewed as a certain ring of structured operations in this case.
Po HuIgor KrizPetr SombergFoling ZouAccepted for publication in Mathematische Zeitschrifthttp://arxiv.org/abs/2504.06901v12025-04-09T14:01:36Z2025-04-09T14:01:36ZClassification of algebraic tangles We study algebraic tangles as fundamental components in knot theory,
developing a systematic approach to classify and tabulate prime tangles using a
novel canonical representation. The canonical representation enables us to
distinguish mutant tangles, which fills the gaps in previous classifications.
Moreover, we increase the classification of prime tangles up to 14 crossings
and analyze tangle symmetry groups. We provide a database of our results:
https://tangleinfo.cent.uw.edu.pl.
Bartosz Ambrozy GrenJoanna Ida SulkowskaBoštjan Gabrovšek35 pages, 16 figures, database: https://tangleinfo.cent.uw.edu.pl,
supplement: https://github.com/baaagr/Classification_of_algebraic_tangleshttp://arxiv.org/abs/2504.06522v12025-04-09T01:45:40Z2025-04-09T01:45:40ZQuasi Modular Operads Modular operads are an extension of operads. In the same way that operads, as
dendroidal sets, can be considered as presheaves over the category of trees, so
can modular operads be considered as presheaves over a category of graphs.
This paper contains a definition of the Kan condition for infinity modular
operads, as well as a proof of the Nerve Theorem for modular operads, and the
equivalence of the modular Kan and Segal conditions. Appendix A contains the
same material for cyclic operads.
Michelle Strumila20 pages of article, total 39 pages including appendices and
referenceshttp://arxiv.org/abs/2504.16941v12025-04-08T19:21:44Z2025-04-08T19:21:44ZMathematical Modeling of Protein Structures: A Cohomology-Based Approach
to the Flagellar Motor This study presents a novel mathematical model derived from cohomology,
leveraging the KEEL-proven theorem that establishes cohomology as tautological,
generated by boundary classes of curves with fixed dual graphs. Simplicial
complexes are constructed using skew-commutative graded algebra, and the
structure theorem is applied to connect distinct homologies, enabling precise
interpretations of the resulting geometric forms. The proposed model is
utilized for protein structure analysis and prediction, with a specific
application to the Flagellar Motor structure. This approach offers new insights
into the geometric and algebraic foundations of biological macromolecular
modeling, highlighting its potential for advancement in structural biology.
Zakaria LamineAbdelatif HafidMohamed Rahoutihttp://arxiv.org/abs/2504.06194v12025-04-08T16:35:15Z2025-04-08T16:35:15ZPositive 3-braids, Khovanov homology and Garside theory Khovanov homology is a powerful invariant of oriented links that categorifies
the Jones polynomial. Nevertheless, computing Khovanov homology of a given link
remains challenging in general with current techniques. In this work we focus
on links that are the closure of positive 3-braids. Starting with a
classification of conjugacy classes of 3-braids arising from the Garside
structure of braid groups, we compute, for any closed positive 3-braid, the
first four columns (homological degree) and the three lowest rows (quantum
degree) of the associated Khovanov homology table. Moreover, the number of rows
and columns we can describe increases with the infimum of the positive braid (a
Garside theoretical notion). We will show how to increase the infimum of a
3-braid to its maximal possible value by a conjugation, maximizing the number
of cells in the Khovanov homology of its closure that can be determined, and
show that this can be done in linear time.
Álvaro Del Valle VílchezJuan González-MenesesMarithania Silvero29 pages, 16 figures