首页/论文/2001.10075

arXiv 2001.100752020-01math.AT

Level structures on $p$-divisible groups from the Morava $E$-theory of abelian groups

Zhen Huan, Nathaniel Stapleton

备注：: Fixed an error

英文摘要：

The close relationship between the scheme of level structures on the universal deformation of a formal group and the Morava $E$-cohomology of finite abelian groups has played an important role in the study of power operations for Morava $E$-theory. The goal of this paper is to explore the relationship between level structures on the $p$-divisible group given by the trivial extension of the universal deformation by a constant $p$-divisible group and the Morava $E$-cohomology of the iterated free loop space of the classifying space of a finite abelian group.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Dieudonné modules and $p$-divisible groups associated with Morava $K$-theory of Eilenberg-Mac Lane spaces

We study the structure of the formal groups associated to the Morava $K$-theories of integral Eilenberg-Mac Lane spaces. The main result is that every formal group in the collection $\{K(n)^*K({\mathbb Z}, q), q=2,3,...\}$ for a fixed $n$ enters in it together with its Serre dual, an analogue of a principal polarization on an abelian variety. We also identify the isogeny class of each of these formal groups over an algebraically closed field. These results are obtained with the help of the Dieudonné correspondence between bicommutative Hopf algebras and Dieudonné modules. We extend P. Goerss's…

2006-12-03math.AGmath.AT

Transfer ideals and torsion in the Morava $E$-theory of abelian groups

Let $A$ be a finite abelian $p$ group of rank at least $2$. We show that $E^0(BA)/I_{tr}$, the quotient of the Morava $E$-cohomology of $A$ by the ideal generated by the image of the transfers along all proper subgroups, contains $p$-torsion. The proof makes use of transchromatic character theory.

2020-02-28math.AT

The Morava E-theory of Eilenberg-Mac Lane spaces

We deform the Ravenel-Wilson computation of the Morava K-homology of Eilenberg-Mac Lane spaces to obtain a similar description of their completed Morava E-homology. This yields both a cohomological description and an interpretation on the level of formal schemes: the scheme associated to the E-cohomology of the space K(Z/p^infty, q) is the qth exterior power of the p-divisible group associated to the versal infinitesimally deformed formal group over Lubin-Tate space.

2011-09-29math.AT

Subgroups of p-divisible groups and centralizers in symmetric groups

For cohomology theories closely related to Morava E-theory, we provide an algebro-geometric interpretation of the cohomology of groups that arise as centralizers of tuples of commuting elements inside of symmetric groups. The interpretation is given in terms of the connected components of the scheme that classifies subgroup schemes of a particular p-divisible group.

2013-05-28math.AT

Arithmetically defined dense subgroups of Morava stabilizer groups

For every prime $p$ and integer $n\ge 3$ we explicitly construct an abelian variety $A/\F_{p^n}$ of dimension $n$ such that for a suitable prime $l$ the group of quasi-isogenies of $A/\F_{p^n}$ of $l$-power degree is canonically a dense subgroup of the $n$-th Morava stabilizer group at $p$. We also give a variant of this result taking into account a polarization. This is motivated by a perceivable generalization of topological modular forms to more general topological automorphic forms. For this, we prove some results about approximation of local units in maximal orders which is of independent…

2007-05-23math.ATmath.NT

高度 n 处 K(n-1)-局部化 Morava E-理论上的幂运算

Power Operations on $K(n-1)$-Localized Morava $E$-theory at Height $n$

本文计算了对称群的 K(n-1)-局部化 E_n 理论，给出全幂运算 ψ^p_F 的模解释及 Dyer-Lashof 代数结构，并在 n=2 时导出显式公式，揭示其与椭圆曲线、模形式和 p-可除群的联系。

2025-04-10math.AT

更多相关论文收起更多论文

A short proof of the chromatic Smith Fixed Point Theorem

We give a short and much simplified proof of the main theorem of the recent study, by T. Barthel, M. Hausmann, N. Naumann, T. Nikolaus, J. Noel, and N. Stapleton, of the Balmer spectrum for A-equivariant stable homotopy when A is a finite abelian p-group. This theorem says that if A is a finite abelian p-group of rank r, and X is a finite A-space that is acyclic in the (n+r)th Morava K-theory, then its space of fixed points, X^A, will be acyclic in the nth Morava K-theory. It is a chromatic homotopy version of P. A. Smith's classic theorem about the mod p homology of the fixed points of a fini…

