SearcharxivSearch

arXiv subjects

Thorsten Hertl

Publications and source records attributed to Thorsten Hertl.

6 recordsLinked to original sources

Homotopical Robustness of Isometries on the Cayley Plane

We compute the effect of the inclusion $\mathrm{F}_4 \rightarrow \mathrm{hAut}(\mathbb{O}P^2)$ on rational homotopy groups by determining the rational homotopy class of the isometry action $\mathrm{F}_4 \times \mathbb{O}P^2 \rightarrow \mathbb{O}P^2$ in terms of a homomorphism between the minimal models of source and target. Although special emphasis is put on the Cayley plane, our results generalise to all simply connected rank $1$-symmetric spaces.

math.AT

Fibrewise Orbifold Resolutions with Applications to $\mathrm{G}_2$-Moduli Spaces

By resolving the singularities of tailor-made orbifolds via twisted families of blow-ups, we construct manifold bundles $M \rightarrow E \rightarrow S^2$. Using tools from real homotopy theory, we show that these bundles determine a free subgroup in $\pi_2(B\mathrm{hAut}(M)_0)$. The proof relies on a generalisation of Sullivan's result, which describes the real homotopy groups of the monoid of homotopy automorphisms $\mathrm{hAut}(X)$ in terms of derivations of the minimal model of $X$, to the monoid $\mathrm{hAut}_A(X)$ of relative homotopy automorphisms. As an application, we prove that the moduli space of torsion-free $\mathrm{G}_2$-structures arising from many generalised Kummer constructions contains a free subgroup of positive rank in its second homotopy group.

math.AT

Path components of $\mathrm{G}_2$-moduli spaces may be non-aspherical

Starting from Joyce's generalised Kummer construction, we exhibit non-trivial families of $\mathrm{G}_2$-manifolds over the two dimensional sphere by resolving singularities with a twisted family of Eguchi-Hanson spaces. We establish that the comparison map $\mathcal{G}_2^{\mathrm{tf}}(M) /\!\!/ \mathrm{Diff}(M)_0 \rightarrow \mathcal{G}_2^{\mathrm{tf}}(M) / \mathrm{Diff}(M)_0$ is a fibration over each path components with Eilenberg Mac Lane spaces as fibres, which allows us to show that these families remain non-trivial in $\mathcal{G}_2^{\mathrm{tf}}(M) / \mathrm{Diff}(M)_0$. In addition, we construct a new invariant based on characteristic classes that allows us to show that different resolutions give rise to different elements in the moduli space.

math.GT

Moduli Spaces of Positive Curvature Metrics in Dimension Four and Beyond

We construct non-trivial elements in the homotopy groups of the observer moduli space of positive sectional curvature metrics on $\mathbb{C}P^n$ and non-trivial elements in the homotopy groups of the observer moduli space of positive scalar curvature metrics on $\mathbb{C}P^2 \sharp M^4$.

math.DG

Concordances in Positive Scalar Curvature and Index Theory

We apply the strategy to study of diffeomorphisms via block diffeomorphisms to the world of positive scalar curvature (psc) metrics. For each closed psc manifold $M$, we construct the cubical set $\widetilde{\mathcal{R}^{+}_{\bullet}}(M)$ of all psc block metrics, which only encodes concordance information of psc metrics within its homotopy type. We show that $\widetilde{\mathcal{R}^{+}_{\bullet}}(M)$ is a cubical Kan set, give a geometric description for the group structure of the combinatorial homotopy groups, and construct a comparison map from the cubical model $\mathcal{R}^+_{\bullet}(M)$ of the space of psc metrics on $M$ to $\widetilde{\mathcal{R}^{+}_{\bullet}}(M)$. Next, we build a concordance-themed model for real $K$-theory based on the notion of invertible block Dirac operators and use it to factor the index difference through $\widetilde{\mathcal{R}^{+}_{\bullet}}(M)$. In the final part of this thesis, we construct the psc Hatcher spectral sequence, which is a non-index-theoretic tool to get information about the difference of $\mathcal{R}^+_{\bullet}(M)$ and $\widetilde{\mathcal{R}^{+}_{\bullet}}(M)$.

math.GT

Line Bundle Twists for Unitary Bordism are Ghosts

We prove that the canonical twist $\zeta \colon K(\mathbb{Z},3) \rightarrow BGL_1(MSpin^c)$ does not extend to a twist for unitary bordism by showing that every continuous map $f \colon K(\mathbb{Z},3) \rightarrow BGL_1(MU)$ loops to a null homotopic map.

math.AT