arXiv subjects

Gebhard Boeckle

Publications and source records attributed to Gebhard Boeckle.

10 recordsLinked to original sources

arXiv2025

$U$-Operators Acting on Harmonic Cocycles for $\mathrm{GL}_3$ and Their Slopes

In this article, we describe a computational study of the action of the two natural $U$-operators acting on $Γ$-invariant spaces of harmonic cocycles for $\mathrm{GL}_3$ for certain congruence subgroups $Γ$, in a positive characteristic setting. The cocycle spaces we consider are conjecturally isomorphic to spaces of Drinfeld cusp forms of rank $3$ and level $Γ$ via an analogue of Teitelbaum's residue map. We give explicit descriptions of the spaces of harmonic cocycles as subspaces of the vector space of coefficients, and of the resulting $U$- and Hecke operators acting on these. We then implement these formulas in a computer algebra system. Using the resulting data of slopes (and characteristic polynomials) for the Hecke actions, we observe several patterns and interesting phenomena present in our slope tables. This appears to be the first such study in a $\mathrm{GL}_3$ setting.

math.NT↗

arXiv2025

Dimension formulas for certain spaces of Drinfeld cusp forms

In this short note, we derive dimension formulas for spaces of Drinfeld cusp forms corresponding to harmonic cocycles invariant under the group $\mathrm{SL}_2(\mathbb{F}_q[t])$ and with values in absolutely irreducible $\mathrm{SL}_2(\mathbb{F}_q(t))$-representations via the theory of Brauer characters. This generalizes results in [BGP21] obtained by different methods. In addition, we prove a simple asymptotic formula for these dimensions.

math.NT↗

arXiv2021

Wiles defect of Hecke algebras via local-global arguments

We continue our study of the Wiles defect of deformation rings $R$ and Hecke rings $T$ (at a newform $f$) acting on the cohomology of Shimura curves. The Wiles defect at an augmentation $λ_f:T \to O$ measures the failure of $R,T$ to be complete intersections locally at $λ_f$. In situations we study here the Taylor-Wiles-Kisin patching method gives an isomorphism $R=T$ without the rings being complete intersections. Using novel arguments in commutative algebra and patching, we generalize significantly and give different proofs of our earlier results that compute the Wiles defect at $λ_f: R=T \to O$, and explain in an a priori manner why the answer is a sum of local defects. As a curious application of our work we give a new and more robust approach to the result of Ribet--Takahashi that computes change of degrees of optimal parametrizations of elliptic curves by Shimura curves as we vary the Shimura curve.

math.NT↗

arXiv2021

Wiles defect for Hecke algebras that are not complete intersections

In his work on modularity theorems, Wiles proved a numerical criterion for a map of rings $R\to T$ to be an isomorphism of complete intersections. He used this to show that certain deformation rings and Hecke algebras associated to a mod $p$ Galois representation at non-minimal level were isomorphic and complete intersections, provided the same was true at minimal level. In this paper we study Hecke algebras acting on cohomology of Shimura curves arising from maximal orders in indefinite quaternion algebras over the rationals localized at a semistable irreducible mod $p$ Galois representation $\overline ρ$. If $\overline ρ$ is scalar at some primes dividing the discriminant of the quaternion algebra, then Hecke algebra is still isomorphic to the deformation ring, but is not a complete intersection, or even Gorenstein, so the Wiles numerical criterion cannot apply. We consider a weight 2 newform $f$ which contributes to the cohomology of the Shimura curve and gives rise to an augmentation $λ_f$ of the Hecke algebra. We quantify the failure of the Wiles numerical criterion at $λ_f$ by computing the associated {\it Wiles defect} purely in terms of the local behavior at primes dividing the discriminant of the global Galois representation $ρ_f$ which $f$ gives rise to by the Eichler--Shimura construction. One of the main tools used in the proof is Taylor--Wiles--Kisin patching.

math.NT↗

arXiv2021

A Hecke-equivariant decomposition of spaces of Drinfeld cusp forms via representation theory, and an investigation of its subfactors

