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

Let $R=\mathbb{Q}[X,Y]$ be the polynomial ring of two commuting variable. Let $S$ be the multiplicative subset of $R$ generated by homogeneous linear polynomials. Let also $\widehat{R}$ be the ring of formal power series in $X,Y,$ and $\widehat{R}_S$ be the localization of $\widehat{R}$ at $S.$ $\widehat{R}_S$ is a $R-$module in the natural way. Let $\widehat{R}_S^0$ be the quotient $\widehat{R}_S/\mathbb{Q},$ all three considered as Abelian groups.

Question: Is there a $R-$module structure on $\widehat{R}_S^{0},$ which makes the quotient map a morphism of $R-$modules?

The question showed up when trying to make a distribution valued modular symbol. The distributions map to power series via a Fourier transform. One kills the constants as one way to make the Manin relations work.

share|improve this question
add comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.