Related papers: \psi^3 as an upper triangular matrix
We identify the cohomology of the stable classifying space of homotopy automorphisms (relative to an embedded disk) of connected sums of $S^k \times S^l$, where $3 \le k < l \le 2k - 2$. The result is expressed in terms of Lie graph complex…
We give a homotopy classification of the global defects in ordered media, and explain it via the example of biaxial nematic liquid crystals, i.e., systems where the order parameter space is the quotient of the $3$-sphere $S^3$ by the…
We give a relatively self-contained proof that if a group $G$ fibres algebraically and is part of a $\mathrm{PD}^3$-pair, then $G$ is the fundamental group of a fibred compact aspherical 3-manifold. This yields a homological proof of a…
Given a homotopy Lie algebra (i.e. an $L_\infty$-algebra) $\mathfrak{g}$, we show concretely how the Lada-Markl $\mathfrak{g}$-modules (i.e. representations) assemble into a symmetric monoidal dg-category. Considering the homotopy…
Bounded-type 3-manifolds arise as combinatorially bounded gluings of irreducible 3-manifolds chosen from a finite list. We prove effective hyperbolization and effective rigidity for a broad class of 3-manifolds of bounded type and large…
This monograph starts with an upper triangular matrix with integer entries and 1's on the diagonal. It develops from this a spectrum of structures, which appear in different contexts, in algebraic geometry, representation theory and the…
The so-called class-invariant homomorphism $\psi$ measures the Galois module structure of torsors--under a finite flat group scheme $G$--which lie in the image of a coboundary map associated to an isogeny between (N\'eron models of) abelian…
It is, by now, classical that lattices in higher rank semisimple groups have various rigidity properties. In this work, we add another such rigidity property to the list: uniform stability with respect to the family of unitary operators on…
We show that the isomorphism problem is solvable in the class of central extensions of word-hyperbolic groups, and that the isomorphism problem for biautomatic groups reduces to that for biautomatic groups with finite centre. We describe an…
For a fixed closed manifold $P$, we construct a cobordism category of embedded manifolds with a single Baas-Sullivan singularity of type $P$. Our main theorem identifies the homotopy type of the classifying space of this cobordism category…
We use our new type of bounded locally homeomorphic quasiregular mappings in the unit 3-ball to address long standing problems for such mappings. The construction of such mappings comes from our construction of non-trivial compact…
We consider an exactly solvable model for topological phases in (3+1)d whose input data is a strict 2-group. This model, which has a higher gauge theory interpretation, provides a lattice Hamiltonian realisation of the Yetter homotopy…
We classify all groups which can occur as the topological symmetry group of some embedding of the Heawood graph in $S^3$.
We prove an analogue of the Madsen-Weiss theorem for high dimensional manifolds. For example, we explicitly describe the ring of characteristic classes of smooth fibre bundles whose fibres are connected sums of g copies of S^n x S^n, in the…
For any finite group G, we show that the 2-local G-equivariant stable homotopy category, indexed on a complete G-universe, has a unique equivariant model in the sense of Quillen model categories. This means that the suspension functor,…
We consider a higher gauge topological model in three spatial dimensions whose input datum is a 2-group encoding the mixing of a 0-form $\mathbb Z_2$- and 1-form $\mathbb Z_3$-symmetry. We study the excitation content of the theory on the…
Associated to any manifold equipped with a closed form of degree >1 is an `L-infinity algebra of observables' which acts as a higher/homotopy analog of the Poisson algebra of functions on a symplectic manifold. In order to study Lie group…
We prove level raising results for $p$-adic automorphic forms on definite unitary groups $U(3)/\mathbb{Q}$ and deduce some intersection points on the eigenvariety. Let $l$ be an inert prime where the level subgroups varies, if there is a…
Let $\Gamma$ = SL 3 (Z[ 1 2 , i]), let X be any mod-2 acyclic $\Gamma$-CW complex on which $\Gamma$ acts with finite stabilizers and let Xs be the 2-singular locus of X. We calculate the mod-2 cohomology of the Borel constructon of Xs with…
The cohomology of the configuration space of n points in R^3 admits a symmetric group action and has been shown to be isomorphic to the regular representation. One way to prove this is by defining an S^1-action whose fixed point set is the…