Even icosahedral Galois representations of prime conductor

Tame multiplicity and conductor for local Galois representations

Let $F$ be a non-Archimedean locally compact field of residual characteristic $p$. Let $σ$ be an irreducible smooth representation of the absolute Weil group $\Cal W_F$ of $F$ and $\sw(σ)$ the Swan exponent of $σ$. Assume $\sw(σ) \ge1$. Let $\Cal I_F$ be the inertia subgroup of $\Cal W_F$ and $\Cal P_F$ the wild inertia subgroup. There is an essentially unique, finite, cyclic group $\varSigma$, of order prime to $p$, so that $σ(\Cal I_F) = σ(\Cal P_F)\varSigma$. In response to a query of Mark Reeder, we show that the multiplicity in $σ$ of any character of $\varSigma$ is bounded by $\sw(σ)$.

Galois action on special theta values

Using Shimura's reciprocity law, we calculate the Galois action on the special values of theta functions associated to primitive Dirichlet characters of odd conductor, normalised by the Dedekind eta function, at the point i. As a consequence, we prove some experimental results of Cohen and Zagier and we deduce a partial result on the non-vanishing of these special theta values with prime conductor.

A bound for the conductor of an open subgroup of GL2 associated to an elliptic curve

Given an elliptic curve $E$ without complex multiplication defined over a number field $K$, consider the image of the Galois representation defined by letting Galois act on the torsion of $E$. Serre's open image theorem implies that there is a positive integer $m$ for which the Galois image is completely determined by its reduction modulo $m$. In this note, we prove a bound on the smallest such $m$ in terms of standard invariants associated with $E$. The bound is sharp and improves upon previous results.

Twist-minimal trace formulas and the Selberg eigenvalue conjecture

We derive a fully explicit version of the Selberg trace formula for twist-minimal Maass forms of weight 0 and arbitrary conductor and nebentypus character, and apply it to prove two theorems. First, conditional on Artin's conjecture, we classify the even 2-dimensional Artin representations of small conductor; in particular, we show that the even icosahedral representation of smallest conductor is the one found by Doud and Moore, of conductor 1951. Second, we verify the Selberg eigenvalue conjecture for groups of small level, improving on a result of Huxley from 1985.

On ramification filtrations and $p$-adic differential modules, I: equal characteristic case

Let $k$ be a complete discretely valued field of equal characteristic $p > 0$ with possibly imperfect residue field and let $G_k$ be its Galois group. We prove that the conductors computed by the arithmetic ramification filtrations on $G_k$ coincide with the differential Artin conductors and Swan conductors of Galois representations of $G_k$. As a consequence, we give a Hasse-Arf theorem for arithmetic ramification filtrations in this case. As applications, we obtain a Hasse-Arf theorem for finite flat group schemes; we also give a comparison theorem between the differential Artin conductors a…

Strong modularity of reducible Galois representations

In this paper, we call strongly modular those reducible semi-simple odd mod $l$ Galois representations for which the conclusion of the strongest form of Serre's original modularity conjecture holds. Under the assumption that the Serre weight $k$ satisfies $l\textgreater{}k+1$, we give a precise characterization of strongly modular representations, hence generalizing a classical theorem of Ribet pertaining to the case of conductor $1$.When the representation $ρ$ is not strongly modular, we give a necessary and sufficient condition on the primes $p$ not dividing $Nl$ for which it arises in level…

素数导子的模2二面体伽罗瓦表示

Mod-2 dihedral Galois representations of prime conductor

针对不超过500000的奇素数N，计算Hecke算子T₂在S₂(Γ₀(N), Q)上的作用并分析其模2约化的特征值，结合类域论与模2伽罗瓦表示解释结果，还扩展了关于特定模2约化的椭圆曲线和模形式的不存在性结果。

Artin's Conjecture and Elliptic Curves

