ued along supersingular points. Let $\psi$ be a map from $X_0(N)_{/ \F_p}$ to $X_0(Np)_{/ \F_p}$, an isomorphism onto one of the two components. The map $\psi$ takes the supersingular locus of $X_0(N)_{/ \F_p}$ to the supersingular locus of $X_0(Np)_{/ \F_p}$. The set $\Sigma_N$ is the supersingular locus of $X_0(N)_{/ \F_p}$. The Atkin-Lehner operators $w_{Mp}$ acts on $X_0(Np)$ for every $M|N$, in particular $w_{Mp}$ acts on $\psi(\Sigma_N)$. When we say the action of $w_{Mp}$ on $\Sigma_N$, it is meant the action of $w_{Mp}$ on $\psi(\Sigma_N)$.

The involution $w_{Mp}$ has a fixed point on $\Sigma_N$ if and only if $\Z[\sqrt{-Mp}]$ embeds in $\End(E,C)$ for some $(E,C) \in \Sigma_N$. Since $\End(E,C)$ is an Eichler order of level $N$ in $\Q_{p,\infty}$ by Eichler’s optimal embedding theorem(see [@Vig]) $\Z[\sqrt{-Mp}] \hookrightarrow \End(E,C)$ if and only if we have the condition given in the proposition statement. This implies that there is a supersingular point in $\Xc(\F_p)$ and by Hensel’s lemma there is a point in $\Xc(\Q_p)$.

By Proposition \[prop:unramifiedgood\] we have a sufficient condition for $\Xc(\Q_p) \neq \emptyset$ and if we have the conditions given in this proposition then reduction of any point in $\Xc(\Q_p)$ has to be a supersingular point. If the condition of the Proposition \[prop:unramifiedgood\] fails, there may still be ordinary points in $\Xc(\F_p)$ which are points in $\X(\F_{p^2})$ fixed by $\frob \circ w_M$.

Now we will assume that the condition of the Proposition
ued along supersingular points. Let $ \psi$ be a map from $ X_0(N)_{/ \F_p}$ to $ X_0(Np)_{/ \F_p}$, an isomorphism onto one of the two components. The function $ \psi$ accept the supersingular locus of $ X_0(N)_{/ \F_p}$ to the supersingular locus of $ X_0(Np)_{/ \F_p}$. The hardening $ \Sigma_N$ is the supersingular venue of $ X_0(N)_{/ \F_p}$. The Atkin - Lehner operators $ w_{Mp}$ acts on $ X_0(Np)$ for every $ M|N$, in particular $ w_{Mp}$ act on $ \psi(\Sigma_N)$. When we say the action of $ w_{Mp}$ on $ \Sigma_N$, it is mean the action of $ w_{Mp}$ on $ \psi(\Sigma_N)$. 

 The involution $ w_{Mp}$ suffer a fixed decimal point on $ \Sigma_N$ if and merely if $ \Z[\sqrt{-Mp}]$ embeds in $ \End(E, C)$ for some $ (E, C) \in \Sigma_N$. Since $ \End(E, C)$ is an Eichler order of level $ N$ in $ \Q_{p,\infty}$ by Eichler ’s optimal embedding theorem(see [ @Vig ]) $ \Z[\sqrt{-Mp } ] \hookrightarrow \End(E, C)$ if and merely if we have the condition given in the proposal statement. This implies that there is a supersingular point in $ \Xc(\F_p)$ and by Hensel ’s lemma there be a point in $ \Xc(\Q_p)$. 

 By Proposition \[prop: unramifiedgood\ ] we have a sufficient condition for $ \Xc(\Q_p) \neq \emptyset$ and if we have the conditions give in this proposition then reduction of any point in $ \Xc(\Q_p)$ has to be a supersingular point. If the circumstance of the Proposition \[prop: unramifiedgood\ ] fail, there may still be ordinary points in $ \Xc(\F_p)$ which are points in $ \X(\F_{p^2})$ fixed by $ \frob \circ w_M$. 

 Now we will assume that the condition of the Proposition
ued along supersingular poikts. Let $\psi$ be a map frmm $X_0(N)_{/ \R_p}$ to $X_0(No)_{/ \F_p}$, an isomorphism onto one od the two components. The mao $\psi$ takvs the supersmngular locus of $X_0(N)_{/ \F_p}$ to the ampersnnjular locus of $W_0(Np)_{/ \F_p}$. The vet $\Sigma_N$ is dhd dupersingular locus of $X_0(N)_{/ \F_p}$. The Athin-Lehnrr operators $w_{Mp}$ actx on $S_0(Np)$ for every $M|N$, in particular $w_{Mp}$ acts oi $\psi(\Sigma_N)$. Whem we say the action of $w_{Mp}$ on $\Digma_N$, it is meant the action of $r_{Np}$ on $\psi(\Sigoa_N)$.

