Related papers: Modular curves, invariant theory and $E_8$

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…

We discuss two simple but useful observations that allow the construction of modular forms from given ones using invariant theory. The first one deals with elliptic modular forms and their derivatives, and generalizes the Rankin-Cohen…

We provide a construction procedure for complex root spaces invariant under antilinear transformations, which may be applied to any Coxeter group. The procedure is based on the factorisation of a chosen element of the Coxeter group into two…

We study the class of complex algebraic K3 surfaces admitting an embedding of H+E8+E8 inside the Neron-Severi lattice. These special K3 surfaces are classified by a pair of modular invariants, in the same manner that elliptic curves over…

Let $E:y^2=x^3+ax+b$ be an elliptic curve defined over $\mathbb{Q}$. We compute certain twists of the classical modular curves $X(8)$. Searching for rational points on these twists enables us to find non-trivial pairs of $8$-congruent…

We derive lattice invariants from the heat flux of a lattice. Using systems of harmonic polynomials, we obtain sums of products of spherical theta functions which give new invariants of integer lattices which are modular forms. In…

We classify integral rootless lattices which are sums of pairs of $EE_8$-lattices (lattices isometric to $\sqrt 2$ times the $E_8$-lattice) and which define dihedral groups of orders less than or equal to 12. Most of these may be seen in…

There is a modular curve X'(6) of level 6 defined over Q whose Q-rational points correspond to j-invariants of elliptic curves E over Q for which Q(E[2]) is a subfield of Q(E[3]). In this note we characterize the j-invariants of elliptic…

From any directed graph $E$ one can construct the graph inverse semigroup $G(E)$, whose elements, roughly speaking, correspond to paths in $E$. Wang and Luo showed that the congruence lattice $L(G(E))$ of $G(E)$ is upper-semimodular for…

In this research we continue our previous investigation of wreath product normal structure \cite{SkuESL}. We generalize the group of unimodular matrices \cite{Amit} and find its structure. For this goal we propose one extension of the…

Let $E_1, E_2 / \mathbb{C}$ be non-isomorphic elliptic curves with complex multiplication. We prove that the pair $(E_1, E_2)$ is characterised, up to isomorphism, by the difference $j(E_1) - j(E_2)$ of the respective $j$-invariants. In…

Previous work established a connection between the geometric invariant theory of the third exterior power of a 9-dimensional complex vector space and the moduli space of genus 2 curves with some additional data. We generalize this…

Let $k$ be a field of characteristic 0, let $C/k$ be a uniquely trigonal genus 4 curve, and let $P \in C(k)$ be a simply ramified point of the uniquely trigonal morphism. We construct an assignment of an orbit of an algebraic group of type…

We study families of superelliptic curves with fixed automorphism groups. Such families are parametrized with invariants expressed in terms of the coefficients of the curves. Algebraic relations among such invariants determine the lattice…

The ring of projective invariants of eight ordered points on the line is a quotient of the polynomial ring on V, where V is a fourteen-dimensional representation of S_8, by an ideal I_8, so the modular fivefold (P^1)^8 // GL(2) is Proj(Sym*…

Let $E / \mathbb{Q}$ and $A / \mathbb{Q}$ be elliptic curves. We can construct modular points derived from $A$ via the modular parametrisation of $E$. With certain assumptions we can show that these points are of infinite order and are not…

We give a complete factorization of the invariant factors of resultant matrices built from birational parameterizations of rational plane curves in terms of the singular points of the curve and their multiplicity graph. This allows us to…

We describe birational representations of discrete groups generated by involutions, having their origin in the theory of exactly solvable vertex-models in lattice statistical mechanics. These involutions correspond respectively to two kinds…

Let $G$ be a compact, simply connected simple Lie group. We give a construction of an equivariant gerbe with connection on $G$, with equivariant 3-curvature representing a generator of $H^3_G(G,\Z)$. Technical tools developed in this…

A genus one curve of degree 5 is defined by the 4 x 4 Pfaffians of a 5 x 5 alternating matrix of linear forms on P^4. We describe a general method for investigating the invariant theory of such models. We use it to explain how we found our…