Artin conjectured that certain Galois representations should give rise to entire L-series. We give some history on the conjecture and motivation of why it should be true by discussing the one-dimensional case. The first known example to verify the conjecture in the icosahedral case did not surface until Buhler's work in 1977. We explain how this icosahedral representation is attached to a modular elliptic curve isogenous to its Galois conjugates, and then explain how it is associated to a cusp form of weight 5 with level prime to 5.

Elliptic mod \ell Galois representations which are not minimally elliptic

In a recent preprint, F. Calegari has shown that for $\ell = 2, 3, 5$ and 7 there exist 2-dimensional surjective representations $ρ$ of $\Gal(\bar{\Q}/\Q)$ with values in $\F_\ell$ coming from the $\ell$-torsion points of an elliptic curve defined over $\Q$, but not minimally, i.e., so that any elliptic curve giving rise to $ρ$ has prime-to-$\ell$ conductor greater than the (prime-to-$\ell$) conductor of $ρ$. In this brief note, we will show that the same is true for any prime $\ell >7$, concretely, we will show that for any such $\ell$ the elliptic curve $$E^\ell: \qquad Y^2 = X (X- 3^\ell ) …

Swan conductors for p-adic differential modules, I: A local construction

We define a numerical invariant, the differential Swan conductor, for certain differential modules on a rigid analytic annulus over a p-adic field. This gives a definition of a conductor for p-adic Galois representations with finite local monodromy over an equal characteristic discretely valued field, which agrees with the usual Swan conductor when the residue field is perfect. We also establish analogues of some key properties of the usual Swan conductor, such as integrality (the Hasse-Arf theorem), and the fact that the graded pieces of the associated ramification filtration on Galois groups…

A non-selfdual 4-dimensional Galois representation

In this paper it is explained how one can construct non-selfdual 4-dimensional $\ell$-adic Galois representations of Hodge type $h^{3,0}=h^{2,1}=h^{1,2}=h^{0,3}=1$, assuming a hypothesis concerning the cohomology of a certain threefold. For one such a representation the first 80000 coefficients of its $L$-function are computed, and it is numerically verified that this $L$-function satisfies a functional equation. Also a candidate for the conductor is obtained.

Conductors and the moduli of residual perfection

Let A be a complete discrete valuation ring with possibly imperfect residue field. The purpose of this paper is to give a notion of conductor for Galois representations over A that generalizes the classical Artin conductor. The definition rests on two general results: there is a moduli space that parametrizes the ways of modifying A so that its residue field is perfect, and any information about a Galois-theoretic object over A can be recovered from its pullback to the (residually perfect) discrete valuation ring corresponding to the generic point of this moduli space.

On projective linear groups over finite fields as Galois groups over the rational numbers

Ideas and techniques from Khare's and Wintenberger's article on the proof of Serre's conjecture for odd conductors are used to establish that for a fixed prime l infinitely many of the groups PSL_2(F_{l^r}) (for r running) occur as Galois groups over the rationals such that the corresponding number fields are unramified outside a set consisting of l, the infinite place and only one other prime.

Existence of families of Galois representations and new cases of the Fontaine-Mazur conjecture

In a previous article, we have proved a result asserting the existence of a compatible family of Galois representations containing a given crystalline irreducible odd two-dimensional representation. We apply this result to establish new cases of the Fontaine-Mazur conjecture, namely, an irreducible Barsotti-Tate $λ$-adic 2-dimensional Galois representation unramified at 3 and such that the traces $a_p$ of the images of Frobenii verify $\Q(\{a_p^2 \}) = \Q $ always comes from an abelian variety. We also show the non-existence of irreducible Barsotti-Tate 2-dimensional Galois representations of …

Arithmetic and Differential Swan Conductors of rank one representations with finite local monodromy

We consider a complete discrete valuation field of characteristic p, with possibly non perfect residue field. Let V be a rank one continuous representation with finite local monodromy of its absolute Galois group. We will prove that the Arithmetic Swan conductor of V (defined after Kato in [Kat89] which fits in the more general theory of [AS02] and [AS06]) coincides with the Differential Swan conductor of the associated differential module $D^†(V)$ defined by Kedlaya in [Ked]. This construction is a generalization to the non perfect residue case of the Fontaine's formalism as presented in [Tsu…

