Searcharxiv⌕ Search

arXiv subjects

Paul Monsky

Publications and source records attributed to Paul Monsky.

At least 19 recordsLinked to original sources
arXiv2023

The sum of two cubes problem -- an approach that's classroom friendly

In this note I give simple proofs of classical results of Euler, Legendre and Sylvester showing that for certain integers M there are no (or only a few) solutions of $x^3 + y^3 = M$, with $x$ and $y$ in $\mathbb{Q}$. The proofs all use a single argument -- infinite 3-descent in the ring $\mathcal{O} = \mathbb{Z}[ω]$ of Eisenstein integers. (Everything needed about $\mathcal{O}$ is developed from scratch.) The reader only needs the briefest acquaintance with complex numbers, fields and congruence modulo an element of a commutative ring. In particular I never say anything about ideals or elliptic curves (though I do mention cubic reciprocity in passing), and a clever high-school student might well enjoy the note. A few new results with $M$ in $\mathcal{O}$ and $x$ and $y$ in $\mathbb{Q}[ω]$ are also derived.

math.HO↗
arXiv2017

Generators and relations for the shallow mod 2 Hecke algebra in levels $Γ_{0}(3)$ and $Γ_{0}(5)$

Let $M(\mathit{odd})\subset Z/2[[x]]$ be the space of odd mod~2 modular forms of level $Γ_{0}(3)$. It is known that the formal Hecke operators $T_{p}:Z/2[[x]]\rightarrow Z/2[[x]]$, $p$ an odd prime other than $3$, stabilize $M(\mathit{odd})$ and act locally nilpotently on it. So $M(\mathit{odd})$ is an $\mathcal{O} = Z/2[[t_{5},t_{7}, t_{11}, t_{13}]]$-module with $t_{p}$ acting by $T_{p}$, $p\in \{5,7,11,13\}$. We show: (1) Each $T_{p}:M(\mathit{odd})\rightarrow M(\mathit{odd})$, $p\ne 3$, is multiplication by some $u$ in the maximal ideal, $m$, of $\mathcal{O}$. (2) The kernel, $I$, of the action of $\mathcal{O}$ on $M(\mathit{odd})$ is $(A^{2},AC,BC)$ where $A,B,C$ have leading forms $t_{5}+t_{7}+t_{13},\, t_{7},\, t_{11}$. We prove analogous results in level $Γ_{0}(5)$. Now $\mathcal{O}$ is $Z/2[[t_{3},t_{7},t_{11},t_{13}]]$, and the leading forms of $A,B,C$ are $t_{3}+t_{7}+t_{11},\, t_{7},\, t_{13}$. Let $\mathit{HE}$, "the shallow mod~2 Hecke algebra (of level $Γ_{0}(3)$ or $Γ_{0}(5)$)" be $\mathcal{O}/I$. (1) and (2) above show that $\mathit{HE}$ is a 1 variable power series ring over the 1-dimensional local ring $Z/2[[A,B,C]]/(A^{2},AC,BC)$. For another approach to all these results, based on deformation theory, see Deo and Medvedovsky, "Explicit old components of mod-2 Hecke algebras with trivial $\barρ$."

math.NT↗
arXiv2016

Variations on a Lemma of Nicolas and Serre

