Showing 1–14 of 14 results for author: Beneish, L

How often does a cubic hypersurface have a rational point?

Authors: Lea Beneish, Christopher Keyes

Abstract: A cubic hypersurface in $\mathbb{P}^n$ defined over $\mathbb{Q}$ is given by the vanishing locus of a cubic form $f$ in $n+1$ variables. It is conjectured that when $n \geq 4$, such cubic hypersurfaces satisfy the Hasse principle. This is now known to hold on average due to recent work of Browning, Le Boudec, and Sawin. Using this result, we determine the proportion of cubic hypersurfaces in… ▽ More A cubic hypersurface in $\mathbb{P}^n$ defined over $\mathbb{Q}$ is given by the vanishing locus of a cubic form $f$ in $n+1$ variables. It is conjectured that when $n \geq 4$, such cubic hypersurfaces satisfy the Hasse principle. This is now known to hold on average due to recent work of Browning, Le Boudec, and Sawin. Using this result, we determine the proportion of cubic hypersurfaces in $\mathbb{P}^n$, ordered by the height of $f$, with a rational point for $n \geq 4$ explicitly as a product over primes $p$ of rational functions in $p$. In particular, this proportion is equal to 1 for cubic hypersurfaces in $\mathbb{P}^n$ for $n \geq 9$; for $100\%$ of cubic hypersurfaces, this recovers a celebrated result of Heath-Brown that non-singular cubic forms in at least 10 variables have rational zeros. In the $n=3$ case, we give a precise conjecture for the proportion of cubic surfaces in $\mathbb{P}^3$ with a rational point. △ Less

Submitted 10 May, 2024; originally announced May 2024.

Comments: 23 pages

MSC Class: 11D25; 11G25; 11G35

The Gross--Kohnen--Zagier theorem via $p$-adic uniformization

Authors: Lea Beneish, Henri Darmon, Lennart Gehrmann, Martí Roset

Abstract: This article gives a new proof of the Gross--Kohnen--Zagier theorem for Shimura curves which exploits the $p$-adic uniformization of Cerednik--Drinfeld. The explicit description of CM points via this uniformization leads to an expression relating the Gross--Kohnen--Zagier generating series to the ordinary projection of the first derivative, with respect to a weight variable, of a $p$-adic family o… ▽ More This article gives a new proof of the Gross--Kohnen--Zagier theorem for Shimura curves which exploits the $p$-adic uniformization of Cerednik--Drinfeld. The explicit description of CM points via this uniformization leads to an expression relating the Gross--Kohnen--Zagier generating series to the ordinary projection of the first derivative, with respect to a weight variable, of a $p$-adic family of positive definite ternary theta series. △ Less

Submitted 27 March, 2024; originally announced March 2024.

Replicable functions arising from code-lattice VOAs fixed by automorphisms

Authors: Lea Beneish, Jennifer Berg, Eva Goedhart, Hussain M. Kadhem, Allechar Serrano López, Stephanie Treneer

Abstract: We ascertain properties of the algebraic structures in towers of codes, lattices, and vertex operator algebras (VOAs) by studying the associated subobjects fixed by lifts of code automorphisms. In the case of sublattices fixed by subgroups of code automorphisms, we identify replicable functions that occur as quotients of the associated theta functions by suitable eta products. We show that these l… ▽ More We ascertain properties of the algebraic structures in towers of codes, lattices, and vertex operator algebras (VOAs) by studying the associated subobjects fixed by lifts of code automorphisms. In the case of sublattices fixed by subgroups of code automorphisms, we identify replicable functions that occur as quotients of the associated theta functions by suitable eta products. We show that these lattice theta quotients can produce replicable functions not associated to any individual automorphisms. Moreover, we show that the structure of the fixed subcode can induce certain replicable lattice theta quotients and we provide a general code theoretic characterization of order doubling for lifts of code automorphisms to the lattice-VOA. Finally, we prove results on the decompositions of characters of fixed subVOAs. △ Less

Submitted 27 June, 2023; originally announced June 2023.

Comments: 38 pages, comments welcome!

Generalized Ramanujan-Sato Series Arising from Modular Forms

Authors: Angelica Babei, Lea Beneish, Manami Roy, Holly Swisher, Bella Tobin, Fang-Ting Tu