Reducible Galois representations and the homology of GL(3,Z)

We prove the following theorem: Let $\bar\F_p$ be an algebraic closure of a finite field of characteristic $p$. Let $ρ$ be a continuous homomorphism from the absolute Galois group of $\Q$ to $\GL(3,\bar\F_p)$ which is isomorphic to a direct sum of a character and a two-dimensional odd irreducible representation. Under the condition that the conductor of $ρ$ is squarefree, we prove that $ρ$ is attached to a Hecke eigenclass in the homology of an arithmetic subgroup $Γ$ of $\GL(3,\Z)$. In addition, we prove that the coefficient module needed is, in fact, predicted by a conjecture of Ash, Doud, P…

Non-vanishing of Dirichlet L-functions in Galois orbits

A well known result of Iwaniec and Sarnak states that for at least one third of the primitive Dirichlet characters to a large modulus q, the associated L-functions do not vanish at the central point. When q is a large power of a fixed prime, we prove the same proportion already among the primitive characters of any given order. The set of primitive characters modulo q of a given order can be described as an orbit under the action of the Galois group of the corresponding cyclotomic field. We also prove a positive proportion of nonvanishing within substantially shorter orbits generated by interm…

偶Galois变形环的精细结构

Fine structure of even Galois deformation rings

该论文研究素导体为ℓ的偶Galois表示族，证明其对应水平S={ℓ,3}的偶模3变形环的商环不存在特定形式，进而推导出全局偶变形环在Z_3模范畴中有限且平坦的结论。

On the class numbers of real cyclotomic fields of conductor $pq$

The class numbers $h^{+}$ of the real cyclotomic fields are very hard to compute. Methods based on discriminant bounds become useless as the conductor of the field grows and methods employing Leopoldt's decomposition of the class number become hard to use when the field extension is not cyclic of prime power. This is why other methods have been developed which approach the problem from different angles. In this paper we extend one of these methods that was designed for real cyclotomic fields of prime conductor, and we make it applicable to real cyclotomic fields of conductor equal to the produ…

On the formal degree conjecture for simple supercuspidal representations

We prove the formal degree conjecture for simple supercuspidal representations of symplectic groups and quasi-split even special orthogonal groups over a p-adic field, under the assumption that p is odd. The essential part is to compute the Swan conductor of the exterior square of an irreducible local Galois representation with Swan conductor 1. It is carried out by passing to the equal characteristic local field and using the theory of Kloosterman sheaves.

Mass formulas for local Galois representations

Bhargava has given a formula, derived from a formula of Serre, computing a certain count of extensions of a local field, weighted by conductor and by number of automorphisms. We interpret this result as a counting formula for permutation representations of the absolute Galois group of the local field, then speculate on variants of this formula in which the role of the symmetric group is played by other groups. We prove an analogue of Bhargava's formula for representations into a Weyl group in the B_n series, which suggests a link with integration on p-adic groups. We also obtain analogous posi…

Galois representations attached to elliptic curves with complex multiplication

The goal of this article is to give an explicit classification of the possible $p$-adic Galois representations that are attached to elliptic curves $E$ with CM defined over $\mathbb{Q}(j(E))$. More precisely, let $K$ be an imaginary quadratic field, and let $\mathcal{O}_{K,f}$ be an order in $K$ of conductor $f\geq 1$. Let $E$ be an elliptic curve with CM by $\mathcal{O}_{K,f}$, such that $E$ is defined by a model over $\mathbb{Q}(j(E))$. Let $p\geq 2$ be a prime, let $G_{\mathbb{Q}(j(E))}$ be the absolute Galois group of $\mathbb{Q}(j(E))$, and let $ρ_{E,p^\infty}\colon G_{\mathbb{Q}(j(E))}\t…

