We prove a number of results on the survival of the type-I property under extensions of locally compact groups: (a) that given a closed normal embedding of locally compact groups and a twisted action thereof on a (post)liminal -algebra the twisted crossed product is again (post)liminal and (b) a number of converses to the effect that under various conditions a normal, closed, cocompact subgroup is type-I as soon as is. This happens for instance if is discrete and is Lie, or if is finitely-generated discrete (with no further restrictions except cocompactness). Examples show that there is not much scope for dropping these conditions. In the same spirit, call a locally compact group type-I-preserving if all semidirect products are type-I as soon as is, andlinearlytype-I-preserving if the same conclusion holds for semidirect products arising from finite-dimensional -representations. We characterize the (linearly) type-I-preserving groups that are (1) discrete-by-compact-Lie, (2) nilpotent, or (3) solvable Lie.
more »
« less
Integral models for spaces via the higher Frobenius
We give a fully faithful integral model for simply connected finite complexes in terms of -ring spectra and the Nikolaus–Scholze Frobenius. The key technical input is the development of a homotopy coherent Frobenius action on a certain subcategory of -complete -rings for each prime . Using this, we show that the data of a simply connected finite complex is the data of its Spanier-Whitehead dual, as an -ring, together with a trivialization of the Frobenius action after completion at each prime. In producing the above Frobenius action, we explore two ideas which may be of independent interest. The first is a more general action of Frobenius in equivariant homotopy theory; we show that a version of Quillen’s -construction acts on the -category of -rings with “genuine equivariant multiplication,” which we call global algebras. The second is a “pre-group-completed” variant of algebraic -theory which we callpartial -theory. We develop the notion of partial -theory and give a computation of the partial -theory of up to -completion.
more »
« less
- Award ID(s):
- 2002029
- PAR ID:
- 10552627
- Publisher / Repository:
- American Mathematical Society
- Date Published:
- Journal Name:
- Journal of the American Mathematical Society
- Volume:
- 36
- Issue:
- 1
- ISSN:
- 0894-0347
- Page Range / eLocation ID:
- 107 to 175
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Motivated by questions asked by Erdős, we prove that any set with positive upper density contains, for any , a sumset , where , …, are infinite. Our proof uses ergodic theory and relies on structural results for measure preserving systems. Our techniques are new, even for the previously known case of .more » « less
-
We develop a higher semiadditive version of Grothendieck-Witt theory. We then apply the theory in the case of a finite field to study the higher semiadditive structure of the -local sphere at the prime , in particular realizing the non- -adic rational element as a “semiadditive cardinality.” As a further application, we compute and clarify certain power operations in .more » « less
-
We introduce the notions of symmetric and symmetrizable representations of . The linear representations of arising from modular tensor categories are symmetric and have congruence kernel. Conversely, one may also reconstruct modular data from finite-dimensional symmetric, congruence representations of . By investigating a -symmetry of some Weil representations at prime power levels, we prove that all finite-dimensional congruence representations of are symmetrizable. We also provide examples of unsymmetrizable noncongruence representations of that are subrepresentations of a symmetric one.more » « less