The "Nicolas-Serre code", $(a,b) \leftrightarrow t^{n}$, is a bijection between $N\times N$ and those $t^{n}$, $n$ odd, in $Z/2[t]$. Suppose $A_{n}$, $n$ odd, in $Z/2[t]$ are defined by: $A_{1}= A_{5}= 0$, $A_{3}= t$, $A_{7}= t^{5}$, and $A_{n+8}= t^{8} A_{n} + t^{2} A_{n+2}$. A lemma, Proposition 4.3 of [6], used to study the Hecke algebra attached to the space of mod $2$ level $1$ modular forms, gives information about the codes $(a,b)$ attached to the monomials appearing in $A_{n}$. The unpublished highly technical proof has been simplified by Gerbelli-Gauthier. Our Theorem 3.7 generalizes Proposition 4.3. The proof, in sections 1-3, is a further simplification of Gerbelli-Gauthier's argument. We build up to the theorem with variants involving the same recurrence, but having different sorts of initial conditions. Section 4 treats the recurrence $A_{n+16}= t^{16} A_{n} + t^{4} A_{n+4} + t^{2} A_{n+2}$. Theorem 4.1, the analog to Theorem 3.7 for this recurrence, is used in [2] and [3] to analyze level 3 Hecke algebras. Finally we introduce a variant code, $(a,b) \leftrightarrow w^{n}$ which is a bijection between $N\times N$ and those $w^{n}$, $n \equiv 1,3,7,9 \bmod{20}$, in $Z/2[w]$. We then study the recurrence $A_{n+80}= w^{80} A_{n}+ w^{20} A_{n+20}$, $n \equiv 1,3,7,9 \bmod{20}$, with appropriate initial conditions. Lemma 5.5, derived from the results of sections 1-3, is the precise analog of Proposition 4.3 for this code, this recurrence, and these initial conditions. It is used in [4] and [5] to analyze level 5 Hecke algebras.

math.NT↗
arXiv2016

A characteristic 2 recurrence related to $U_{5}$, with a Hecke algebra application

In arXiv:1603.03910 [math.NT] we introduced some $C_{n}$ in $Z/2[t]$ defined by a linear recurrence and showed that each $C_{n}$, $n\equiv 0 \bmod{4}$, is a sum of $C_{k}$, $k<n$. Combining this with results from arXiv:1508.07523 [math.NT] we proved that the space $K$, consisting of those odd mod~2 modular forms of level $Γ_{0}(3)$ that are annihilated by the operator $U_{3}+I$, has a basis $m_{i,j}$ "adapted to $T_{7}$ and $T_{13}$" in the sense of Nicolas and Serre. (And so the "completed shallow Hecke algebra" attached to $K$ is a power series ring in $T_{7}$ and $T_{13}$.) This note derives analogous results in level $Γ_{0}(5)$. Now $U_{3}+I$ is replaced by $U_{5}+I$, and the operators $T_{7}$ and $T_{13}$ by $T_{3}$ and $T_{7}$. In place of level $Γ_{0}(3)$ results from 1508.07523, we use level $Γ_{0}(5)$ results from arXiv:1603.07085 [math.NT]. A linear recurrence again plays the key role. Now $C_{n+6} = C_{n+5} + (t^{6}+t^{5}+t^{2}+t)C_{n}+t^{n}(t^{2}+t)$, $C_{0}=0$, $C_{1}=C_{2}=1$, $C_{3}=t$, $C_{4}=t^{2}$, $C_{5}=t^{4}+t^{2}+t$, and we prove that each $C_{n}$, $n\equiv 0$ or $2\bmod{6}$ is a sum of $C_{k}$, $k<n$.

math.NT↗
arXiv2016

A Hecke algebra attached to mod 2 modular forms of level 5

Let $F$ be the element $\sum_{n\ \mathit{odd},\ n>0}x^{n^{2}}$ of $Z/2[[x]]$. Set $G=F(x^{5})$, $D=F(x)+F(x^{25})$. For $k>0$, $(k,10)=1$, define $D_{k}$ as follows. $D_{1}=D$, $D_{3}=D^{8}/G$, $D_{7}=D^{2}G$, $D_{9}=D^{4}G$; furthermore $D_{k+10}=G^{2}D_{k}$. Using modular forms of level $Γ_{0}(5)$ we show that the space $W$ spanned by the $D_{k}$ is stabilized by the formal Hecke operators $T_{p}:Z/2[[x]]\rightarrow Z/2[[x]]$, $p\ne 2$ or $5$. And we determine the structure of the (completed) shallow Hecke algebra attached to $W$. This algebra proves to be a power series ring in $T_{3}$ and $T_{7}$ with an element of square $0$ adjoined. As Hecke module, $W$ identifies with a certain subquotient of the space of mod~2 modular forms of level $Γ_{0}(5)$, and our Hecke algebra result parallels findings in level 1 (by J.-L. Nicolas and J.-P. Serre) and in level $Γ_{0}(3)$ by us.

