Twisted arrow $\infty$-categories of $(\infty ,1)$-categories were introduced by Lurie, and they have various applications in higher category theory. Abellán García and Stern gave a generalization to twisted arrow $\infty$-categories of $(\infty ,2)$-categories. In this paper, we introduce another simple model for twisted arrow $\infty$-categories of $(\infty ,2)$-categories.

We introduce a notion of stratification for rigidly-compactly generated tensor-triangulated categories relative to the homological spectrum and develop the fundamental features of this theory. In particular, we demonstrate that it exhibits excellent descent properties. In conjunction with Balmer’s Nerves of Steel conjecture, we conclude that classical stratification also admits a general form of descent. This gives a uniform treatment of several recent stratification results and provides a complete answer to the question: When does stratification descend? As a new application, we extend earlier work on the tensor triangular geometry of equivariant module spectra from finite groups to compact Lie groups.

The purpose of this work is to develop a version of Forman’s discrete Morse theory for simplicial complexes, based on internal strong collapses. Classical discrete Morse theory can be viewed as a generalization of Whitehead’s collapses, where each Morse function on a simplicial complex $K$ defines a sequence of elementary internal collapses. This reduction guarantees the existence of a CW-complex that is homotopy equivalent to $K$, with cells corresponding to the critical simplices of the Morse function. However, this approach lacks an explicit combinatorial description of the attaching maps, which limits the reconstruction of the homotopy type of $K$. By restricting discrete Morse functions to those induced by total orders on the vertices, we develop a strong discrete Morse theory, generalizing the strong collapses introduced by Barmak and Minian. We show that, in this setting, the resulting reduced CW-complex is regular, enabling us to recover its homotopy type combinatorially. We also provide an algorithm to compute this reduction and apply it to obtain efficient structures for complexes in the library of triangulations by Benedetti and Lutz.

We establish a Quillen equivalence between the Kan–Quillen model structure and a model structure, derived from a cubical model of homotopy type theory (HoTT), on the category of Cartesian cubical sets with one connection. We thereby identify a second model structure which both constructively models HoTT and presents $\infty $-groupoids, the first example being the equivariant Cartesian model of Awodey–Cavallo–Coquand–Riehl–Sattler.

The preferential attachment model is a natural and popular random graph model for a growing network that contains very well-connected ‘hubs’. We study the higher-order connectivity of such a network by investigating the topological properties of its clique complex. We concentrate on the Betti numbers, a sequence of topological invariants of the complex related to the numbers of holes (equivalently, repeated connections) of different dimensions. We prove that the expected Betti numbers grow sublinearly fast, with the trivial exceptions of those at dimensions 0 and 1. Our result also shows that preferential attachment graphs undergo infinitely many phase transitions within the parameter regime where the limiting degree distribution has an infinite variance. Regarding higher-order connectivity, our result shows that preferential attachment favors higher-order connectivity. We illustrate our theoretical results with simulations.

We investigate the existence of 4-torsion in the integral cohomology of oriented Grassmannians. We establish bounds on the characteristic rank of oriented Grassmannians and prove some cases of our previous conjecture on the characteristic rank. We also discuss the relation between the characteristic rank and a result of Stong on the height of w1 in the cohomology of Grassmannians. The existence of 4-torsion classes follows from the results on the characteristic rank via Steenrod square considerations. We thus exhibit infinitely many examples of 4-torsion classes for oriented Grassmannians. We also prove bounds on torsion exponents of oriented flag manifolds. The article also discusses consequences of our results for a more general perspective on the relation between the torsion exponent and deficiency for homogeneous spaces.

We construct a functor associating a cubical set to a (simple) graph. We show that cubical sets arising in this way are Kan complexes, and that the A-groups of a graph coincide with the homotopy groups of the associated Kan complex. We use this to prove a conjecture of Babson, Barcelo, de Longueville, and Laubenbacher from 2006, and a strong version of the Hurewicz theorem in discrete homotopy theory.

