Homotopy Theory Research Articles

Tautological rings of fake quaternionic spaces

AbstractThe tautological ring $$R^*(M)$$ R ∗ ( M ) of a smooth manifold M is the ring of characteristic classes generated by the Miller–Morita–Mumford classes, and is often more accessible than the ring of all characteristic classes of smooth M-bundles. In this paper, we introduce a new method to obtain upper bounds on the Krull dimension of $$R^*(M)$$ R ∗ ( M ) for manifolds homotopy equivalent to a fixed, simply connected Poincaré duality space by using recent progress in rational homotopy theory and the family signature theorem. In particular, we show that the Krull dimension of the tautological ring vanishes for almost all manifolds homotopy equivalent to $$\mathbb {H}P^2$$ H P 2 .

Symmetric monoidal smash products in homotopy type theory

Abstract In homotopy type theory, few constructions have proved as troublesome as the smash product. While its definition is just as direct as in classical mathematics, one quickly realises that in order to define and reason about functions over iterations of it, one has to verify an exponentially growing number of coherences. This has led to crucial results concerning smash products remaining open. One particularly important such result is the fact that the smash product forms a (1-coherent) symmetric monoidal product on the universe of pointed types. This fact was used, without a complete proof, by, for example, Brunerie ((2016) PhD thesis, Université Nice Sophia Antipolis) to construct the cup product on integral cohomology and is, more generally, a fundamental result in traditional algebraic topology. In this paper, we salvage the situation by introducing a simple informal heuristic for reasoning about functions defined over iterated smash products. We then use the heuristic to verify, for example, the hexagon and pentagon identities, thereby obtaining a proof of symmetric monoidality. We also provide a formal statement of the heuristic in terms of an induction principle concerning the construction of homotopies of functions defined over iterated smash products. The key results presented here have been formalised in the proof assistant Cubical Agda.

Deformations and homotopy theory for Rota–Baxter family algebras

The concept of Rota–Baxter family algebra is a generalization of Rota–Baxter algebra. It appears naturally in the algebraic aspects of renormalizations in quantum field theory. Rota–Baxter family algebras are closely related to dendriform family algebras. In this paper, we first construct an [Formula: see text]-algebra whose Maurer–Cartan elements correspond to Rota–Baxter family algebra structures. Using this characterization, we define the cohomology of a given Rota–Baxter family algebra. As an application of our cohomology, we study formal and infinitesimal deformations of a given Rota–Baxter family algebra. Next, we define the notion of a homotopy Rota–Baxter family algebra structure on a given [Formula: see text]-algebra. We end this paper by considering the homotopy version of dendriform family algebras and their relations with homotopy Rota–Baxter family algebras.

Topological symmetry in quantum field theory

We introduce a definition and framework for internal topological symmetries in quantum field theory, including “noninvertible symmetries” and “categorical symmetries”. We outline a calculus of topological defects which takes advantage of well-developed theorems and techniques in topological field theory. Our discussion focuses on finite symmetries, and we give indications for a generalization to other symmetries. We treat quotients and quotient defects (often called “gauging” and “condensation defects”), finite electromagnetic duality, and duality defects, among other topics. We include an appendix on finite homotopy theories, which are often used to encode finite symmetries and for which computations can be carried out using methods of algebraic topology. Throughout we emphasize exposition and examples over a detailed technical treatment.

Topological Interactions Between Homotopy and Dehn Twist Varieties

The topological Dehn twists have several applications in mathematical sciences as well as in physical sciences. The interplay between homotopy theory and Dehn twists exposes a rich set of properties. This paper generalizes the Dehn twists by proposing the notion of pre-twisted space, orientations of twists and the formation of pointed based space under a homeomorphic continuous function. It is shown that the Dehn twisted homotopy under non-retraction admits a left lifting property (LLP) through the local homeomorphism. The LLP extends the principles of Hurewicz fibration by avoiding pullback. Moreover, this paper illustrates that the Dehn twisted homotopy up to a base point in a based space can be formed by considering retraction. As a result, two disjoint continuous functions become point-wise continuous at the base point under retracted homotopy twists. Interestingly, the oriented Dehn twists of a pre-twisted space under homotopy retraction mutually commute in a contractible space.

Examples and cofibrant generation of effective Kan fibrations

We will make two contributions to the theory of effective Kan fibrations, which are a more explicit version of the notion of a Kan fibration, a notion which plays a fundamental role in simplicial homotopy theory. We will show that simplicial Malcev algebras are effective Kan complexes and that the effective Kan fibrations can be seen as the right class in an algebraic weak factorization system. In addition, we will introduce two strengthenings of the notion of an effective Kan fibration, the symmetric effective and degenerate-preferring Kan fibrations, and show that the previous results hold for these strengthenings as well.

Lifting Properties for A-Homotopy Theory