math.NT↗
arXiv2016

A Hecke algebra attached to mod 2 modular forms of level 3

Let $D$ in $Z/2[[x]]$ be $\sum x^{n^{2}}$, $n>0$ and prime to $6$. Let $W$ be spanned by the $D^{k}$, $k>0$ and prime to $6$. Then the formal Hecke operators $T_{p}$, $p>3$, stabilize $W$, and it can be shown that they act locally nilpotently. We show that the completion of the Hecke algebra generated by these $T_{p}$ acting on $W$, with respect to the maximal ideal generated by the $T_{p}$, is a power series ring in $T_{7}$ and $T_{13}$ with an element of square $0$ adjoined. This may be viewed as a level 3 analog of the level 1 results of Nicolas and Serre -- the Hecke stable space they study is spanned by the odd powers of the mod $2$ reduction of $Δ$, and their resulting completed Hecke algebra is a power series ring in $T_{3}$ and $T_{5}$.

math.NT↗
arXiv2016

A characteristic 2 recurrence related to $U_3$, with a Hecke algebra application

I begin with a simple modular form motivated proof of the following: Let $C_{n}$ in $Z/2[[t]]$ be defined by $C_{n+4} = C_{n+3} + (t^{4}+t^{3}+t^{2}+t)C_{n} + t^{n}(t^{2}+t)$, with initial values $0$, $1$, $t$ and $t^{2}$ for $C_{0}$, $C_{1}$, $C_{2}$ and $C_{3}$. Then every $C_{4m}$ is a sum of $C_{k}$ with $k<4m$. This, combined with earlier results, yields: If $K$ consists of all mod $2$ modular forms of level $Γ_{0}(3)$ annihilated by $U_{2}$ and $U_{3} +I$, then $K$ has a basis adapted (in the sense of Nicolas and Serre) to the Hecke operators $T_{7}$ and $T_{13}$; consequently the Hecke algebra attached to $K$ is a power series ring in these two operators.

math.NT↗
arXiv2011

Frobenius' result on simple groups of order (p^3-p)/2

The complete list of pairs of non-isomorphic finite simple groups having the same order is well-known. In particular for p>3, PSL_2(Z/p) is the "only" simple group of order (p^3-p)/2. It's less well-known that Frobenius proved this uniqueness result in 1902. This note presents a version of Frobenius' argument that might be used in an undergraduate honors algebra course. It also includes a short modern proof, aimed at the same audience, of the much earlier result that PSL_2(Z/p) is simple for p>3; a result stated by Galois in 1832.

math.GR↗
arXiv2011

The reciprocals of some characteristic 2 "theta series"

Suppose l=2m+1, m>0. We introduce m "theta-series", [1],...,[m], in Z/2[[x]]. It has been conjectured that the n for which the coefficient of x^n in 1/[i] is 1 form a set of density 0. This is probably always false, but in certain cases, for n restricted to certain arithmetic progressions, it is true. We prove such zero-density results using the theory of modular forms, and speculate about what may be true in general.

math.NT↗
arXiv2011

Hilbert-Kunz theory for nodal cubics, via sheaves

Suppose B=F[x,y,z]/h is the homogeneous coordinate ring of a characteristic p degree 3 irreducible plane curve C with a node. Let J be a homogeneous (x,y,z)-primary ideal and n -> e_n be the Hilbert-Kunz function of B with respect to J. Let q=p^n. When J=(x,y,z), Pardue (see R. Buchweitz, Q. Chen. Hilbert-Kunz functions of cubic curves and surfaces. J. Algebra 197 (1997). 246-267) showed that e_n=(7q^2)/3-q/3-R where R=5/3 if q is congruent to 2 (3), and is 1 otherwise. We generalize this, showing that e_n= (mu q^2) + (alpha q) - R where R only depends on q mod 3. We describe alpha and R in terms of classification data for a vector bundle on C. Igor Burban (I. Burban. Frobenius morphism and vector bundles on cycles of projective lines. 2010. arXiv 1010.0399) provided a major tool in our proof by showing how pull-back by Frobenius affects the classification data of an indecomposable vector bundle over C. We are also indebted to him for pointing us towards Y. A. Drozd, G.-M. Greuel, I. Kashuba. On Cohen-Macaulay modules on surface singularities. Mosc. Math. J. 3 (2003). 397-418, 742, in which h^0 is described in terms of these classification data.