We define duality triples and duality pairs in compactly generated triangulated categories and investigate their properties. This enables us to give an elementary way to determine whether a class is closed under pure subobjects, pure quotients and pure extensions, as well as providing a way to show the existence of approximations. One key ingredient is a new characterization of phantom maps. We then introduce an axiomatic form of Auslander–Gruson–Jensen duality, from which we define dual definable categories, and show that these coincide with symmetric coproduct closed duality pairs. This framework is ubiquitous, encompassing both algebraic triangulated categories and stable homotopy theories. Accordingly, we provide many applications in both settings, with a particular emphasis on silting theory and stratified tensor-triangulated categories.

We prove that the classical map comparing Adams’ cobar construction on the singular chains of a pointed space and the singular cubical chains on its based loop space is a quasi-isomorphism preserving explicitly defined monoidal $E_\infty $-coalgebra structures. This contribution extends to its ultimate conclusion a result of Baues, stating that Adams’ map preserves monoidal coalgebra structures.

We present extensions of the colorful Helly theorem for d-collapsible and d-Leray complexes, providing a common generalization to the matroidal versions of the theorem due to Kalai and Meshulam, the ‘very colorful’ Helly theorem introduced by Arocha, Bárány, Bracho, Fabila and Montejano and the ‘semi-intersecting’ colorful Helly theorem proved by Montejano and Karasev.

As an application, we obtain the following extension of Tverberg’s theorem: Let A be a finite set of points in ${\mathbb R}^d$ with $|A|>(r-1)(d+1)$. Then, there exist a partition $A_1,\ldots ,A_r$ of A and a subset $B\subset A$ of size $(r-1)(d+1)$ such that $\cap _{i=1}^r \operatorname {\mathrm {\text {conv}}}( (B\cup \{p\})\cap A_i)\neq \emptyset $ for all $p\in A\setminus B$. That is, we obtain a partition of A into r parts that remains a Tverberg partition even after removing all but one arbitrary point from $A\setminus B$.

Given a graph G without loops, the pseudograph associahedron PG is a smooth polytope, so there is a projective smooth toric variety XG corresponding to PG. Taking the real locus of XG, we have the projective smooth real toric variety $X^{\mathbb{R}}_G$. The integral cohomology groups of $X^{\mathbb{R}}_G$ can be computed by studying the topology of certain posets of even subgraphs of G; such a poset is neither pure nor shellable in general. We completely characterize the graphs whose posets of even subgraphs are always shellable. It follows that we get a family of projective smooth real toric varieties whose integral cohomology groups are torsion-free or have only 2-torsion.

We recall several categories of graphs which are useful for describing homotopy-coherent versions of generalised operads (e.g. cyclic operads, modular operads, properads, and so on), and give new, uniform definitions for their morphisms. This allows for straightforward comparisons, and we use this to show that certain free-forgetful adjunctions between categories of generalised operads can be realised at the level of presheaves. This includes adjunctions between operads and cyclic operads, between dioperads and augmented cyclic operads, and between wheeled properads and modular operads.

We introduce a homotopy-theoretic interpretation of intuitionistic first-order logic based on ideas from Homotopy Type Theory. We provide a categorical formulation of this interpretation using the framework of Grothendieck fibrations. We then use this formulation to prove the central property of this interpretation, namely homotopy invariance. To do this, we use the result from [8] that any Grothendieck fibration of the kind being considered can automatically be upgraded to a two-dimensional fibration, after which the invariance property is reduced to an abstract theorem concerning pseudonatural transformations of morphisms into two-dimensional fibrations.

Let $R$ be a strongly $\mathbb {Z}^2$-graded ring, and let $C$ be a bounded chain complex of finitely generated free $R$-modules. The complex $C$ is $R_{(0,0)}$-finitely dominated, or of type $FP$ over $R_{(0,0)}$, if it is chain homotopy equivalent to a bounded complex of finitely generated projective $R_{(0,0)}$-modules. We show that this happens if and only if $C$ becomes acyclic after taking tensor product with a certain eight rings of formal power series,  the graded analogues of classical Novikov rings. This extends results of Ranicki,  Quinn and the first author on Laurent polynomial rings in one and two indeterminates.

