Japanese Dedekind domains are excellent

Chia-Fu Yu

DOI: https://doi.org/10.48550/arXiv.2102.10481

2022-05-08

Abstract:The well-known fundamental identity in number theory expresses the degree of an extension of global fields in terms of local information. In this article we show a generalized fundamental identity for arbitrary Dedekind domains. As an application, we show that any Japanese Dedekind domain is already excellent.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the generalization of the basic identities in number - theoretic extensions of Dedekind domains and their properties. Specifically, the author hopes to show the generalized basic identities on any Dedekind domain and prove that all Japanese Dedekind domains are excellent. The following is a more detailed explanation:

### Research Background and Problem Description

1. **Classical Basic Identities**
In number theory, there is a well - known identity used to represent the degree of a global field extension. For a finite field extension \(L / K\) and a non - zero prime ideal \(p\), the following relationship holds:
\[
\sum_{i = 1}^{r}e_i f_i=[L:K]
\]
where \(e_i\) and \(f_i\) are the ramification index and the residue class degree of the prime ideal \(P_i\) over \(p\), respectively.

2. **The Case of Arbitrary Dedekind Domains**
When \(A\) is an arbitrary Dedekind domain, the above identity no longer holds, but an inequality:
\[
\sum_{i}e_i f_i\leq[L:K]
\]

3. **The Goals of This Paper**
The author aims to prove that for any Dedekind domain \(A\), there is a modified basic identity, and use this identity to prove that all Japanese Dedekind domains are excellent.

### Main Contributions

- **Theorem 1**: For any Dedekind domain \(A\) with quotient field \(K\), and a finite extension \(L\) of \(K\), let \(B\) be the integral closure of \(A\) in \(L\), then for any non - zero prime ideal \(p\), we have:
\[
\sum_{P|p}e_P f_P=[(L\otimes_K K_p^*)^{ss}:K_p^*]
\]
where \(K_p^*\) represents the completion of \(K\) at \(p\), and \((L\otimes_K K_p^*)^{ss}\) represents the semi - simplified form of \(L\otimes_K K_p^*\).

- **Theorem 2**: For a Dedekind domain \(A\), the following conditions are equivalent:
- \(A\) is excellent.
- \(A\) is quasi - excellent.
- \(A\) is a Nagata ring.
- \(A\) is universally Japanese.
- \(A\) is a Japanese ring.

Through these results, the author shows that Japanese Dedekind domains and excellent Dedekind domains are actually the same type of rings, which provides a simpler approach for some arithmetic applications.

### Summary
The main purpose of this paper is to generalize the classical basic identities to arbitrary Dedekind domains and prove that all Japanese Dedekind domains are excellent. This not only deepens the understanding of the properties of Dedekind domains but also provides new tools and methods for research in related fields.