math.AC↗
arXiv2010

Disquisitiones Arithmeticae and online sequence A108345

Let g be the element that is the sum of x^(n^2) for n >= 0 of A=Z/2[[x]], and let B consist of all n for which the coefficient of x^n in 1/g is 1. (The elements of B are the entries 0, 1, 2, 3, 5, 7, 8, 9, 13, ... in A108345; see The On-Line Encyclopedia of Integer Sequences (OEIS).) Cooper, Eichhorn, and O'Bryant [1] have shown that the (upper) density of B is at most 1/4, and it is conjectured that B has density 0. This note uses results of Gauss on sums of 3 squares to show that the subset of B consisting of all n not congruent to 15 mod 16 has density 0. The final section gives some computer calculations, made by Kevin O'Bryant, indicating that, pace [1], B has density 1/32.

math.NT↗
arXiv2010

The limit as p -> infinity of the Hilbert-Kunz multiplicity of sum(x_i^(d_i))

Let p be a prime. The Hilbert-Kunz multiplicity, mu, of the element sum(x_i^(d_i)) of (Z/p)[x_1,..., x_s] depends on p in a complicated way. We calculate the limit of mu as p -> infinity. In particular when each d_i is 2 we show that the limit is 1 + the coefficient of z^(s-1) in the power series expansion of sec z + tan z.

math.AC↗
arXiv2009

Transcendence of some Hilbert-Kunz multiplicities (modulo a conjecture)

Suppose that h in F[x,y,z], char F=2, defines a nodal cubic. In earlier papers we made a precise conjecture as to the Hilbert-Kunz functions attached to the powers of h. Assuming this conjecture we showed that a class of characteristic 2 hypersurfaces has algebraic but not necessarily rational Hilbert-Kunz multiplicities. We now show that if the conjecture holds, then transcendental multiplicities exist, and in particular that the number \sum\binom{2n}{n}^{2}/(65,536)^{n}, proved transcendental by Schneider, is a Q-linear combination of Hilbert-Kunz multiplicities of characteristic 2 hypersurfaces.

math.AC↗
arXiv2009

Algebraicity of some Hilbert-Kunz multiplicities (modulo a conjecture)

Let F be a finite field of characteristic 2 and h be the element x^3+y^3+xyz of F[[x,y,z]]. In an earlier paper we made a precise conjecture as to the values of the colengths of the ideals (x^q,y^q,z^q,h^j) for q a power of 2. We also showed that if the conjecture holds then the Hilbert-Kunz series of H=uv+h is algebraic (of degree 2) over Q(w), and that mu(h) is algebraic (explicitly, (4/3)+(5/14)sqrt(7)). In this note, assuming the same conjecture, we use a theory of infinite matrices to rederive this result, and we extend it to a wider class of H; for example H=g(u,v)+h. In a follow-up paper, under the same hypothesis, we will show that transcendental Hilbert-Kunz multiplicities exist.

math.AC↗
arXiv2009

Generating functions attached to some infinite matrices

Let V be an infinite matrix with rows and columns indexed by the positive integers, and entries in a field F. Suppose that v_{i,j} only depends on i-j and is 0 for |i-j| large. Then V^n is defined for all n, and one has a "generating function" G=\sum a_{1,1}(V^n)z^n. Ira Gessel has shown that G is algebraic over F(z). We extend his result, allowing v_{i,j} for fixed i-j to be eventually periodic in i rather than constant. This result and some variants of it that we prove will have applications to Hilbert-Kunz theory.

math.CO↗