On Serre's reciprocity conjecture for 2-dimensional mod p representations of the Galois group of Q

We first prove the existence of minimally ramified p-adic lifts of 2-dimensional mod p representations, that are odd and irreducible, of the absolute Galois group of Q,in many cases. This is predicted by Serre's conjecture that such representations arise from newforms of optimal level and weight. Using these minimal lifts, and arguments using compatible systems, we prove some cases of Serre's conjectures in low levels and weights. For instance we prove that there are no irreducible (p,p) type group schemes over the rational integers. We prove that a Galois representation as above of Artin cond…

Sur les représentations $p$-adiques géométriques de conducteur 1 et de dimension 2 de $G_{\Q}$

We prove that there is no geometric $p$-adic representation of the Galois group of $\Q$ which is irreducible, of dimension 2, of conductor 1 and low weight, according to a conjecture of Fontaine and Mazur.

Dihedral Galois representations and Katz modular forms

We show that any two-dimensional odd dihedral representation ρover a finite field of characteristic p>0 of the absolute Galois group of the rational numbers can be obtained from a Katz modular form of level N, character εand weight k, where N is the conductor, εis the prime-to-p part of the determinant and k is the so-called minimal weight of ρ. In particular, k=1 if and only if ρis unramified at p. Direct arguments are used in the exceptional cases, where general results on weight and level lowering are not available.

Mod p representations on elliptic curves

Modular Galois representations into GL_2(F_p) with cyclotomic determinant arise from elliptic curves for p = 2,3,5. We show (by constructing explicit examples) that such elliptic curves cannot be chosen to have conductor as small as possible at all primes other than p. Our proof involves finding all elliptic curves of conductor 85779, a custom computation carried out for us by Cremona. This leads to a counterexample to a conjecture of Lario and Rio. For p > 5, we construct irreducible representations with cyclotomic determinant that do not arise from any elliptic curve over Q.

The equidistribution of L-functions of twists by Witt vector Dirichlet characters over function fields

Katz showed that the L-functions of all Dirichlet characters of F_q(t), with conductor a fixed power of a degree one prime, are equidistributed in the limit as q goes to infinity. We generalize this statement to the L-functions of twists of an arbitrary Galois representation by Dirichlet characters, including independence of the L-functions of twists of different representations by the same Dirichlet character. A similar generalization, without the independence statement, for characters with squarefree conductor, was proven by Hall, Keating, and Roditty-Gershon.

On the Surjectivity of Galois Representations Associated to Elliptic Curves over Number Fields

Given an elliptic curve $E$ over a number field $K$, the $\ell$-torsion points $E[\ell]$ of $E$ define a Galois representation $\gal(\bar{K}/K) \to \gl_2(\ff_\ell)$. A famous theorem of Serre states that as long as $E$ has no Complex Multiplication (CM), the map $\gal(\bar{K}/K) \to \gl_2(\ff_\ell)$ is surjective for all but finitely many $\ell$. We say that a prime number $\ell$ is exceptional (relative to the pair $(E,K)$) if this map is not surjective. Here we give a new bound on the largest exceptional prime, as well as on the product of all exceptional primes of $E$. We show in particular…

On the ramification of non-abelian Galois coverings of degree $p^3$

The refined Swan conductor is defined by K.\ Kato \cite{KK2}, and generalized by T.\ Saito \cite{wild}. In this part, we consider some smooth $l$-adic étale sheaves of rank $p$ such that we can be define the $rsw$ following T.\ Saito, on some smooth dense open subscheme $U$ of a smooth separated scheme X of finite type over a perfect fields $κ$ of characteristic $p>0$. We give an explicit expression of $rsw(\mathcal{F})$ in some situation. As a consequence, we show that it is integral.

整体函数域上模 $p$ Galois 表示的有限性定理

A finiteness theorem for mod $p$ Galois representations over global function fields

