First formulation of the Dedekind and Hasse-Weil conjectures

Question

I'm looking for the original statement of two important conjectures in number theory concerning L-functions. I'm particularly interested in pinning down the year in which they were first formulated:

• The Dedekind conjecture (that the quotient $\zeta_K(s)/\zeta(s)$ is entire for any number field $K$)

The only information I've been able to find is that Dedekind himself proved the conjecture in the case of pure cubic fields in 1873. This definitely gives an upper bound. I'm also curious to know for which extensions $K$ over $\mathbb{Q}$ he expected the conjecture to be true.

Edit (1) I've found the paper in question:

Richard Dedekind, Über die Anzahl von Idealklassen in reinen kubischen Zahlkörpern (1900)

Here is a link to his complete works. I can't read german, so the question is still the same, but I thought the link might help. Discussion about the zeta function of number fields seems to start in page 166 (section 6).

Edit (2) Another clue, mentioned by Vesselin Dimitrov in the comments, and suggesting that the conjecture might be due to Landau:

"On page 34 of Bombieri's article The classical theory of zeta and L-functions in the Milan Journal of Mathematics, the conjecture is attributed to Landau. So it probably appears in Landau's Handbuch, much earlier than in Artin"

• The Hasse-Weil conjecture (the zeta function of an algebraic variety has a meromorphic continuation to the complex plane and a functional equation)

(note: this has been nicely answered by Francois Ziegler in the comments)

The problem with this one seems to be that it applies to several different kinds of functions, and both definitions and result came in several stages. I think that the first and most basic definitions is Artin's zeta function of a curve over a finite field. This was generalized to arbitrary algebraic varieties, and also to schemes of finite type over $\mathbb{Z}$. Yet the most common definition is over number fields. There's also the local/global and L/zeta distinction.

In this case I'm just trying to get a feeling of when/where the conjecture was first formulated in some generality.

Answer 1

Regarding the first of these conjectures, I believe it was first explicitly stated (in the more general setting of a relative extension $K/k$) in Artin's 1923 paper [Über die Zetafunktionen gewisser algebraischer Zahlkörper, Math. Ann. 89, pp. 147-156]. This of course is a very special case of the general Artin holomorphy conjecture, and it is easy in the case of a normal extension. Dedekind did the case of pure cubic fields, but doesn't this result of his date to much later than 1873? Artin quotes the following paper from 1900, and attributes to it the result on pure cubic fields: [Dedekind, Über die Anzahl von Idealklassen in reinen kubischen Zahlkörpern, the Crelle journal, vol. 121, pp. 40-123].

Answer 2

From Milne's article: The Riemann hypothesis... "According to Weil's recollections (OEuvres, II, p.529),* Hasse defined the Hasse-Weil zeta function for an elliptic curve over $\mathbb{Q}$, and set the Hasse-Weil conjecture in this case as a thesis problem! Initially, Weil was sceptical of the conjecture, but he proved it for curves of the form $Y^{m}=aX^{n}+b$ over number fields by expressing their zeta functions in terms of Hecke $L$-functions.** In particular, Weil showed that the zeta functions of the elliptic curves $Y^{2}=aX^{3}+b$ and $Y^{2}=aX^{4}+b$ can be expressed in terms of Hecke $L$-functions, and he suggested that the same should be true for all elliptic curves with complex multiplication. This was proved by Deuring in a "beautiful series" of papers... "

*"Peu avant la guerre, si mes souvenirs sont exacts, G. de Rham me raconta qu'un de ses étudiants de Genève, Pierre Humbert, était allé à Göttingen avec l'intention d'y travailler sous la direction de Hasse, et que celui-ci lui avait proposé un problème sur lequel de Rham désirait mon avis. Une courbe elliptique $C$ étant donnée sur le corps des rationnels, il s'agissait principalement, il me semble, d'étudier le produit infini des fonctions zêta des courbes $C_{p}$ obtenues en réduisant $C$ modulo $p$ pour tout nombre premier $p$ pour lequel $C_{p}$ est de genre $1$; plus précisément, il fallait rechercher si ce produit possède un prolongement analytique et une equation fonctionnelle. J'ignore si Pierre Humbert, ou bien Hasse, avaient examiné aucun cas particulier. En tout cas, d'après de Rham, Pierre Humbert se sentait découragé et craignait de perdre son temps et sa peine."

**Weil also saw that the analogous conjecture over global function fields can sometimes be deduced from the Weil conjectures.

Answer 3

Artin (1923) wrote that Dedekind proved the case of this conjecture concerning pure cubic number fields. Dedekind published his article in 1900, but writes that it is a reworking of a draft he had written in 1871/72. The conjecture was named after Dedekind by van der Waall in 1974.

Despite Artin's claim, the integrality of the quotient $\zeta_K(s)/\zeta(s)$ is not addressed at all by Dedekind (Hecke proved that $\zeta_K(s)$ extends to a meromorphic function on the complex plane in 1917). Dedekind proved that $\zeta_K(s)/\zeta(s)$ for pure cubic extensions may be written as a linear combination of Epstein zeta functions. Epstein proved in 1903 that these are meromorphic with simple poles in $s = 1$, and Artin realized in 1923 that this implies that the quotient is entire - I guess this explains his remark.

In any case Dedekind had nothing to do with this conjecture.

Edit. Landau [Über die Wurzeln der Zetafunktion eines algebraischen Zahlkörpers, Math. Ann. 79 (1919), 388-401] writes on p. 390: "I have to be careful with its formulation since it is not known whether $\zeta_k(s)/\zeta(s)$ is always an entire function".