1: \begin{abstract}
2: %Let $p$ be an odd prime split in an imaginary quadratic extension $K/\Q$.
3: Generalised Heegner cycles are associated to a pair of an elliptic newform and a
4: Hecke character over an imaginary quadratic extension $K/\Q$.
5: The cycles live in a middle dimensional Chow group of
6: a Kuga-Sato variety arising from an indefinite Shimura curve over the rationals
7: and a self product of a CM abelian surface.
8: Let $p$ be an odd prime split in $K/\Q$.
9: We prove the non-triviality
10: of the $p$-adic Abel-Jacobi image of generalised Heegner cycles
11: modulo $p$ over the $\Z_p$-anticylotomic extension of $K$.
12: %We prove the non-triviality
13: %of the $p$-adic Abel-Jacobi image of generalised Heegner cycles in a Chow group of a fiber product of a Kuga-Sato variety arising from an indefinite Shimura curve
14: %and a self product of a CM abelian surface modulo $p$
15: %associated to the Rankin-Selberg convolution of an elliptic Hecke eigenform and a theta series over $K$,
16: %along the $\Z_p$-anticylotomic extension of $K$.
17: The result implies the non-triviality of the generalised Heegner cycles in the top graded piece of the coniveau filtration on the Chow group
18: and proves a higher weight analogue of Mazur's conjecture.
19: %This gives new instances of the conjecture and
20: In the case of two, the result provides a refinement of the results
21: of Cornut-Vatsal and Aflalo-Nekov\'{a}\v{r} on the non-triviality of Heegner points over the $\Z_p$-anticylotomic extension of $K$.
22: %When $f$ is of weight two, the result implies that
23: %the normalised formal group logarithm of Heegner points associated to the convolution are $p$-adic units over the $\Z_l$-anticylotomic extension of $K$.\\
24: \end{abstract}