对于特征不同于 $p$ 的整体函数域 $K$，证明了 Artin 导子有界的连续几何半单表示 $\rho: G_K \to \mathrm{GL}_n(\overline{\mathbb{F}}_p)$ 只有有限多个同构类，且无需假设 $p$ 不整除 $n$。

具有伽罗瓦群 $GL_2(\mathbb{F}_\ell)$ 的数域数量的下界

Lower bounds for the number of number fields with Galois group $GL_2(\mathbb{F}_\ell)$

本文证明了伽罗瓦群为 $GL_2(\mathbb{F}_\ell)$ 且判别式有界的数域数量具有明确的渐近下界，并对按 Artin 导子排序的相应满射伽罗瓦表示给出了类似下界。

Computing images of Galois representations attached to elliptic curves

Let E be an elliptic curve without complex multiplication (CM) over a number field K, and let G_E(ell) be the image of the Galois representation induced by the action of the absolute Galois group of K on the ell-torsion subgroup of E. We present two probabilistic algorithms to simultaneously determine G_E(ell) up to local conjugacy for all primes ell by sampling images of Frobenius elements; one is of Las Vegas type and the other is a Monte Carlo algorithm. They determine G_E(ell) up to one of at most two isomorphic conjugacy classes of subgroups of GL_2(Z/ell Z) that have the same semisimplif…

The kernel of the modular representation and the Galois action in RCFT

It is shown that for the modular representations associated to Rational Conformal Field Theories, the kernel is a congruence subgroup whose level equals the order of the Dehn-twist. An explicit algebraic characterization of the kernel is given. It is also shown that the conductor, i.e. the order of the Dehn-twist is bounded by a function of the number of primary fields, allowing for a systematic enumeration of the modular representations coming from RCFTs. Restrictions on the spectrum of the Dehn-twist and arithmetic properties of modular matrix elements are presented.

An Improved Bound Towards a Conjecture of Serre on Surjective Galois Representations