In classical homotopy theory, two spaces are considered homotopy equivalent if one space can be continuously deformed into the other. This theory, however, does not respect the discrete nature of graphs. For this reason, a discrete homotopy theory that recognizes the difference between the vertices and edges of a graph was invented, called A-homotopy theory \cite{Atkin1, Atkin2, BabsonHomotopy, BarceloFoundations, BarceloPerspectives}. In classical homotopy theory, covering spaces and lifting properties are often used to compute the fundamental group of the circle. In this paper, we develop the lifting properties for A-homotopy theory. Using a covering graph and these lifting properties, we compute the fundamental group of the cycle $C_{5}$, giving an alternate approach to [4].

The Adams isomorphism revisited

We establish abstract Adams isomorphisms in an arbitrary equivariantly presentable equivariantly semiadditive global category. This encompasses the well-known Adams isomorphism in equivariant stable homotopy theory, and applies more generally in the settings of G-Mackey functors, G-global homotopy theory, and equivariant Kasparov categories.

On Some Applications of P-Contraction Fixed Point Theorems in Bipolar Metric Spaces

In this paper, we have discussed the P-contraction type fixed point theorems of covariant mappings in bipolar metric spaces, and we have shown an example which supports our results. Also we discussed applications to integral equations and Homotopy theory.

On Certain Fixed Points for (α,φ,F)-Contraction on S_b- Metric Spaces with Applications

This work establishes unique fixed point theorems (UFPT) for self mapping in complete S_b-metric spaces (S_b-MS) with the concept of (α,φ,F)-contraction in the context of S_b-MS Furthermore, we show how the results may be used and present applications to integral equations and homotopy theory. Introduction: In previous work authors were discussed fixed pointon various metric spaces with F -contractions, α-type almost -F- contractions, α-type F -Suzuki contractions, (φ, F)-contraction, F - weak contractions, α −ψ-contractive type, α −ψ-Meir-Keeler contractive mapping, α-ratonal contractive mappings, (α, β) − (φ,ψ)-rational contractive type mappings. Objectives: Finding the unique fixed point for self mapping in S_b-MS, via (α,φ,F)-contraction. Methods: with the help of α- admisible mapping, (φ, F)-contraction, α type F -contraction and (α.φ,F)-contraction we have fixed point findings in complete S_b-metric spaces. Results: we obtained unique fixed point results via (α,φ,F) contractive type for self mapping in complete S_b-MS. Conclusions: In this article, Contractive mappings of the (α,φ,F) type are used to show certain fixedpoint results in the context of S_b-MS, along with appropriate example that illustrate the key findings. Appications to integral equations and homotopy are also offered.

The surjection property and computable type

We provide a detailed study of two properties of spaces and pairs of spaces, the surjection property and the ϵ-surjection property, that were recently introduced to characterize the notion of computable type arising from computability theory. For a class of spaces including the finite simplicial complexes, we develop techniques to prove or disprove these properties using homotopy and homology theories, and give applications of these results. In particular, we answer an open question on the computable type property, showing that it is not preserved by taking products. We also observe that computable type is decidable for finite simplicial complexes.

Homotopy Theoretic Properties Of Open Books

ABSTRACT We study the homotopy groups of open books in terms of those of their pages and bindings. Under homotopy theoretic conditions on the monodromy we prove an integral decomposition result for the based loop space on an open book, and under more relaxed conditions we prove a rational loop space decomposition. The latter case allows for a rational dichotomy theorem for open books, as an extension of the classical dichotomy in rational homotopy theory. As a direct application, we show that for Milnor’s open book decomposition of an odd sphere with monodromy of finite order the induced action of the monodromy on the homology groups of its page cannot be nilpotent.

Homotopy, symmetry, and non-Hermitian band topology

Non-Hermitian matrices are ubiquitous in the description of nature ranging from classical dissipative systems, including optical, electrical, and mechanical metamaterials, to scattering of waves and open quantum many-body systems. Seminal line-gap and point-gap classifications of non-Hermitian systems using K-theory have deepened the understanding of many physical phenomena. However, ample systems remain beyond this description; reference points and lines do not in general distinguish whether multiple non-Hermitian bands exhibit intriguing exceptional points, spectral braids and crossings. To address this we consider two different notions: non-Hermitian band gaps and separation gaps that crucially encompass a broad class of multi-band scenarios, enabling the description of generic band structures with symmetries. With these concepts, we provide a unified and comprehensive classification of both gapped and nodal systems in the presence of physically relevant parity-time ( PT ) and pseudo-Hermitian symmetries using homotopy theory. This uncovers new stable topology stemming from both eigenvalues and wave functions, and remarkably also implies distinct fragile topological phases. In particular, we reveal different Abelian and non-Abelian phases in PT -symmetric systems, described by frame and braid topology. The corresponding invariants are robust to symmetry-preserving perturbations that do not induce (exceptional) degeneracy, and they also predict the deformation rules of nodal phases. We further demonstrate that spontaneous PT symmetry breaking is captured by Chern–Euler and Chern–Stiefel–Whitney descriptions, a fingerprint of unprecedented non-Hermitian topology previously overlooked. These results open the door for theoretical and experimental exploration of a rich variety of novel topological phenomena in a wide range of physical platforms.

Binomial rings and homotopy theory

Binomial rings and homotopy theory

