Is there an notion of elliptic curve over the field with one element? As I learned from a previous question, there are several different versions of what the field with one element and what schemes over it should be (see for example this article by Javier López Peña and Oliver Lorscheid). What I want to know is whether there a good notion of elliptic curve over $F_{un}$? What about modular forms?

4$\begingroup$ That's not the first time I've put math over fun in terms of priority. $\endgroup$ – Harry Gindi Dec 8 '09 at 14:57
In a strict sense, elliptic curves over the rationals (say) are not defined over $F_1$ since their reduction modulo $p$ varies with $p$, e.g. they have places of bad reduction. However, CM elliptic curves have some of the properties that one would associate with objects defined over $F_1$. For example, their Lfunction looks a bit like the twist of a constant elliptic curve over a function field, except that the role played by the character is actually played by a Hecke character. So, in a sense, a CM elliptic curve is the twist of a curve over $F_1$ by a Hecke character, although I have never tried to fully formalize this notion. Another way to view this is perhaps through J. Borger's viewpoint in which a variety over $F_1$ is a variety in which all Frobeniuses lift. That sort of happens for CM elliptic curves.

5$\begingroup$ Yes, in my point of view there is "an F_1" for every Dedekind domain with finite residue fields. The one w.r.t Z gives the deepest one, and no elliptic curves are defined over it. But if R is the ring of integers in an imaginary quadratic of class number 1 and discriminant D, and E is an elliptic curve over R[1/D] with complex multiplication, then this scheme descends to the version of F_1 w.r.t R[1/D]. Without the class number restriction, it's probably still true, but you'd have to take E over the Hilbert class field and view it as a (non geom connected) scheme over R[1/D]. $\endgroup$ – JBorger Dec 9 '09 at 0:00

$\begingroup$ Excuse my ignorance. What is a "CM elliptic curve"? $\endgroup$ – Chris SchommerPries Dec 9 '09 at 1:38

3$\begingroup$ CM stands for "complex multiplication". It's a theorem that the endomorphism ring of an elliptic curve over a field of characteristic 0 is either Z or a rank 2 subring of an imaginary quadratic field. In the second case, one says it has complex multiplication. The point is that in the CM case, H^1, which is always 2dimensional, now has an action of a 2dimensional algebra, over which it is therefore 1dimensional. So the "motives" of CM elliptic curves are essentially abelian. So CM elliptic curves are similar in some ways to G_m. $\endgroup$ – JBorger Dec 9 '09 at 2:37
As was mentioned by others, currently varieties over $\mathbb F_1$ look uncomfortably like toric varieties or something very close to that. But of course there is a way to think of an elliptic curve as a sort of "toric" variety, using the Tate's uniformization $E\ "="\ \mathbb G_m/\mathbb Z\ $! (Same for higherdimensional abelian varieites, using the MumfordTate(FaltingsChai) uniformization.) So there has to be a way...
Put it another way, an elliptic curve is very similar to $\mathbb P^1$ with two points, $0$ and $\infty$, identified. Now that is an object that is really defined over $\mathbb F_1$.
The only places I am aware of where elliptic curves and F_1 have a common appearance are the articles link text (arXiv version2, not the newest) and link text, both by Connes and Consani and both roughly saying the same. It's not really about elliptic curves over Fun but they rather apply their Funpoint counting techniques to elliptic curves. The word modular form also occurs.
My feeling is that elliptic curves should rather not belong to the things defined over F_un. If they don't in Connes/Consani's setting then they don't anywhere, since theirs is currently the most comprehensive notion of F_1scheme (I am not sure, though, about Soule's and Connes/Consani's first approach, which are hard to compare with the others)
There is a good notion (I think) from Connes and Consani: every one of their $\mathbb{F}_1$schemes has a base change to $\mathbb{Z}$, which is an actual scheme.
I don't think any of them have been constructed, and I believe some of the earlier notions ruled them out (for example, one of them only allowed toric varieties). Connes and Consani seem hopeful about their existence (the links in Peter's answer lead to them arguing heuristically about why their zeta functions look good), but I didn't see any sign of them having been constructed yet.
In most of the current schemes, it is very unlikely that elliptic curves are defined over F_1. They are certainly not in Deitmar's or ToenVaquie since they restric to toric varieties. For Soule/ConnesConsani old notions, all the examples found so far seem to come from torified varieties (as defined by Oliver and myself in this paper. Also in CC new notion, up to the torsion part of the monoidal scheme their schemes appear to be generalized torified (see Theorem 2.2 in the reference you mention). But all torified schemes are rational, so elliptic curves are not in there.
On the other hand, Manin was very confident that the set of torsion points of an elliptic curve would define a convenient model for it. But if that was the case I don't think it would fit CC models, but rather Manin/Marcolli analytic approach, conjecturally related to Borger's, but no there is clear explanation on that relation just yet.