Related papers: A dg Lie model for relative homotopy automorphisms
A classification up to automorphism of the inner ideals of the real finite-dimensional simple Lie algebras is given, jointly with precise descriptions in the case of the exceptional Lie algebras.
We show that there is an equivalence of $\infty$-categories between Lie algebroids and certain kinds of curved Lie algebras. For this we develop a method to study the $\infty$-category of curved Lie algebras using the homotopy theory of…
Parameterized stable homotopy theory organizes local systems of spectra over homotopy types, governed by a "yoga" of six functors. To provide semantics for the recently developed Linear Homotopy Type Theory (LHoTT), good model categories of…
Let $G$ be a real linear algebraic group and $L$ a finitely generated cosimplicial group. We prove that the space of homomorphisms $Hom(L_n,G)$ has a homotopy stable decomposition for each $n\geq 1$. When $G$ is a compact Lie group, we show…
A detailed proof is given of a theorem describing the centraliser of a transitive permutation group, with applications to automorphism groups of objects in various categories of maps, hypermaps, dessins, polytopes and covering spaces, where…
We derive a formula connecting the orders of the automorphism groups of a finite group and of its covering groups.
This is a survey paper on spaces of automorphisms of manifolds and spaces of manifolds in a fixed homotopy type. It describes the main theorems of traditional surgery theory, but also the main theorems of pseudoisotopy theory, alias…
We consider a problem on the conditions of a compact Lie group G that the loop space of the p-completed classifying space be a p-compact group for a set of primes. In particular, we discuss the classifying spaces BG that are p-compact for…
An orbifold is a topological space modeled on quotient spaces of a finite group actions. We can define the universal cover of an orbifold and the fundamental group as the deck transformation group. Let $G$ be a Lie group acting on a space…
For any compact Lie group $G$ and any $n$ we construct a smooth $G$-manifold $U_n(G)$ such that any smooth $n$-dimensional $G$-manifold can be embedded in $U_n(G)$ with a trivial normal bundle. Furthermore, we show that such embeddings are…
We describe a homotopy-theoretic approach to the theory of moduli of realizations of Blanc-Dwyer-Goerss, reproducing their obstructions to realizing a given $\Pi$-algebra as homotopy groups of a pointed space. Our techniques are based on…
Motivated by group-theoretical questions that arise in the context of asymptotic symmetries in gravity, we study model spaces and their quantization from the viewpoint of constrained Hamiltonian systems. More precisely, we propose that a…
We construct a bialgebra object in the category of linear maps LM from a cocommutative rack bialgebra. The construction does extend to some non-cocommutative rack bialgebras, as is illustrated by a concrete example. As a separate result, we…
Let $G$ be a linear algebraic group, over a field $F$. We show that $G$ is isomorphic to the automorphism group scheme of a smooth projective $F$-variety, defined as the blow-up of a projective space, along a suitable smooth subvariety.
We construct Galois theory for sublattices of certain complete modular lattices and their automorphism groups. A well-known description of the intermediate subgroups of the general linear group over a semilocal ring containing the group of…
For a compact convex subset K with non-empty interior in a finite-dimensional vector space, let G be the group of all smooth diffeomorphisms of K which fix the boundary of K pointwise. We show that G is a C^0-regular infinite-dimensional…
We give a construction of the universal enveloping $A_\infty$ algebra of a given $L_\infty$ algebra, alternative to the already existing versions. As applications, we derive a higher homotopy algebras version of the classical Milnor-Moore…
We investigate the commuting automorphisms of nilpotent Lie algebras $L$ with coclass $\leq 3$. Our examination exposes the conditions under which the set of commuting automorphisms of $L$ forms a subgroup within its automorphism group.
Let G be a connected, real, semisimple Lie group contained in its complexification G_C, and let K be a maximal compact subgroup of G. We construct a K_C-G double coset domain in G_C, and we show that the action of G on the K-finite vectors…
We outline the construction of the holonomy groupoid of a locally Lie groupoid and the monodromy groupoid of a Lie groupoid. These specialise to the well known holonomy and monodromy groupoids of a foliation, when the groupoid is just an…