In this work, we explore the dynamical implications of a spectral sequence analysis of a filtered chain complex associated to a non-singular Morse–Smale (NMS) flow $\varphi $ on a closed orientable $3$-manifold $M^3$ with no heteroclinic trajectories connecting saddle periodic orbits. We introduce the novel concepts of cancellations and reductions of pairs of periodic orbits based on Franks’ morsification and Smale’s cancellation theorems. The main goal is to establish an algebraic-dynamical correspondence between the unfolding of this spectral sequence associated to $\varphi $ and a family of flows obtained by cancelling and reducing pairs of periodic orbits of $\varphi $ on $M^3$. This correspondence is achieved through a spectral sequence sweeping algorithm (SSSA), which determines the order in which these cancellations and reductions of periodic orbits occur, producing a family of NMS flows that reaches a core flow when the spectral sequence converges.

A simple polytope P is called B-rigid if its combinatorial type is determined by the cohomology ring of the moment-angle manifold $\mathcal {Z}_P$ over P. We show that any tensor product decomposition of this cohomology ring is geometrically realized by a product decomposition of the moment-angle manifold up to equivariant diffeomorphism. As an application, we find that B-rigid polytopes are closed under products, generalizing some recent results in the toric topology literature. Algebraically, our proof establishes that the Koszul homology of a Gorenstein Stanley–Reisner ring admits a nontrivial tensor product decomposition if and only if the underlying simplicial complex decomposes as a join of full subcomplexes.

We introduce $\varepsilon $-approximate versions of the notion of a Euclidean vector bundle for $\varepsilon \geq 0$, which recover the classical notion of a Euclidean vector bundle when $\varepsilon = 0$. In particular, we study Čech cochains with coefficients in the orthogonal group that satisfy an approximate cocycle condition. We show that $\varepsilon $-approximate vector bundles can be used to represent classical vector bundles when $\varepsilon> 0$ is sufficiently small. We also introduce distances between approximate vector bundles and use them to prove that sufficiently similar approximate vector bundles represent the same classical vector bundle. This gives a way of specifying vector bundles over finite simplicial complexes using a finite amount of data and also allows for some tolerance to noise when working with vector bundles in an applied setting. As an example, we prove a reconstruction theorem for vector bundles from finite samples. We give algorithms for the effective computation of low-dimensional characteristic classes of vector bundles directly from discrete and approximate representations and illustrate the usage of these algorithms with computational examples.

We introduce a Morse theory for posets of Bestvina–Brady type combining matchings and height functions. This theory generalizes Forman's discrete Morse theory for regular CW-complexes and extends previous results on Morse theory for $h$-regular posets to all finite posets. We also develop a relative version of Morse theory which allows us to compare the topology of a poset with that of a given subposet.

We study the geometric and topological features of U-statistics of order k when the k-tuples satisfying geometric and topological constraints do not occur frequently. Using appropriate scaling, we establish the convergence of U-statistics in vague topology, while the structure of a non-degenerate limit measure is also revealed. Our general result shows various limit theorems for geometric and topological statistics, including persistent Betti numbers of Čech complexes, the volume of simplices, a functional of the Morse critical points, and values of the min-type distance function. The required vague convergence can be obtained as a result of the limit theorem for point processes induced by U-statistics. The latter convergence particularly occurs in the $\mathcal M_0$-topology.

We develop a theory of minimal models for algebras over a Koszul operad with trivial differential defined over a commutative ring (containing $\mathbb {Q}$ in the symmetric case), not necessarily a field, extending and supplementing the work of Sagave for the associative case. Our minimal models are bigraded and contain a projective resolution of the homology.