Abstract: Motivated by work of Chan, Chan, and Liu, we obtain a new general theorem which produces Ramanujan-Sato series for $1/π$. We then use it to construct explicit examples related to non-compact arithmetic triangle groups, as classified by Takeuchi. Some of our examples are new, and some reproduce existing examples. Motivated by work of Chan, Chan, and Liu, we obtain a new general theorem which produces Ramanujan-Sato series for $1/π$. We then use it to construct explicit examples related to non-compact arithmetic triangle groups, as classified by Takeuchi. Some of our examples are new, and some reproduce existing examples. △ Less

Submitted 12 October, 2022; v1 submitted 26 February, 2022; originally announced February 2022.

Comments: 33 pages

MSC Class: 11F03; 11F11; 11Y60; 33C05; 33C20

On the proportion of locally soluble superelliptic curves

Authors: Lea Beneish, Christopher Keyes

Abstract: We investigate the proportion of superelliptic curves that have a $\mathbb{Q}_p$ point for every place $p$ of $\mathbb{Q}$. We show that this proportion is positive and given by the product of local densities, we provide lower bounds for this proportion in general, and for superelliptic curves of the form $y^3 = f(x,z)$ for an integral binary form $f$ of degree 6, we determine this proportion to b… ▽ More We investigate the proportion of superelliptic curves that have a $\mathbb{Q}_p$ point for every place $p$ of $\mathbb{Q}$. We show that this proportion is positive and given by the product of local densities, we provide lower bounds for this proportion in general, and for superelliptic curves of the form $y^3 = f(x,z)$ for an integral binary form $f$ of degree 6, we determine this proportion to be 96.94%. More precisely, we give explicit rational functions in $p$ for the proportion of such curves over $\mathbb{Z}_p$ having a $\mathbb{Q}_p$-point. △ Less

Submitted 14 October, 2022; v1 submitted 8 November, 2021; originally announced November 2021.

Comments: 64 pages. Accepted for publication in Finite Fields and Their Applications

MSC Class: 11G20; 11G30

Rank Jumps and Growth of Shafarevich--Tate Groups for Elliptic Curves in $\mathbb{Z}/p\mathbb{Z}$-Extensions

Authors: Lea Beneish, Debanjana Kundu, Anwesh Ray

Abstract: In this paper, we use techniques from Iwasawa theory to study questions about rank jump of elliptic curves in cyclic extensions of prime degree. We also study growth of the $p$-primary Selmer group and the Shafarevich--Tate group in cyclic degree-$p$ extensions and improve upon previously known results in this direction. In this paper, we use techniques from Iwasawa theory to study questions about rank jump of elliptic curves in cyclic extensions of prime degree. We also study growth of the $p$-primary Selmer group and the Shafarevich--Tate group in cyclic degree-$p$ extensions and improve upon previously known results in this direction. △ Less

Submitted 19 April, 2023; v1 submitted 19 July, 2021; originally announced July 2021.

Comments: Version 4: Referee comments incorporated including changes to the justification in Section 5

MSC Class: 11G05; 11R23; 11R34

Journal ref: Journal of the Australian Mathematical Society , Volume 116 , Issue 1 , February 2024 , pp. 1 - 38

Quadratic Chabauty for Atkin-Lehner Quotients of Modular Curves of Prime Level and Genus 4, 5, 6

Authors: Nikola Adžaga, Vishal Arul, Lea Beneish, Mingjie Chen, Shiva Chidambaram, Timo Keller, Boya Wen

Abstract: We use the method of quadratic Chabauty on the quotients $X_0^+(N)$ of modular curves $X_0(N)$ by their Fricke involutions to provably compute all the rational points of these curves for prime levels $N$ of genus four, five, and six. We find that the only such curves with exceptional rational points are of levels $137$ and $311$. In particular there are no exceptional rational points on those curv… ▽ More We use the method of quadratic Chabauty on the quotients $X_0^+(N)$ of modular curves $X_0(N)$ by their Fricke involutions to provably compute all the rational points of these curves for prime levels $N$ of genus four, five, and six. We find that the only such curves with exceptional rational points are of levels $137$ and $311$. In particular there are no exceptional rational points on those curves of genus five and six. More precisely, we determine the rational points on the curves $X_0^+(N)$ for $N=137,173,199,251,311,157,181,227,263,163,197,211,223,269,271,359$. △ Less

