arXiv subjects
Publications and source records attributed to Kathryn Lesh.
We introduce the notion of doubling and r-tupling for simplicial complexes, a notion reminiscent to that of matching complexes in graph theory. We prove a connectivity result for such complexes and relate r-tupling to stabilizing r times faster in homological stability.
We give a normalizer decomposition for a p-local compact group (S, F, L) that describes |L| as a homotopy colimit indexed over a finite poset. Our work generalizes the normalizer decompositions for finite groups due to Dwyer, for p-local finite groups due to Libman, and for compact Lie groups in separate work due to Libman. Our approach gives a result in the Lie group case that avoids topological subtleties with Quillen's Theorem A, because we work with discrete groups. We compute the normalizer decomposition for the p-completed classifying spaces of U(p) and SU(p) and for the p-compact groups of Aguade and Zabrodsky.
Let (S,F,L) be a p-local compact group. We prove that the (uncompleted) homotopy type of the nerve of the linking system L is determined by the collection of subgroups of S that are F-centric and F-radical. This result generalizes the result for the case of p-local finite groups, which is in the literature.
In this paper we study the normalizer decomposition of a compact Lie group $G$ using the information of the fusion system $\mathcal{F}$ of $G$ on a maximal discrete $p$-toral subgroup. We prove that there is an injective map from the set of conjugacy classes of chains of $\mathcal{F}$-centric, $\mathcal{F}$-radical discrete $p$-toral subgroups to the set of conjugacy classes of chains of $p$-centric, $p$-stubborn continuous $p$-toral subgroups. The map is a bijection when $π_0(G)$ is a finite $p$-group. We also prove that the classifying space of the normalizer of a chain of discrete $p$-toral subgroups of $G$ is mod $p$ equivalent to the classifying space of the normalizer of the corresponding chain of $p$-toral subgroups.
Suppose F is a special Gamma-space equipped with a natural transformation to the infinite symmetric power functor. Segal's infinite loop space machine associates with F a spectrum, denoted kF, equipped with a map to the integral Eilenberg-Mac Lane spectrum. In our previous work we constructed a filtration of kF by a sequence of spectra, which we called the "stable rank filtration of F". In this paper we give a new construction of the stable rank filtration. The new construction is combinatorial in nature and avoids the process of stabilization. In particular, we construct a sequence of special Gamma-spaces whose group completion yields the stable rank filtration.
Dwyer, Miller and Wilkerson proved that at the prime 2, the classifying spaces of SU(2) and SO(3) can be obtained as a homotopy pushout of the classifying spaces of certain subgroups. In this paper we show explicitly how these decompositions arise from the fusion systems of SU(2) and SO(3) over maximal discrete 2-toral subgroups.
We study Bredon homology approximations for spaces with an action of a compact Lie group G. We show that if M is a coMackey functor satisfying mild p-locality conditions, then Bredon homology of a G-space X with coefficients in M is determined by fixed points of p-toral subgroups of G acting on X. As an application we prove a vanishing result for the Bredon homology of the complex L_n of direct-sum decompositions of complex n-space.
We study the equivariant homotopy type of the poset of orthogonal decompositions of a finite-dimensional complex vector space. Suppose that n is a power of a prime p, and that D is an elementary abelian p-subgroup of U(n) acting on complex n-space by the regular representation. We prove that the fixed point space of D acting on the decomposition poset of complex n-space contains as a retract the unreduced suspension of the Tits building for GL(k), which a wedge of (k-1)-dimensional spheres. Let Gamma be the projective elementary abelian subgroup of U(n) that contains the center of U(n) and acts irreducibly on complex n-space. We prove that the fixed point space of Gamma acting on the space of proper orthogonal decompositions of complex n-space is homeomorphic to a symplectic Tits building, which is also a wedge of (k-1)-dimensional spheres. As a consequence of these results, we find that the fixed point space of any coisotropic subgroup of Gamma contains, as a retract, a wedge of (k-1)-dimensional spheres. We make a conjecture about the full homotopy type of the fixed point space of D, based on a more general branching conjecture, and we show that the conjecture is consistent with our results.
We classify p-toral subgroups of U(n) that can have non-contractible fixed points under the action of U(n) on the complex of partitions of complex n-space into mutually orthogonal subspaces.
We prove that the Bredon homology or cohomology of the partition complex with fairly general coefficients is either trivial or computable in terms of constructions with the Steinberg module. The argument involves developing a theory of Bredon homology and cohomology approximation.
We consider the action of $p$-toral subgroups of $U(n)$ on the unitary partition complex $\mathcal L_n$. We show that if $H\subseteq U(n)$ is $p$-toral and has noncontractible fixed points on $\mathcal L_n$, then the image of $H$ in the projective unitary group $U(n)/S^{1}$ is an elementary abelian $p$-group.
We explore connections between our earlier work, in which we constructed spectra that interpolate between bu and HZ, and earlier work of Kuhn and Priddy on the Whitehead conjecture and of Rognes on the stable rank filtration in algebraic K-theory. We construct a "chain complex of spectra" that is a bu-analogue of an auxiliary complex used by Kuhn-Priddy; we conjecture that this chain complex is "exact"; and we give some supporting evidence. We tie this to work of Rognes by showing that our auxiliary complex can be constructed in terms of the stable rank filtration. As a by-product, we verify for the case of topological complex K-theory a conjecture made by Rognes about the connectivity (for certain rings) of the filtration subquotients of the stable rank filtration of algebraic K-theory.