I am trying to understand the details behind the so-called "distribution relations" between Heegner points on the modular curve $X\_0(N)$, as given (for instance) in Gross's paper *Kolyvagin's work on modular elliptic curves*, [Proposition 3.7, (i)]. More precisely, the relation between Hecke and Galois actions on CM-points is still not clear for me. First of all let me recall in details the general settings, which the familiar reader can skip and go directly to the question.


**Settings**:
Let $N$ be a positive integer, let $K$ be an imaginary quadratic field of discriminant $D<0$ such that every rational prime divisor of $N$ splits in $K$ (the so-called Heegner hypothesis). The Heegner hypothesis implies that one can find a (non-unique) ideal $\mathcal{N}$ of $\mathcal{O}\_K$ such that $\mathcal{O}\_N/\mathcal{N}\simeq \mathbb{Z}/N\mathbb{Z}$.


**Edit:** As noticed by Olivier I also have to assume $D<-4$, to ensure that $\mathcal{O}\_K^{\times}=\{\pm 1\}$.


For a general $n$, denote by $\mathcal{O}\_n=\mathbb{Z}+n\mathcal{O}\_K\subset\mathcal{O}\_K$ "the" order of $K$ of conductor $n$, and let $Pic(\mathcal{O}\_n)$ be the ideal class group of $\mathcal{O}\_n$ (which is isomorphic to $I(n)/P(n)$, with $I(n)$ the group of ideals in $\mathcal{O}\_K$ that are prime to $n$; and $P(n)$ the subgroup of principal ideals in $\mathcal{O}\_K$ generated by an element congruent mod $n\mathcal{O}\_K$ to some $r\in\mathbb{Z}$, $(r,n)=1$).
Class-field theory provides us with an abelian extension $K\_n$ of $K$ such that $\mathrm{Gal}(K\_n/K)\simeq Pic(\mathcal{O}\_n)$.