Parametrised Presentability Over Orbital Categories

In this paper, we develop the notion of presentability in the parametrised homotopy theory framework of Barwick et al. (Parametrized higher category theory and higher algebra: a general introduction, 2016) over orbital categories. We formulate and prove a characterisation of parametrised presentable categories in terms of its associated straightening. From this we deduce a parametrised adjoint functor theorem from the unparametrised version, prove various localisation results, and we record the interactions of the notion of presentability here with multiplicative matters. Such a theory is of interest for example in equivariant homotopy theory, and we will apply it in Hilman (Parametrised noncommutative motives and cubical descent in equivariant algebraic K-theory, 2022) to construct the category of parametrised noncommutative motives for equivariant algebraic K-theory.

Homotopy in Exact Categories

In this monograph we develop various aspects of the homotopy theory of exact categories. We introduce different notions of compactness and generation in exact categories, and use these to study model structures on categories of chain complexes C h ∗ ( E ) Ch_{*}(\mathcal {E}) which are induced by cotorsion pairs on E \mathcal {E} . As a special case we show that under very general conditions the categories C h + ( E ) Ch_{+}(\mathcal {E}) , C h ≥ 0 ( E ) Ch_{\ge 0}(\mathcal {E}) , and C h ( E ) Ch(\mathcal {E}) are equipped with the projective model structure, and that a generalisation of the Dold-Kan correspondence holds. We also establish conditions under which categories of filtered objects in exact categories are equipped with natural model structures. When E \mathcal {E} is monoidal we also examine when these model structures are monoidal and conclude by studying some homotopical algebra in such categories. In particular we provide conditions under which C h ( E ) Ch(\mathcal {E}) and C h ≥ 0 ( E ) Ch_{\ge 0}(\mathcal {E}) are homotopical algebra contexts, thus making them suitable settings for derived geometry.

Chromatic fixed point theory and the Balmer spectrum for extraspecial 2-groups

abstract: In the early 1940s, P. A. Smith showed that if a finite $p$-group $G$ acts on a finite dimensional complex $X$ that is mod $p$ acyclic, then its space of fixed points, $X^G$, will also be mod $p$ acyclic. In their recent study of the Balmer spectrum of equivariant stable homotopy theory, Balmer and Sanders were led to study a question that can be shown to be equivalent to the following: if a $G$-space $X$ is a equivariant homotopy retract of the $p$-localization of a based finite $G$-C.W. complex, given $H<G$ and $n$, what is the smallest $r$ such that if $X^H$ is acyclic in the $(n+r)$th Morava $K$-theory, then $X^G$ must be acyclic in the $n$th Morava $K$-theory? Barthel et.~al. then answered this when $G$ is abelian, by finding general lower and upper bounds for these ``blue shift'' numbers which agree in the abelian case. In our paper, we first prove that these potential chromatic versions of Smith's theorem are equivalent to chromatic versions of a 1952 theorem of E. E. Floyd, which replaces acyclicity by bounds on dimensions of mod $p$ homology, and thus applies to all finite dimensional $G$-spaces. This unlocks new techniques and applications in chromatic fixed point theory. Applied to the problem of understanding blue shift numbers, we are able to use classic constructions and representation theory to search for lower bounds. We give a simple new proof of the known lower bound theorem, and then get the first results about nonabelian 2-groups that do not follow from previously known results. In particular, we are able to determine all blue shift numbers for extraspecial 2-groups. Applied in ways analogous to Smith's original applications, we prove new fixed point theorems for $K(n)_*$-homology disks and spheres. Finally, our methods offer a new way of using equivariant results to show the collapsing of certain Atiyah-Hirzebruch spectral sequences in certain cases. Our criterion appears to apply to the calculation of all 2-primary Morava $K$-theories of all real Grassmanians.

KK- and E-theory via homotopy theory

KK- and E-theory via homotopy theory

Low-energy Earth–Moon transfers via Theory of Functional Connections and homotopy

Numerous missions leverage the weak stability boundary in the Earth–Moon–Sun system to achieve a safe and cost-effective access to the lunar environment. These transfers are envisaged to play a significant role in upcoming missions. This paper proposes a novel method to design low-energy transfers by combining the recent Theory of Functional Connections with a homotopic continuation approach. Planar patched transfer legs within the Earth–Moon and Sun–Earth systems are continued into higher-fidelity models. Eventually, the full Earth–Moon transfer is adjusted to conform to the dynamics of the planar Earth–Moon Sun-perturbed, bi-circular restricted four-body problem. The novelty lies in the avoidance of any propagation during the continuation process and final convergence. This formulation is beneficial when an extensive grid search is performed, automatically generating over 2000 low-energy transfers. Subsequently, these are optimized through a standard direct transcription and multiple shooting algorithm. This work illustrates that two-impulse low-energy transfers modeled in chaotic dynamic environments can be effectively formulated in Theory of Functional Connections, hence simplifying their overall design process. Moreover, its synergy with a homotopic continuation approach is demonstrated.

Motivic homotopy theory of algebraic stacks

Motivic homotopy theory of algebraic stacks