We study the topological structure of the space $\mathcal{X}$ of isomorphism classes of metric measure spaces equipped with the box or concentration topologies. We consider the scale-change action of the multiplicative group ${\mathbb{R}}_+$ of positive real numbers on $\mathcal{X}$, which has a one-point metric measure space, say $*$, as only one fixed-point. We prove that the ${\mathbb{R}}_+$-action on $\mathcal{X}_* := \mathcal{X} \setminus \{*\}$ admits the structure of non-trivial and locally trivial principal ${\mathbb{R}}_+$-bundle over the quotient space. Our bundle ${\mathbb{R}}_+ \to \mathcal{X}_* \to \mathcal{X}_*/{\mathbb{R}}_+$ is a curious example of a non-trivial principal fibre bundle with contractible fibre. A similar statement is obtained for the pyramidal compactification of $\mathcal{X}$, where we completely determine the structure of the fixed-point set of the ${\mathbb{R}}_+$-action on the compactification.

We recover Reidemeister’s theorem using $\mathcal {C}^{\infty }$ functions and transversality.

Let $\eta $ be [-11pc] [-7pc]a closed real 1-form on a closed Riemannian n-manifold $(M,g)$. Let $d_z$, $\delta _z$ and $\Delta _z$ be the induced Witten’s type perturbations of the de Rham derivative and coderivative and the Laplacian, parametrized by $z=\mu +i\nu \in \mathbb C$ ($\mu ,\nu \in \mathbb {R}$, $i=\sqrt {-1}$). Let $\zeta (s,z)$ be the zeta function of $s\in \mathbb {C}$, defined as the meromorphic extension of the function $\zeta (s,z)=\operatorname {Str}({\eta \wedge }\,\delta _z\Delta _z^{-s})$ for $\Re s\gg 0$. We prove that $\zeta (s,z)$ is smooth at $s=1$ and establish a formula for $\zeta (1,z)$ in terms of the associated heat semigroup. For a class of Morse forms, $\zeta (1,z)$ converges to some $\mathbf {z}\in \mathbb {R}$ as $\mu \to +\infty $, uniformly on $\nu $. We describe $\mathbf {z}$ in terms of the instantons of an auxiliary Smale gradient-like vector field X and the Mathai–Quillen current on $TM$ defined by g. Any real 1-cohomology class has a representative $\eta $ satisfying the hypothesis. If n is even, we can prescribe any real value for $\mathbf {z}$ by perturbing g, $\eta $ and X and achieve the same limit as $\mu \to -\infty $. This is used to define and describe certain tempered distributions induced by g and $\eta $. These distributions appear in another publication as contributions from the preserved leaves in a trace formula for simple foliated flows, giving a solution to a problem stated by C. Deninger.

When restricted to alternating links, both Heegaard Floer and Khovanov homology concentrate along a single diagonal $\delta$-grading. This leads to the broader class of thin links that one would like to characterize without reference to the invariant in question. We provide a relative version of thinness for tangles and use this to characterize thinness via tangle decompositions along Conway spheres. These results bear a strong resemblance to the L-space gluing theorem for three-manifolds with torus boundary. Our results are based on certain immersed curve invariants for Conway tangles, namely the Heegaard Floer invariant $\operatorname {HFT}$ and the Khovanov invariant $\widetilde {\operatorname {Kh}}$ that were developed by the authors in previous works.

In this paper we determine the homotopy types of the reduced suspension space of certain connected orientable closed smooth $five$-manifolds. As applications, we compute the reduced $K$-groups of $M$ and show that the suspension map between the third cohomotopy set $\pi ^3(M)$ and the fourth cohomotopy set $\pi ^4(\Sigma M)$ is a bijection.

We develop two methods for expressing the global index of the gradient of a 2 variable polynomial function $f$: in terms of the atypical fibres of $f$, and in terms of the clusters of Milnor arcs at infinity. These allow us to derive upper bounds for the global index, in particular refining the one that was found by Durfee in terms of the degree of $f$.