2021-12-09math.AT

Moduli of formal A-modules under change of A

We develop methods for computing the restriction map from the cohomology of the automorphism group of a height $dn$ formal group law (i.e., the height $dn$ Morava stabilizer group) to the cohomology of the automorphism group of an $A$-height $n$ formal $A$-module, where $A$ is the ring of integers in a degree $d$ field extension of $\mathbb{Q}_p$. We then compute this map for the quadratic extensions of $\mathbb{Q}_p$ and the height $2$ Morava stabilizer group at primes $p>3$. We show that the these automorphism groups of formal modules are closed subgroups of the Morava stabilizer groups, and…

2016-07-14math.AGmath.AT

On the GL(V)-module structure of K(n)^*(BV)

We study the question of whether the Morava K-theory of the classifying space of an elementary abelian group V is a permutation module (in either of two distinct senses) for the automorphism group of V. We use Brauer characters and computer calculations. We construct and implement an algorithm for finding permutation submodules of maximal dimension inside modules for p-groups in characteristic p.

2007-11-30math.AT

层结构的谱模问题与 Morava E-理论的整 Jacquet-Langlands 对偶

Spectral moduli problems for level structures and an integral Jacquet-Langlands dual of Morava E-theory

本文定义谱 Deligne-Mumford 栈的相对有效 Cartier 除子并证明其可表，据此构造谱阿贝尔簇层结构模空间，得到 Lubin-Tate 塔有限层的 E-无穷环谱精细化及 Morava E-理论的整 Jacquet-Langlands 对偶。

2025-08-31math.AGmath.ATmath.NT

关于有限阿贝尔群的等变 $KU_G$-局部球面

On the equivariant $KU_G$-local sphere for finite abelian groups

School of Mathematical Sciences, Nankai University（南开大学数学科学学院）

对于有限阿贝尔群 $G$，证明 $KU_G/p$-局部球面谱等价于 $p$-完备 $KO_{N_p}$-模谱的同伦不动点，并计算 $KU_G$-局部球面谱的 $\mathbb{Z}$-分次同伦 Mackey 函子，推广了 arXiv:2303.12271 的结果，最后通过比较 Bousfield 类证明 $KU_G/p$-局部球面谱等价于等变 Morava $K$-理论局部球面谱的楔和，并描述其 $RO(G)$-分次同伦 Mackey 函子。

2026-09-01math.AT

Splitting off Rational Parts in Homotopy Types

It is known algebraically that any abelian group is a direct sum of a divisible group and a reduced group (See Theorem 21.3 of \cite{Fuchs:abelian-group}). In this paper, conditions to split off rational parts in homotopy types from a given space are studied in terms of a variant of Hurewicz map, say $\barρ : [S_{\Q}^{n},X] \to H_n(X;\Z)$ and generalized Gottlieb groups. This yields decomposition theorems on rational homotopy types of Hopf spaces, $T$-spaces and Gottlieb spaces, which has been known in various situations, especially for spaces with finiteness conditions.

2004-11-16math.AT

Duality for topological abelian group stacks and T-duality

v2: An additional assumption was added in Theorem 4.8. In order to show that a connected abelian group is admissible on the site of locally compact spaces we must in addition assume that it is locally topologically divisible. This condition is used in the proof of Lemma 4.62.

2007-08-31math.ATmath.GT

Homotopy equivalences between p-subgroup categories

Let p be a prime number and G a finite group of order divisible by p. Quillen showed that the Brown poset of nonidentity p-subgroups of G is homotopy equivalent to its subposet of nonidentity elementary abelian subgroups. We show here that a similar statement holds for the fusion category of nonidentity p-subgroups of G. Other categories of p-subgroups of G are also considered.

2014-06-18math.ATmath.COmath.GR

Criteria for Balance in Abelian Gain Graphs, with Applications to Piecewise-Linear Geometry

A gain graph is a triple (G,h,H), where G is a connected graph with an arbitrary, but fixed, orientation of edges, H is a group, and h is a homomorphism from the free group on the edges of G to H. A gain graph is called balanced if the h-image of each closed walk on G is the identity. Consider a gain graph with abelian gain group having no odd torsion. If there is a basis of the graph's binary cycle space each of whose members can be lifted to a closed walk whose gain is the identity, then the gain graph is balanced, provided that the graph is finite or the group has no nontrivial infinitely 2…

2005-01-17cs.CGcs.DMcs.DS