Talk:Algebraic number field/Archive 1

Archive 1

Untitled

Changed the importance to top, it is about the central object of study of one of the main fields of mathematics (algebraic number theory). Doetoe 00:08, 29 May 2007 (UTC)

Indeed! Cyb3r (talk) 06:04, 16 January 2008 (UTC)

Unique factorization and class number

I removed the following text from that chapter, since it does not belong there:

Dirichlet L-functions L(χ, s) are a more refined variant of ζ_F(s). Both types of functions encode the arithmetic behavior of F and O_F. For example, Dirichlet's theorem asserts that in any arithmetic progression

a, a + m, a + 2m, ...

with coprime a and m, there are infinitely many prime numbers. This theorem is proven by showing that Dirichlet L-function is nonzero at s = 1. More recently, a computation of values of ζ_F(s) at all integers s has been done using much more advanced techniques including Tamagawa measures, leading to a far-reaching conjectural generalization of the description of values of more general L-functions (Tamagawa number conjecture).

I think it does not belong into this "overview" article, though it's certainly interesting. Also it lacks references for the "recently" part.--Roentgenium111 (talk) 14:20, 5 June 2009 (UTC)

I disagree. Next to classical zeta function the Dirichlet L-function is one of the first and oldest examples. This is certainly worth mentioning. Also, as you might have noticed, I'm just in the process of enhancing the article and will provide references for the material. I will revert your removal. Jakob.scholbach (talk) 15:25, 5 June 2009 (UTC)

I'd like to say that Dirichlet L-functions are a more refined version of the Riemann Zeta function and Hecke L-functions are a more refined version of the Dedekind zeta-functions (and all of which are automorphic L-functions).

As for including this in this article, I would support that if it was mentioned how these values are related to invariants of the number field. It might also make sense to include these (at least as a mention) with respect to their relation to Galois representations. I do think it belongs in the algebraic number theory article. (And in case you don't have a reference handy, section 0.1 of Diamond-Flach-Guo's 2004 article in Annales Scientifiques de l'Ecole Normale Superieure gives some history with a lot of references). Cheers. RobHar (talk) 16:42, 6 June 2009 (UTC)

That's right. I've corrected that. By "if it was mentioned" do you mean it should be more explanation given? I think I'll write something about the regulator, Dirichlet's unit theorem and geometry of numbers soon. Jakob.scholbach (talk) 18:21, 6 June 2009 (UTC)

Yeah sorry that sentence was some poor grammar. I meant: I would support the inclusion of the stuff about Dirichlet L-functions if the article included some explanation of how their values at integers reflect invariants of the number field. Otherwise, it seems to a bit like overload to mention more than the value at s=1. And actually there's another correction that would make things more complicated: the values of even the Riemann zeta function are not known at all integers: only the positive even integers and the negative odd integers are related to Bloch-Kato (the "critical values" of Deligne (see Corvallis)), the zeta function at positive odd integers is not very well understood (algebraicity etc). Sorry to not correct these things myself, I'm in the middle of a move; rather overwhelmed... RobHar (talk) 19:03, 6 June 2009 (UTC)

OK. I've watered down the statement accordingly. About including stuff or not, I'd propose to keep developing the article first. If, at some point, it becomes too long, we can decide to move certain things to sup- or subarticles (i.e., algebraic number theory and L-functions etc.). Jakob.scholbach (talk) 18:34, 7 June 2009 (UTC)

Sounds good. RobHar (talk) 18:39, 7 June 2009 (UTC)