Luis V. Dieulefait
We address the problem of the determination of the images of the Galois representations attached to genus 2 Siegel cusp forms of level 1 having multiplicity one. These representations are symplectic. We prove that the images are as large as possible for almost every prime, if the Siegel cusp form is not a Maass spezialform and verifies two easy to check conditions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We establish a relation between Galois reducibility and Endoscopy for genus 2 Siegel cusp forms which have rational eigenvalues and are unramified at 3
In 2002, M. A. Tsfasman and S. G. Vlăduţ formulated the generalized Brauer-Siegel conjecture for asymptotically exact families of number fields. In this article, we establish this conjecture for asymptotically good towers and asymptotically bad families of number fields with solvable normal closure.
In this work we study the analytic properties of the standard L-function attached to Siegel-Jacobi modular forms of higher index, generalizing previous results of Arakawa and Murase. Furthermore, we obtain algebraicity results on special L-values in the spirit of Deligne's Period Conjectures.
In this work we obtain algebraicity results on special $L$-values attached to Siegel-Jacobi modular forms. Our method relies on a generalization of the doubling method to the Jacobi group obtained in our previous work, and on introducing a notion of near holomorphy for Siegel-Jacobi modular forms. Some of our results involve also holomorphic projection, which we obtain by using Siegel-Jacobi Poincaré series of exponential type.
We prove the following uniformity principle: if one of the Galois representations in the family attached to a genus two Siegel cusp form of weight $k>3$, "semistable" and with multiplicity one, is reducible (for an odd prime $p$),then all the representations in the family are reducible. This, combined with Serre's conjecture (which is now a theorem) gives a proof of the Endoscopy Conjecture.
We continue our study of Yoshida's lifting, which associates to a pair of automorphic forms on the adelic multiplicative group of a quaternion algebra a Siegel modular form of degree 2. We consider here the case that the automorphic forms on the quaternion algebra correspond to modular forms of arbitrary even weights and square free levels; in particular we obtain a construction of Siegel modular forms of weight 3 attached to a pair of elliptic modular forms of weights 2 and 4.
We study the image of the $\ell$-adic Galois representations associated to the four vector valued Siegel modular forms appearing in the work of Chenevier and Lannes. These representations are symplectic of dimension $4$. Following a method of Dieulefait, we determine the primes $\ell$ for which these representations are absolutely irreducible. In addition, we show that their image is "full" for all primes $\ell$ such that the associated residual representation is absolutely irreducible, except in two cases.
We prove that the "naive" convolution Dirichlet series D_2(s) attached to a degree 2 Siegel Hecke cusp form F, has a pole at s=1. As an application, we write down the asymptotic formula for the partial sums of the squares of the eigenvalues of $F$ with an explicit error term. Further, as a corollary, we are able to show that the abscissa of absolute convergence of the (normalized) spinor zeta function attached to F is s = 1.
In \cite{S}, Shyr derived an analogue of Dirichlet's class number formula for arithmetic Tori. We use this formula to derive a Brauer-Siegel formula for Tori, relating the Discriminant of a torus to the product of its regulator and class number. We apply this formula to derive asymptotics and lower bounds for Galois orbits of CM points in the Siegel modular variety $A_{g,1}$. Specifically, we ask that the sizes of these orbits grows like a power of Discriminant of the underlying endomorphism algebra. We prove this unconditionally in the case $g\leq 5$, and for all $g$ under the Generalized Rie…
Let $π$ be a cuspidal automorphic representation of $\mathrm{GSp}_4(\mathbf{A_Q})$, whose archimedean component is a holomorphic discrete series or limit of discrete series representation. If $π$ is not CAP or endoscopic, then we show that its associated $\ell$-adic Galois representations are irreducible and crystalline for $100\%$ of primes $\ell$. If, moreover, $π$ is neither an automorphic induction nor a symmetric cube lift, then we show that, for $100\%$ of primes $\ell$, the image of its mod $\ell$ Galois representation contains $\mathrm{Sp}_4(\mathbf{F}_{\ell})$.
Twisted Siegel-Weil formulas for $\mathrm{GL}_2$ over non-Galois quartic CM fields
研究非伽罗瓦四次CM域上\(\mathrm{GL}_2\)的扭曲西格尔 - 韦伊公式，通过联系扭曲西塔积分与赫克积分的土居 - 永野提升，证明雅克比 - 朗兰兹对应基变换是同构，还得出博切尔兹形式扭曲CM值相关结论。
We describe the effect of the differential operators defined by Boecherer-Nagaoka, Flander-Ghitza and Yamauchi on the Galois representations (conjecturally) attached to Siegel modular eigenforms.
Let $F$ be a vector-valued real analytic Siegel cusp eigenform of weight $(2,1)$ with the eigenvalues $-\frac 5{12}$ and 0 for the two generators of the center of the algebra consisting of all $Sp_4(\R)$-invariant differential operators on the Siegel upper half plane of degree 2. Under the assumptions (1) the validity of the transfer of automorphic representations of $GSp_4$ to $GL_4$; (2) the existence of mod $\ell$ Galois representation attached to $F$ and its lift to characteristic zero; (3) rationality of the space consisting of any such $F$; and (4) the integrality of Hecke polynomials of…
Families of symplectic Galois representations over small parabolic eigenvarieties for Siegel cuspforms of genus $2$
本文构造了小抛物特征形式并研究其附带的辛Galois表示族，引入了带有G结构的(φ, Γ)-模和精炼的辛Galois表示族理论，并证明了在温和假设下的微分R=T定理，探讨了小抛物特征形式在Saito-Kurokawa提升与Bloch-Kato Selmer群的关系。
The Rankin convolution type Dirichlet series $D_{F,G}(s)$ of Siegel modular forms $F$ and $G$ of degree two, which was introduced by Kohnen and the second author, is computed numerically for various $F$ and $G$. In particular, we prove that the series $D_{F,G}(s)$, which share the same functional equation and analytic behavior with the spinor $L$-functions of eigenforms of the same weight are not linear combinations of those. In order to conduct these experiments a numerical method to compute the Petersson scalar products of Jacobi Forms is developed and discussed in detail.
Semi-galois Categories IV: A deformed reciprocity law for Siegel modular functions
本文将虚二次域上代数Witt向量的模性定理扩展至CM域，从Siegel模函数变形族特殊值构造代数Witt向量，并给出其伽罗瓦理论刻画以例证一般伽罗瓦对应结果。
We consider $p$-adic families of Siegel eigenforms of genus $2$ and finite slope, defined as local pieces of an eigenvariety and equipped with a suitable integral structure. Under some assumptions on the residual image, we show that the image of the Galois representation associated with a family is big, in the sense that a Lie algebra attached to it contains a congruence subalgebra of non-zero level. We call Galois level of the family the largest such level. We show that it is trivial when the residual representation has full image. When the residual representation is a symmetric cube, the zer…
We prove in some cases a formula for the Greenberg-Benois $\mathcal{L}$-invariant of the spin, standard and adjoint Galois representations associated with Siegel-Hilbert modular forms. In order to simplify the calculation, we give a new definition of the $\mathcal{L}$-invariant for a Galois representation $V$ of a number field $F\neq \mathbb{Q}$; we also check that it is compatible with Benois' definition for $\mathrm{Ind}_F^{\mathbb{Q}}(V)$.
We prove an equidistribution statement for the Satake parameters of the local representations attached to Siegel cusp forms of degree $2$ of increasing level and weight, counted with a certain arithmetic weight. We then apply this to compute the symmetry type of a similarly weighted distribution of the low-lying zeros of $L$-functions attached to these cusp forms.
Let $\overlineρ: G_{\mathbf{Q}} \rightarrow {\rm GSp}_4(\mathbf{F}_3)$ be a continuous Galois representation with cyclotomic similitude character -- or, what turns out to be equivalent, the Galois representation associated to the $3$-torsion of a principally polarized abelian surface $A/\mathbf{Q}$. We prove that the moduli space $\mathcal{A}_2(\overlineρ)$ of principally polarized abelian surfaces $B/\mathbf{Q}$ admitting a symplectic isomorphism $B[3] \simeq \overlineρ$ of Galois representations is never rational over $\mathbf{Q}$ when $\overlineρ$ is surjective, even though it is both ratio…
Let F be a totally real field and G=GSp(4)_{/F}. In this paper, we show under a weak assumption that, given a Hecke eigensystem lambda which is (p,P)-ordinary for a fixed parabolic P in G, there exists a several variable p-adic family underline{lambda} of Hecke eigensystems (all of them (p,P)-nearly ordinary) which contains lambda. The assumption is that lambda is cohomological for a regular coefficient system. If F=Q, the number of variables is three. Moreover, in this case, we construct the three variable p-adic family rho_{underline{lambda}} of Galois representations associated to underline…
Weighted low-lying zeros of L-functions attached to Siegel modular forms
本文研究 2 次 Siegel 模形式的旋量与标准 L-函数的加权低矮零点，证明二者均具有辛对称类型，并通过按权平均扩大检验函数 Fourier 变换的支集范围，进而讨论中心值非消失性。
We give an effective version of a result reported by Serre asserting that the images of the Galois representations attached to an abelian surface with $\End(A)= \mathbb{Z}$ are as large as possible for almost every prime. Our algorithm depends on the truth of Serre's conjecture for two dimensional odd irreducible Galois representations. Assuming this conjecture we determine the finite set of primes with exceptional image.
In this paper we generalize the work of Harris-Soudry-Taylor and construct the compatible systems of two-dimensional Galois representations attached to cuspidal automorphic representations of cohomological type on GL_2 over a CM field with a suitable condition on their central characters. We also prove a local-global compatibility statement, up to semisimplification.
We sketch a method to compute mod $\ell$ Galois representations contained in the H2 étale of surfaces. We apply this method to the case of a representation with values in GL(3,9) attached to an eigenform over a congruence subgroup of SL(3). We obtain in particular a polynomial with Galois group isomorphic to the simple group PSU(3,9) and ramified at 2 and 3 only.
Let E/Q be a real quadratic field and pi_0 a cuspidal, irreducible, automorphic representation of GL(2,A_E) with trivial central character and infinity type (2,2n+2) for some non-negative integer n. We show that there exists a non-zero Siegel paramodular newform F with weight, level, Hecke eigenvalues, epsilon factor and L-function determined explicitly by pi_0. We tabulate these invariants in terms of those of pi_0 for every rational prime p.
We investigate certain families of meromorphic Siegel modular functions on which Galois groups act in a natural way. By using Shimura's reciprocity law we construct some algebraic numbers in the ray class fields of CM-fields in terms of special values of functions in these Siegel families.
In a previous article, the second author proved that the image of the Galois representation mod $λ$ attached to a Hilbert modular newform is large or all but finitely many primes $λ$, if the form is not a theta series. In this brief note, we give an explicit bound for this exceptional finite set of primes and determine the images in three different examples. Our examples are of Hilbert newforms on real quadratic fields, of parallel or non-parallel weight and of different levels.
By making use of Langlands functoriality between GSp(4) and GL(4), we show that the images of the Galois representations attached to "genuine" globally generic automorphic representations of GSp(4) are "large" for almost every prime. Moreover, by using the notion of (n,p)-groups (introduced by Khare, Larsen and Savin) and generic Langlands functoriality from SO(5) to GL(4) we construct automorphic representations of GSp(4) such that the compatible system attached to them has large image for all primes.
Siegel-Shidlovskii theory of $E$-functions involves a non-vanishing proof for the determinants attached to the linear forms $D^kR(t)$, derivatives of an auxiliary function $R(t)$. Let a non-zero function $F(t)$ satisfy $m$th order linear differential equation which we shall write using the differential operator $Δ=tD$ and let $L(t)$ be any non-zero linear form of the derivatives $Δ^i F(t)$ $(i=0,...,m-1; m\ge 2)$. The determinants $\det\mathcal A_k$ attached to the linear forms $Δ^kL(t)$ have certain simple properties that allow us to give a short proof for the non-vanishing of $\det\mathcal A…
In this paper, we associate Galois representations to globally generic cuspidal automorphic representations on GSp(4), over a totally real field F, which are Steinberg at some finite place. This association is compatible with the local Langlands correspondence for GSp(4) studied recently in a preprint of Gan and Takeda. As a corollary, we relate the rank of the monodromy operator at p to the dimensions of the parahoric fixed spaces at p. The Galois representations are constructed by first passing to GL(4) over a CM extension, then applying the book of Harris-Taylor plus a refinement due to Tay…
Let $A$ be an absolutely simple abelian variety without (potential) complex multiplication, defined over the number field $K$. Suppose that either $\dim A=2$ or $A$ is of $\operatorname{GL}_2$-type: we give an explicit bound $\ell_0(A,K)$ such that, for every prime $\ell>\ell_0(A,K)$, the image of the absolute Galois group of $K$ in $\operatorname{Aut}(T_\ell(A))$ is as large as it is allowed to be by endomorphisms and polarizations.
Let q be an integral quadratic form of signature (2,m+2). We will show that the Siegel theta functions attached to q satisfies certain symmetries. As an application, we prove the symmetries for automorphic forms on the orthogonal group of q closely related to Heegener divisors (Borcherds lifts and automorphic Green functions).
In this paper we obtain a weighted average formula for special values of $L$-functions attached to normalized elliptic modular forms of weight $k$ and full level. These results are obtained by studying the pullback of a Siegel Eisenstein series and working out an explicit spectral decomposition.
The main result of this article states that the Galois representation attached to a Hilbert modular eigenform defined over F_p^bar of parallel weight 1 and level prime to p is unramified above p. This includes the important case of eigenforms that do not lift to Hilbert modular forms in characteristic 0 of parallel weight 1. The proof is based on the observation that parallel weight 1 forms in characteristic p embed into the ordinary part of parallel weight p forms in two different ways per prime dividing p, namely via `partial' Frobenius operators.
Let $K$ be a number field, $A/K$ be an absolutely simple abelian variety of CM type, and $\ell$ be a prime number. We give explicit bounds on the degree over $K$ of the division fields $K(A[\ell^n])$, and when $A$ is an elliptic curve we also describe the full Galois group of $K(A_{\text{tors}})/K$. This makes explicit previous results of Serre and Ribet, and strengthens a theorem of Banaszak, Gajda and Krasoń. Our bounds are especially sharp in case the CM type of $A$ is nondegenerate.
Sur le théorème de Brauer-Siegel généralisé
本文引入数域扩张的 Galois 复杂度，并借助 Stark 例外零点下降原理的新版本，证明广义 Brauer-Siegel 定理适用于复杂度增长受控的渐近精确数域族。
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…
Let $p$ be an odd prime, $N$ a square-free odd positive integer prime to $p$, $π$ a $p$-ordinary cohomological irreducible cuspidal automorphic representation of $\mathrm{GSp}_4(\mathbb{A}_\mathbb{Q})$ of principal level $N$ and Iwahori level at $p$. Using a $p$-integral version of Rallis inner product formula and modularity theorems for $\mathrm{GSp}_{4/\mathbb{Q}}$ and $\mathrm{U}_{4/\mathbb{Q}}$, we establish an identity between the $p$-part of the critical value at $1$ of the degree $5$ $L$-function of $π$ twisted by the non-trivial quadratic Dirichlet character $ξ$ associated to the exten…
We show that the image of the adelic Galois representation attached to a non-CM modular form is open in the adelic points of a suitable algebraic group. We also show a similar result for the adelic Galois representation attached to a finite set of modular forms.
Let $ρ$ be the $p$-adic Galois representation attached to a cuspidal, regular algebraic, polarizable automorphic representation of $GL_n$. Assuming only that $ρ$ satisfies an irreducibility condition, we prove the vanishing of the adjoint Bloch--Kato Selmer group attached to $ρ$. This generalizes previous work of the author and James Newton.
We extend the computations in [AGM1, AGM2, AGM3] to find the cohomology in degree five of a congruence subgroup Gamma of SL(4,Z) with coefficients in a field K, twisted by a nebentype character eta, along with the action of the Hecke algebra. This is the top cuspidal degree. In practice we take K to be a finite field of large characteristic, as a proxy for the complex numbers. For each Hecke eigenclass found, we produce a Galois representation that appears to be attached to it. Our computations show that in every case this Galois representation is the only one that could be attached to it. The…
Kloosterman sums for a finite field arise as Frobenius trace functions of certain local systems defined over $\Gm$. The moments of Kloosterman sums calculate the Frobenius traces on the cohomology of tensor powers (or symmetric powers, exterior powers, etc.) of these local systems. We show that when $p$ ranges over all primes, the moments of the corresponding Kloosterman sums for $\mathbb{F}_{p}$ arise as Frobenius traces on a continuous $\ell$-adic Galois representation that comes from geometry. We also give bounds on the ramification of these Galois representations. All this is done in the g…
How big is the image of the Galois representations attached to CM elliptic curves?
本文利用Serre开像定理的类比，为定义在数域上的CM椭圆曲线关联了一个描述其伽罗瓦表示像大小的自然数，并基于经典复乘理论给出了计算该自然数的闭式公式。
We determine the sign of the polarization of any polarized irreducible factor of a Galois representation attached to a polarized cohomological cuspidal automorphic form of Gl_n of a CM field: it is always +1, as was conjectured by Gross.
Let $\ell$ be a prime number and let $F$ be a number field and $E/F$ a non-CM elliptic curve with a point $α\in E(F)$ of infinite order. Attached to the pair $(E,α)$ is the $\ell$-adic arboreal Galois representation $ω_{E,α,\ell^{\infty}} : {\rm Gal}(\overline{F}/F) \to \mathbb{Z}_{\ell}^{2} \rtimes {\rm GL}_{2}(\mathbb{Z}_{\ell})$ describing the action of ${\rm Gal}(\overline{F}/F)$ on points $β_{n}$ so that $\ell^{n} β_{n} = α$. We give an explicit bound on the index of the image of $ω_{E,α,\ell^{\infty}}$ depending on how $\ell$-divisible the point $α$ is, and the image of the ordinary $\el…
In this work we use the Rankin-Selberg method to obtain results on the analytic properties of the standard $L$-function attached to vector valued Siegel modular forms. In particular we provide a detailed description of its possible poles and obtain a non-vanishing result of the twisted $L$-function beyond the usual range of absolute convergence. We remark that these results were known in this generality only in the case of scalar weight Siegel modular forms. As an interesting by-product of our work we establish the cuspidality of some theta series.
The object of this article is to construct certain classes of arithmetically significant, holomorphic Siegel cusp forms F of genus 2, which are neither of Saito-Kurokawa type, in which case the degree 4 spinor L-function L(s, F) is divisible by an abelian L-function, nor of Yoshida type, in which case L(s,F) is a product of L-series of a pair of elliptic cusp forms. Two key examples are the forms F defined by the symmetric cube of a non-CM elliptic curve E over the rationals, and those defined by anticyclotomic twists (of even non-zero weight) of the base change of such an E to an imaginary qu…
Let $p$ be a prime, and let $Γ=\Sp_g(\Z)$ be the Siegel modular group of genus $g$. We study $p$-adic families of zeta functions and Siegel modular forms. $L$-functions of Siegel modular forms are described in terms of motivic $L$-functions attached to $\Sp_g$, and their analytic properties are given. Critical values for the spinor $L$-functions and $p$-adic constructions are discussed. Rankin's lemma of higher genus is established. A general conjecture on a lifting from $ GSp_{2m} \times GSp_{2m}$ to $GSp_{4m}$ (of genus $g=4m$) is formulated. Constructions of $p$-adic families of Siegel modu…
Kato explicit reciprocity law for Siegel modular forms of weight $(3, 3)$
本文将 Kato 显式互反律从模曲线推广到两条模曲线的乘积，并利用嵌入 Siegel 三维簇，得到权重 $(3,3)$ 的 Siegel 模形式所附 $p$-进表示的唯一次临界扭转的显式互反律。
We prove (under certain assumptions) the irreducibility of the limit $σ_2$ of a sequence of irreducible essentially self-dual Galois representations $σ_k: G_{\mathbf{Q}} \to \mathrm{GL}_4(\overline{\mathbf{Q}}_p)$ (as $k$ approaches 2 in a $p$-adic sense) which mod $p$ reduce (after semi-simplifying) to $1 \oplus ρ\oplus χ$ with $ρ$ irreducible, two-dimensional of determinant $χ$, where $χ$ is the mod $p$ cyclotomic character. More precisely, we assume that $σ_k$ are crystalline (with a particular choice of weights) and Siegel-ordinary at $p$. Such representations arise in the study of $p$-adi…
We study Galois representations attached to nonsimple abelian varieties over finitely generated fields of arbitrary characteristic. We give sufficient conditions for such representations to decompose as a product, and apply them to prove arithmetical analogues of results shown by Moonen and Zarhin in the context of complex abelian varieties (of dimension at most 5).
Consider a rational point on an elliptic curve under an isogeny. Suppose that the action of Galois partitions the set of its pre-images into n orbits. It is shown that all such points above a certain height have their denominator divisible by at least n distinct primes. This generalizes Siegel's theorem and more recent results of Everest et al. For multiplication by a prime l, it is shown that if n>1 then either the point is l times a rational point or the elliptic curve emits a rational l-isogeny.
In 1992, Avner Ash and Mark McConnell presented computational evidence of a connection between three-dimensional Galois representations and certain arithmetic cohomology classes. For some examples they were unable to determine the attached representation. For several Hecke eigenclasses (including one for which Ash and McConnell did not find the Galois representation), we find a Galois representation which appears to be attached and show strong evidence for the uniqueness of this representation. The techniques that we use to find defining polynomials for the Galois representations include a tar…
In the 80's Aschbacher classified the maximal subgroups of almost all of the finite almost simple classical groups. Essentially, this classification divide these subgroups into two types. The first of these consist roughly of subgroups that preserve some kind of geometric structure, so they are commonly called subgroups of geometric type. In this paper we will prove the existence of infinitely many compatible systems $\{ ρ_\ell \}_\ell$ of $n$-dimensional Galois representations associated to regular algebraic, essentially self-dual, cuspidal automorphic representations of $\mbox{GL}_n(\mathbb{…
We give a classification theorem for certain four-dimensional families of geometric $λ$-adic Galois representations attached to a pure motive. More precisely, we consider families attached to the cohomology of a smooth projective variety defined over $\Q$ with coefficients in a quadratic imaginary field, non-selfdual and with four different Hodge-Tate weights. We prove that the image is as large as possible for almost every $λ$ provided that the family is irreducible and not induced from a family of smaller dimension. If we restrict to semistable families an even simpler classification is give…
Given a prime $p$ and cusp forms $f_1$ and $f_2$ on some $Γ_1(N)$ that are eigenforms outside $Np$ and have coefficients in the ring of integers of some number field $K$, we consider the problem of deciding whether $f_1$ and $f_2$ have the same eigenvalues mod ${\mathfrak p}^m$ (where ${\mathfrak p}$ is a fixed prime of $K$ over $p$) for Hecke operators $T_{\ell}$ at all primes $\ell\nmid Np$. When the weights of the forms are equal the problem is easily solved via an easy generalization of a theorem of Sturm. Thus, the main challenge in the analysis is the case where the forms have different …
In this paper we obtain realizations of the 4-dimensional general symplectic group over a prime field of characteristic $\ell>3$ as the Galois group of a tamely ramified Galois extension of $\mathbb{Q}$. The strategy is to consider the Galois representation $ρ_{\ell}$ attached to the Tate module at $\ell$ of a suitable abelian surface. We need to choose the abelian varieties carefully in order to ensure that the image of $ρ_{\ell}$ is large and simultaneously maintain a control on the ramification of the corresponding Galois extension. We obtain an explicit family of curves of genus 2 such tha…
We construct extensions of the field of rational numbers with the Galois group G_2(F_p) by reducing p-adic representations attached to automorphic representations.
We prove the indecomposability of Galois representation restricted to the p-decomposition group attached to a non CM nearly p-ordinary weight two Hilbert modular form under mild conditions.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。