Related papers: \psi^3 as an upper triangular matrix

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…

For a given category C and a topological space X, the constant stack on X with stalk C is the stack of locally constant sheaves with values in C. Its global objects are classified by their monodromy, a functor from the Poincare groupoid of…

We classify all groups which can occur as the orientation preserving topological symmetry group of some embedding of a M\"{o}bius ladder graph in $S^3$.

The homology groups of the automorphism group of a free group are known to stabilize as the number of generators of the free group goes to infinity, and this paper relativizes this result to a family of groups that can be defined in terms…

We compute the mod 2 homology of spin mapping class groups in the stable range. In earlier work we computed the stable mod p homology of the oriented mapping class group, and the methods and results here are very similar. The forgetful map…

The Adams operators on a Hopf algebra $H$ are the convolution powers of the identity map of $H$. They are also called Hopf powers or Sweedler powers. It is a natural family of operators on $H$ that contains the antipode. We study the linear…

In the first part of this paper we present a formalization in Agda of the James construction in homotopy type theory. We include several fragments of code to show what the Agda code looks like, and we explain several techniques that we used…

We establish a foundational homotopical framework for ternary $\Gamma$-modules by establishing that $\mathcal{T}\text{-Mod}$ is a Barr-exact, monoidal closed category. We resolve the long-standing "additivity obstruction" in non-binary…

The paper containes a proof that the mapping class group of the manifold $S^3\times S^3$ is isomorphic to a central extension of the (full) Jacobi group $\Gamma^J$ by the group of 7-dimensional homotopy spheres. Using a presentation of the…

In a non-compact setting, the notion of hyperbolicity, and the associated structure of stable and unstable manifolds (for unbounded orbits), is highly dependent on the choice of metric used to define it. We consider the simplest version of…

We consider exactly solvable models in (3+1)d whose ground states are described by topological lattice gauge theories. Using simplicial arguments, we emphasize how the consistency condition of the unitary map performing a local change of…

We show that the group generated by by triangular and diagonal conjugations is dense in $\aut(\Omega_2)$ (in the local-uniform topology). Moreover, it is shown that any automorphism of $\Omega_2$ is a local holomorphic conjugation.

We study the topological structure of the symmetry group of the standard model, $G_{SM}=U(1)\times SU(2)\times SU(3)$. Locally, $G_{SM}\cong S^1\times (S^3)^2\times S^5$. For SU(3), which is an $S^3$ bundle over $S^5$ (and therefore a local…

We study the homotopy type of the harmonic compactification of the moduli space of a 2-cobordism S with one outgoing boundary component, or equivalently of the space of Sullivan diagrams of type S on one circle. Our results are of two…

In this paper, we calculate the 2-local unstable homotopy groups of indecomposable $\mathbf{A}_3^2$-complexes. The main technique used is analysing the homotopy property of $J(X,A)$, defined by B. Gray for a CW-pair $(X,A)$, which is…

The space AH(M) of marked hyperbolic 3-manifold homotopy equivalent to a compact 3-manifold with boundary M sits inside the PSL_2(C)-character variety X(M) of \pi_1(M). We study the dynamics of the action of Out(\pi_1(M)) on both AH(M) and…

We prove that the deformation space $AH(M)$ of marked hyperbolic 3-manifolds homotopy equivalent to a fixed compact 3-manifold $M$ with incompressible boundary is locally connected at quasiconformally rigid points.

Genus $g$ Torelli space is the moduli space of genus $g$ curves of compact type equipped with a homology framing. The hyperelliptic locus is a closed analytic subvariety consisting of finitely many mutually isomorphic components. We use…

For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological…

We establish a 3-manifold invariant for each finite-dimensional, involutory Hopf algebra. If the Hopf algebra is the group algebra of a group $G$, the invariant counts homomorphisms from the fundamental group of the manifold to $G$. The…