Let $k$ be a field of characteristic $p\>0$. Let $D_m$ be a ${BT}_m$ over $k$ (i.e., an $m$-truncated Barsotti–Tate group over $k$). Let $S$ be a $k$-scheme and let $X$ be a ${BT}_m$ over $S$. Let $S_{D_m}\left(X\right)$ be the subscheme of $S$ which describes the locus where $X$ is locally for the fppf topology isomorphic to $D_m$. If $p\ge 5$, we show that $S_{D_m}\left(X\right)$ is pure in $S$, i.e. the immersion $S_{D_m}\left(X\right)\hookrightarrow S$ is affine. For $p\in \{2,3\}$, we prove purity if $D_m$ satisfies a certain technical property depending only on its $p$-torsion $D_m\left[p\right]$. For $p\ge 5$, we apply the developed techniques to show that all level $m$...

We introduce the concept of quadratic modular symbol and study how these symbols are related to quadratic$p$-adic $L$-functions. These objects were introduced in [3] in the case of modular curves. In this paper, we discuss a method to attach quadratic modular symbols and quadratic $p$-adic $L$-functions to more general Shimura curves.

The rational points on $X_0\left(N\right)/W_N$ in the case where $N$ is a composite number are considered. A computational study of some of the cases not covered by the results of Momose is given. Exceptional rational points are found in the cases $N=91$ and $N=125$ and the $j$-invariants of the corresponding quadratic $\mathbb{Q}$-curves are exhibited.

Using the recent isogeny bounds due to Gaudron and Rémond we obtain the triviality of $X_0^{+}\left(p^r\right)\left(\mathbb{Q}\right)$, for $r\>1$ and $p$ a prime number exceeding $2·{10}^{11}$. This includes the case of the curves $X_{\mathrm{split}}\left(p\right)$. We then prove, with the help of computer calculations, that the same holds true for $p$ in the range $11\le p\le {10}^{14}$, $p\ne 13$. The combination of those results completes the qualitative study of rational points on $X_0^{+}\left(p^r\right)$ undertook in our previous work, with the only exception of $p^r={13}^2$.

We derive a relation between induced representations on the group ${GL}_2(\mathbb{Z}/p^2\mathbb{Z})$ which implies a relation between the jacobians of certain modular curves of level $p^2$. The motivation for the construction of this relation is the determination of the applicability of Mazur’s method to the modular curve associated to the normalizer of a non-split Cartan subgroup of ${GL}_2(\mathbb{Z}/p^2\mathbb{Z})$.