Questions tagged [complex-multiplication]
The complex-multiplication tag has no usage guidance.
97
questions
2
votes
0
answers
60
views
Question on a certain reduced isogeny of CM elliptic curves
My question has to do with some hypotheses showing up in a Lemma of Joseph Silverman's Advanced Topics book. Here is some of the set up:
Let $K$ be an imaginary quadratic field and $E/H$ an elliptic ...
- 669
9
votes
1
answer
1k
views
What is Weber's mistake about Hilbert's 12th problem?
Today, We call the Kronecker's Jugendtraum Hilbert's 12th problem. But, Hilbert's interpretation of the "Jugendtraum" was not that intended by Kronecker.
And Weber missed his chance to ...
- 21
2
votes
0
answers
72
views
Are there CM complete intersections of arbitrarily large degree and codimension?
For every $d, c$ does there exist a complete intersection $X \subset \mathbb{P}^N$ of codimension $c$ and multidegrees $d_1, \dots, d_c \ge d$ such that the Mumford-Tate group of $X$ is abelian?
The ...
- 2,799
2
votes
1
answer
121
views
Elliptic curve with CM and image of Galois representation in normalizer of nonsplit Cartan
I am trying to understand the following. Let $E/\mathbb{Q}$ be an elliptic curve with complex multiplication given by the ring of integers $\mathcal{O}_K$. We are given a fixed rational prime $p$ ...
- 555
0
votes
0
answers
151
views
Why Lubin Tate character acts on torsion points of CM elliptic curve implies the group of torsion points is infinite?
Let $F$ be quadratic imaginary field, and $R_F$ be its ring of integers.
Let $E /\Bbb{Q} $ be an elliptic curve which has CM by $F$. Suppose $E$ has good reduction at $P$,which is prime ideal of $R_F$....
- 1,087
0
votes
1
answer
122
views
Why does $[I](P)＝0$ ($P\in E$) imply $[\psi(I)](P)＝0$ ? ($\psi$ is Hecke character of elliptic curve)
Let $K$ be a imaginary quadratic field, $R_K$ be ring of integers of $K$, and $E/K$ be elliptic curve which has CM over $K$.
Let $\psi_E$ be Hecke (Grössencharakter) character of $E/K$.
Let fix prime ...
- 1,087
5
votes
1
answer
253
views
Do there exist elliptic curves over $H_K$ having everywhere good reduction and CM by $\mathcal{O}_K$?
For $K$ a number field, denote by $\mathcal{O}_K$ its ring of integers and by $H_K$ its Hilbert class field.
For which imaginary quadratic field $K$ does there exist an elliptic curve $E$, defined ...
- 1,419
1
vote
1
answer
267
views
Primes of bad reduction for CM elliptic curves
$\DeclareMathOperator\Norm{Norm}$Suppose $E/\mathbb{Q}(j(E))$ is a CM elliptic curve and $d$ is a non-square. Let $E_d$ denote the twist of $E$ by $\mathbb{Q}(j(E))(\sqrt{d})$. I know if $d$ is ...
- 831
3
votes
0
answers
146
views
Reference Request: CM Motives over Function Fields
Inspired by Schutt and Shioda's lovely "An interesting elliptic surface over an elliptic curve", I have been investigating the following surface:
$$
\mathcal{E} : y^2 = x^3 - 27ux - 54v \...
2
votes
0
answers
213
views
Eisenstein Series at CM points
Suppose that $L= \mathbb{Z}\tau + \mathbb{Z}$ is a lattice with CM. Consider the Eisenstein sum
$$ G_{2k}(L) = \sum_{(m,n)\neq (0,0)} \frac{1}{(m\tau+n)^{2k}}$$
where $k$ is a positive integer greater ...
- 831
2
votes
0
answers
128
views
Hasse invariant of abelian varieties with complex multiplication
Is there a good way to compute Hasse invariants of elliptic curves or higher dimensional Abelian varieties with complex multiplication?
For example, if $E$ is an elliptic curve with CM by an ...
- 809
1
vote
0
answers
96
views
When a CM abelian variety has complex multiplication by $\mathcal{O}_E$?
I'm reading Milne's note, Complex Multiplication. There are many properties, such as Shimura-Taniyama Formula provided that $A$ is an abelian variety with complex multiplication by $\mathcal{O}_E$. So ...
- 59
4
votes
2
answers
294
views
Proof in Schertz's Complex Multiplication
I'm reading through Complex Multiplication by Reinhard Schertz, and I'm stuck at Theorem 3.1.8.
Let $\mathfrak{O}_t$ be the order of conductor $t$ in an imaginary quadratic field $K$.
He defines ...
- 831
3
votes
0
answers
198
views
Endomorphisms of elliptic curves, resp formal groups
Let
$E$ be an elliptic curve over a number field $K$,
$\mathcal{E}^w$ a fixed Weierstrass model for $E$ over $R := \mathbf{Z}[a_1,\ldots, a_6]$,
$\mathcal{E}$ the Néron model of $\mathcal{E}$ over ...
user147445
3
votes
0
answers
132
views
Values of Grössencharacter attached to CM elliptic curve
I am trying a cross-post here, as my previous post on stackexchange was not as fruitful as I hoped. The link to the older post is: https://math.stackexchange.com/questions/3327269/values-of-...
- 81
3
votes
1
answer
118
views
Quadratic orders embedded in matrices
Let $\tau$ be a CM point and let $\mathcal O$ be the quadratic order corresponding to the lattice $[\tau,1]$, that is
$$\mathcal O =\lbrace \lambda \in \mathbb C: \lambda[\tau,1]\subset[\tau,1]\rbrace....
- 2,305
5
votes
0
answers
232
views
$\mu=0$ for CM Elliptic curves?
Let $E$ be an elliptic curve defined over $F$ with CM by $\mathcal{O}_K$ where $K$ is an imaginary quadratic field. We may assume the $F$ contains $K$ and also contains the $p$-division points, where $...
- 1,141
2
votes
0
answers
205
views
field of definition of CM abelian varieties
When $A$ is a CM abelian variety of dimension $1$ (i.e., an elliptic curve), then we have a result that if it has CM by a maximal order then it has a model over a number field $F$ where $F$ is the ...
- 443
1
vote
1
answer
386
views
Local root numbers of the Hecke character associated with some specific CM elliptic curves, should they be some roots of unity?
TL;DR.
Some local root numbers of the Hecke character associated with our specific CM elliptic curve by $\mathbf{Q}(i)$ seem to have value in $\mu_4$. But apparently our computation via Rohrlich's ...
- 11
21
votes
1
answer
618
views
The valuation of j-functions vs number of isomorphisms for an elliptic curve
Gross and Zagier prove the following fantastic result in their paper "Singular Moduli":
Let $R$ be a discrete valuation ring over $\mathbb Z_p$ with uniformizer $\pi$ such that $k = R/\pi$ is ...
- 7,402
14
votes
2
answers
1k
views
Complex Multiplication and algebraic integers
Let $q=e^{2\pi i\tau}$ and
$$E_2(\tau) = 1 - 24 \sum_{n=1}^\infty\frac{nq^n}{1-q^n}$$ be the Eisenstein Series of weight $2$
and let $E_2^*(\tau) = E_2(\tau) - \frac{3}{\pi\cdot Im(\tau)}$ be the ...
- 598
5
votes
0
answers
233
views
Principally Polarized CM Abelian Variety
I am interested in considering examples of abelian varieties that are principally polarized with CM in dimension three. However, I am struggling to construct or find even a single instance.
In ...
- 51
10
votes
0
answers
345
views
What are the possible bad reductions for an abelian variety of dimension $g$ and a maximal endomorphism ring?
Perhaps the most basic fact about abelian varieties with CM is they have an everywhere potential good reduction (Serre-Tate). On the face of it it might appear that there isn't much more to be added ...
- 13.6k
3
votes
1
answer
594
views
Confusion on supersingular reduction of elliptic curves with complex multiplication
Let $A/L$ be an elliptic curve, with complex multiplication by a quadratic imaginary field $K$.
A theorem by Deuring ([13, paragraph 4], Theorem 12 on page 182 of Elliptic Functions by Serge Lang) ...
- 209
23
votes
3
answers
2k
views
Why are values of Eisenstein $E_2^*$ algebraic integers?
I'm looking for a proof that the following term is an algebraic integer whenever $\tau_N=\frac{N+\sqrt{-N}}{2}$ is a quadratic irrationality with class number $1$:
$$A_N:=\sqrt{-N}\cdot\frac{E_2(\...
- 598
2
votes
1
answer
199
views
Isogenies of degree 3 of elliptic curves with j-invariant 0
Let $E/\mathbb{Q}$ be an elliptic curve with $j(E)=0$. I.e., $E$ has Weierstrass equations
$$ y^2 = x^3+ B$$
for some $B\in \mathbb{Q}$. $E$ has complex multiplication by $\mathcal{O}:= \mbox{ ring ...
- 831
1
vote
0
answers
90
views
Abelian group extensions
Let $K$ be an imaginary quadratic field and $E$ be an elliptic curve with CM by $\mathcal{O}_K$. Is there a way to see that $K(j(E), h(E[\mathfrak{p}]))/K$ is an Abelian extension for some $\mathfrak{...
- 1,141
6
votes
1
answer
835
views
Fields of Definition of Elliptic Curves
I am currently studying the theory of complex multiplication and I find myself confused by the language in a lot of the literature.
In Silverman's Advanced Topics in the Arithmetic of Elliptic Curves,...
- 831
4
votes
0
answers
246
views
Galois cohomology of the Serre group in the proof of the fundamental theorem of CM
I am working through J.S. Milne's note on the fundamental theorem of complex multiplication over $\mathbb{Q}$. Let $E$ be a CM-field Galois over $\mathbb{Q}$, and $S^E$ the Serre group corresponding ...
- 570
1
vote
0
answers
154
views
$F$-rational isogenies of CM Elliptic Curves
Let $F$ be a number field and $\mathcal{O}$ an order in an imaginary quadratic field $K$. Assume $K\subseteq F$. In Lang's Elliptic Functions, it is shown that over that there is a bijection between, ...
- 831
1
vote
0
answers
131
views
Example of the Main Theorem of Complex Multiplication [closed]
I am trying to understand the main theorem ov CM for elliptic curves. I work with the version stated in the second chapter of Silvermans "Advanced Topics in the Arithmetics of Elliptic Curves".
I ...
- 41
7
votes
0
answers
403
views
Structure of elliptic curve $y^2 = x^3 - x$ over $\mathbb{F}_p$ with $p=(a+i)(a-i)$
I hope this question is good enough for this network.
I am trying to compute the group structure as the title says of $E:y^2=x^3 - x$ over $\mathbb{F}_p$ with $p\equiv 1\bmod 8$ and $p-1$ a square, ...
8
votes
2
answers
416
views
Number of points of elliptic curve over $\mathbb{F}_p$ with CM by $\sqrt{-2}$ when $p\equiv 1\bmod 8$
I was trying to calculate the number of points of the curve $E:y^2 = x^3 + 4x^2 + 2x$ over $\mathbb{F}_p$ for $p\equiv 1\bmod 8$ (In order to have $\sqrt{-2}\in\mathbb{F}_p$) but I did not succeed. ...
11
votes
0
answers
321
views
Why is the CM-type preserved after base changing from char 0 to char p?
There is a transition in the theory of complex multiplication which seems to be glossed over in all expositions I can find. I would like to explicitly find a theorem that allows me to do this.
...
- 3,499
6
votes
1
answer
500
views
Analogue of j-invariant for CM fields
For any imaginary quadratic field $F$, the Hilbert class field $H$ is generated by the $j$-invariant of any elliptic curve with complex multiplication (CM) by $\mathcal O$, the ring of algebraic ...
- 528
1
vote
0
answers
181
views
Can we choose $h(\mathcal{O})$ elliptic curves such that they have same trace and endomorphism ring $\mathcal{O}$ but distinct j-invariants?
Let $\mathbb{F}_q$ be a finite field of characteristic $p$ with $q=p^a$ elements. Let $E$ be an ordinary elliptic curve defined over $\mathbb{F}_q$. We know that $\text{End}(E)\otimes\mathbb{Q}$ is ...
- 139
2
votes
1
answer
308
views
CM Elliptic Curves and a result concerning ray class fields
Let $K$ be an imaginary quadratic field and suppose that $E/K$ has complex multiplication by $\mathcal{O}_K$. Let $\psi$ be the Hecke character associated with $E$ and $\mathfrak{f}$ its conductor (i....
4
votes
0
answers
130
views
About the main theorem of CM for elliptic curves
The classical main theorem of CM by Shimura states, among other things, that:
Consider a quadratic imaginary $K/\mathbb Q$ and an elliptic curve $E= \mathbb C / \Lambda$ with CM s.t. $End(E)\otimes \...
- 41
3
votes
0
answers
94
views
CM abelian surfaces (computed locally)
Let $K$ be a CM field such that $[K:\mathbb{Q}] = 4$ and let $K^+\subseteq K$ be the totally real subfield of $K$. For simplicity, assume that $K/\mathbb{Q}$ is Galois and suppose that $p\in \mathbb{Z}...
- 443
6
votes
0
answers
374
views
Kisin module for CM elliptic curve
Let $E$ be a CM elliptic curve with CM by the field $K$ and assume that $p$ is ramified in $K$ so that $\pi^2 = p \in \mathcal{O}_K$. In particular, then $E$ has supersingular reduction at $p$ and by ...
- 443
6
votes
1
answer
502
views
Endomorphisms of elliptic curves with CM; can we have an order?
Let $E$ be an elliptic curve over $\mathbb C$ with CM by ring of integers $O_K$ of an imaginary quadratic number field $K$. Let $O$ be an order of $O_K$.
Is there a number field $L$ such that $E$ has ...
- 119
5
votes
0
answers
200
views
Real field of definition of an abelian variety of CM-type?
Question 0. Can a field of definitions (without automorphisms) of an (almost arbitrary) abelian variety of CM-type, originally defined over ${\mathbb{C}}$,
be chosen to be a totally real number ...
- 12.9k
3
votes
1
answer
276
views
Elliptic curve with CM by $(1+\sqrt{-11}) /2$
Can someone explain to me on how to obtain the endomorphism for elliptic curve with CM by $(1+\sqrt{-11}) /2$?
Given the elliptic curve over $F_{p}$ as $y^2=x^3-13824/539 x + 27648/539 \dots$ how do ...
- 41
10
votes
1
answer
545
views
Does every Shimura variety contain a generic point defined over a number field?
This question is related to my previous question, to which I got a partial answer.
Consider the cyclotomic field $L={{\mathbb{Q}}}(\zeta_8)={{\mathbb{Q}}}(\sqrt{2},i)$, where $\zeta_8$ is a primitive ...
- 12.9k
11
votes
2
answers
618
views
Abelian variety with prescribed endomorphism ring
Consider the cyclotomic field $L={{\mathbb{Q}}}(\zeta_8)={{\mathbb{Q}}}(\sqrt{2},i)$, where $\zeta_8$ is a primitive 8-th root of unity. Let $\Lambda={{\mathbb{Z}}}[\zeta_8]$ denote the ring of ...
- 12.9k
6
votes
1
answer
1k
views
Ordinary abelian varieties over a finite field
Let $q$ be a power of a prime $p$. Deligne's paper "Variétés abéliennes ordinaires sur un corps fini" seems to describe an equivalence of categories between
ordinary abelian varieties over a finite ...
- 617
6
votes
1
answer
689
views
Does complex multiplication for higher dimensional abelian varieties give some generalization of class field theory?
I am currently learning some aspects of the theory of complex multiplication for elliptic curves, and the relationship with class field theory.
As I understand it, there is a very special class of ...
- 2,938
3
votes
1
answer
390
views
Tate modules of elliptic curves with complex multiplications
Let $E/K$ be an elliptic curve with complex multiplication
over an imaginary quadratic field $K$. Then, I heard that
it is well-known that the Tate module $V_{p}(E)$ over
$\mathbb{Q}_{p}$ ...
- 31
1
vote
0
answers
79
views
How quickly can we mutliply Cayley-Dickson hypercomplexes?
Assuming that all of the coordinates of two Cayley-Dickson Hypercomplex numbers are non-negative integers less than a prime $p$, how quickly can we multiply these numbers? I'm also interested in what ...
- 221
4
votes
0
answers
286
views
Complex multiplication and ray class fields
This question is mainly referring to the proof of Theorem 5.6, Chapter 2 of Silverman's "Advanced Topics in the AEC". Basically, let $K$ be an imaginary quadratic field, and $E$ be an elliptic curve ...
- 41