There are various reasons why a naive analog of the Maeda conjecture has to fail for Drinfeld cusp forms. Focussing on double cusp forms and using the link found by Teitelbaum between Drinfeld cusp forms and certain harmonic cochains, we observed a while ago that all obvious counterexamples disappear for certain Hecke-invariant subquotients of spaces of Drinfeld cusp forms of fixed weight, which can be defined naturally via representation theory. The present work extends Teitelbaum's isomorphism to an adelic setting and to arbitrary levels, it makes precise the impact of representation theory, it relates certain intertwining maps to hyperderivatives of Bosser-Pellarin, and it begins an investigation into dimension formulas for the subquotients mentioned above. We end with some numerical data for $A=\mathbb{F}_3[t]$ that displays a new obstruction to an analog of a Maeda conjecture by discovering a conjecturally infinite supply of $\mathbb{F}_3(t)$-rational eigenforms with combinatorially given (conjectural) Hecke eigenvalues at the prime $t$.

math.NT↗

arXiv2019

Computing $\mathcal{L}$-invariants via the Greenberg-Stevens formula

In this article, we describe how to compute slopes of $p$-adic $\mathcal{L}$-invariants of arbitrary weight and level by means of the Greenberg-Stevens formula. Our method is based on work of Lauder and Vonk on computing the reverse characteristic series of the $U_p$ operator on overconvergent modular forms. Using higher derivatives of this characteristic series, we construct a polynomial whose zeros are precisely the $\mathcal{L}$-invariants appearing in the corresponding space of modular forms with fixed sign of the Atkin-Lehner involution at $p$. In addition, we describe how to compute this polynomial efficiently. In the final section, we give computational evidence for relations between slopes of $\mathcal{L}$-invariants for small primes.

math.NT↗

arXiv2018

Wieferich Primes and a mod $p$ Leopoldt Conjecture

We consider questions in Galois cohomology which arise by considering mod $p$ Galois representations arising from automorphic forms. We consider a Galois cohomological analog for the standard heuristics about the distribution of Wieferich primes, i.e. prime $p$ such that $2^{p-1}$ is 1 mod $p^2$. Our analog relates to asking if in a compatible system of Galois representations, for almost all primes $p$, the residual mod $p$ representation arising from it has unobstructed deformation theory. This analog leads in particular to formulating a mod $p$ analog for almost all primes $p$ of the classical Leopoldt conjecture, which has been considered previously by G. Gras. Leopoldt conjectured that for a number field $F$, and a prime $p$, the $p$-adic regulator $R_{F,p}$ is non-zero. The mod $p$ analog is that for a fixed number field $F$, for almost all primes $p$, the $p$-adic regulator $R_{F,p}$ is a unit at $p$.

math.NT↗

arXiv2013

Independence of l-adic representations of geometric Galois groups

Let k be an algebraically closed field of arbitrary characteristic,let K/k be a finitely generated field extension and let X be a separated scheme of finite type over K. For each prime ell, the absolute Galois group of K acts on the ell-adic etale cohomology modules of X. We prove that this family of representations varying over ell is almost independent in the sense of Serre, i.e., that the fixed fields inside an algebraic closure of K of the kernels of the representations for all ell become linearly disjoint over a finite extension of K. In doing this, we also prove a number of interesting facts on the images and ramification of this family of representations.

math.NT↗

arXiv2004

Mod $\ell$ representations of arithmetic fundamental groups: Part I (An analog of Serre's conjecture for function fields)

We formulate for function fields an analog of Serre's conjecture on the modularity of 2-dimensional irreducible mod l representations of the absolute Galois group of Q: our analog is not restricted to 2-dimensional represntations. While the original conjecture of Serre is wide open at the moment, in this paper we prove the function field analog of Serre's conjecture only assuming largeness of image of the representation and some assumptions on the ramification of the representation (for example if the mod l representation is unramified and has full image, l is odd and the dimension and characteristic of the representation are coprime).

math.NT↗

arXiv2004

Mod $\ell$ representations of arithmetic fundamental groups II (A conjecture of A.J. de Jong)

As a sequel to our proof of the analog of Serre's conjecture for function fields in Part I of this work, we study in this paper the deformation rings of $n$-dimensional mod $\ell$ representations $ρ$ of the arithmetic fundamental group $π_1(X)$ where $X$ is a geometrically irreducible, smooth curve over a finite field $k$ of characteristic $p$ ($\neq \ell$). We are able to show in many cases that the resulting rings are finite flat over $\BZ_\ell$. The proof principally uses a lifting result of the authors in Part I of this two-part work, Taylor-Wiles systems and the result of Lafforgue. This implies a conjecture of A.J. ~de Jong for representations with coefficients in power series rings over finite fields of characteristic $\ell$, that have this mod $\ell$ representation as their reduction.

math.NT↗