--- title: Cyclotomic Level Maps url: https://www.emergentmind.com/topics/cyclotomic-level-maps type: topic --- # Cyclotomic Level Maps Searching arXiv for recent papers specifically on “cyclotomic level maps” and closely related usage. Cyclotomic level maps are constructions that attach “levels” to cyclotomic phenomena, but the phrase is used in several distinct mathematical settings. In recent Lie-theoretic usage, it denotes two maps with values in positive integers, one on nilpotent orbits and one on Weyl-group conjugacy classes, designed to be compatible with Lusztig’s map and Yun’s minimal reduction type map; these maps are then used to formulate a conjecture on associated varieties of simple affine vertex algebras at non-admissible integer levels [2507.09254]. In stable homotopy theory, the same phrase refers to levelwise Frobenius-type maps in cyclotomic spectra or to higher-root-of-unity maps such as \(B^n\mathbb{C}_{p^j}\to R^\times\) in higher cyclotomic extensions [2606.08109] [2606.08166]. In arithmetic field theory, it appears as the function \(t_F:\mathbb N\to\mathbb N\), introduced to control primitive roots of unity defining quadratic cyclotomic extensions [2210.03563]. ## 1. Lie-theoretic definition on nilpotent orbits and Weyl conjugacy classes For a complex simple Lie algebra \(\mathfrak g\), let \(\mathcal N\) be its nilpotent cone and \(\underline{\mathcal N}\) the set of adjoint nilpotent orbits. The nilpotent-orbit cyclotomic level map is \[ \cl_n : \underline{\mathcal N} \to \mathbb Z_{\ge 1}. \] If \(\mathcal O\in \underline{\mathcal N}\) is written in Bala–Carter form \[ \mathcal O=\operatorname{Sat}_L^G(\mathcal O_L), \] where \(L\subset G\) is a Levi subgroup and \(\mathcal O_L\) is distinguished in \(\mathfrak l\), one chooses an \(\mathfrak{sl}_2\)-triple \(\{h,e,f\}\subset \mathfrak l\) with \(e\in\mathcal O_L\), lets \(2a\) be the largest \(\operatorname{ad}h\)-weight occurring in \(\mathfrak l\), and defines \[ \cl_n(\mathcal O)=a+1. \] Equivalently, \[ \cl_n(\mathcal O)=1+\frac12\left(\max_{\alpha\in R(\mathfrak l,\mathfrak h)}\langle \alpha,h\rangle\right). \] The construction is stated to be independent of the choices involved and to depend only on the Bala–Carter data of \(\mathcal O\) [2507.09254]. The second map is defined on Weyl-group conjugacy classes. For \(w\in W\), let \(\chi_w(x)\) be its characteristic polynomial in the reflection representation \(\mathfrak h\). Since \(W\) is defined over \(\mathbb Q\), \(\chi_w\) factors into cyclotomic polynomials \(\Phi_m\). One defines \[ \cl_W(w)=\max\{m:\Phi_m \text{ divides } \chi_w(x)\}, \] which descends to \[ \cl_W:\underline W\to \mathbb Z_{\ge1}. \] The terminology “cyclotomic” comes from this factorization into cyclotomic polynomials [2507.09254]. A central feature of the theory is that the two maps are designed to be compatible: the paper proves compatibility with the minimal reduction type map, and in the simply-laced case they also match the nilpotent-orbit map through Lusztig/Yun’s correspondence [2507.09254]. ## 2. Order structure and explicit formulas The map \(\cl_n\) organizes nilpotent orbits by level. For each \(m\) in the image of \(\cl_n\), there is a unique maximal orbit \(\mathcal O(m)\) among those with \(\cl_n(\mathcal O)\le m\), and \[ \overline{\mathcal O(m)}=\bigcup_{\cl_n(\mathcal O)\le m}\mathcal O. \] Moreover, if \(\mathcal O_1\preccurlyeq \mathcal O_2\), then \[ \cl_n(\mathcal O_1)\le \cl_n(\mathcal O_2), \] and if \(m_1q_2\) | \([1,n]\cup (2\mathbb Z\cap[n+1,2n])\) | | \(C_n\) | \(q_1\) | \([1,n]\cup(2\mathbb Z\cap[n+1,2n])\) | | \(D_n\) | \(q_1\) if \(q_1=q_2\); \(q_1-1\) if \(q_1>q_2\) | \([1,n]\cup(2\mathbb Z\cap[n+1,2n-2])\) | In type \(A_n\), if \(\mathcal O_q\) corresponds to the partition \(q=(q_1,q_2,\dots)\), then \(\cl_n(\mathcal O_q)=q_1\). For \(m\in[1,n]\), the maximal orbit \(\mathcal O(m)\) has partition \[ q(m)=(m^b,v), \] where \(b\) is maximal with \(bm\le n\) and \(v=n-bm\) [2507.09254]. For the exceptional types \(E_6,E_7,E_8,F_4,G_2\), the values are computed case by case using the **atlas** software, and the resulting figures list Bala–Carter labels, \(\cl_n\)-values, and the orbits \(\mathcal O(m)\). The paper records, for example, that in \(E_6\) the orbit \(A_4+A_1\) has \(\cl_n=5\) and is \(\mathcal O(5)\) [2507.09254]. ## 3. Compatibility with Lusztig’s map, Yun’s reduction type, and affine cells Yun’s construction associates to a regular semisimple topologically nilpotent \(\gamma\in\mathfrak g(F)\) its reduction type \(\RT(\gamma)\), the set of nilpotent orbits occurring as reductions modulo \(t\) of \(G(F)\)-conjugates of \(\gamma\). The minimal reduction type \(\RTmin(\gamma)\) is the set of minimal such orbits. Yun proves that for each conjugacy class \([w]\in\underline W\), the intersection of \(\RTmin(\gamma)\) over the shallow stratum of type \([w]\) is a singleton, yielding a map \[ \RTmin:\underline W\to \underline{\mathcal N}. \] The main compatibility theorem states \[ \cl_n\circ \RTmin=\cl_W. \] Equivalently, the triangle with vertices \(\underline W\), \(\underline{\mathcal N}\), and \(\mathbb Z_{\ge1}\) commutes [2507.09254]. A key proposition establishes that for any nilpotent orbit \(\mathcal O\), \[ \cl_W(\KL(\mathcal O))=\cl_n(\mathcal O), \] where \(\KL\) is the Kazhdan–Lusztig map from nilpotent orbits to Weyl conjugacy classes. Together with Yun’s identification \((\RTmin,\KL)=(\Phi,\Psi)\), this yields the compatibility of the two level maps [2507.09254]. The same paper places cyclotomic level maps in the theory of two-sided cells of affine Weyl groups. Lusztig constructed a bijection \[ \{\text{two-sided cells in }W_{\mathrm{aff}}\}\longleftrightarrow \underline{\check{\mathcal N}}, \] where \(\check{\mathcal N}\) is the nilpotent cone of the Langlands dual Lie algebra. For \(1\le m\le \check h\), let \(\xi_m\) be the unique dominant affine weight in the \(W_{\mathrm{aff}}\)-orbit of \(m\Lambda_0+\rho\), let \(W_m=\operatorname{Stab}_{W_{\mathrm{aff}}}(\xi_m)\), and let \(w_m\) be the longest element in \(W_m\). If \(m_0\) is the largest value in the image of \(\check{\cl}_n\) with \(m_0\le m\), then Lusztig’s bijection sends the two-sided cell of \(w_m\) to \(\check{\mathcal O}(m_0)\): \[ \text{Lusztig}( \mathfrak c(w_m) )=\check{\mathcal O}(m_0). \] The paper also proves \[ \mathfrak c(w_m)=\mathfrak c(w_{m_0}), \] so the two-sided cell depends only on the cyclotomic level cutoff \(m_0\) [2507.09254]. ## 4. Associated varieties of simple affine vertex algebras For a complex simple Lie algebra \(\mathfrak g\), the simple affine vertex algebra \(L_k(\mathfrak g)\) is the simple quotient of the universal affine vertex algebra \(V^k(\mathfrak g)\) at level \(k\). Its associated variety is \[ X_{L_k}=\operatorname{Spec}(R_{L_k})_{\mathrm{red}}, \] a conical \(G\)-stable Poisson subvariety of \(\mathfrak g\). The known cases recorded in the paper are the following: if \(k\) is nonnegative rational in the universal range, then \(L_k=V^k\) and \(X_{L_k}=\mathfrak g\); at the critical level \(k=-h^\vee\), one has \(X_{L_k}=\mathcal N\); and for admissible levels, \(X_{L_k}\) is known to be the closure of an explicitly determined nilpotent orbit [2507.09254]. The proposed application of cyclotomic level maps concerns non-admissible integer levels. Assuming \(\mathfrak g\) is simply laced, let \[ m=k+\check h,\qquad 1\le m\le \check h. \] Let \(m_0\) be the largest number in the image of the dual cyclotomic map \(\check{\cl}_n\) such that \(m_0\le m\), and write \[ \check{\mathcal O}(m_0)=\operatorname{Sat}_{\check L}^{\check G}\check{\mathcal O}_{\check L} \] with \(\check{\mathcal O}_{\check L}\) distinguished in a Levi \(\check{\mathfrak l}\). The conjecture is \[ X_{L_k(\mathfrak g)}=\overline{\mathcal S\big(\mathfrak l,\;\mathbf d\,\check{\mathcal O}_{\check L}\big)}. \] Here \(\mathbf d\) is Barbasch–Vogan–Lusztig–Spaltenstein duality, and \(\mathcal S(\mathfrak l,\mathcal O)\) is the sheet attached to \((\mathfrak l,\mathcal O)\), defined as the image of \[ G\times_P(\mathcal O\times \mathfrak z(\mathfrak l)\times \mathfrak u)\to\mathfrak g. \] The conjectural associated variety is therefore often a sheet closure rather than merely a nilpotent orbit closure [2507.09254]. The paper derives a quasi-lisse criterion from the conjecture. Since \(X_{L_k}\) is conical, quasi-lisseness is equivalent here to \(X_{L_k}\subset \mathcal N\). The conjecture implies that \(L_k\) is quasi-lisse if and only if \(\check{\mathcal O}(m_0)\) is distinguished, in which case \[ X_{L_k}=\overline{\mathbf d\,\check{\mathcal O}(m_0)}. \] Evidence is provided by comparison with known computations of Arakawa, Arakawa–Moreau, Arakawa–Futorny–Křížka, Jiang–Song, and Gorelik–Kac, by a detailed type \(D_4\) example, and by separate checks of the regular case \(m=\check h\), the subregular case, and the case \(m=1\) [2507.09254]. ## 5. Homotopy-theoretic meanings: levelwise Frobenius maps and higher roots of unity In stable homotopy theory, cyclotomic spectra provide a different use of “cyclotomic level maps.” In the geometric or orthogonal-spectrum formulation, a cyclotomic spectrum is an orthogonal \(\mathbb T\)-spectrum \(X\) equipped with \(\mathbb T\)-equivariant maps \[ r_{p,V}:\rho_p^*\bigl(X_V^{C_p}\bigr)\to X_{\rho_p^*(V^{C_p})} \] for each prime \(p\) and each \(\mathbb T\)-representation \(V\), satisfying conditions implying an isomorphism \[ \rho_p^*\Phi^{C_p}X\to X. \] These are the original levelwise maps. In the Nikolaus–Scholze formulation, the same structure is repackaged as a global cyclotomic structure map \[ \varphi_p:X\to X^{tC_p}. \] For bounded-below spectra, the two definitions are stated to agree [2606.08109]. A Floer-theoretic realization appears in symplectic topology. For a compact symplectically atoroidal manifold \(M\) with contact boundary and an equivariant trivialization of the polarization class, the paper constructs an object \[ SH^\bullet(M,S) \] in the \(\infty\)-category of genuine \(p\)-cyclotomic spectra with \[ \pi_*\bigl(SH^\bullet(M,S)\bigr)=SH^{-*}(M). \] The cyclotomic structure is expressed by the equivalence \[ \bigl(SH^\bullet(M,S)_k\bigr)^{\Phi C_k}\simeq SH^\bullet(M,S)_{k-1}, \] modeled on the free-loop-space homeomorphism \[ \phi_k: LX \simeq LX^{C_k},\qquad \gamma\mapsto \gamma^{\# k}. \] In this setting, the level maps are a compatible family across the tower of \(C_{p^n}\)-spectra rather than a single endomorphism [2405.18370]. A second homotopy-theoretic usage occurs in higher cyclotomic extensions of spectra. There a height \(n\) \(p^j\)-th root of unity in a commutative ring spectrum \(R\) is defined as a map \[ \mathbb C_{p^j}\to \Omega^n R^\times, \] equivalently \[ B^n\mathbb C_{p^j}\to R^\times. \] These maps underlie the extensions \[ \mathbb S_{K(n)}\to \mathbb S_{K(n)}[\omega^{(n)}_{p^j}] \qquad\text{and}\qquad \mathbb S_{T(n)}\to \mathbb S_{T(n)}[\omega^{(n)}_{p^j}], \] and lead to the cyclotomic completion functors determined by \[ R_n:=\mathbb S_{K(n)}[\omega^{(n)}_{p^\infty}], \qquad R_n^{\mathrm{fin}}:=\mathbb S_{T(n)}[\omega^{(n)}_{p^\infty}]. \] The associated Bousfield classes satisfy \[ \langle \mathbb S_{K(n)} \rangle = \langle R_n \rangle \le \langle R_n^{\mathrm{fin}} \rangle \le \langle \mathbb S_{T(n)} \rangle, \] so cyclotomic completion interpolates between chromatic localization and telescopic localization [2606.08166]. ## 6. Arithmetic level functions and related degree-\(2\) trace phenomena In the arithmetic theory of quadratic cyclotomic extensions, the cyclotomic level map is the function \[ t_F:\mathbb N\to\mathbb N, \] defined prime-power-wise and then multiplicatively. For a prime \(p\) and \(e\in\mathbb N\), the paper defines \(t_F(p^e)\) by cases according to the value of \(O_F(\zeta_{p^e})\), and then sets \[ t_F(n)=\prod_{p\mid n} t_F\!\left(p^{\varepsilon_n(p)}\right). \] Its purpose is to encode the “effective part” of a root of unity that controls whether it defines a quadratic cyclotomic extension [2210.03563]. The same paper studies primitive \(n\)th roots of unity \(\zeta_n\) such that \[ [F(\zeta_n):F]=2. \] If \([F(\zeta_n):F]=2\), then the minimal polynomial of \(\zeta_n\) over \(F\) is \[ x^2-(\zeta_n+\zeta_n^k)x+\zeta_n^{k+1} \] for a unique \(k\in\{1,\dots,n-1\}\) with \((k,n)=1\), and \[ O_F(\zeta_n)\mid k^2-1. \] For odd primes \(p\), if \([F(\zeta_{p^e}):F]=2\), then \[ O_F(\zeta_{p^e})=p^e. \] For powers of \(2\), if \(e>1\) and \([F(\zeta_{2^e}):F]=2\), then \[ O_F(\zeta_{2^e})\in\{2,\,2^{e-1}\}. \] The paper also determines the maximal natural number \(n\) such that \(\zeta_{p^n}\) defines a quadratic cyclotomic extension over \(F\), with a uniform characterization covering both odd and even primes [2210.03563]. A further, different appearance of the phrase occurs in the \(p\)-completed cyclotomic trace in degree \(2\). For a quasi-regular semiperfectoid \(\mathbb Z_p^{\rm cycl}\)-algebra \(R\), the paper identifies \[ \pi_2(TC(R;\mathbb Z_p))\cong \widehat R^{\varphi=\widetilde{\xi}}, \] describing this eigenspace as the key target of the degree-\(2\) cyclotomic trace. Under the canonical class from the Tate module of units, the composition \[ T_p(R^\times)\to \pi_2(K(R;\mathbb Z_p)) \xrightarrow{\mathrm{ctr}} \pi_2(TC(R;\mathbb Z_p)) \] is given by \[ x\mapsto \log_q([x]_\theta), \] where \(\log_q\) is the \(q\)-deformation of the logarithm. The same paper proves that \[ \log_q([-]_\theta)\colon T_p(R^\times)\xrightarrow{\sim}\widehat R^{\varphi=\widetilde{\xi}} \] is a bijection for any quasi-regular semiperfectoid \(\mathbb Z_p^{\rm cycl}\)-algebra \(R\) [1907.10530]. Across these examples, the phrase does not denote a single universal construction. This suggests that “cyclotomic level map” functions as a context-dependent term whose common feature is the extraction of a discrete level from cyclotomic structure: a Bala–Carter depth on nilpotent orbits, a maximal cyclotomic factor in Weyl-group characteristic polynomials, a levelwise Frobenius comparison in cyclotomic spectra, a higher-root-of-unity map in chromatic homotopy theory, or an arithmetic reduction \(t_F(n)\) governing quadratic cyclotomic extensions. Source: https://www.emergentmind.com/topics/cyclotomic-level-maps