Let now $n$ be an integer prime to $ND$. Setting $\mathcal{N}\_n:=\mathcal{N}\cap\mathcal{O}\_n$, we get that $\mathcal{O}\_n/\mathcal{N}\_n\simeq \mathcal{O}\_K/\mathcal{N}\simeq \mathbb{Z}/N\mathbb{Z}$. One can thus define a point $x\_n\in X\_0(N)$ by setting
$$x\_n=[\mathbb{C}/\mathcal{O}\_n\rightarrow \mathbb{C}/\mathcal{N}\_n^{-1}]$$
(here $[E\rightarrow E']$ denotes the isomorphism class of the pair $(E,E')$ of elliptic curves, with $E\rightarrow E'$ a cyclic $N$-isogeny).


If $l$ is a rational prime not dividing $ND$ nor $n$, we can mimic the previous discussion and set 
$$x\_{nl}=[\mathbb{C}/\mathcal{O}\_{nl}\rightarrow \mathbb{C}/\mathcal{N}\_{nl}^{-1}]$$ 
The theory of complex multiplication ensures that $x\_n\in X\_0(N)(K\_n)$ (resp. $x\_{nl}\in X\_0(N)(K\_{nl})$ ) 


**Here comes my question**: assuming $l$ is inert in $K/\mathbb{Q}$, why do we have
$$\mathrm{Tr}\_{K\_{nl}/K\_n}x\_{nl}:=\sum\_{\sigma\in\mathrm{Gal}(K\_{nl}/K\_n)}\sigma x\_{nl} = T\_l x\_n$$ 
as divisors on $X\_0(N)$ ?


What I "understood" is that:


* For $\sigma\in \mathrm{Gal}(K\_{nl}/K)$, the action of $\sigma$ on $x\_{nl}$ is given by
$\sigma x\_{nl}=[\mathbb{C}/\mathfrak{a}\_{\sigma}^{-1}\rightarrow \mathbb{C}/\mathfrak{a}\_{\sigma}^{-1}\mathcal{N}\_{nl}^{-1}]$  

where $\mathfrak{a}\_{\sigma}$ is any (proper) ideal of $\mathcal{O}\_{nl}$ such that $[\mathfrak{a}\_{\sigma}]\in Pic(\mathcal{O}\_{nl})$ corresponds to $\sigma$ via the isomorphism $\mathrm{Gal}(K\_{nl}/K)\simeq Pic(\mathcal{O}\_{nl})$.
Thus the sum $\mathrm{Tr}\_{K\_{nl}/K\_n}x\_{nl}$ rewrites as


$$\sum\_{\sigma\in\mathrm{Gal}(K\_{nl}/K\_n)}[\mathbb{C}/\mathfrak{a}\_{\sigma}^{-1}\rightarrow \mathbb{C}/\mathfrak{a}\_{\sigma}^{-1}\mathcal{N}\_{nl}^{-1}]$$
Here the condition $\sigma\in\mathrm{Gal}(K\_{nl}/K\_n)$ implies, I think, that $\mathfrak{a}\_{\sigma}\mathcal{O}\_n$ is a principal $\mathcal{O}\_n$-ideal.


Here $\mathrm{Gal}(K\_{nl}/K\_n)\simeq \mathbb{F}\_{l^2}^{\times}/\mathbb{F}\_{l}^{\times}$, so the sum has $l+1$ terms.


* The action of the Hecke operator $T\_l$ ($l$ not dividing $N$) on divisors of the modular curve $X\_0(N)$ can be described (at least in characteristic $0$) as
$$T\_l [E\xrightarrow{\phi} E']=\sum\_{C\subset E[l], \#C=l} [E/C\rightarrow E'/\phi(C)]$$
(there are $l+1$ such $C$)
In my situation, this can be rewritten (following Gross, *Heegner points on $X\_0(N)$*, §6) as
$$T\_l x\_n=\sum\_{\mathfrak{b}\subset\mathcal{O}\_n\text{lattice of index } l}[\mathbb{C}/\mathfrak{b}\rightarrow \mathbb{C}/\mathfrak{b}(\mathcal{N}\_n\cap End(\mathfrak{b}))^{-1}] $$


**What I don't understand** is why the exactly the same terms should appear in both sums. I get that $(id)x\_{nl}=x\_{nl}$ appears in $T\_l x\_n$, as $\mathcal{O}\_{nl}$ is a sub-lattice of order $l$ in $\mathcal{O}\_n$ with $End(\mathcal{O}\_{nl})=\mathcal{O}\_{nl}$, but I don't see why $\mathfrak{a}\_{\sigma}^{-1}$ is a sublattice of order $l$ in $\mathcal{O}\_n$ if $\sigma$ fixes $K\_n$.
I think this involves properties about fractional ideals of orders which I don't quite understand. 


I thank everyone taking the time to read this question and trying to provide me with any help !



Distribution relation in the Euler system of Heegner points

> 
> What I don't understand is why the exactly the same terms should appear in both sums.
> 
> 
> 


The Galois action on CM points is described in adelic terms via the fundamental theorem of complex multiplication (or Shimura's explicit reciprocity law) so identifying the terms appearing in the right-hand side of the equality 
$$\sum\_{\sigma\in\mathrm{Gal}(K\_{nl}/K\_n)}\sigma x\_{nl} = T\_l x\_n$$
boils down to describing the Galois group $\operatorname{Gal}(K\_{n\ell}/K\_n)$ in these terms, and this in turn is possible because $K\_{n\ell}$ and $K\_n$ are ring-class fields. 


Specifically, there exist open compact subgroups $Z\_{n},Z\_{n\ell}$ of $\widehat{\mathcal O}\_K^\times$ containing $\widehat{\mathbb Z}^\times$ such that 
$$\operatorname{Gal}(K\_{?}/K)\simeq \widehat{K}^\times/K^\times\widehat{\mathbb Q}^\times Z\_{?}$$
for $?=n,n\ell$ and in which $\widehat{A}$ denotes $A\otimes\_{\mathbb Z}\widehat{\mathbb Z}$ for a $\mathbb Z$-module $A$. This implies that $\operatorname{Gal}(K\_{n\ell}/K\_{n})$ is very closely related to $Z\_{n}/Z\_{n\ell}$ (in general, there might be a small kernel to the surjective map $Z\_{n}/Z\_{n\ell}\rightarrow\operatorname{Gal}(K\_{n\ell}/K\_{n})$ corresponding to units in $\mathcal O\_{K}$) so it remains to describe the quotient $Z\_{n}/Z\_{n\ell}$.


The payoff of having worked adelically is now that you can analyze this quotient place by place and locally at all places except $\ell$, it will be trivial by construction. At $\ell$, you are considering the quotient of the multiplicative group of an order in a quadratic unramified extension $E$ of $\mathbb Q\_{\ell}$ by the multiplicative group of a maximal order. Because $E$ embeds in $M\_2(\mathbb Q\_{\ell})$, you can realize these multiplicative subgroups of orders as compact subgroups of $\operatorname{GL}\_{2}(\mathbb Q\_{\ell})$.


Now I think I have done as much as I could without explicitly calculating, so the remaining part has to involve a calculation, which amounts to the fact that conjugating 
$$\begin{pmatrix}a&b\\c&d\end{pmatrix}\textrm{ by }g=\begin{pmatrix}\ell&0\\0&1\end{pmatrix}$$
yields
$$\begin{pmatrix}a&b/\ell\\c\ell&d\end{pmatrix}.$$
It follows that the subgroups $Z\_{?}$ localized at $\ell$ can respectively be identified with the unit group of a maximal order $R$ in $M\_{2}(\mathbb Q\_{\ell})$ (which can be taken to be $M\_2(\mathbb Z\_{\ell})$) and the unit group of the order $R\cap g^{-1}Rg$. You should already recognize these as the groups appearing in the definition of the Hecke operator $T(\ell)$ defined adelically but to be complete, we finally find that $Z\_{n}/Z\_{n\ell}$ is 
$$\frac{(\mathcal O\_K/\ell\mathcal O\_K)^\times}{(\mathbb Z/\ell\mathbb Z)^{\times}}$$
and so is $\mathrm{Gal}(K\_{nl}/K\_n)$ (up to a small group of units in general). In particular, the orbit of $x\_{n\ell}$ under this Galois group is of cardinal $(\ell^2-1)/(\ell-1)=\ell+1$. The formal sum of points in this orbit is included in the divisor equal to $T(\ell)\cdot x\_n$ by definition of $T(\ell)$ (a Hecke operator is the sum over all points on some modular curve mapping to a point on a modular curve below it and all points in the orbit do so) and the cardinality of the orbit and of the set of points in the definition of the Hecke operator are the same so these sets are equal. 


The moral of this story is that quotient of multiplicative group of orders in quadratic unramified extensions of local fields, which describe Galois groups of extensions between ring-class fields, can be described in terms of quotients of multiplicative group of orders by their conjugates in $M\_2(E)$, and so are closely linked to Hecke operators. Note also that if what I have written above is correct, and I think it is, then the equality you wanted to understand might not be actually strictly true for all the $\ell$ you considered (because units in $\mathcal O\_K$ might introduce a slight discrepancy between the orbit under the Galois group and the formal sum defining the Hecke operator for some small $\ell$). This explains the appearance of the hypothesis $D\neq -1,-3$ in some articles on Heegner points.


