Discriminant and Different.

2010-09-16T13:46:40Z

First some context. In most algebraic number theory textbooks, the notion of discriminant and different of an extension of number fields $L/K$, or rather, of the corresponding extension $B/A$ of their rings of algebraic integers is defined. The discriminant, an ideal of $A$, is the ideal generated by the discriminant of the quadratic form $\text{tr}(xy)$ on $B$. The different, an ideal of $B$, is the inverse of the fractional ideal $c$ of $L$ defined by $c={x \in L, \text{tr}(xy) \in A \ \forall y \in B}$. The norm of the different is the discriminant.

Now the discriminant makes sense in a much more general context, say for any extension of (commutative) rings $B/A$ that is finite projective, since the trace map $\tr$ makes sense in this context. My question is: is there a standard definition of the different in this context? if so, where can I find it in the literature, if possible with the basic results about it?

I am pretty sure the answer to the first question is yes, but I have not been able to find a reference. The problem when I try to use google or MathSciNet seems to be that "different" is not a very discriminant name: almost every paper in mathematics contains it.

Let me propose an answer to my own question: we could define the different of $B/A$ by the Fitting ideal of the universal $B$-modules of differentials $\Omega_{B/A}$. The fact that it gives the correct definition in the number field cases is [Serre, Local Fields, chapter III, Prop. 14], and moreover it behaves well under base change. This definition may very possibly be a remembrance of something I had heard in an earlier life. But even if it is the correct definition, I'd like to know a reference where it is stated.

Answer by mdeland for Discriminant and Different.

2010-09-16T13:56:03Z

In chapter 8 (entitled "Traces, Complementary Modules, and Differents") of the book Residues and Duality for Projective Algebraic Varieties by Kunz, he gives exactly the definition you propose and proves some basic results about its properties.

Answer by Laurent F. for Discriminant and Different.

2010-09-16T18:20:48Z

Tu peux regarder la section 1 de mon article "La filtration de Harder-Narasimhan des schémas en groupes finis et plats":

http://www.math.u-psud.fr/~fargues/HNgp.pdf

Tout ce dont tu rêves y est démontré.

Discriminant and Different. - MathOverflow

Discriminant and Different.

Answer by mdeland for Discriminant and Different.

Answer by Laurent F. for Discriminant and Different.