MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## on the relative conductor of curve singularity and quotient of ideals

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?

-
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 2011 at 4:05

-