We show that if an open set in $\mathbb{R}^d$ can be fibered by unit n-spheres, then $d \geq 2n+1$, and if $d = 2n+1$, then the spheres must be pairwise linked, and $n \in \left\{0, 1, 3, 7 \right\}$. For these values of n, we construct unit n-sphere fibrations in $\mathbb{R}^{2n+1}$.

In this note, we give an alternate proof of the Farrell–Jones isomorphism conjecture for the affine Artin groups of type $\widetilde B_n$.

We introduce Chern classes in $U(m)$-equivariant homotopical bordism that refine the Conner–Floyd–Chern classes in the $\mathbf {MU}$-cohomology of $B U(m)$. For products of unitary groups, our Chern classes form regular sequences that generate the augmentation ideal of the equivariant bordism rings. Consequently, the Greenlees–May local homology spectral sequence collapses for products of unitary groups. We use the Chern classes to reprove the $\mathbf {MU}$-completion theorem of Greenlees–May and La Vecchia.

Let $X$, $Y$ be nonsingular real algebraic sets. A map $\varphi \colon X \to Y$ is said to be $k$-regulous, where $k$ is a nonnegative integer, if it is of class $\mathcal {C}^k$ and the restriction of $\varphi$ to some Zariski open dense subset of $X$ is a regular map. Assuming that $Y$ is uniformly rational, and $k \geq 1$, we prove that a $\mathcal {C}^{\infty }$ map $f \colon X \to Y$ can be approximated by $k$-regulous maps in the $\mathcal {C}^k$ topology if and only if $f$ is homotopic to a $k$-regulous map. The class of uniformly rational real algebraic varieties includes spheres, Grassmannians and rational nonsingular surfaces, and is stable under blowing up nonsingular centers. Furthermore, taking $Y=\mathbb {S}^p$ (the unit $p$-dimensional sphere), we obtain several new results on approximation of $\mathcal {C}^{\infty }$ maps from $X$ into $\mathbb {S}^p$ by $k$-regulous maps in the $\mathcal {C}^k$ topology, for $k \geq 0$.

A crucial ingredient in the theory of theta liftings of Kudla and Millson is the construction of a $q$-form $\varphi_{KM}$ on an orthogonal symmetric space, using Howe's differential operators. This form can be seen as a Thom form of a real oriented vector bundle. We show that the Kudla-Millson form can be recovered from a canonical construction of Mathai and Quillen. A similar result was obtaind by Garcia for signature $(2,q)$ in case the symmetric space is hermitian and we extend it to arbitrary signature.

We prove a contact non-squeezing phenomenon on homotopy spheres that are fillable by Liouville domains with large symplectic homology: there exists a smoothly embedded ball in such a sphere that cannot be made arbitrarily small by a contact isotopy. These homotopy spheres include examples that are diffeomorphic to standard spheres and whose contact structures are homotopic to standard contact structures. As the main tool, we construct a new version of symplectic homology, called selective symplectic homology, that is associated to a Liouville domain and an open subset of its boundary. The selective symplectic homology is obtained as the direct limit of Floer homology groups for Hamiltonians whose slopes tend to $+\infty$ on the open subset but remain close to $0$ and positive on the rest of the boundary.

We classify fibrations of abstract $3$-regular GKM graphs over $2$-regular ones, and show that all fibrations satisfying the known necessary conditions for realizability are, in fact, realized as the projectivization of equivariant complex rank-$2$ vector bundles over quasitoric $4$-manifolds or $S^4$. We investigate the existence of invariant (stable) almost complex, symplectic, and Kähler structures on the total space. In this way, we obtain infinitely many Kähler manifolds with Hamiltonian non-Kähler actions in dimension $6$ with prescribed one-skeleton, in particular with a prescribed number of isolated fixed points.

We show that all large enough positive integral surgeries on algebraic knots bound a 4-manifold with a negative definite plumbing tree, which we describe explicitly. Then we apply the lattice embedding obstruction coming from Donaldson’s Theorem to classify the ones of the form $S^3_n(T(p_1,k_1p_1+1; p_2, k_2p_2\pm 1))$ that also bound rational homology 4-balls.

