Let $k$ be an algebraically closed field of characteristic zero. Degree-four rational maps on $\mathbb{P}^1$, up to conjugation, correspond to pairs of binary forms $(F,G)\in V_5\oplus V_3$. The associated invariant ring is the joint invariant ring $\mathcal{R}_{5,3}=k[V_5\oplus V_3]^{\mathrm{SL}_2}$. We determine a minimal generating set for $\mathcal{R}_{5,3}$, consisting of fifty explicit joint transvectants of degrees at most $18$. As consequences we describe the null cone of $V_5\oplus V_3$, construct six explicit absolute invariants that generate the function field of the moduli space $\mathcal{M}_4^1$, and give an effective criterion for determining conjugacy of degree-four rational maps.
Let $\mathcal{L}_n \subset \mathcal{M}_2$ be the locus of genus-two curves admitting a maximal degree-$n$ elliptic subcover, cut out in $\mathbb{P}(2,4,6,10)$ by an irreducible weighted-homogeneous polynomial $F_n \in \mathbb{Z}[J_2,J_4,J_6,J_{10}]$. Let $\nu(n)$ be the degree of $X_1(n) \to X(1)$, let $G_{n^2}$ be the...
Let $K$ be a number field with ring of integers $\mathcal{O}_K$, and let $A,B,C \in \mathcal{O}_K \setminus\{0\}$. Denote by $S_K'$ the set of prime ideals of $\mathcal{O}_K$ dividing $2ABC$. Assuming two standard conjectures concerning the modularity of mod-$p$ Galois representations and the Eichler-Shimura correspond...
For a smooth projective curve $C/\mathbb{Q}$ of genus $\geq 2$ and $L/\mathbb{Q}$ an extension, we write $C(L)_{\text{new}}=\{P\in C(L):\mathbb{Q}(P)=L\}$. Recent work of Khawaja and Siksek conjectures that this set is empty for $100\%$ of degree $n$ number fields $L$, when ordered by absolute discriminant. Moreover, t...
Let $k=\mathbb F_q$. We classify, up to two-sided $k$-M\"obius equivalence, all separable indecomposable tame exceptional maps $\mathbf P^1_k\to\mathbf P^1_k$ whose geometric Galois closure has genus one. The resulting arithmetic fixed-field forms are encoded by Frobenius-stable affine elliptic quotient data recovered...
A smooth complete intersection $X\subset\mathbb{P}^{n+2}_{\mathbb{C}}$ of two quadrics admits an interpretation as a moduli space of bundles. For $n=2$, it parametrizes stable rank $2$ parabolic bundles on $\mathbb{P}^1$ with five marked points, while for $n=3$ it parametrizes stable rank $2$ bundles of odd degree with...
Jungin Lee in 2018 proved a necessary and sufficient condition that an integral quadratic form $\sum_{i=1}^{m} a_iX_i^2$ is universal over $M_2(\mathbb{Z})$. For a positive integer $n \geq 2$, Lee defined $f(n)$ to be the smallest positive integer $m$ such that for every pairwise coprime $a_1, a_2, \ldots a_m \in \math...
Mrunal Hardikar, A. S. Garge· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