Submitted 11 May, 2021; originally announced May 2021.

Comments: 25 pages. Comments are welcome

MSC Class: 14G05 (Primary) 11G30; 11G18 (Secondary)

Fields generated by points on superelliptic curves

Authors: Lea Beneish, Christopher Keyes

Abstract: We give an asymptotic lower bound on the number of field extensions generated by algebraic points on superelliptic curves over $\mathbb{Q}$ with fixed degree $n$ and discriminant bounded by $X$. For $C$ a fixed such curve given by an affine equation $y^m = f(x)$ where $m \geq 2$ and $d= \mathrm{deg}\ f (x) \geq m$, we find that for all degrees $n$ divisible by $\gcd(m, d)$ and sufficiently large,… ▽ More We give an asymptotic lower bound on the number of field extensions generated by algebraic points on superelliptic curves over $\mathbb{Q}$ with fixed degree $n$ and discriminant bounded by $X$. For $C$ a fixed such curve given by an affine equation $y^m = f(x)$ where $m \geq 2$ and $d= \mathrm{deg}\ f (x) \geq m$, we find that for all degrees $n$ divisible by $\gcd(m, d)$ and sufficiently large, the number of such fields is asymptotically bounded below by $X^{δ_n}$, where $δ_n \to 1/m^2$ as $n \to \infty$. We then give geometric heuristics suggesting that for n not divisible by $\gcd(m, d)$, degree $n$ points may be less abundant than those for which $n$ is divisible by $\gcd(m,d)$ and provide an example of conditions under which a curve is known to have finitely many points of certain degrees. △ Less

Submitted 19 May, 2025; v1 submitted 30 March, 2021; originally announced March 2021.

Comments: 30 pages, accepted for publication in Journal of Number Theory

MSC Class: 11G30; 11D45; 12E05

Module constructions for certain subgroups of the largest Mathieu group

Authors: Lea Beneish

Abstract: For certain subgroups of $M_{24}$, we give vertex operator algebraic module constructions whose associated trace functions are meromorphic Jacobi forms. These meromorphic Jacobi forms are canonically associated to the mock modular forms of Mathieu moonshine. The construction is related to the Conway moonshine module and employs a technique introduced by Anagiannis--Cheng--Harrison. With this const… ▽ More For certain subgroups of $M_{24}$, we give vertex operator algebraic module constructions whose associated trace functions are meromorphic Jacobi forms. These meromorphic Jacobi forms are canonically associated to the mock modular forms of Mathieu moonshine. The construction is related to the Conway moonshine module and employs a technique introduced by Anagiannis--Cheng--Harrison. With this construction we are able to give concrete vertex algebraic realizations of certain cuspidal Hecke eigenforms of weight two. In particular, we give explicit realizations of trace functions whose integralities are equivalent to divisibility conditions on the number of $\mathbb{F}_p$ points on the Jacobians of modular curves. △ Less

Submitted 9 December, 2019; originally announced December 2019.

Comments: 19 pages

On Weierstrass mock modular forms and a dimension formula for certain vertex operator algebras

Authors: Lea Beneish, Michael H. Mertens

Abstract: Using techniques from the theory of mock modular forms and harmonic Maass forms, especially Weierstrass mock modular forms, we establish several dimension formulas for certain strongly rational, holomorphic vertex operator algebras, complementing previous work by van Ekeren, Möller, and Scheithauer. Using techniques from the theory of mock modular forms and harmonic Maass forms, especially Weierstrass mock modular forms, we establish several dimension formulas for certain strongly rational, holomorphic vertex operator algebras, complementing previous work by van Ekeren, Möller, and Scheithauer. △ Less

Submitted 6 February, 2020; v1 submitted 15 October, 2019; originally announced October 2019.

Comments: v3: 28 pages, some minor typos fixed, incorporating referee's comments. Final version accepted for publication

MSC Class: 11F03; 11F22; 17B69

Quasimodular moonshine and arithmetic connections

Authors: Lea Beneish

