12
$\begingroup$

Kronecker's Jugendtraum (or Hilbert's 12'th problem) is to find abelian extensions of arbitrary number fields by adjoining `special' values of transcendental functions. The Kronecker-Weber theorem was the first realisation of this: i.e. $\mathbb{Q}^{ab}=\mathbb{Q}^{cycl}=\mathbb{Q}(e^{2\pi i \mathbb{Q}})$.

If $K$ is an imaginary quadratic field, then the theory of complex multiplication realises Kronecker's dream: roughly $K^{ab}=K(j(\tau), \wp(\tau,z))$, where $\tau$ is a `special' value of the upper half plane corresponding to an elliptic curve $E\cong\mathbb{C} / \Lambda$ with complex multiplication by the ring of integers of $K$, and $z \in \Lambda \otimes \mathbb{Q}$ (this is like adjoining $j(E)$ and the $x$-coordinates of the torsion points of $E$).

Is there some class of special analytic functions, and some special kind of objects which conjecturally play the role of the $j$-function, the $\wp$-function and CM elliptic curves for real quadratic fields?

$\endgroup$
2
  • 6
    $\begingroup$ It's not as simple as you suggest. There is the theory of complex multiplication of abelian varieties by Shimura and Taniyama, as well as the work by Henri Darmon on class fields of real quadratic number fields that you can find here: math.mcgill.ca/darmon/pub/pub.html $\endgroup$ Sep 8, 2012 at 12:40
  • $\begingroup$ By $K^{ab} = K(j(\tau), \wp(\tau,z))$,you mean only joining the $x$-coordinates, without $y$-coordinates? Is this the precise result? $\endgroup$
    – Yuan Yang
    Dec 23, 2021 at 3:04

3 Answers 3

16
$\begingroup$

For totally real quadratic fields, Stark's conjecture (still a conjecture) gives an answer. I quote:

In the case that $k$ is totally real, Tate (1984, 3.8) determines the subfield they generate; for example, when $[K:Q]=2$, they generate the abelian closure of $k$ in $\mathbb{R}$. This has implications for Hilbert's 12th problem. To paraphrase Tate (ibid. p.95):

"If the conjecture $\mathrm{St}(K/k,S)$ is true in this situation, then the formula $\varepsilon=\exp(-2\zeta^{\prime}(0,1))$ gives generators of abelian extensions of $k$ that are special values of transcendental functions. Finding generators of class fields of this shape is the vague form of Hilbert's 12th problem, and the Stark conjecture represents an important contribution to this problem. However, it is a totally unexpected contribution: Hilbert asked that we discover the functions that play, for an arbitrary number field, the same role as the exponential function for $\mathbb{Q}{}$ and the elliptic modular functions for a quadratic imaginary field. In contrast, Stark's conjecture, by using $L$-functions directly, bypasses the transcendental functions that Hilbert asked for. Perhaps a knowledge of these last functions will be necessary for the proof of Stark's conjecture."

Remarkably, $St(K/k,S)$ is useful for the explicit computation of class fields, and has even been incorporated into the computer algebra system PARI/GP.

That was the situation in 1985, but, as Lemmermeyer notes, Darmon and others have been studying these questions.

$\endgroup$
0
5
$\begingroup$

There is a proposal by Manin to engage noncommutative tori - when the modular parameter of an elliptic curve approaches the real line. It started in his Real Multiplication and noncommutative geometry from 2001 but I don't know about recent developments - what I found is his later update, a thesis from 2006 and a talk by Marcolli from ICM 2010. Maybe somebody knows about current status of this? I am really curious.

$\endgroup$
1
$\begingroup$

Hecke started on this area a century ago https://en.wikipedia.org/wiki/Hilbert's_twelfth_problem. As far as I know his ideas have not been taken much further.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.