THE RECURSION f-->A(f)

A: t*(Z/3)[t^3]-->t*(Z/3)[t^3] is the Z/3-linear map with A(t)=0, A(t^4)=t, A(t^7)=t^4, and A((t^9)f)=(2t^9)A(f)+(t^3)A((t^3)f).

An induction shows that A(t^k) is either t^(k-3) + O(t^(k-6)) or 2t^(k-3) + O(t^(k-6)) when k is 4 or 7 mod 9, and is O(t^(k-6)) when  k is 1 mod 9. (Here O(t^m) is shorthand for an element of degree at most m in t)

d min (k)

Let N' consist of all positive integers that are 1 mod 3. For k in N', d min(k) is the smallest degree of A(f), f running over the elements of t*(Z/3)[t^3] of exact degree k. Note that d min is a function from N' to the union of N' with {minus infinity}. By the paragraph above d min (k) is k-3 when k is 4 or 7 mod 9. Suppose however that k is 1 mod 9; the last sentence shows that d min(k) cannot be 1 or 4 mod 9 and so must be 7 mod 9. Also by the last paragraph d min(k) is at most k-6; we conclude that d min(k) is at most k-12.

EXAMPLES

A(t^10 - t^7)=0, and d min(10)=minus infinity

A(t^19 + t^16 + t^13)=2t^7, and d min(19)=7.

SOME RESULTS FOR d min(k)

We've seen that when k is 4 or 7 mod 9, d min(k)=k-3. More labor shows:

(a) When k is 19 mod 27, d min(k)=k-12

(b) When k is 37 or 64 mod 81, d min(k)=k-21

(c) When k is 55 mod 81, d min(k)=k-30.

The question remains--what is d min(k) for k in the three remaining congruence classes mod 81--the classes of 1, 10, and 28. (These are the only classes containing k with d min(k)=minus infinity). We now present a conjectural answer.

THE QUESTION

Do the following hold?

1.  d min(81n+1)=9*d min(9n+1) -11

2.  d min(81n+10)=9*d min(9n+1) +7

3.  d min(81n+28)=9*d min(9n+1) +16

Tim Hickey has kindly provided me with a computer program that establishes that 1,2, and 3 hold for n up to 100.

MOTIVATION 

An elementary proof of 1,2 and 3 should lead an alternative proof of the Bellaiche-Khare-Medvedovsky result about the structure of the Hecke algebra attached to the space of mod 3 elliptic modular forms of level 1. And there are similar empirically verified conjectures for (much!) more complicated recursions whose proof would lead to an understanding of the structure of related Hecke algebras in levels Gamma_0 (5) and Gamma_0 (13).