Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2009.03688

$E_8$-singularity, invariant theory and modular forms

Lei Yang
View original source ↗Read source document ↗Export metadata ↓

Abstract

As an algebraic surface, the equation of $E_8$-singularity $x^5+y^3+z^2=0$ can be obtained from a quotient $C_Y/\text{SL}(2, 13)$ over the modular curve $X(13)$, where $Y \subset \mathbb{CP}^5$ is a complete intersection curve given by a system of $\text{SL}(2, 13)$-invariant polynomials and $C_Y$ is a cone over $Y$. It is different from the Kleinian singularity $\mathbb{C}^2/Γ$, where $Γ$ is the binary icosahedral group. This gives a negative answer to Arnol'd and Brieskorn's questions about the mysterious relation between the icosahedron and $E_8$, i.e., the $E_8$-singularity is not necessarily the Kleinian icosahedral singularity. In particular, the equation of $E_8$-singularity possesses infinitely many kinds of distinct modular parametrizations, and there are infinitely many kinds of distinct constructions of the $E_8$-singularity. They form a variation of the $E_8$-singularity structure over the modular curve $X(13)$, for which we give its algebraic version, geometric version, $j$-function version and the version of Poincaré homology $3$-sphere as well as its higher dimensional lifting, i.e., Milnor's exotic $7$-sphere. Moreover, there are variations of $Q_{18}$ and $E_{20}$-singularity structures over $X(13)$. Thus, three different algebraic surfaces, the equations of $E_8$, $Q_{18}$ and $E_{20}$-singularities can be realized from the same quotients $C_Y/\text{SL}(2, 13)$ over the modular curve $X(13)$ and have the same modular parametrizations.

Explore related subjects

math.NTmath.ACmath.AGmath.RT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Lei Yang. 2020-10-30. $E_8$-singularity, invariant theory and modular forms. https://arxiv.org/abs/2009.03688

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Small improvements to the Ball-Rivoal theorem and its $p$-adic variant

We prove that the dimension of the $\mathbb{Q}$-linear span of the Riemann zeta values $ζ(3),ζ(5),\ldots,ζ(s-1)$ is at least $(1.119 \cdot \log s)/(1+\log 2)$ for any sufficiently large even integer $s \geqslant s_0$. This result slightly refines the theorem of Rivoal (2000) or Ball--Rivoal (2001). The proof incorporates the arithmetic factor $Φ_n$ introduced by Zudilin (2001) into a slight generalization of the Ball--Rivoal hypergeometric construction. The asymptotic impact of the arithmetic factor $Φ_n$ was not anticipated prior to this work. Although this result is subsumed by a much stronger recent development by Fischler (2026), our approach yields a new result in the $p$-adic setting, slightly refining a theorem of Sprang (2020). We prove that the dimension of the $\mathbb{Q}$-linear span of the $p$-adic zeta values $ζ_p(3),ζ_p(5),\ldots,ζ_p(s-1)$ is at least $(1.119 \cdot \log s)/(1+\log 2)$ for any prime $p$ and any sufficiently large even integer $s \geqslant s_0(p)$.

math.NT↗
arXiv2026

A Fibonacci theorem for Collatz trajectories via modular graph structure

Let $T(n)=n/2$ if $n$ is even and $T(n)=(3n+1)/2$ if $n$ is odd. We prove that for each $m\ge1$, exactly $F(m+1)$ odd integers $n$ in $\{1,\ldots,2^m\}$ have the property that none of the iterates $T(n),T^2(n),\ldots,T^{m-1}(n)$ lies in the residue class $4\pmod6$, where $F(m+1)$ is the $(m+1)$-th Fibonacci number; the proportion decays at rate $(φ/2)^m$, $φ=(1+\sqrt{5})/2$. Equivalently, these are the odd $n\le2^m$ for which no two consecutive terms of $n,T(n),\ldots,T^{m-1}(n)$ are even. The proof uses the directed graph $G$ of Collatz transitions modulo $6$ and its unique absorbing strongly connected component $G'=G[\{1,2,4,5\}]$. Removing vertex $4$ from $G'$ yields a subgraph of spectral radius $φ$, against $ρ(G')=2$; the Fibonacci count follows from this spectral gap. We construct an explicit bijection $Ψ_m:\{1,\ldots,6\cdot2^m\}\to\mathcal{P}_m(G)$ onto the directed paths of length $m$ in $G$. We further show that no vertex of $G'$ is dispensable: removing any single vertex reduces the spectral radius strictly below $2$, with hierarchy $1<\sqrt{2}<φ<2$. In particular, every positive cycle of $T$ must visit residue class $2\pmod6$, and a flow conservation identity forces this class to account for more than $18\%$ of the steps in any such cycle.

math.NT↗