Related papers: The classifying space for commutativity of geometr…
Let $G/\Gamma$ be the quotient of a semisimple Lie group by an arithmetic lattice. We show that for reductive subgroups $H$ of $G$ that is large enough, the orbits of $H$ on $G/\Gamma$ intersect nontrivially with a fixed compact set. As a…
Let $B$ be a curve defined over an algebraically closed field $k$ and let $X\to B$ be an elliptic surface with base curve $B$. We investigate the geometry of everywhere locally trivial principal homogeneous spaces for $X$, i.e. elements of…
Given a finite group $G$ and a commutative ring $G$-spectrum $R$, we study the separable commutative algebras in the category of compact $R$-modules. We isolate three conditions on the geometric fixed points of $R$ which ensure that every…
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…
In this paper we study the homotopy type of the partially ordered set of left cosets of abelian subgroups in an extraspecial $p$-group. We prove that the universal cover of its nerve is homotopy equivalent to a wedge of $r$-spheres where…
Consider the space Hom(Z^n,G) of pairwise commuting n-tuples of elements in a compact Lie group G. This forms a real algebraic variety, which is generally singular. In this paper, we construct a desingularization of the generic component of…
A cubic space is a vector space equipped with a symmetric trilinear form. Using categorical Fra\"iss\'e theory, we show that there is a universal ultrahomogeneous cubic space $V$ of countable infinite dimension, which is unique up to…
For each of the groups $G = O(2), SU(2), U(2)$, we compute the integral and $\mathbb{F}_2$-cohomology rings of $B_\text{com} G$ (the classifying space for commutativity of $G$), the action of the Steenrod algebra on the mod 2 cohomology,…
We determine the Grothendieck ring of finite-dimensional comodules for the free Hopf algebra on a matrix coalgebra, and similarly for the free Hopf algebra with bijective antipode and other related universal quantum groups. The results turn…
For any rigid analytic group variety $G$ over a non-archimedean field $K$ over $\mathbb Q_p$, we study $G$-torsors on adic spaces over $K$ in the $v$-topology. Our main result is that on perfectoid spaces, $G$-torsors in the \'etale and…
We study noncommutative principal bundles (Hopf-Galois extensions) in the context of coquasitriangular Hopf algebras and their monoidal category of comodule algebras. When the total space is quasi-commutative, and thus the base space…
Let $M_{l,m}$ be the total space of the $S^3$-bundle over $S^4$ classified by the element $l\sigma+m\rho\in{\pi_4(SO(4))}$, $l,m\in\mathbb Z$. In this paper we study the homotopy theory of gauge groups of principal $G$-bundles over…
In this note we study topological invariants of the spaces of homomorphisms Hom(\pi,G), where \pi\ is a finitely generated abelian group and G is a compact Lie group arising as an arbitrary finite product of the classical groups SU(r), U(q)…
In the finite-dimensional setting, every Hermitian-symmetric space of compact type is a coadjoint orbit of a finite-dimensional Lie group. It is natural to ask whether every infinite-dimensional Hermitian-symmetric space of compact type,…
We study the topology of compact manifolds with a Lie group action for which there are only finitely many non-principal orbits, and describe the possible orbit spaces which can occur. If some non-principal orbit is singular, we show that…
We develop a generalized covering space theory for a class of uniform spaces called coverable spaces. Coverable spaces include all geodesic metric spaces, connected and locally pathwise connected compact topological spaces, in particular…
We study the mod-$\ell$ homotopy type of classifying spaces for commutativity, $B(\mathbb{Z}, G)$, at a prime $\ell$. We show that the mod-$\ell$ homology of $B(\mathbb{Z}, G)$ depends on the mod-$\ell$ homotopy type of $BG$ when $G$ is a…
Let $M$ be a compact connected Fujiki manifold, $G$ a semisimple affine algebraic group over $\mathbb C$ with one simple factor and $P$ a fixed proper parabolic subgroup of $G$. For a holomorphic principal $G$--bundle $E_G$ over $M$, let…
Let $E_G$ be a $\Gamma$--equivariant algebraic principal $G$--bundle over a normal complex affine variety $X$ equipped with an action of $\Gamma$, where $G$ and $\Gamma$ are complex linear algebraic groups. Suppose $X$ is contractible as a…
Let X=G/K be a connected Riemannian homogeneous space of a real Lie group G. The homogeneous space X is called commutative if the algebra of G-invariant differential operators on X is commutative. We prove an effective commutativity…