Let R=mathbbQ[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 widehatR be the ring of formal power series in X,Y,
and widehatRS be the localization of widehatR at S.
widehatRS is a R−module in the natural way.
Let widehatR0S be the quotient widehatRS/mathbbQ, all three
considered as Abelian groups.
Question: Is there a R−module structure on widehatR0S,
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.
No comments:
Post a Comment