Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $R$ be the local ring of a complex curve singularity. (Can assume the singularity planar, the ring locally analytic or formal.) Let $\bar{R}$ be the normalization, let $R\subset R'\subset \bar{R}$ be an intermediate extension, corresponding to the factorization of the normalization map: $Spec(\bar{R})\to Spec{R'}\to Spec{R}$.

The relative conductor: $I^{cd}_{R'/R}:=(r\in R: r R' \subset R)$ is an ideal in $R$ (and in $R'$).

  1. The conductor for the normalization $I^{cd}_{\bar{R}/R}$ is well studied. Any reference for the relative conductor $I^{cd}_{R'/R}$?

    Specific questions:

  2. The relative conductor can be defined as $I^{cd}_{R'/R}=R:R'$. (Just another way to write the same thing.) Can we also say: $R'=R:I^{cd}_{R'/R}$? (i.e. $R:(R:R')=R'$). In words: for a given conductor $I$ take the maximal extension, whose conductor is $I$. Will this reproduce the initial extension?

  3. For a general ideal $I\subset R$, not a conductor of some extension, define $R'=R:I\subset\bar{R}$. (i.e. the maximal subring of the integral closure such that $R'I\subset R$). Then $I^{cd}_{R'/R}$ contains $I$, but in general is bigger. Any conditions on $I$ to ensure: $R:(R:I)=I$?

  4. Can this be somehow generalized to higher dimensions? At least, is the following always true: $R:(R:(R:I))=R:I$ ?

Any reference?

share|improve this question
    
Dear Admin, I tried to fix Latex, have checked the source twice. Still, the question is not shown neatly. (Why??) Could you make the needed correction? –  Dmitry Kerner Feb 12 '11 at 4:05
1  
@qui-vadis: sometimes more complex math formulas throw off the rendering. You can fix this (as I did) by enclosing the math formulas (outisde the $ symbols) in ` signs. See the FAQ. –  Sándor Kovács Feb 12 '11 at 5:27
add comment

2 Answers 2

up vote 4 down vote accepted

For 1. You could try looking at various exercises in the Swanson-Huneke book on Integral Closure. There might be something there. In particular, see chapter 12 (titled, the conductor).

For 2. 3. 4. Another way to identify the conductor (or relative conductor) is to consider $\text{Hom}_{R}(R', R)$. This module always has a map to $R$ (evaluation at $1$) and the image is the conductor. However, that map is injective, so that $\text{Hom}$ can be viewed as the conductor itself, in fact $\text{Hom}_{R}(R', R)$ can be identified with $R :_R R'$.

Now we can play to sort of games you want to play -- sometimes. Assuming $R$ is S2 and Gorenstein in codimension 1, which any plane curve singularity is, you can apply, say, Theorem 1.9 in Hartshorne's ``Generalized divisors on Gorenstein schemes''. In that case, applying $\text{Hom}_R(\cdot, R)$ twice to $R'$ will get you back something isomorphic to $R'$ by that cited result. In particular, in the Gorenstein in codim 1 case, I think you get the formulas you are hoping for.

Now, curves are always S2, but not always Gorenstein = Gorenstein in codimension 1. For example, Sándor's ring $B$ is not Gorenstein I think. Let me assume $r = m = 3$ for simplicity. Now mod out $R = k[x^3, x^6, x^7, \dots]_{\mathfrak{p}}$ by $(x^3) = (x^3, x^6, x^9, x^{10}, \dots)$. One gets an Artinian module generated by the images of $1, x^7, x^8$. This isn't Gorentsein (see for example Bruns-Herzog, Exercise 3.2.15 or notice that the socle isn't 1-dimensional), so $R$ wasn't either.

If you are not Gorenstein, you might be able to still get a lot of mileage out of applying $\text{Hom}(\cdot, \omega_R)$ instead, see for example Hartshorne's ``Generalized divisors and Biliaison".

share|improve this answer
    
Thanks a lot! –  Dmitry Kerner Feb 14 '11 at 19:24
    
You can also see Sandor's B is not Gorenstein by observing that dim (as a vector space) C[[t]]/B = m+r-2 and dim B / Conductor = 2. For the ring to be Gorenstein these must be equal, and $m \ge r \ge 3$ ensures this cannot happen. –  Vivek Shende Jun 6 '11 at 12:26
add comment

For your question 1), I'd say that probably the best reference is anything on fractional ideals.

For question 2): I don't think this is true.

Let $m,r\in \mathbb N$, $m\geq r\geq 3$ and $A=k[t]$.

Let $B:=k[t^m,t^{m+r},t^{m+r+1},t^{m+r+2},\dots]\subset A$ and $B\subset B':=k[t^2,t^3]\subset A$. Let $\mathfrak p=At\cap B$ and $\mathfrak p'=At\cap B'$. Finally let $R=B_{\mathfrak p}$ and $R'=B'_{\mathfrak p'}$ Obviously $\overline R=k[t]_{(t)}$.

It is easy to see that $I=(R:R')=\overline Rt^{m+r}\cap R=(t^{m+r},t^{m+r+1},\dots)$, but this is actually an $\overline R$ ideal, so $(R:I)=\overline R$.

As for conditions on when your condition holds, I don't see a clear one. I can tell you certain patterns that makes it clear how these can fail for subrings of $k[t]$, but those seem a little ad hoc.

share|improve this answer
    
Thanks a lot (both for Math and Latex)! –  Dmitry Kerner Feb 14 '11 at 19:23
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.