Abstract: We prove the existence of a module for the largest Mathieu group, whose trace functions are weight two quasimodular forms. Restricting to the subgroup fixing a point, we see that the integrality of these functions is equivalent to certain divisibility conditions on the number of $\mathbb{F}_p$ points on Jacobians of modular curves. Extending such expressions to arbitrary primes, we find trace func… ▽ More We prove the existence of a module for the largest Mathieu group, whose trace functions are weight two quasimodular forms. Restricting to the subgroup fixing a point, we see that the integrality of these functions is equivalent to certain divisibility conditions on the number of $\mathbb{F}_p$ points on Jacobians of modular curves. Extending such expressions to arbitrary primes, we find trace functions for modules of cyclic groups of prime order with similar connections. Moreover, for cyclic groups, we give an explicit vertex operator algebra construction whose trace functions are given only in terms of weight two Eisenstein series. △ Less

Submitted 2 November, 2018; v1 submitted 30 October, 2018; originally announced October 2018.

Comments: 18 pages

MSC Class: 11F03; 11F22; 17B69; 20C34

Journal ref: Transactions of the American Mathematical Society. Volume 372, Number 12, 15 December 2019, Pages 8793 - 8813

Moonshine modules and a question of Griess

Authors: Victor Manuel Aricheta, Lea Beneish

Abstract: We consider the situation in which a finite group acts on an infinite-dimensional graded module in such a way that the graded trace functions are weakly holomorphic modular forms. Under a mild hypothesis we completely describe the asymptotic module structure of the homogeneous subspaces. As a consequence we find that moonshine for a group gives rise to partial orderings on its irreducible represen… ▽ More We consider the situation in which a finite group acts on an infinite-dimensional graded module in such a way that the graded trace functions are weakly holomorphic modular forms. Under a mild hypothesis we completely describe the asymptotic module structure of the homogeneous subspaces. As a consequence we find that moonshine for a group gives rise to partial orderings on its irreducible representations. This serves as a first answer to a question posed by Griess. In particular, we show that our hypothesis holds for umbral moonshine and for automorphism groups of certain vertex operator algebras. △ Less

Submitted 24 October, 2018; v1 submitted 5 October, 2016; originally announced October 2016.

Comments: 15 pages

MSC Class: 11F11; 11F22; 11F37; 20C34; 17B69

$p$-adic properties of certain half-integral weight modular forms

Authors: Lea Beneish, Claire Frechette

Abstract: In this paper, we study the parallel cases of Zagier's and Folsom-Ono's grids of weakly holomorphic (resp. weakly holomorphic and mock modular) forms of weights 3/2 and 1/2, investigating their $p$-adic properties under the action of Hecke operators. In this paper, we study the parallel cases of Zagier's and Folsom-Ono's grids of weakly holomorphic (resp. weakly holomorphic and mock modular) forms of weights 3/2 and 1/2, investigating their $p$-adic properties under the action of Hecke operators. △ Less

Submitted 7 December, 2016; v1 submitted 1 September, 2015; originally announced September 2015.

Journal ref: Journal of Number Theory. Volume 168, November 2016, Pages 413-432

Traces of singular values of Hauptmoduln

Authors: Lea Beneish, Hannah Larson

Abstract: In an important paper, Zagier proved that certain half-integral weight modular forms are generating functions for traces of polynomials in the $j$-function. It turns out that Zagier's work makes it possible to algorithmically compute Hilbert class polynomials using a canonical family of modular forms of weight $\frac{3}{2}$. We generalize these results and consider Haupmoduln for levels… ▽ More In an important paper, Zagier proved that certain half-integral weight modular forms are generating functions for traces of polynomials in the $j$-function. It turns out that Zagier's work makes it possible to algorithmically compute Hilbert class polynomials using a canonical family of modular forms of weight $\frac{3}{2}$. We generalize these results and consider Haupmoduln for levels $1, 2, 3, 5, 7,$ and $13$. We show that traces of singular values of polynomials in Haupmoduln are again described by coefficients of half-integral weight modular forms. This realization makes it possible to algorithmically compute class polynomials. △ Less

Submitted 1 September, 2014; v1 submitted 16 July, 2014; originally announced July 2014.

Journal ref: International Journal of Number Theory, Vol. 11, No. 3, Pages 1027-1048, 2015