1

I know that there have been quite a few questions about showing $R$ is integrally closed over $\mathrm{Frac}(R)$ (the field of fraction of an integral domain $R$). Often $R$ is some polynomial ring with coefficients from a field quotiented out by some relation and it reduces to showing there is some isomorphism which makes it into a polynomial ring of a field and then remarking that it is an UFD.

But in general, how does one show that given domains $R\subset S$, $S$ is integrally closed over $R$?

(i) Is there a useful sufficient condition?

(ii) What if there are further restrictions on $R$ or $S$?

For example, in number fields, I know there is a characterization for the ring of integers (integral closure of $\mathbb{Z}$) of quadratic fields depending on whether $d\equiv 1 \bmod{4}$ or $d \equiv 2,3 \bmod{4}$ but this is somewhat number theoretic rather than algebraic.

Just to give an example,

Let $R=\mathbb{C}[X]$ and $S=\mathbb{C}[X,Y]/(X^2+Y^3-1)$. Show that $S$ is integrally closed over $R$ in $\mathrm{Frac}(S)$.

$S$ being integral over $R$ is straightforward since $X$ is integral over $R$. But I am not sure how one would show that it's integrally closed.

user26857
  • 53,190
daruma
  • 2,661
  • 1
    If you are in the geometric case (like the setting in your first paragraph), you can use the Jacobian criterion. This is applicable to the example you posed in the end. – Youngsu Jul 30 '16 at 23:30
  • @Youngsu I checked up on Jacobian criterion for integral closure. Is this the one you were thinking of? > Let $k$ be a field and $R$ and equidimensional finitely generated $k$- algebra. Let $J$ be the Jacobian ideal $J_{R/k}$. Let $P$ be a prime ideal in $R$. If $J$ is not contained in $P$ then, $R_P$ is a regular ring. – daruma Jul 31 '16 at 12:08
  • 1
    That's correct. If the codimension of such J is at least 2, then R is normal by Serre's characterization of normal domains. See http://math.stackexchange.com/questions/206099/what-are-normal-schemes-intuitively for other characterizations. – Youngsu Jul 31 '16 at 21:51
  • @Youngsu I am not quite sure if this is the sort of theorem that I am looking for considering that Jacobian ideals and regular rings haven't turned up yet. Would you be kind enough to write up an answer to how this all fits in? – daruma Aug 01 '16 at 01:45
  • They are in standard commutative algebra books such as Eisenbud and Matsumura. Probably Hartshorne's algebraic geometry book has it, too. I don't know what you mean by they haven't turned up yet. What do you mean by this? – Youngsu Aug 01 '16 at 01:49
  • I've heard that Matsumura is often used for a second course in commutative algebra. Can you pitch it at a level for say about Atiyah-MacDonald? – daruma Aug 01 '16 at 01:50
  • I've already given you what to look for, Jacobian criterion and Serre's characterization of normal domains. Those books explain things in detail. You may also want to take a look at Theorem 18.15(c) of Eisenbud's book. Also the link I posted contains relevant materials. Why don't you take a look at these and ask questions while you go through them? – Youngsu Aug 01 '16 at 02:12
  • 1
    Daruma, I'm fairly sure that the argument about $y^3-1$ not having square factors is that this is equivalent (look up elliptic curves in Weierstrass form, or just verify the absence of singular points) to the curve being smooth. For curves integral closure of the coordinate ring is equivalent to smoothness (IIRC, because integral closure here reduces to local conditions, i.e. smoothness). – Jyrki Lahtonen Aug 03 '16 at 10:29

0 Answers0