The involution $w_{Mp}$ gas a fixed point on $\Sigma_N$ if xnd ouly if $\Z[\sqrj{-Ml}]$ fkbeds in $\Env(E,C)$ fog some $(E,C) \in \Sigma_N$. Shnce $\Enc(E,C)$ is an Eichker oreer of level $N$ in $\Q_{p,\iifty}$ by Eichler’s optymal embegdnng theorem(see [@Vig]) $\Z[\swrr{-Mp}] \hmokrhghtxerod \Ehd(X,C)$ jf and onmy if we hzve the coneition given in the pwiposition stafement. Tris implies that there is a supersinguldr loint in $\Xc(\F_p)$ and by Hebsel’s lemma there is w point ig $\Xc(\Q_p)$.

By Proposition \[prop:unramifiedgood\] we have a suffmckenu gjveihion for $\Xc(\Q_p) \neq \emptyset$ and if we have the domdptions given in tmis proposition thrn rrquction of ani point in $\Xc(\Q_p)$ has to be a dupersiggulae point. Is thr condition of the Proposituon \[prop:unraiufiedgood\] fails, thzre may stilu be ordimary points in $\Xc(\F_p)$ whieh are points in $\D(\F_{p^2})$ fixed cy $\frob \circ w_M$.

Nuw ee will assume that the condytion of vhe Pxopositiun
ued along supersingular points. Let $\psi$ be from \F_p}$ to \F_p}$, an isomorphism components. map $\psi$ takes supersingular locus of \F_p}$ to the supersingular locus of \F_p}$. The set $\Sigma_N$ is the supersingular locus of $X_0(N)_{/ \F_p}$. The Atkin-Lehner $w_{Mp}$ acts on $X_0(Np)$ for every $M|N$, in particular $w_{Mp}$ acts on $\psi(\Sigma_N)$. we the of on $\Sigma_N$, it is meant the action of $w_{Mp}$ on $\psi(\Sigma_N)$. The involution $w_{Mp}$ has a point on $\Sigma_N$ if and only if $\Z[\sqrt{-Mp}]$ in $\End(E,C)$ for some \in \Sigma_N$. Since $\End(E,C)$ is Eichler of level in by optimal embedding theorem(see $\Z[\sqrt{-Mp}] \hookrightarrow \End(E,C)$ if and only if we have the condition given in the proposition statement. This that there supersingular point $\Xc(\F_p)$ by lemma there is in $\Xc(\Q_p)$. By Proposition \[prop:unramifiedgood\] we condition for $\Xc(\Q_p) \neq \emptyset$ and if we the conditions in this proposition then reduction of point in $\Xc(\Q_p)$ has to be a supersingular If the condition of the Proposition \[prop:unramifiedgood\] fails, there may still be ordinary points in are points in $\X(\F_{p^2})$ by $\frob \circ Now will that condition of Proposition
ued along supersingular poinTs. Let $\psi$ be A map fRom $x_0(N)_{/ \F_P}$ tO $X_0(Np)_{/ \f_p}$, an Isomorphism ontO One oF the two components. The maP $\psi$ tAkES the SUpErsinGular loCUs OF $x_0(N)_{/ \F_P}$ tO tHe sUpERsIngulAr lOcus of $X_0(np)_{/ \F_p}$. The set $\sigMa_n$ is the supersINgUlar locus oF $X_0(N)_{/ \f_p}$. The Atkin-LeHneR operaToRs $w_{mP}$ acts On $X_0(np)$ for Every $M|n$, In partIcular $w_{Mp}$ AcTS on $\psi(\sIgma_N)$. WhEN We Say tHe action of $w_{Mp}$ on $\SiGMa_n$, It is meant the acTion of $W_{MP}$ On $\PSI(\SiGma_n)$.

The involuTiOn $w_{Mp}$ HAs a fixeD PoINT On $\SIGma_N$ if and only If $\Z[\sqrt{-Mp}]$ emBEds In $\End(E,c)$ fOr sOMe $(E,C) \in \sigma_n$. SINce $\end(E,C)$ is an EiChleR order of lEvel $N$ iN $\q_{p,\infty}$ BY EichleR’s optiMal EmbEddiNG tHeOreM(sEE [@ViG]) $\z[\sQrt{-mP}] \hoOkrightaRrOw \end(E,C)$ If anD ONLY if wE haVe thE condItion given in tHe pRopoSItiOn staTemenT. ThiS iMplieS that tHere iS a Supersingular poInt iN $\Xc(\F_p)$ and bY HeNsEl’s LeMma thERe is a pOinT in $\xc(\Q_p)$.

By PRopositIOn \[pRoP:UNRaMifiedgood\] we have a sUfFICiEnt condiTion foR $\xc(\q_p) \NEq \emptysEt$ And If we HAVe the CondITiOns given In this PRoPoSition tHeN reducTiOn oF anY poinT In $\Xc(\q_p)$ has tO be a supeRsingULar point. If the cONdition of the PROpOSItIOn \[prOp:uNramifiedgoOd\] faILs, thEre mAY sTilL Be ordInary PoINtS In $\Xc(\F_p)$ which are pointS iN $\X(\F_{p^2})$ fiXed by $\Frob \circ w_M$.

Now We will assuME THat the coNditIOn OF the PropositioN
ued along supersingular po ints. Let$\psi $ b e a  m ap f rom$X_0(N)_{/ \F_ p }$ t o $X_0(Np)_{/ \F_p}$,an is om o rphi s montoone oft he t woco mp one nt s .The m ap$\psi$takes thesup er singular loc u sof $X_0(N) _{/  \F_p}$ to t hesupers in gul a r loc usof $X _0(Np) _ {/ \F_ p}$. These t  $\Sig m a_N$ is t he  sup ersingular locuso f$ X_0(N)_{/ \F_p }$. Th eA tk i n -Le hne r operator s$w_{M p }$ acts on $ X _0( N p)$ for every  $M|N$, inp art icular  $ w_{ M p}$ ac ts on  $ \ psi (\Sigma_N)$ . Wh en we say  the a c tion of $w_{Mp} $ on $ \Si gma _N$, it  i s m ea n t t h eact i onof $w_{M p} $on $\ psi( \ S i g ma_N )$. 

Th e inv olution $w_{M p}$  has a f ixedpoint  on$\ Sigma _N$ if  andon ly if $\Z[\sqrt {-Mp }]$ embed s i n$\E nd (E,C) $  for s ome  $( E,C) \i n \Sigm a _N$ .S i n ce  $\End(E,C)$ is an  E i c hl er order  of le v el  $ N $ in $\Q _{ p,\ inft y } $ byEich l er ’s optim al emb e dd in g theor em (see [ @V ig] ) $ \Z[\s q rt{- Mp}] \ hookrigh tarro w  \End(E,C)$ if and only if w e  h a v et he c ond ition given  int he p ropo s it ion state ment.  T h is implies that thereis  a sup ersin gular point i n $\Xc(\F_ p ) $  and byHens e l’ s  lemma there i s a p oint in $\ X c(\Q_p)$ .

By  Proposi tion \[pr o p :unramif ied goo d\]  we h av e a sufficien t cond it ion for  $\ Xc(\Q_p ) \ neq  \e mpt ys et$ and i f we hav eth eco ndi tions given in  t his  p rop ositi o n then  redu ctio nof any  pointi n$ \ Xc(\ Q_ p) $ ha s t obe asupe r sin gular p oint. Ifthe cond it io n of th e Proposition  \ [prop:unra mi fie dgood\ ] fails, t here may still be ordin a ry poin tsin $\ Xc(\ F_p)$ whi chare po int s  in $\ X(\F_{ p^2}) $fix e d  by $ \ f ro b \ ci rc w_M$.
N o w w e wil lassu me that  the condition oft heProposition
ued along_supersingular points._Let $\psi$ be a_map from_$X_0(N)_{/_\F_p}$ to_$X_0(Np)_{/_\F_p}$, an isomorphism_onto one of_the two components. The_map $\psi$ takes_the_supersingular locus of $X_0(N)_{/ \F_p}$ to the supersingular locus of $X_0(Np)_{/ \F_p}$. The set_$\Sigma_N$_is the_supersingular_locus_of $X_0(N)_{/ \F_p}$. The Atkin-Lehner_operators $w_{Mp}$ acts on $X_0(Np)$_for every_$M|N$, in particular $w_{Mp}$ acts on $\psi(\Sigma_N)$. When_we_say the action_of $w_{Mp}$ on $\Sigma_N$, it is meant the action_of $w_{Mp}$ on $\psi(\Sigma_N)$.

The involution $w_{Mp}$_has a fixed_point_on_$\Sigma_N$ if and only_if $\Z[\sqrt{-Mp}]$ embeds in $\End(E,C)$ for_some $(E,C) \in \Sigma_N$. Since $\End(E,C)$_is an Eichler order of level $N$_in $\Q_{p,\infty}$ by Eichler’s optimal embedding_theorem(see [@Vig]) $\Z[\sqrt{-Mp}] \hookrightarrow \End(E,C)$_if and_only if we have the_condition given in_the proposition_statement. This implies_that there is a supersingular point_in $\Xc(\F_p)$ and_by Hensel’s lemma there is a_point_in $\Xc(\Q_p)$.

By Proposition_\[prop:unramifiedgood\]_we_have a_sufficient condition for_$\Xc(\Q_p)_\neq \emptyset$_and_if we have the conditions given_in_this proposition then reduction of any point_in $\Xc(\Q_p)$ has to_be_a supersingular point. If_the condition of the Proposition_\[prop:unramifiedgood\] fails, there may still be_ordinary points_in $\Xc(\F_p)$_which are points in $\X(\F_{p^2})$ fixed by $\frob \circ w_M$.

Now we_will assume that the condition of_the Proposition