Suppose that $E$ is an elliptic curve defined over $\mathbb{Q}$ without complex multiplication and with conductor $N$. For each positive integer $m$, the action of the absolute Galois group $G_{\mathbb{Q}}=\operatorname{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$ on the torsion points over $\bar{\mathbb{Q}}$ gives rise to a representation of $G_\mathbb{Q}$. A celebrated paper of Serre shows that this representation is surjective for all sufficiently large primes; the other primes are termed \emph{exceptional}. Serre conjectures that there are no exceptional primes $\ell>37$ for any non CM elliptic curv…

局部伽罗瓦表示与商奇点的质量公式 I：计数函数的比较

Mass formulas for local Galois representations and quotient singularities I: a comparison of counting functions

本文研究局部伽罗瓦表示中 Artin 导子与野 Deligne-Mumford 栈 motivic 积分权的关系，并借此证明 McKay 对应的一种形式，将 Bhargava 质量公式与点的 Hilbert 概型联系起来。

有效的开像定理与椭圆曲线的Linnik型问题

Effective open image theorem and a Linnik type problem for elliptic curves

本文研究椭圆曲线族及其乘积的有效开像定理，无条件证明对100%的椭圆曲线对，模ℓ表示非满射的最大素数ℓ很小，并将问题归结为模形式的Linnik型问题，结合局部表示分析推广至单曲线。

On the embedding problem for $2^+S_4$ representations

Let $2^+S_4$ denote the double cover of $S_4$ corresponding to the element in $H^2(S_4,\Z/2\Z)$ where transpositions lift to elements of order 2 and the product of two disjoint transpositions to elements of order 4 (denoted $\tilde S_4$ in \cite{Serre}). Given an elliptic curve $E$, let $E[2]$ denote its 2-torsion points. Under some conditions on $E$ (as in \cite{Bayer}) elements in $H^1(\Gal_\Q,E[2])\backslash \{0 \}$ correspond to Galois extensions $N$ of $\Q$ with Galois group (isomorphic to) $S_4$. On this work we give an interpretation of the addition law on such fields, and prove that th…

Elliptic curves with 3-adic Galois representation surjective mod 3 but not mod 9

Let E be an elliptic curve over Q, and rho_l: Gal(Q) --> GL_2(Z_l) its l-adic Galois representation. Serre observed that for l>3 there is no proper closed subgroup of SL_2(Z_l) that maps surjectively onto SL_2(Z/lZ), and concluded that if rho_l is surjective mod l then it is surjective onto GL_2(Z_l). We show that this no longer holds for l=3 by describing a modular curve X of genus 0 parametrizing elliptic curves for which rho_3 is not surjective mod 9 but generically surjective mod 3. The curve X is defined over Q, and the modular cover X --> X(1) has degree 27 so X is rational. We exhibit a…

On differential modules associated to de Rham representations in the imperfect residue field case

Let $K$ be a complete discrete valuation field of mixed characteristic $(0,p)$, whose residue field may not be perfect, and $G_K$ the absolute Galois group of $K$. In the first part of this paper, we prove that Scholl's generalization of fields of norms over $K$ is compatible with Abbes-Saito's ramification theory. In the second part, we construct a functor $\mathbb{N}_{\mathrm{dR}}(V)$ associating a de Rham representation $V$ with a $(φ,\nabla)$-module in the sense of Kedlaya. Finally, we prove a compatibility between Kedlaya's differential Swan conductor of $\mathbb{N}_{\mathrm{dR}}(V)$ and …

CM点的p-adic等分布

p-adic equidistribution of CM points

研究模曲线和Shimura曲线上CM点在p-adic Berkovich解析空间中的等分布问题，通过划分显式“盆地”并证明局部Galois轨道序列存在极限的条件，结合拟典范提升理论与相交数新公式得出结论。

Deformations of Saito-Kurokawa type and the Paramodular Conjecture (with an appendix by Cris Poor, Jerry Shurman, and David S. Yuen)

We study short crystalline, minimal, essentially self-dual deformations of a mod $p$ non-semisimple Galois representation $\barσ$ with $\barσ^{\rm ss}=χ^{k-2} \oplus ρ\oplus χ^{k-1}$, where $χ$ is the mod $p$ cyclotomic character and $ρ$ is an absolutely irreducible reduction of the Galois representation $ρ_f$ attached to a cusp form $f$ of weight $2k-2$. We show that if the Bloch-Kato Selmer groups $H^1_f(\mathbf{Q}, ρ_f(1-k)\otimes \mathbf{Q}_p/\mathbf{Z}_p)$ and $H^1_f(\mathbf{Q}, ρ(2-k))$ have order $p$, and there exists a characteristic zero absolutely irreducible deformation of $\barσ$ t…

四面体类型偶表示的级提升与射影平面上直线的等分布

Level-raising of even representations of tetrahedral type and equidistribution of lines in the projective plane

该研究通过分析四面体类型偶表示的素数提升数据，提出关于射影平面上直线分布的猜想，并利用威尔斯公式证明了素数提升密度为$(p-1)/p$。

On the vanishing of Selmer groups for elliptic curves over ring class fields

Let E be a rational elliptic curve of conductor N without complex multiplication and let K be an imaginary quadratic field of discriminant D prime to N. Assume that the number of primes dividing N and inert in K is odd, and let H be the ring class field of K of conductor c prime to ND with Galois group G over K. Fix a complex character χof G. Our main result is that if the special value of the χ-twisted L-function of E/K is non-zero then the tensor product (with respect to χ) of the p-Selmer group of E/H with W over Z[G] is 0 for all but finitely many primes p, where W is a suitable finite ext…

Deligne-Henniart 扭转公式的推广及其应用

An extension of Deligne-Henniart's twisting formula and its applications

本文推广了 Deligne 及 Deligne-Henniart 的扭转公式，将其扩展到素数维 U-迷向 Heisenberg 表示，并应用于局部根数不变公式与伽罗瓦侧逆定理。