## Elliptic Curves over Rings?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

So an elliptic curve $E$ over a field $K$ is a smooth projective nonsingular curve of genus $1$ together with a point $O \in E$.

I was reading Silverman's "Arithmetic of Elliptic Curves" and it seems that most of its treatment is over fields.

My question is, does it make sense to define an elliptic curve over a ring (eg: a noncommutative ring)? If not, why not (where would the "construction" fail)? Is it simply not an object of much interest?

Edit: Apparently the question of elliptic curves over noncommutative rings is considered to some extent in this.

http://user.math.uzh.ch/fontein/diplom-fontein.pdf

-

I would say that perhaps 'explored' is saying a bit too much. He solves an equation in a noncommutative ring. If you want to see this as constructing an.elliptic curve over a noncommutative ring that's ok, but as long as there's no group law or any of the other features that do appear over commutative rings, you really don't have anything more than just any old equation. (Btw, after 8 edits your question becomes community-wiki, which voids any reputation points that were awarded to any of us. FYI.) – René Pannekoek Apr 29 2012 at 7:45
Was cross-posted on MSE after a month. I'm including a link here as notification. math.stackexchange.com/questions/154965/… – Eugene Jun 7 at 8:29

## 2 Answers

A commutative ring, yes. This is treated to some extent in Silverman's second book; for the more general story of "abelian schemes," which is what you're really after, I might look at Milne's articles in the volume Arithmetic Geometry edited by Cornell and Silverman.

As for noncommutative rings, I'm afraid I have no idea -- I'm not even sure what "construction" would be in a position to fail!

-
So, I googled "noncommutative torus" "abelian variety" and sure enough there were results, including a paper by Manin. – Rob Harron Apr 28 2012 at 4:32

3
@Rob: "noncommutative torus," as I understand it, doesn't refer to an elliptic curve over a noncommutative ring, but to a noncommutative deformation of the ring of functions on a torus. – Qiaochu Yuan Apr 28 2012 at 16:48

2
I agree with Qiaochu here. As I recall, Manin's noncommutative tori are meant (e.g.) to stand in relation to real quadratic fields as CM elliptic curves do to imaginary quadratic fields. – JSE Apr 29 2012 at 4:28
I guess the more fundamental question would be is it even possible to define curves over noncommutative rings? – Eugene May 12 2012 at 0:35

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Elliptic curves can be defined over arbitrary base schemes $S$. In particular, for every (commutative!) ring $R$ one can talk about elliptic curves over (the spectrum of) $R$. Loosely speaking, what one gets is a family $E$ of elliptic curves parametrized by the points of $S$. One then proves the existence of the group law ($E$ can be given the structure of an $S$-group scheme), and goes from there. E.g., locally over $S$, $E$ can be put into Weierstrass form.

In the book Arithmetic Moduli of Elliptic Curves by Katz and Mazur, an elliptic curve over $S$ is defined as a proper smooth morphism $f : E \rightarrow S$ of finite presentation, with a section $0 : S \rightarrow E$, such that all geometric fibers of $f$ are integral (equivalently, connected) curves of genus one.

What can be done for noncommutative $R$ I don't know. It seems to me that you have to say what you mean by an elliptic curve over a noncommutative ring. One can't simply replace 'field' in 'elliptic curve over a field' by the name of some other algebraic structure and expect it to make sense, I guess.

-

What you are referring to in Deligne–Rapoport are generalized elliptic curves, not elliptic curves. – Rob Harron Apr 28 2012 at 14:20
Yes you're right. My mistake, I'll make an edit. – René Pannekoek Apr 28 2012 at 14:26
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 18, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9554303288459778, "perplexity_flag": "middle"}