Searcharxiv⌕ Search

arXiv subjects

Helena Verrill

Publications and source records attributed to Helena Verrill.

11 recordsLinked to original sources
arXiv2024

On the Boundary of the Harter-Heighway dragon curve

In this article we apply an L-system to prove a recurrence formula for the length of the boundary of iterands of the well known Harter-Heighway dragon curve, a space filling curve with fractal boundary. This leads to finding formulas for related sequences of certain binary strings and ternary matrices. This proves some long standing conjectures for the recurrence relation for the number of terms in the boundary of the dragon curve, first stated in unpublished work Daykin and Tucker in 1975.

math.CO↗
arXiv2011

On l-adic representations for a space of noncongruence cuspforms

This paper is concerned with a compatible family of 4-dimensional \ell-adic representations ρ_{\ell} of G_\Q:=\Gal(\bar \Q/\Q) attached to the space of weight 3 cuspforms S_3 (Γ) on a noncongruence subgroup Γ\subset \SL. For this representation we prove that: 1.)It is automorphic: the L-function L(s, ρ_{\ell}^{\vee}) agrees with the L-function for an automorphic form for \text{GL}_4(\mathbb A_{\Q}), where ρ_{\ell}^{\vee} is the dual of ρ_{\ell}. 2.) For each prime p \ge 5 there is a basis h_p = \{h_p ^+, h_p ^- \} of S_3 (Γ) whose expansion coefficients satisfy 3-term Atkin and Swinnerton-Dyer (ASD) relations, relative to the q-expansion coefficients of a newform f of level 432. The structure of this basis depends on the class of p modulo 12. The key point is that the representation $ρ_{\ell}$ admits a quaternion multiplication structure in the sense of a recent work of Atkin, Li, Liu and Long.

math.NT↗
arXiv2010

Lifts of projective congruence groups

We show that noncongruence subgroups of SL_2(Z) projectively equivalent to congruence subgroups are ubiquitous. More precisely, they always exist if the congruence subgroup in question is a principal congruence subgroup Gamma(N) of level N>2, and they exist in many cases also for Gamma_0(N). The motivation for asking this question is related to modular forms: projectively equivalent groups have the same spaces of cusp forms for all even weights whereas the spaces of cusp forms of odd weights are distinct in general. We make some initial observations on this phenomenon for weight 3 via geometric considerations of the attached elliptic modular surfaces. We also develop algorithms that construct all subgroups projectively equivalent to a given congruence subgroup and decides which of them are congruence. A crucial tool in this is the generalized level concept of Wohlfahrt.

math.NT↗
arXiv2007

Symmetric groups and conjugacy classes

Let S_n be the symmetric group on n-letters. Fix n>5. Given any nontrivial $α,β\in S_n$, we prove that the product $α^{S_n}β^{S_n}$ of the conjugacy classes $α^{S_n}$ and $β^{S_n}$ is never a conjugacy class. Furthermore, if n is not even and $n$ is not a multiple of three, then $α^{S_n}β^{S_n}$ is the union of at least three distinct conjugacy classes. We also describe the elements $α,β\in S_n$ in the case when $α^{S_n}β^{S_n}$ is the union of exactly two distinct conjugacy classes.

math.GR↗
arXiv2005

On the motive of Kummer varieties associated to $Γ_1(7)$ - Supplement to the paper: The modularity of certain non-rigid Calabi-Yau threefolds (by R. Livné and N. Yui)

In their paper Livné and Yui (math.AG/0304497) discuss several examples of non-rigid Calabi-Yau varieties which admit semi-stable K3-fibrations with 6 singular fibres over a base which is a rational modular curve. They also establish the modularity of the L-function of these examples. The purpose of this note is to point out that the examples which were listed in their paper, but which do not lead to semi-stable fibrations, are still modular in the sense that their L-function is associated to modular forms. We treat the case associated to the group Gamma_1(7) in detail, but our technique also applies to many other cases. We further make some comments concerning the Kummer construction for fibre products of elliptic surfaces in general.

math.AG↗
arXiv2005

On the modularity of Calabi-Yau threefolds containing elliptic ruled surfaces

We prove that (not necessarily rigid) Calabi-Yau threefolds defined over the rationals which contain sufficiently many elliptic ruled surfcaes are modular (under mild restrictions on the primes of bad reduction). Our proof uses the results of Dieulefait and Manoharmayum who proved modularity of rigid Calabi-Yau threefolds.

math.AG↗
arXiv2002

Notes on toric varieties

These notes survey some basic results in toric varieties over a field with examples and applications. A computer algebra package (written by the second author) is described which deals with both affine and projective toric varieties in any number of dimensions (written in both the software packages MAGMA and GAP). Among other things, the package implements a desingularization procedure for affine toric varieties, constructs some error-correcting codes associated with toric varieties, and computes the Riemann-Roch space of a divisor on a toric variety.

math.AG↗