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?



on the relative conductor of curve singularity and quotient of ideals
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". 