We show that any embedding $\mathbb {R}^d \to \mathbb {R}^{2d+2^{\gamma (d)}-1}$ inscribes a trapezoid or maps three points to a line, where $2^{\gamma (d)}$ is the smallest power of $2$ satisfying $2^{\gamma (d)} \geq \rho (d)$, and $\rho (d)$ denotes the Hurwitz–Radon function. The proof is elementary and includes a novel application of nonsingular bilinear maps. As an application, we recover recent results on the nonexistence of affinely $3$-regular maps, for infinitely many dimensions $d$, without resorting to sophisticated algebraic techniques.

In this paper we study the $\mathbb {C}^*$-fixed points in moduli spaces of Higgs bundles over a compact Riemann surface for a complex semisimple Lie group and its real forms. These fixed points are called Hodge bundles and correspond to complex variations of Hodge structure. We introduce a topological invariant for Hodge bundles that generalizes the Toledo invariant appearing for Hermitian Lie groups. An important result of this paper is a bound on this invariant which generalizes the Milnor–Wood inequality for a Hodge bundle in the Hermitian case, and is analogous to the Arakelov inequalities of classical variations of Hodge structure. When the generalized Toledo invariant is maximal, we establish rigidity results for the associated variations of Hodge structure which generalize known rigidity results for maximal Higgs bundles and their associated maximal representations in the Hermitian case.

In this paper, we generalize the original idea of Thurston for the so-called Mather-Thurston’s theorem for foliated bundles to prove new variants of this theorem for PL homeomorphisms and contactormorphisms. These versions answer questions posed by Gelfand-Fuks ([GF73, Section 5]) and Greenberg ([Gre92]) on PL foliations and Rybicki ([Ryb10, Section 11]) on contactomorphisms. The interesting point about the original Thurston’s technique compared to the better-known Segal-McDuff’s proof of the Mather-Thurston theorem is that it gives a compactly supported c-principle theorem without knowing the relevant local statement on open balls. In the appendix, we show that Thurston’s fragmentation implies the non-abelian Poincare duality theorem and its generalization using blob complexes ([MW12, Theorem 7.3.1]).

To the memory of John Mather.

We introduce a contact invariant in the bordered sutured Heegaard Floer homology of a three-manifold with boundary. The input for the invariant is a contact manifold $(M, \xi , \mathcal {F})$ whose convex boundary is equipped with a signed singular foliation $\mathcal {F}$ closely related to the characteristic foliation. Such a manifold admits a family of foliated open book decompositions classified by a Giroux correspondence, as described in [LV20]. We use a special class of foliated open books to construct admissible bordered sutured Heegaard diagrams and identify well-defined classes $c_D$ and $c_A$ in the corresponding bordered sutured modules.

Foliated open books exhibit user-friendly gluing behavior, and we show that the pairing on invariants induced by gluing compatible foliated open books recovers the Heegaard Floer contact invariant for closed contact manifolds. We also consider a natural map associated to forgetting the foliation $\mathcal {F}$ in favor of the dividing set and show that it maps the bordered sutured invariant to the contact invariant of a sutured manifold defined by Honda–Kazez–Matić.

We show that every orbispace satisfying certain mild hypotheses has ‘enough’ vector bundles. It follows that the $K$-theory of finite rank vector bundles on such orbispaces is a cohomology theory. Global presentation results for smooth orbifolds and derived smooth orbifolds also follow.

For every $k \geq 2$ and $n \geq 2$, we construct n pairwise homotopically inequivalent simply connected, closed $4k$-dimensional manifolds, all of which are stably diffeomorphic to one another. Each of these manifolds has hyperbolic intersection form and is stably parallelisable. In dimension four, we exhibit an analogous phenomenon for spin$^{c}$ structures on $S^2 \times S^2$. For $m\geq 1$, we also provide similar $(4m-1)$-connected $8m$-dimensional examples, where the number of homotopy types in a stable diffeomorphism class is related to the order of the image of the stable J-homomorphism $\pi _{4m-1}(SO) \to \pi ^s_{4m-1}$.