\section{Introduction}

\subsection{Motivation} Let $q$ be a power of a prime $p$ and let $\mathbb{F}_q$ denote
the finite field with $q$ elements. Let $X$ be a smooth, projective,
geometrically irreducible, $d$-dimensional variety over $\mathbb{F}_q$. Fix
an algebraic closure $\overline{\mathbb{F}}_q$ of $\mathbb{F}_q$. Also, fix a prime
number $\ell\neq p$ and an algebraic closure $\overline{\mathbb{Q}}_\ell$ of
the field $\mathbb{Q}_\ell$ of $\ell$-adic numbers. Grothendieck's theory of
\'etale cohomology produces the $\ell$-adic cohomology groups
$$
H^i(X):=H^i(X\otimes_{\mathbb{F}_q} \overline{\mathbb{F}}_q, \overline{\mathbb{Q}}_\ell),
\quad i\geq 0.
$$
These groups are finite dimensional $\overline{\mathbb{Q}}_\ell$-vector
spaces endowed with an action of the Galois group
$\mathrm{Gal}(\overline{\mathbb{F}}_q/\mathbb{F}_q)$. The \textit{$\ell$-adic Betti numbers}
of $X$ are the dimensions
$$
h^i(X):=\dim_{\overline{\mathbb{Q}}_\ell}H^i(X).
$$
It is known that $h^i(X)=0$ for $i>2d$, $h^0(X)=1$, and
$h^{2d-i}(X)=h^i(X)$.

Let $\mathrm{Frob}_q$ be the inverse of the standard topological generator
$x\mapsto x^q$ of $\mathrm{Gal}(\overline{\mathbb{F}}_q/\mathbb{F}_q)$, i.e., the so-called
\textit{geometric Frobenius element}. Assume $H^i(X)\neq 0$. Denote
the eigenvalues of $\mathrm{Frob}_q$ acting on $H^i(X)$ by $\alpha_{i,1},
\alpha_{i,2},\dots, \alpha_{i,s}$ (here $s=h^i(X)$). Deligne proved
that $\{\alpha_{i,j}\}$ are algebraic numbers. Moreover, for any
isomorphism $\iota: \overline{\mathbb{Q}}_\ell\to \mathbb{C}$ the absolute value
$|\iota (\alpha_{i,j})|$ is independent of $\iota$ and is equal to
$q^{i/2}$ (Riemann hypothesis for $X$); see \cite{WeilI}.

For an integer $n\geq 1$ denote by $\mathbb{F}_{q^n}$ the degree $n$
extension of $\mathbb{F}_q$, and let $X(\mathbb{F}_{q^n})$ be the set of
$\mathbb{F}_{q^n}$-rational points on $X$. By the Grothendieck-Lefschetz
trace formula
$$
\# X(\mathbb{F}_{q^n})=\sum_{i=0}^{2d} (-1)^i \mathrm{Tr}(\mathrm{Frob}_q^n\ |\
H^i(X))=\sum_{i=0}^{2d}(-1)^i\sum_{j=1}^{h^i(X)}\alpha_{i,j}^n.
$$
If one combines this with Deligne's result, then there results the
\textit{Weil-Deligne bound}
\begin{equation}\label{eq-WD}
\# X(\mathbb{F}_{q^n}) \leq \sum_{i=0}^{2d}
q^{in/2}h^i(X)=:\mathrm{WD}_n(X).
\end{equation}

It is natural to ask how ``optimal'' is the bound (\ref{eq-WD}).
More precisely, suppose we fix some natural numbers $b_1,
b_2,\cdots, b_d$. \textit{How close can $\# X(\mathbb{F}_{q^n})$ get to
$\mathrm{WD}_n(X)$ for a variety $X$ with $h^i(X)=b_i$, $1\leq i\leq
d$?} Although this question has received a considerable amount of
attention, it still remains largely open, cf. \cite{SerreRP},
\cite{Tsfasman}.

Let $h(X):=\sum_{i=0}^{2d}h^i(X)$. In this paper we will be mostly
concerned with the asymptotic optimality of (\ref{eq-WD}):
\textit{How close can the ratio $\# X(\mathbb{F}_{q^n})/h(X)$ get to
$\mathrm{WD}_n(X)/h(X)$ as $h(X)\to \infty$, assuming $d$, $q$ and
$n$ are fixed?} Tsfasman raised questions of this nature in
\cite{Tsfasman}. Besides its intrinsic mathematical interest, the
motivation for this problem partly comes from coding theory via
Goppa's \cite{Goppa} algebro-geometric construction of
error-correcting codes over $\mathbb{F}_{q^n}$.

\vspace{0.1in}

For curves (i.e., when $d=1$) we clearly have
$\mathrm{WD}_n(X)/h(X)\to q^{n/2}$ as $h(X)\to \infty$. On the other
hand, surprisingly enough, it turns out that
\begin{equation}\label{eq-DV}
\underset{X}{\lim\mathrm{sup}}\left( \frac{\#
X(\mathbb{F}_{q^n})}{h(X)}\right)\leq \frac{q^{n/2}-1}{2}.
\end{equation}
This is a well-known result of Drinfeld and Vladut \cite{DV}. In
particular, curves of genus sufficiently larger than $q^n$ never
have as many rational points as the Weil-Deligne bound allows.

A sequence of curves $\{X_i\}$ over $\mathbb{F}_{q^n}$ is called
\textit{asymptotically optimal} if $h(X_i)\to \infty$ and $\#
X_i(\mathbb{F}_{q^n})/h(X_i)\to (q^{n/2}-1)/2$. It is not known whether
asymptotically optimal sequences exist when $q^n$ is not a square
(even for a singe $q^n$), in other words, it is an open problem
whether in general (\ref{eq-DV}) is the best possible upper-bound on
$\lim\mathrm{sup}(\# X(\mathbb{F}_{q^n})/h(X))$. On the other hand, when
$q^n$ is a square, then asymptotically optimal sequences always
exist. Here Shimura curves (and their function field analogues -
Drinfeld modular curves) play a key role: modular curves with
appropriate level structures over quadratic extensions of finite
fields attain the bound (\ref{eq-DV}) as the size of the level tends
to infinity. This is due to Drinfeld, Ihara, Manin, Tsfasman, Vladut
and Zink; see \cite{Ihara}, \cite{MV}, \cite{TVZ}, \cite{DV}.  In
fact, every known asymptotically optimal sequence of curves over
$\mathbb{F}_{q^2}$ has the property that every $X_i$ is a classical, Shimura
or Drinfeld modular curve for $i$ sufficiently large, cf.
\cite{Elkies}, \cite{many-authors}.

\vspace{0.1in}

For the higher dimensional varieties there are only a few partial
results. Lachaud and Tsfasman, using explicit formulae, proved a
certain analogue of the Drinfeld-Vladut bound (\ref{eq-DV}); see
\cite{LT}, \cite{Tsfasman}. As far as I am aware, there were no
known examples of sequences of $d$-dimensional varieties $\{X_i\}$
such that $h(X_i)\to \infty$ and for which $\# X_i(\mathbb{F}_{q})/h(X_i)$
converges to a number close to the asymptotic Weil-Deligne bound
(assuming $q$ is fixed), besides the following obvious construction.
Take each $X_i$ to be an appropriate product of lower dimensional
varieties. The number of rational points and the Betti numbers are
easy to compute inductively. Indeed, if $X=Y\times Z$ then
$\#X(\mathbb{F}_q)=(\#Y(\mathbb{F}_q))\cdot (\#Z(\mathbb{F}_q))$ and $h(X)=h(Y)\cdot h(Z)$.
(The first identity is clear and the second follows from K\"unneth
formula.) Using this technique, one can produce all sorts of
interesting limits (but they all are smaller than the asymptotic
Weil-Deligne bounds) cf. \cite[$\S$5]{Tsfasman}.

The main result of this paper is a generalization of
Tsfasman-Vladut-Zink result for Shimura curves to the case of
certain higher dimensional modular varieties. The question of
extending the results in \cite{TVZ} to other modular varieties
already appears in that paper (Question C on p.22).

\begin{rem}
One might ask whether the Weil-Deligne bound is ever asymptotically
optimal. More precisely, suppose $d$ and $q$ are fixed. Does there
exist a sequence $\{X_i\}$ of $d$-dimensional varieties over $\mathbb{F}_q$
such that $h(X_i)\to \infty$ and $\#
X_i(\mathbb{F}_{q})/\mathrm{WD}_1(X_i)\to 1$? I expect that the answer is
always negative. When $d=1$ this of course follows from
(\ref{eq-DV}).
\end{rem}

\subsection{Main result}
Let $C:=\mathbb{P}^1_{\mathbb{F}_q}$ be the projective line over $\mathbb{F}_q$. Denote by
$F=\mathbb{F}_q(T)$ the field of rational functions on $C$. Fix some $d\geq
2$ and let $D$ be a $d^2$-dimensional central division algebra over
$F$, which is split at $\infty=1/T$, i.e., $D\otimes_F F_\infty$ is
isomorphic to the algebra $\mathbb{M}_d(F_\infty)$ of $d\times d$ matrices
with entries in $F_\infty$. Fix a locally-free sheaf $\cD$ of
$\mathcal{O}_C$-algebras on $C$ whose generic fibre is $D$ and such that for
every place $x\in |C|$, $\cD_x:=\cD\otimes_{\mathcal{O}_C} \mathcal{O}_{x}$ is a
maximal order of $D_x=D\otimes_F F_x$, where $\mathcal{O}_x$ and $F_x$ are
the completions of $\mathcal{O}_{C,x}$ and $F$ at $x$, respectively. Denote
by $R\subset |C|$ the set of places where $D$ ramifies; hence for
all $x\not\in R$ the couple $(D_x,\cD_x)$ is isomorphic to
$(\mathbb{M}_d(F_x),\mathbb{M}_d(\mathcal{O}_x))$. \textit{In this paper we make a blanket
assumption that $D_x$ is a division algebra for every $x\in R$}. Let
$o$ be a fixed closed point on $C-R-\{\infty\}$. Denote the residue
field at $o$ by $\mathbb{F}_o$, its degree $m$ extension by $\mathbb{F}_o^{(m)}$,
and $q_o:=q^{[\mathbb{F}_o:\mathbb{F}_q]}=\# \mathbb{F}_o$.

Call a prime ideal $\mathfrak p$ of the polynomial ring $A:=\mathbb{F}_q[T]$
\textit{admissible} if $x\mapsto x^d$ is an automorphism of
$(A/\mathfrak p)^\times/\mathbb{F}_q^\times$. There are infinitely many admissible
primes; see \cite[Lem. 4.6]{PapIMRN}. A closed subscheme $I$ of $C$
is called \textit{admissible} if $I\cap (R\cup \infty\cup
o)=\emptyset$ and $I=\mathrm{Spec}(A/\mathfrak p)$ for an admissible prime $\mathfrak p\lhd
A$.

Assume $I=\mathrm{Spec}(A/\mathfrak p)$ is admissible and let $M^\cD_{I,o}$ be the modular
variety of isomorphism classes of $\cD$-elliptic sheaves over
$\overline{\mathbb{F}}_o$ with pole at $\infty$ equipped with level-$I$
structures; see $\S$\ref{sec2} for definitions. There is a natural
action of $(A/\mathfrak p)^\times$ on $M^\cD_{I,o}$ via its (diagonal) action on
level structures. We denote the quotient variety by $\bar{M}^\cD_{I,o}$. The main
result of this paper is the following:

\begin{thm}\label{thm-main} $\bar{M}^\cD_{I,o}$ is a smooth, projective, geometrically irreducible,
$(d-1)$-dimensional variety defined over $\mathbb{F}_o$. Moreover
\begin{equation}\label{eq-my}
\lim_{\deg(I)\to
\infty}\frac{\#\bar{M}^\cD_{I,o}(\mathbb{F}_o^{(d)})}{h(\bar{M}^\cD_{I,o})}=\frac{1}{d}\prod_{i=1}^{d-1}
(q_o^i-1).
\end{equation}
\end{thm}

A similar result for Drinfeld modular varieties is proven in
\cite{PapIMRN}.

It will be clear from the proof of Theorem \ref{thm-main} that
$h(\bar{M}^\cD_{I,o})\to \infty$ as $\deg(I)\to \infty$. If we specialize the
theorem to $d=2$ and $\deg(o)=1$, then we get a sequence of curves
over $\mathbb{F}_{q^2}$, indexed by the primes in $A$ of odd degree, which
is asymptotically optimal. This last fact is new and is of
independent interest due to a rather limited number of examples of
asymptotically optimal sequences of curves.

From one of the main results in \cite{LRS} (see Theorem
\ref{thm6.1}) or, alternatively, from the discussion in
$\S$\ref{ss6.2}, it follows that
\begin{equation}\label{LRS-limit}
\lim_{\deg(I)\to
\infty}\frac{\mathrm{WD}_d(\bar{M}^\cD_{I,o})}{h(\bar{M}^\cD_{I,o})}=q_o^{d(d-1)/2}.
\end{equation}

One can compare the limits (\ref{eq-my}) and (\ref{LRS-limit}) from
two opposite viewpoints. On the one hand, since
$\frac{1}{d}\prod_{i=1}^{d-1}(q_o^{i}-1) < q_o^{d(d-1)/2}$, modular
varieties $\bar{M}^\cD_{I,o}$ never have as many $\mathbb{F}_o^{(d)}$-rational points as
the Weil-Deligne bound allows when $\deg(I)$ is large. On the other
hand, the degree of $\frac{1}{d}\prod_{i=1}^{d-1}(q_o^{i}-1)$ as a
polynomial in $q_o$ is the same as the degree of $q_o^{d(d-1)/2}$,
so $\#\bar{M}^\cD_{I,o}(\mathbb{F}_o^{(d)})$ asymptotically comes close to
$\mathrm{WD}_d(\bar{M}^\cD_{I,o})$, especially when $q_o$ is large compared to
$d$, and one can say that the varieties $\bar{M}^\cD_{I,o}$ have many
$\mathbb{F}_o^{(d)}$-rational points compared to their Betti numbers.

\subsection{Shimura varieties}
Modular varieties of $\cD$-elliptic sheaves are the function field
analogues of Shimura varieties over number fields. The anonymous
referee pointed out that in a recent paper \cite{Sauvageot} Fran\c
cois Sauvageot considered a problem about asymptotic properties of
Shimura varieties which is similar to the problem we address in this
paper. In this subsection we would like to compare Sauvageot's
result to ours.

Let $G$ be an algebraic connected reductive group over a global
field of characteristic $0$. Sauvageot introduces a notion of
\textit{strongly vanishing family} $\mathcal{K}$ of compact subgroups of $G$
over the finite adeles. Attached to $G$ and $K\in \mathcal{K}$ there is a
Shimura variety $X_K$. Generalizing an approach of Serre
\cite{SerreJAMS} by means of Arthur's trace formula, Sauvageot gives
a simple expression for $\underset{K\in \mathcal{K}}{\lim}\mathrm{Vol}(K)\chi(X_K)$
in terms of an invariant of $G$ and $\mathcal{K}$; here $\chi(X_K)$ is the
Euler-Poincar\'e characteristic of the $L^2$-cohomology of $X_K$ and
$\mathrm{Vol}(K)$ is the volume of $K$ with respect to an appropriately
normalized Haar measure. On the other hand, for a prime of good
reduction $o$ of $X_K$, assuming a conjecture of Milne, a formula of
Kottwitz expresses $\underset{K\in \mathcal{K}}{\lim}\mathrm{Vol}(K)(\#
X_{K,o}(\mathbb{F}_o^{(m)}))$, $m\geq 1$, in terms of an invariant of $G$
and a sum of twisted orbital integrals. This again uses trace
formula techniques. Overall, one obtains a (conjectural) formula for
$\underset{K\in \mathcal{K}}{\lim}\# X_{K,o}(\mathbb{F}_o^{(m)})/\chi(X_K)$ which
involves a sum of twisted orbital integrals. Then Sauvageot gives
some criteria for detecting strongly vanishing families $\mathcal{K}$ (e.g.,
for $\mathrm{GL}_2$ over $\mathbb{Q}$ the classical congruence subgroups form such
families as the level tends to infinity). Some relevant questions
are not discussed in \cite{Sauvageot}: First, whether it is possible
to compute $\underset{K\in \mathcal{K}}{\lim}\#
X_{K,o}(\mathbb{F}_o^{(m)})/\chi(X_K)$ explicitly in some situations other
than the case of curves, i.e., to give a simple expression for the
sum of twisted orbital integrals which comes from Kottwitz's
formula. Second, what is the relationship of $\chi(X_K)$ to the
invariants of $X_{K,o}$, such as the $\ell$-adic Euler-Poincar\'e
characteristic of $X_{K,o}$, especially when $X_K$ is not compact.
Third, for which $K$ the resulting varieties $X_{K,o}$ are smooth
and geometrically irreducible.

Now from the point of view of general Shimura varieties the
situation which we consider in this paper is rather special since
the only $G$ which is allowed is the multiplicative group of a
division algebra. Our notion of admissible level seems to be
analogous to Sauvageot's notion of vanishing family. The main
advantage of our result is that the asymptotic formula which we
obtain is very explicit. Our strategy of the proof is also
different. In computing the asymptotic number of rational points
over finite fields we crucially rely on the modular interpretation
of the points on $M^\cD_{I,o}$. In computing the asymptotic Betti
numbers we use special properties of the cohomology of varieties
having non-archimedean uniformization, along with some classical
results about discrete subgroups of $p$-adic groups. Note that
estimating the sum of Betti numbers $h(\bar{M}^\cD_{I,o})$ or their alternating
sum $\chi(\bar{M}^\cD_{I,o})$ are equivalent problems for $\bar{M}^\cD_{I,o}$ since the middle
cohomology group grows much faster than all the others (although in
general $h$ is certainly a better measure of the combined size of
the Betti numbers than $\chi$). It is reasonable to expect that the
methods of this paper can be adapted to some PEL Shimura varieties.

\subsection{Outline of the proof} The proof of Theorem
\ref{thm-main} consists of three parts, which are more-or-less
independent of each other.

In Section \ref{sec2} we recall the definition of moduli schemes of
$\cD$-elliptic sheaves and discuss the Stein factorization of these
schemes. We prove that $\bar{M}^\cD_{I,o}$ is smooth and geometrically
irreducible when $I$ is admissible.

In Section \ref{sec3} we discuss $\cD$-elliptic sheaves over
$\overline{\mathbb{F}}_o$ and the rationality of the corresponding points on
the moduli varieties. The main tool used in this section is the
description of the set of isomorphism classes of $\cD$-elliptic
sheaves in a given isogeny class \cite[\S\S9-10]{LRS}. We consider a
special class of $\cD$-elliptic sheaves, called supersingular
$\cD$-elliptic sheaves, and show that the corresponding points on
$\bar{M}^\cD_{I,o}$ are all $\mathbb{F}_o^{(d)}$-rational. Moreover, we prove that when
$\deg(I)$ is large enough, compared to $d$ and $\deg(o)$, the
supersingular points are the only $\mathbb{F}_o^{(d)}$-rational points on
$\bar{M}^\cD_{I,o}$ (when $d=2$ this can be replaced by the Drinfeld-Vladut
bound). We should mention that Lachaud-Tsfasman bound is essentially
equivalent to the Weil-Deligne bound when applied to $\bar{M}^\cD_{I,o}$, hence
is much larger than the limit (\ref{eq-my}). The number of
supersingular points can be computed as a volume. Overall, we get an
asymptotic formula for $\#\bar{M}^\cD_{I,o}(\mathbb{F}_o^{(d)})$.

In Section \ref{sec4} we estimate how $h(\bar{M}^\cD_{I,o})$ grows as $\deg(I)$
tends to infinity. This relies on several deep results. First, using
proper base change, we transfer the problem from $o$-fibre to
$\infty$-fibre. Then a result of Schneider and Stuhler about
cohomology of varieties having rigid-analytic uniformization (in
combination with Berkovich's theory) reduces the problem to a
calculation of the dimension of a certain space of cusp forms on
$D^\times$. Next, a theorem of Casselman and Garland reduces the
calculation of this dimension to a calculation of the
Euler-Poincar\'e characteristic of a certain discrete cocompact
subgroup of $\mathrm{PGL}_d(F_\infty)$. Finally, Serre's theory of
Euler-Poincar\'e measures allows us to compute the Euler-Poincar\'e
characteristic as a volume.

\section{Notation}

Aside from the notation in Introduction, we will use the following:

\subsection{} The residue field of $\mathcal{O}_x$ is
denoted by $\mathbb{F}_x$, the cardinality of $\mathbb{F}_x$ is denoted by $q_x$. We
assume that the valuation $v_x:F_x\to\mathbb{Z}$ is normalized by
$v_x(\varpi_x)=1$, where $\varpi_x$ is a uniformizer of $\mathcal{O}_x$; the
norm $|\cdot|_x$ on $F_x$ is $q_x^{-v_x(\cdot)}$. We denote the
adele ring of $F$ by $\mathbb{A}:=\prod'_{x\in |C|} F_x$. For a set of
places $S$ of $F$ we denote by $\mathbb{A}^S:=\prod'_{x\not\in S}F_x$ the
adele ring outside $S$, and $\cD^S:=\prod_{x\not\in S}\cD_x$.

\subsection{}\label{ss2.2} Let $I\neq \emptyset$ be a closed subscheme of $C$, and
let $\mathcal{I}$ be the ideal sheaf of $I$. Denote $\mathcal{O}_I=\mathcal{O}_C/\mathcal{I}$,
$\deg(I)=\dim_{\mathbb{F}_q}(\mathcal{O}_I)$, and $\cD_I=\cD\otimes_{\mathcal{O}_C}\mathcal{O}_I$.
For $I$ is disjoint from $S$, let
$$
K_{\cD,I}^S:=\ker((\cD^S)^\times\to \cD_I^\times).
$$

\subsection{} Let $\zeta_F(s)=\prod_{x\in |C|}\zeta_x(s)$ be the zeta
function of $C$; here $\zeta_x(s)=(1-q_x^{-s})^{-1}$. It is
well-known (and is easy to prove) that
$$
\zeta_F(s)=\frac{1}{(1-q^{-s})(1-q^{1-s})},
$$
Let $\zeta_F^S(s)=\prod_{x\not\in S}\zeta_x(s)$ be the partial zeta
function with respect to $S$.

\subsection{} For a scheme $W$ over $\mathbb{F}_q$ denote by $\mathrm{Frob}_W$ its
Frobenius endomorphism, which is the identity on the points and the
$q$-th power map on the functions. Denote by $C\times W$ the fibred
product $C\times_{\mathrm{Spec}(\mathbb{F}_q)}W$. For a sheaf $\mathcal{F}$ on $C$ and a
sheaf $\mathcal{G}$ on $W$, the sheaf $\mathrm{pr}_1^\ast(\mathcal{F})\otimes
\mathrm{pr}_2^\ast(\mathcal{G})$ is denoted by $\mathcal{F}\boxtimes \mathcal{G}$.

\subsection{} Let $G$ be the
algebraic group over $F$ defined by $G(B)=(D\otimes_F B)^\times$ for
any $F$-algebra $B$; this is the multiplicative group of $D$.

\section{Moduli schemes of $\cD$-elliptic sheaves}\label{sec2}

Let $S$ be a $\mathbb{F}_q$-scheme. A $\cD$-\textit{elliptic sheaf} over $S$
consists of a commutative diagram
\begin{equation}\label{eq-es}
\xymatrix{ \cdots \ar@{^{(}->}[r]^-{j_{i-2}} & \mathcal{E}_{i-1}
\ar@{^{(}->}[r]^-{j_{i-1}} &
\mathcal{E}_{i} \ar@{^{(}->}[r]^-{j_i} & \mathcal{E}_{i+1} \ar@{^{(}->}[r]^-{j_{i+1}} & \cdots\\
\cdots \ar[ur]^-{t_{i-2}}\ar@{^{(}->}[r]^-{^\tau\!j_{i-2}} &
{^\tau}\!\mathcal{E}_{i-1}
\ar[ur]^-{t_{i-1}}\ar@{^{(}->}[r]^-{^\tau\!j_{i-1}} &
{^\tau}\!\mathcal{E}_{i} \ar[ur]^-{t_i}\ar@{^{(}->}[r]^-{^\tau\!j_i} &
{^\tau}\!\mathcal{E}_{i+1}
\ar[ur]^-{t_{i+1}}\ar@{^{(}->}[r]^-{^\tau\!j_{i+1}} & \cdots}
\end{equation}
where each $\mathcal{E}_i$ is a locally free $\mathcal{O}_{C\times S}$-module of
rank $d^2$ equipped with a right action of $\cD$ compatible with the
$\mathcal{O}_C$-action,
$$
^\tau\!\mathcal{E}_i=(\mathrm{id}_C\times \mathrm{Frob}_{S})^\ast \mathcal{E}_i,
$$
and all $j$'s and $t$'s are $\mathcal{O}_{C\times S}$-linear injections
compatible with the action of $\cD$. All that is given is subject to
the following conditions:
\begin{enumerate}
\item[(i)] Periodicity:
$$
\mathcal{E}_{i+d}=\mathcal{E}_i\otimes_{\mathcal{O}_{C\times S}} (\mathcal{O}_C(\infty)\boxtimes
\mathcal{O}_S).
$$
Here $\mathcal{E}_i$ is considered as a submodule of $\mathcal{E}_{i+d}$ under the
$d$-fold composition of $j$, and $\mathcal{O}_C(\infty)$ is an
$\mathcal{O}_C$-module via the natural injection $\mathcal{O}_{C}\hookrightarrow
\mathcal{O}_{C}(\infty)$.
\item[(ii)] Pole: $\mathcal{E}_i/j_{i-1}(\mathcal{E}_{i-1})$ is isomorphic to the direct
image $(\pi_\infty)_\ast\mathcal{G}_i$ of a locally free rank-$d$
$\mathcal{O}_S$-module $\mathcal{G}_i$ by the $\infty$ section:
$$
\pi_\infty: S\to C\times S, \quad s\mapsto (\infty, s).
$$
\item[(iii)] Zero: $\mathcal{E}_i/t_{i-1}({^\tau\!\mathcal{E}_{i-1}})$ is isomorphic to the direct image
$(\pi_z)_\ast\cH_i$ of a locally free rank-$d$ $\mathcal{O}_S$-module
$\cH_i$ by the section
$$
\pi_z:S\to C\times S,\quad s\mapsto (z(s),s),
$$
where $z:S\to C$ is a morphism of $\mathbb{F}_q$-schemes such that
$z(S)\subset C-R-\{\infty\}$.
\end{enumerate}

Let $I\neq \emptyset$ be a closed subscheme of $C-R-\{\infty\}$. Let
$(\mathcal{E}_i,j_i,t_i)$ be a $\cD$-elliptic sheaf over $S$ such that
$z(S)$ is disjoint from $I$. The restriction $\mathcal{E}_I:=\mathcal{E}_{i|I\times
S}$ is independent of $i$, and $t$ induces an isomorphism
$^\tau\!\mathcal{E}_I\cong \mathcal{E}_I$. A \textit{level-$I$ structure} on
$(\mathcal{E}_i,j_i,t_i)$ is an $\mathcal{O}_{I\times S}$-linear isomorphism $\iota:
\cD_I\boxtimes \mathcal{O}_S\cong \mathcal{E}_I$, compatible with the action of
$\cD_I$, which makes the following diagram commutative:
$$
\xymatrix{ ^\tau\!\mathcal{E}_I\ar[rr]^-t & &\mathcal{E}_I\\
& \cD_I\boxtimes \mathcal{O}_S \ar[lu]^-{^\tau\!\iota}\ar[ru]_-\iota&}
$$

For a scheme $$z:S\to C':=C-I-R-\{\infty\},$$ denote by
$\mathbf{Ell}_{I}^\cD(S)$ the set of isomorphism classes of $\cD$-elliptic
sheaves over $S$ with level-$I$ structures. There are natural
commuting actions of $\mathbb{Z}$ and $\cD_I^\times$ on $\mathbf{Ell}_{I}^\cD(S)$:
$n\in \mathbb{Z}$ acts by
$$
[n](\mathcal{E}_i,j_i,t_i;\iota)=(\mathcal{E}_{i+n},j_{i+n},t_{i+n};\iota)
$$
and $g\in \cD_I^\times$ acts by
$$
(\mathcal{E}_i,j_i,t_i;\iota)g=(\mathcal{E}_{i},j_{i},t_{i};\iota\circ g),
$$
where $g$ acts on $\cD_I\boxtimes \mathcal{O}_S$ via right multiplication on
$\cD_I$.

By (4.1), (5.1) and (6.2) in \cite{LRS}, the functor $S\mapsto
\mathbf{Ell}^{\cD}_{I}(S)/\mathbb{Z}$ is representable by a smooth, projective
scheme $M^\cD_I$ over $C'$ of pure relative dimension $(d-1)$. The
action of $\cD_I^\times$ on $\mathbf{Ell}^\cD_{I}$ induces an action of this
finite group on $M^\cD_I$. We denote by $\bar{M}_I^\cD$ the quotient
of $M_I^\cD$ under the action of the center $Z(\cD_I^\times)\cong
\mathcal{O}_I^\times$ of $\cD_I^\times$.

Note that if we put $d=1$ and apply the previous definitions with
$\cD=\mathcal{O}_C$, then we arrive at the notion of $\mathcal{O}_C$-elliptic
sheaves with level-$I$ structures. This case was considered much
earlier by Drinfeld \cite{Drinf.ES}, who proved that $M_I^{\mathcal{O}_C}$
is isomorphic to the moduli scheme of rank-$1$ Drinfeld $A$-modules
with level-$I$ structures. This latter moduli scheme is closely
related to Class Field Theory of $F$; see \cite[Thm. 1]{Drinfeld}.

As follows from \cite[pp. 26-29]{Lafforgue}, there is a natural
morphism of schemes over $C'$
$$
\wp: M^\cD_I\to M^{\mathcal{O}_C}_I
$$
which is compatible with the action of $\cD_I^\times$ in the sense
that $\wp\circ g=\det(g)\circ \wp$ for any $g\in\cD_I^\times\cong
\mathrm{GL}_d(\mathcal{O}_I)$.

\begin{prop}\label{cor1.6}
The fibres of $\wp$ are geometrically irreducible.
\end{prop}
\begin{proof}
By Stein factorization theorem, it is enough to show that the fibres
of
$$
\wp_{\bar{\eta}}:
M^\cD_{I,\bar{\eta}}:=M^\cD_I\times_{C'}\mathrm{Spec}(\bar{F})\to
M^{\mathcal{O}_C}_{I,\bar{\eta}}:=M^{\mathcal{O}_C}_I\times_{C'}\mathrm{Spec}(\bar{F})
$$
are connected, where $\bar{F}$ denotes a fixed algebraic closure of
$F$. Since $\wp_{\bar{\eta}}$ is $\cD_I^\times$-equivariant and
$\det:\cD_I^\times\to \mathcal{O}_I^\times$ is surjective,
$\wp_{\bar{\eta}}$ is surjective. Hence it is enough to show that
the number of connected components of $M^\cD_{I,\bar{\eta}}$ and
$M^{\mathcal{O}_C}_{I,\bar{\eta}}$ are the same.

By Class Field Theory, $M^{\mathcal{O}_C}_{I,\bar{\eta}}$ is a disjoint
union of $\#\left[F^\times\setminus
(\mathbb{A}^\infty)^\times/K^\infty_{\mathcal{O}_C,I}\right]$ copies of
$\mathrm{Spec}(\bar{F})$ and $\mathcal{O}_I^\times$ acts transitively on these
points. On the other hand, the number of connected components of
$M^\cD_{I,\bar{\eta}}$ is equal to the 0-th Betti number
$h^0_{I,\eta}$ (in the notation of Section \ref{sec4}), so the
desired claim follows from Corollary \ref{cor-new}.
\end{proof}

\begin{cor}\label{cor-SF}
If $I=\mathrm{Spec}(A/\mathfrak p)$ is admissible then $\bar{M}^\cD_{I,o}$ is a smooth,
projective, geometrically irreducible, $(d-1)$-dimensional variety
defined over $\mathbb{F}_o$, which is a form of one of the components of
$M^\cD_{I,o}$.
\end{cor}
\begin{proof}
The group $\mathbb{F}_\mathfrak p^\times/\mathbb{F}_q^\times$ acts freely and transitively
on the geometrically irreducible components of $M^{\mathcal{O}_C}_{I,o}$. On
the other hand, it is easy to see that the action of
$Z(\cD_I^\times)\cong \mathbb{F}_\mathfrak p^\times$ on $M^\cD_{I,o}$ factors through
$\mathbb{F}_\mathfrak p^\times/\mathbb{F}_q^\times$. By Proposition \ref{cor1.6},
$\wp_o\circ z=z^d\circ \wp_o$ for $z\in \mathbb{F}_\mathfrak p^\times$. Since $\mathfrak p$
is admissible, $(\mathbb{F}_\mathfrak p^\times)^d$ surjects onto
$\mathbb{F}_\mathfrak p^\times/\mathbb{F}_q^\times$. We conclude that
$\mathbb{F}_\mathfrak p^\times/\mathbb{F}_q^\times$ acts freely and transitively also on the
geometrically irreducible components of $M^\cD_{I,o}$. This implies the
claim.
\end{proof}

\section{Volume calculation} This section is of auxiliary nature. Here we compute a certain
volume which is used in Sections \ref{sec3} and \ref{sec4}. This
result should be well-known, but in absence of a convenient explicit
reference we sketch some of the details.

For $x\in |C|$, normalize the Haar measure $dg_x$ on $G(F_x)$ by
$\mathrm{Vol}(\cD_x^\times, dg_x)=1$. Fix the Haar measure $d\bar{g}$ on
$G(\mathbb{A})$ to be the restricted product measure. This measure will be
called the \textit{canonical product measure}.

Consider the homomorphism
\begin{equation}\label{eq-norm}
\norm{\cdot}:G(\mathbb{A})\to q^{\mathbb{Z}}
\end{equation}
given by the composition of the reduced norm $\mathrm{Nr}: G(\mathbb{A})\to
\mathbb{A}^\times$ with the idelic norm $\prod_{x\in |C|}|\cdot|_x:
\mathbb{A}^\times \to q^\mathbb{Z}$. Denote the kernel of this homomorphism by
$G^{1}(\mathbb{A})$. The group $G(F)$, under the diagonal embedding into
$G(\mathbb{A})$, lies in $G^{1}(\mathbb{A})$, thanks to the product formula. The
quotient $G(F)\setminus G^1(\mathbb{A})$ is compact, hence has finite volume. The
main result of this section is the following:

\begin{prop}\label{prop4.1}
$$
\mathrm{Vol}\left(G(F)\setminus G^1(\mathbb{A}),
d\bar{g}\right)=\frac{1}{(q-1)}\prod_{i=1}^{d-1}\zeta^R_F(-i).
$$
\end{prop}
\begin{proof}
Let $\Phi$ be the characteristic function of $\cD$ in $D(\mathbb{A})$.
Consider the following integral
$$
\zeta_{D}(s)=\int_{G(\mathbb{A})} \Phi(g)\norm{g}^s d\bar{g}.
$$
It absolutely converges for $\mathrm{Re}(s)>1$, can be meromorphically
continued to the whole plane with a simple pole at $0$, cf.
\cite[$\S$3.1]{WeilAdeles}. Moreover, from the calculations in
\textit{loc.cit.}, one can deduce that
\begin{equation}\label{eq1}
\underset{s=0}{\mathrm{Res}}\ \zeta_{D}(s)=-\mathrm{Vol}\left(G(F)\setminus G^1(\mathbb{A}),
d\bar{g}\right) \frac{1}{\log q}.
\end{equation}
Next, we have the decompositions $\Phi=\prod_x \Phi_x$ and
$\zeta_{D}(s)=\prod_x \zeta_{D_x}(s)$, where $\Phi_x$ is the
characteristic function of $\cD_x$ in $D_x$ and
$$
\zeta_{D_x}(s)=\int_{G(F_x)} \Phi_x(g_x)\cdot |\mathrm{Nr}(g_x)|_x^s dg_x.
$$
If $D$ is split at $x$ then, considering the decomposition of
$\mathbb{M}_d(\mathcal{O}_x)$ into left $\cD_x^\times\cong\mathrm{GL}_d(\mathcal{O}_x)$-cosets, we
get
\begin{align*}
\zeta_{D_x}(s)
&=\int_{\mathbb{M}_d(\mathcal{O}_x)-\{0\}}|\mathrm{Nr}(g_x)|_x^s d g_x\\
&=\mathrm{Vol}(\cD_x^\times)\sum_{(n_i)\in \mathbb{Z}^d_{\geq
0}}q_x^{(-sn_1+(-s+1)n_2+\cdots+(-s+d-1)n_d)}\\&=\zeta_x(s)\cdot\zeta_x(s-1)\cdots\zeta_x(s-(d-1)).
\end{align*}
On the other hand, if $D$ is ramified at $x$ then $D_x$ is a
division algebra by assumption, hence $\cD_x$ has a unique maximal
ideal $\mathfrak P\lhd \cD_x$ and $\mathrm{Nr}(\mathfrak P)=\varpi_x$; see \cite[Thm.
24.13]{Reiner}. Thus,
$$
\zeta_{D_x}(s) = \int_{\cD_x-\{0\}}|\mathrm{Nr}(g_x)|_x^s
dg_x=\mathrm{Vol}(\cD_x^\times)\sum_{n\in \mathbb{Z}_{\geq 0}} q_x^{-sn}=
\zeta_x(s).
$$
Combining these local calculations,
\begin{equation}\label{eq2}
\underset{s=0}{\mathrm{Res}}\ \zeta_{D}(s)=-\frac{1}{(q-1)\log
q}\prod_{i=1}^{d-1}\zeta_F^R(-i).
\end{equation}
From (\ref{eq1}) and (\ref{eq2}) we deduce
$$
\mathrm{Vol}\left(G(F)\setminus G^1(\mathbb{A}),
d\bar{g}\right)=\frac{1}{(q-1)}\prod_{i=1}^{d-1}\zeta_{F}^R(-i),
$$
as was required.
\end{proof}

\section{Supersingular $\cD$-elliptic sheaves}\label{sec3}

In this section we discuss $\cD$-elliptic sheaves over
$k:=\overline{\mathbb{F}}_o$ and the rationality of the corresponding points
on the moduli schemes.

\subsection{Isogeny classes} One of the key preliminary results in
\cite{LRS} is the description of the points on the closed fibres of
$M^\cD_{I}\to C'$. This is done in two steps, similar to the
description of the set of abelian varieties over finite fields: one
starts by describing the isogeny classes of $\cD$-elliptic sheaves
over $k$ (as in Honda-Tate theory) and then parametrizes
$\cD$-elliptic sheaves in each isogeny class. We start by recalling
this description.

\begin{defn}(\cite[(9.11)]{LRS}) A \textit{$(D,\infty,o)$-type} is a pair $(\widetilde{F},\widetilde{\Pi})$, where
$\widetilde{F}$ is a finite separable field extension of $F$ and $\widetilde{\Pi}\in
\widetilde{F}^\times\otimes_\mathbb{Z} \mathbb{Q}$, satisfying the following conditions:
\begin{itemize}
\item For a proper subfield $\widetilde{F}'\subsetneqq \widetilde{F}$, $\widetilde{\Pi}\not\in
(\widetilde{F}')^\times\otimes_\mathbb{Z} \mathbb{Q}$.
\item $[\widetilde{F}:F]$ divides $d$.
\item $F_\infty\otimes_F \widetilde{F}$ is a field and, if $\widetilde{\infty}$ is the
unique place of $\widetilde{F}$ which divides $\infty$, we have
$$
\deg(\widetilde{\infty})\cdot v_{\widetilde{\infty}}(\widetilde{\Pi})=-[\widetilde{F}:F]/d.
$$
\item There exists a unique place $\widetilde{o}\neq \widetilde{\infty}$ of $\widetilde{F}$ such that
$v_{\widetilde{o}}(\widetilde{\Pi})\neq 0$; moreover $\widetilde{o}$ divides $o$.
\item For each place $x$ of $F$ and each $\widetilde{x}$ of $\widetilde{F}$
dividing $x$, we have
$$
(d[\widetilde{F}_{\widetilde{x}}:F_x]/[\widetilde{F}:F])\cdot \mathrm{inv}_x(D)\in \mathbb{Z}.
$$
\end{itemize}
\end{defn}

In \cite[(9.2)]{LRS} the authors introduce the notion of isogenies
between $\cD$-elliptic sheaves over $k$. We will not recall this
definition; for our purposes it is enough to know \cite[(9.13)]{LRS}
that there is a canonical bijection between the set of isogeny
classes of $\cD$-elliptic sheaves over $k$ and the set of
isomorphism classes of $(D,\infty,o)$-types.

Assume $I\subset C-R-\{o,\infty\}$ and denote by $
M^\cD_{I,o}:=M^\cD_{I}\times_{C'}\mathrm{Spec}(\mathbb{F}_o)$ the fibre of $M^\cD_{I}$ over
$o$. Fix a $(D,\infty,o)$-type $(\widetilde{F},\widetilde{\Pi})$ and denote by
$$
M^\cD_{I,o}(k)_{(\widetilde{F},\widetilde{\Pi})}\subset M^\cD_{I,o}(k)
$$
the set of isomorphism classes of $\cD$-elliptic sheaves over $k$
which are in the isogeny class corresponding to $(\widetilde{F},\widetilde{\Pi})$.

Let $\Delta$ be the central division algebra over $\widetilde{F}$ with
invariants
$$
\mathrm{inv}_{\widetilde{x}}\Delta=\left\{
               \begin{array}{ll}
                 [\widetilde{F}:F]/d, & \hbox{if $\widetilde{x}=\widetilde{\infty}$;} \\
                 -[\widetilde{F}:F]/d, & \hbox{if $\widetilde{x}=\widetilde{o}$;} \\
                 {[\widetilde{F}_{\widetilde{x}}:F_x]}\cdot\mathrm{inv}_x(D), & \hbox{otherwise.}
               \end{array}
             \right.
$$
Let
$$
h=[\widetilde{F}_{\widetilde{o}}:F_o]d/[\widetilde{F}:F].
$$
$\Delta^\times$ naturally acts on the Dieudonn\'e modules of a
$\cD$-elliptic sheaf in the isogeny class of $(\widetilde{F}, \widetilde{\Pi})$, and these
actions induce group homomorphisms
$$
\left\{
               \begin{array}{ll}
                 \Delta^\times\hookrightarrow G(\mathbb{A}^{\infty,o})\\
                 \Delta^\times\hookrightarrow \mathrm{GL}_{d-h}(F_o)\\
                 \Delta^\times\hookrightarrow
N_{o,h}^\times \overset{\mathrm{Nr}}{\longrightarrow}F_o^\times\overset{v_o}{\longrightarrow}\mathbb{Z},
               \end{array}
             \right.
$$
where $N_{o,h}$ is the central division algebra over $F_o$ with
invariant $-1/h$; see \cite[p. 270]{LRS}. The main result of
\cite[$\S$10]{LRS} is the following:
\begin{thm}\label{thm-combin} There is a bijection
$$
M^\cD_{I,o}(k)_{(\widetilde{F},\widetilde{\Pi})}\overset{\sim}{\longrightarrow}\Delta^\times\setminus(Y_I^{\infty,o}\times
Y_o^{\widetilde{o}}\times Y_{\widetilde{o}}),
$$
compatible with the action of $\cD_I^\times$, where
\begin{align*}
Y_I^{\infty,o}:=G(\mathbb{A}^{\infty,o})/K_{\cD,I}^{\infty,o},\quad
Y_o^{\widetilde{o}}:=\mathrm{GL}_{d-h}(F_o)/\mathrm{GL}_{d-h}(\mathcal{O}_o),\quad Y_{\widetilde{o}}:=\mathbb{Z}.
\end{align*}
The action of $\mathrm{Frob}_o$ on $M^\cD_{I,o}(k)_{(\widetilde{F},\widetilde{\Pi})}$ corresponds to
translation by $1$ on $Y_{\widetilde{o}}=\mathbb{Z}$.
\end{thm}

\subsection{Rational points}
We say that a $\cD$-elliptic sheaf over $k$ is
\textit{supersingular} if in its $(D,\infty,o)$-type
$\widetilde{F}=F$. It is not hard to show that all supersingular
$\cD$-elliptic sheaves are isogenous \cite[Prop. 10.2.1]{Boyer},
i.e., there is a unique $(D,\infty,o)$-type $(F,\Pi)$.

We have an action of $\cD_I^\times\cong \mathrm{GL}_d(\mathcal{O}_I)$ on $M^\cD_{I,o}$ via
its action on level structures in the moduli problem. Denote the
quotient of $M^\cD_{I,o}$ under the action of the center
$Z(\cD_I^\times)\cong \mathcal{O}_I^\times$ of $\cD_I^\times$ by
$$
\bar{M}^\cD_{I,o}:=M^\cD_{I,o}/Z(\cD_I^\times).
$$
Denote the preimage of $Z(\cD_I^\times)$ in
$(\cD^{\infty,o})^\times$ under
$(\cD^{\infty,o})^\times\twoheadrightarrow \cD_I^\times$ by
$\bar{K}_{\cD,I}^{\infty,o}$, and denote by $\bar{M}^\cD_{I,o}(k)_{(\widetilde{F},\widetilde{\Pi})}$ the image of
$M^\cD_{I,o}(k)_{(\widetilde{F},\widetilde{\Pi})}$ under the quotient map $M^\cD_{I,o}\to
\bar{M}^\cD_{I,o}$.

\begin{prop}\label{prop-q.c}
There is a bijection
$$
\bar{M}^\cD_{I,o}(k)_{(\widetilde{F},\widetilde{\Pi})}\overset{\sim}{\longrightarrow}\Delta^\times\setminus(\bar{Y}_I^{\infty,o}\times
Y_o^{\widetilde{o}}\times Y_{\widetilde{o}}),
$$
where $\bar{Y}_I^{\infty,o}:=G(\mathbb{A}^{\infty,o})/\bar{K}_{\cD,I}^{\infty,o}$. The
action of $\mathrm{Frob}_o$ on $\bar{M}^\cD_{I,o}(k)_{(\widetilde{F},\widetilde{\Pi})}$ corresponds to
translation by $1$ on $Y_{\widetilde{o}}=\mathbb{Z}$.
\end{prop}
\begin{proof}
This is a consequence of Theorem \ref{thm-combin}.
\end{proof}

From this proposition it is not hard to deduce the following
criterion for the existence of $\mathbb{F}_o^{(n)}$-rational points on
$\bar{M}^\cD_{I,o}$, cf. \cite[p. 278]{LRS}:
$$
P=\Delta^\times[g^{\infty,o}\bar{K}^{\infty,o}_{\cD,I},g^{\widetilde{o}}_o\mathrm{GL}_{d-h}(\mathcal{O}_o),m_{\widetilde{o}}]\in
\bar{M}^\cD_{I,o}(k)_{(\widetilde{F},\widetilde{\Pi})}.
$$
is rational over $\mathbb{F}_o^{(n)}$ if and only if there exists $\delta\in
\Delta^\times$ such that
\begin{equation}\label{conds}
\left\{
               \begin{array}{ll}
                 (g^{\infty,o})^{-1}\delta g^{\infty,o}\in \bar{K}_{\cD,I}^{\infty,o}\\
                 (g^{\widetilde{o}}_o)^{-1}\delta g^{\widetilde{o}}_o\in \mathrm{GL}_{d-h}(\mathcal{O}_o)\\
                 v_{\widetilde{o}}(\mathrm{Nr}(\delta))=n\deg(o)/\deg(\widetilde{o})
               \end{array}
             \right.
\end{equation}
where $\mathrm{Nr}$ is the reduced norm on $\Delta$.

\vspace{0.1in}

Let $B$ be a finite dimensional $K$-algebra, where $K$ is a field.
The left multiplication by $\alpha\in B$ gives a $K$-linear
transformation of $B$ (as a finite dimensional vector space over
$K$). Define the characteristic polynomial $\mathrm{ch.p.}_{B/K}\alpha\in
K[X]$ of $\alpha$ to be the characteristic polynomial of this
transformation, and $\det_{B/K}(\alpha)$ be its determinant.

\begin{prop}\label{prop2.3}
Suppose $n$ is fixed and $I$ has in its support a prime $\mathfrak p\lhd A$
whose degree is large enough compared to $n$. Then
$$
\bar{M}^\cD_{I,o}(\mathbb{F}_o^{(n)})=\bar{M}^\cD_{I,o}(\mathbb{F}_o^{(n)})_{(F,\Pi)}.
$$
In other terms, the images of supersingular points on $\bar{M}^\cD_{I,o}$ are the
only possible $\mathbb{F}_o^{(n)}$-rational points.
\end{prop}
\begin{proof} Suppose $P\in
\bar{M}^\cD_{I,o}(\mathbb{F}_o^{(n)})_{(\widetilde{F},\widetilde{\Pi})}$. We need to show $\widetilde{F}=F$. Let
$\delta\in\Delta^\times$ be an element corresponding to $P$. Let
$F'=F[\delta]$ be the field generated by $\delta$ over $F$ and
$f_\delta\in F[X]$ be the minimal polynomial of $\delta$. The
conditions in (\ref{conds}) imply that $\delta$ is integral over
$A$, so $f_\delta$ is a monic irreducible polynomial in $A[X]$.

First, assume $F'/F$ is separable. Let $\mathrm{disc}(\delta)\in A$ be the
discriminant of $f_\delta$. We can consider $\Delta$ as a finite
dimensional algebra over $F$. Since $f_\delta$ divides
$\mathrm{ch.p.}_{\Delta/F}\delta$, the constant term $c_0(\delta)$ of
$f_\delta$ divides $\det_{\Delta/F}(\delta)$. By
\cite[(9.12)]{Reiner},
$$
\mathrm{det}_{\Delta/F}(\delta)=\mathrm{Nr}_{\widetilde{F}/F}(\mathrm{det}_{\Delta/\widetilde{F}}(\delta)).
$$
On the other hand, since $\Delta$ is a central division algebra over
$\widetilde{F}$ of dimension $\left(\frac{d}{[\widetilde{F}:F]}\right)^2$,
$$
\mathrm{det}_{\Delta/\widetilde{F}}(\delta)=\mathrm{Nr}(\delta)^{d/[\widetilde{F}:F]}.
$$
Since $\mathrm{Nr}(\delta)$ has zero valuation at every finite place of
$\widetilde{F}$ except at $\widetilde{o}$ where the valuation is bounded in terms of
$n$, $d$ and $\deg(o)$, we conclude that $\deg(c_0(\delta))$ is
bounded in terms of $n$, $d$ and $\deg(o)$. The degree of $f_\delta$
is bounded by $d$, so from the definition of discriminant,
$\deg(\mathrm{disc}(\delta))\leq d(d-1)\deg(c_0(\delta))$. We conclude that
$\deg(\mathrm{disc}(\delta))$ is bounded in terms of $n$, $d$ and $\deg(o)$.

On the other hand, the fact that $\delta$ can be conjugated to lie
in $\bar{K}_{\cD,I}^{\infty,o}$ implies that $f_\delta$ modulo $\mathfrak p$ is a power
of a linear polynomial. Therefore, $\mathfrak p$ must divide
$\mathrm{disc}(\delta)$, unless $f_\delta$ is a linear polynomial. Since the
degree of the discriminant of $\delta$ is bounded, if $\deg(\mathfrak p)$ is
large enough compared to $n$, then $f_\delta$ has to be a linear
polynomial, so $\delta\in F$ and $F'=F$. Finally, by \cite[Lem.
3.3.6]{LaumonCDV}, $\widetilde{F}\subset F'$. Thus, $\widetilde{F}=F$ as we wanted to
show.

Now assume $F'/F$ is inseparable. There is a minimal $m\geq 1$ such
that $\delta'=\delta^{p^m}$ is separable over $F$. Since $F'\subset
\Delta$, the power $p^m$ is bounded in terms of $d$. It is clear
that if $\delta$ satisfies the conditions in (\ref{conds}), then
$\delta'$ satisfies similar conditions with $n$ replaced by
$n':=n\cdot p^m$. It is also clear that if $P\in
\bar{M}^\cD_{I,o}(\mathbb{F}_o^{(n)})_{(\widetilde{F},\widetilde{\Pi})}$ then $P\in
\bar{M}^\cD_{I,o}(\mathbb{F}_o^{(n')})_{(\widetilde{F},\widetilde{\Pi})}$ and $\delta'$ is its corresponding
element of $\Delta^\times$. This reduced the situation to the
initial case and finishes the proof.
\end{proof}

\begin{prop}\label{prop2.4} The images of supersingular points are
rational over $\mathbb{F}_o^{(d)}:$
$$
\bar{M}^\cD_{I,o}(\mathbb{F}_o^{(d)})_{(F,\Pi)}=\bar{M}^\cD_{I,o}(k)_{(F,\Pi)}.
$$
\end{prop}
\begin{proof} Since $\widetilde{F}=F$, $h=d$ and there is
a unique $\widetilde{o}$ dividing $o$, namely $o$ itself. Hence a point $P$ on
$M_{I,o}(k)_{(F,\Pi)}$ is given by $
\Delta^\times[g^{\infty,o}\bar{K}_{\cD,I}^{\infty,o},m_{o}]$, and $P$ is
rational over $\mathbb{F}_o^{(d)}$ if there is $\delta\in \Delta^\times$
such that
$$
\left\{
               \begin{array}{ll}
                 (g^{\infty,o})^{-1}\delta g^{\infty,o}\in \bar{K}_{\cD,I}^{\infty,o}\\
                 v_o(\mathrm{Nr}(\delta))=d.
               \end{array}
             \right.
$$
Let $f\in F^\times$ be an element whose divisor on $C$ is
$(f)=[o-\deg(o)\infty]$. Take $\delta=f\in F^\times\hookrightarrow
\Delta^\times$, as an element of the center of $\Delta^\times$. Then
$\mathrm{Nr}(f)=f^d$, so $v_o(\mathrm{Nr}(f))=d$. We clearly have $f\in
\bar{K}_{\cD,I}^{\infty,o}$, so $(g^{\infty,o})^{-1}f g^{\infty,o}=f\in
\bar{K}_{\cD,I}^{\infty,o}$, and the first condition is also satisfied. (Note
that $f$ usually will not be in $K_{\cD,I}^{\infty,o}$.)
\end{proof}

\begin{thm}\label{thm2.5}
Let $S=R\cup \{\infty,o\}$. Let $I=\mathrm{Spec}(A/\mathfrak p)\neq o$ be
admissible. For all but finitely many $I$,
$$
\# \bar{M}^\cD_{I,o}(\mathbb{F}_o^{(d)})=\#\mathrm{PGL}_d(\mathbb{F}_\mathfrak p)\cdot
\prod_{i=1}^{d-1}\zeta_{F}^S(-i).
$$
\end{thm}
\begin{proof} Let $\bar{D}$ be the $d^2$-dimensional
central division algebra over $F$ whose invariants are
$\mathrm{inv}_o(\bar{D})=-1/d$, $\mathrm{inv}_\infty(\bar{D})=1/d$, and
$\mathrm{inv}_x(\bar{D})=\mathrm{inv}_x(D)$ if $x\neq o, \infty$. In particular, $\bar{D}_x$
is a division algebra for every $x\in S$; cf. \cite[$\S$32]{Reiner}.
Let $\bar{\mathcal{D}}$ be a locally free sheaf of $\mathcal{O}_C$-algebras with generic
fibre $\bar{D}$, and such that $\bar{\mathcal{D}}_x$ is a maximal order in $\bar{D}_x$
for any $x\in |C|$. Let $\bar{G}$ be the group of units in $\bar{D}$. Let
${K}_{\bar{\mathcal{D}},I}:=\ker(\bar{\mathcal{D}}^\times \to \bar{\mathcal{D}}_I^\times)$, and let
${K}_{\bar{\mathcal{D}},I}^{\infty,o}$ and ${K}_{\bar{\mathcal{D}},I}^\infty$ be defined similarly to
$\S$\ref{ss2.2}.

By Theorem \ref{thm-combin},
\begin{equation}\label{eq4.1}
\#M^\cD_{I,o}(k)_{(F,\Pi)}=\#(\bar{G}(F)\setminus \bar{G}(\mathbb{A}^{\infty, o})/{K}_{\bar{\mathcal{D}},I}^{\infty,
o}\times \mathbb{Z}).
\end{equation}
(Note that $G(\mathbb{A}^{\infty,o})\cong \bar{G}(\mathbb{A}^{\infty,o})$ and
$K_{\cD,I}^{\infty,o}\cong {K}_{\bar{\mathcal{D}},I}^{\infty,o}$). Since $\bar{D}_o$ is a division
algebra, $v_o\circ \mathrm{Nr}:G(F_o)/\bar{\mathcal{D}}_o^\times\cong \mathbb{Z}$; see
\cite[$\S$12]{Reiner}. But $\bar{G}(F)$ acts on $\mathbb{Z}$ in (\ref{eq4.1})
via $v_o\circ \mathrm{Nr}$, so
$$
\bar{G}(F)\setminus \bar{G}(\mathbb{A}^{\infty, o})/{K}_{\bar{\mathcal{D}},I}^{\infty, o}\times \mathbb{Z}\cong
\bar{G}(F)\setminus \bar{G}(\mathbb{A}^{\infty})/{K}_{\bar{\mathcal{D}},I}^{\infty}.
$$
Since $\bar{D}_\infty$ ia a division algebra and $\infty$ is rational,
for each $a\in \bar{G}(\mathbb{A}^\infty)$, up to an element of
$\bar{\mathcal{D}}_\infty^\times$, there is a unique $b\in \bar{G}(F_\infty)$ such
that $(a,b)\in \bar{G}^1(\mathbb{A})$, cf. \cite[$\S$13]{Reiner}. Hence
$$
\bar{G}(F)\setminus \bar{G}(\mathbb{A}^{\infty})/{K}_{\bar{\mathcal{D}},I}^{\infty}\cong \bar{G}(F)\setminus
\bar{G}^1(\mathbb{A})/{K}_{\bar{\mathcal{D}},I}.
$$

If $I\neq \emptyset$ then ${K}_{\bar{\mathcal{D}},I}\cap \bar{G}(F)=1$, since only the
constants are everywhere integral but the only constant which
reduces to the identity modulo $I$ is $1$.  Also note that
$\bar{\mathcal{D}}^\times/{K}_{\bar{\mathcal{D}},I}\cong \mathrm{GL}_d(\mathcal{O}_I)$, so with respect to the
canonical product measure on $\bar{G}(\mathbb{A})$ we have
$$
\#(\bar{G}(F)\setminus \bar{G}^1(\mathbb{A})/{K}_{\bar{\mathcal{D}},I})=\#\mathrm{GL}_d(\mathcal{O}_I)\cdot \mathrm{Vol}\left(\bar{G}(F)\setminus
\bar{G}^1(\mathbb{A}), d\bar{g}\right).
$$
Finally, using Proposition \ref{prop4.1},
$$
\#M^\cD_{I,o}(k)_{(F,\Pi)}=\frac{\#
\mathrm{GL}_d(\mathcal{O}_I)}{(q-1)}\prod_{i=1}^{d-1}\zeta_{F}^S(-i).
$$
Since $\mathbb{F}_\mathfrak p^\times/\mathbb{F}_q^\times$ acts freely and transitively on
the components of $M^\cD_{I,o}$ and preserves $M^\cD_{I,o}(k)_{(F,\Pi)}$,
$$
\#\bar{M}^\cD_{I,o}(k)_{(F,\Pi)}=\#\mathrm{PGL}_d(\mathbb{F}_\mathfrak p)\cdot\prod_{i=1}^{d-1}\zeta_{F}^S(-i).
$$
Now the theorem follows from Propositions \ref{prop2.3} and
\ref{prop2.4}.
\end{proof}

\section{Asymptotic Betti numbers}\label{sec4}

Fix a prime $\ell$ not equal to the characteristic $p$ of $F$ and
consider the $\ell$-adic cohomology groups
$$
H^i_{I,o}:=H^i(M^\cD_{I,o}\otimes_{\mathbb{F}_o}k, \overline{\mathbb{Q}}_\ell), \quad i\geq
0.
$$
Each $H^i_{I,o}$ is a finite dimensional $\overline{\mathbb{Q}}_\ell$-vector
space, which is $0$ for $i\geq 2(d-1)$. Denote $
h^i_{I,o}=\dim_{\overline{\mathbb{Q}}_\ell}H^i_{I,o}$ and
$h_{I,o}=\sum_{i=0}^{2d-2}h^i_{I,o}$. In this section we estimate
how $h_{I,o}$ grows as $\deg(I)$ tends to infinity.

Let $\eta=\mathrm{Spec}(F)$ be the generic point of $C$. We also have the
$\ell$-adic cohomology groups of the generic fibre $M^\cD_{I,\eta}$
of $M^\cD_I$:
$$
H^i_{I,\eta}:=H^i(M^\cD_{I,\eta}\otimes_{F}\bar{F},
\overline{\mathbb{Q}}_\ell), \quad i\geq 0.
$$

By the proper base change theorem, for all $i\geq 0$ there is a
canonical isomorphism of $\overline{\mathbb{Q}}_\ell$-vector spaces
$H^i_{I,\eta}\cong H^i_{I,o}$. Hence we concentrate on estimating
$h_I=\sum_{i=0}^{2d-2} h^i_{I,\eta}$, where
$h^i_{I,\eta}=\dim_{\overline{\mathbb{Q}}_\ell}H^i_{I,\eta}$.

For two $\mathbb{Q}$-valued functions $f(I)$ and $g(I)$ depending on $I$, we
write $f(I)\sim g(I)$ if $f(I)/g(I)\to 1$ as $\deg(I)\to \infty$.

\subsection{Cohomology and automorphic representations}
Let $\mathcal{A}$ be the space of locally constant
$\overline{\mathbb{Q}}_\ell$-valued functions on the double coset space
$G(F)\setminus G(\mathbb{A})/\varpi_\infty^\mathbb{Z}$. This space is equipped with the
right regular representation of $G(\mathbb{A})$. Since $D$ is a division
algebra, the coset space $G(F)\setminus G(\mathbb{A})/\varpi_\infty^\mathbb{Z}$ is
compact, so $\mathcal{A}$ decomposes as a direct sum of irreducible
admissible representations $\Pi$ of $G(\mathbb{A})$ with finite
multiplicities $m(\Pi)\geq 0$, cf. \cite[p. 291]{LRS}:
\begin{equation}\label{eq-dec}
\mathcal{A}=\bigoplus_{\Pi} m(\Pi)\cdot\Pi.
\end{equation}
We will refer to the representations appearing in this sum with
non-zero multiplicities as the \textit{automorphic representations}
of $G(\mathbb{A})$. Each automorphic representation $\Pi$ decomposes as a
restricted tensor product $\bigotimes_{x\in |C|} \Pi_x$ of
irreducible admissible representations of $G(F_x)$. Denote
$\Pi^\infty:=\bigotimes_{x\neq \infty}\Pi_x$, so
$\Pi=\Pi^\infty\otimes \Pi_\infty$.

Among the automorphic representations of $G(\mathbb{A})$ we have the
\textit{characters} $\chi\circ \mathrm{Nr}$, where $\mathrm{Nr}:G(\mathbb{A})\to \mathbb{A}^\times$
is the reduced norm and $\chi$ is a Hecke character on $\mathbb{A}^\times$
with $\chi_\infty=1$. These representations are clearly
$1$-dimensional and it is known that they appear with multiplicity
$1$ in the decomposition (\ref{eq-dec}). Any other automorphic
representation is infinite dimensional.

The \textit{Steinberg representation} $\mathrm{St}_\infty$ of
$G(F_\infty)\cong\mathrm{GL}_d(F_\infty)$ is the unique irreducible quotient
of the induced representation
$$
\mathrm{Ind}^{\mathrm{GL}_d(F_\infty)}_{B(F_\infty)}\left(|\cdot|_\infty^{-\frac{d-1}{2}},|\cdot|_\infty^{-\frac{d-3}{2}},
\dots,|\cdot|_\infty^{\frac{d-3}{2}},|\cdot|_\infty^{\frac{d-1}{2}}\right),
$$
where $B\subset \mathrm{GL}_d$ is the standard Borel subgroup of the upper
triangular matrices.

Let $\mathbb{T}_I$ be the Hecke algebra of $\mathbb{Q}$-valued locally constant
functions with compact supports on $G(\mathbb{A}^\infty)$ invariant under
the left and right translation by $K_{\cD,I}^\infty$. (The product on
$\mathbb{T}_I$ is given by the convolution with respect to the Haar measure
on $G(\mathbb{A}^\infty)$ which gives the volume $1$ to the open compact
subgroup $K_{\cD,I}^\infty\subset G(\mathbb{A}^\infty)$.) There is a natural
action of $\mathbb{T}_I$ on each $H^i_{I,\eta}$ which commutes with the
action of $\mathrm{Gal}(\bar{F}/F)$, cf. \cite[$\S$12]{LRS}. Denote by
$(H^i_{I,\eta})^{\mathrm{ss}}$ the associated semi-simplification of
$H^i_{I,\eta}$ as a $\mathrm{Gal}(\bar{F}/F)\times \mathbb{T}_I$-module. One of the
main results in \cite{LRS} relates $(H^i_{I,\eta})^{\mathrm{ss}}$ to
automorphic representations. Taking the $K_{\cD,I}^{\infty}$-invariants in
(14.9), (14.10) and (14.12) of \textit{loc.cit.}, one obtains:

\begin{thm}\label{thm6.1}
$$
(H^i_{I,\eta})^{\mathrm{ss}}=\bigoplus_\Pi V_\Pi^i\otimes
(\Pi^\infty)^{K_{\cD,I}^\infty},
$$ where the sum
is over automorphic representations of $G(\mathbb{A})$ such that either
$\Pi_\infty=\mathbf{1}$ is the trivial character or
$\Pi_\infty=\mathrm{St}_\infty$, and $V_\Pi^i$ is a finite dimensional
$\overline{\mathbb{Q}}_\ell$ representation of $\mathrm{Gal}(\bar{F}/F)$.

If $\Pi_\infty=\mathbf{1}$ then $\Pi=\chi\circ \mathrm{Nr}$ for a Hecke
character $\chi$ on $\mathbb{A}^\times$. In this case, $V_\Pi^0$ is the
Galois character corresponding to $\chi$ by Class Field Theory,
$V_\Pi^{2i}$ is isomorphic to the Tate twist $V^0_\Pi(-i)$ and
$V_\Pi^{2i+1}=0$, $0\leq i \leq d-1$.

If $\Pi_\infty=\mathrm{St}_\infty$ then $V^i_\Pi=0$ for $i\neq d-1$ and
$\dim_{\overline{\mathbb{Q}}_\ell}V_\Pi^{d-1}=m(\Pi)\cdot d$.
\end{thm}

\begin{cor}\label{cor-new}
$h^0_{I,\eta}=\#\left[F^\times\setminus
(\mathbb{A}^\infty)^\times/K^\infty_{\mathcal{O}_C,I}\right]$.
\end{cor}
\begin{proof} By the strong approximation theorem \cite{Prasad}, the reduced norm
induces an isomorphism
$$
G(F)\setminus G(\mathbb{A}^\infty)/K_{\cD,I}^\infty \cong F^\times\setminus
(\mathbb{A}^\infty)^\times/K_{\mathcal{O}_C,I}^\infty.
$$
Combined with Theorem \ref{thm6.1}, this easily implies the claim.
\end{proof}

Let
$$
W_\mathrm{St}(G,I):=\sum_{\Pi}
\dim_{\overline{\mathbb{Q}}_\ell}(\Pi^\infty)^{K_{\cD,I}^\infty},
$$
where the sum is over the automorphic representations of $G(\mathbb{A})$
with $\Pi_\infty=\mathrm{St}_\infty$. Define $W_\mathbf{1}(G,I)$ similarly.
Since $W_\mathbf{1}(G,I)$ is the number of Hecke characters of
$(\mathbb{A}^\infty)^\times$ of conductor dividing $I$, it is more or less
clear (and will be confirmed by our later calculations) that
$W_\mathbf{1}(G,I) + W_\mathrm{St}(G,I)\sim W_\mathrm{St}(G,I)$.

It is conjectured that the multiplicities $m(\Pi)$ of automorphic
representations are always equal to $1$. If we assume this, then
from the preceding discussion we get the following asymptotic
estimates:
\begin{equation}\label{hToW}
h_I\sim h_{I,\eta}^{d-1} \sim d\cdot W_\mathrm{St}(G,I).
\end{equation}
As is explained in \cite{LRS}, cf. pp. 219 and 310 in \textit{loc.
cit.}, that $m(\Pi)=1$ would follow from the global
Jacquet-Langlands correspondence between $G(F)$ and $\mathrm{GL}_d(F)$. This
correspondence is proven in the literature for global fields of
characteristic zero, cf. \cite[Ch.VI]{HT}. It is very likely that
the theorem is valid in exactly the same formulation in positive
characteristic, but the complete proof is still lacking except for
$d=2$ or $3$. To avoid relying on this yet unproven analogue, we
will deduce (\ref{hToW}) from some results about the cohomology of
quotients of $p$-adic symmetric spaces.

\subsection{Cohomology of varieties having rigid-analytic
uniformization}\label{ss6.2} Let $\Omega^d$ be Drinfeld's
$(d-1)$-dimensional symmetric space over $F_\infty$. It is obtained from
the projective $(d-1)$-dimensional space over $F_\infty$ by removing all
rational hyperplanes. In \cite{Drinfeld}, Drinfeld showed that this
space has a natural rigid-analytic structure. Let $\Gamma$ be a
discrete, cocompact, torsion-free subgroup of $\mathrm{PGL}_d(F_\infty)$. $\Gamma$
naturally acts on $\Omega^d$ and the quotient $X_\Gamma:=\Gamma\setminus \Omega^d$
is a proper smooth rigid-analytic variety over $F_\infty$, which in fact
is the analytification of a projective algebraic variety $\mathcal{X}_\Gamma$
over $F_\infty$; see \cite{Mustafin}.

Let $\mathbb{C}_\infty$ be the completion of an algebraic closure of $F_\infty$.
Assuming there exists an \'etale cohomology theory on the category
of smooth rigid-analytic spaces satisfying four natural properties
\cite[pp. 55-56]{SS}, Schneider and Stuhler computed the groups
$$
H^i(X_\Gamma):=H^i_\mathrm{et}(X_\Gamma\widehat{\otimes}_{F_\infty} \mathbb{C}_\infty,
\overline{\mathbb{Q}}_\ell), \quad i\geq 0.
$$
Their result implies the following (see Theorem 4 on page 93 of
\cite{SS}):

\begin{thm}\label{thm-SS} Let $\mu(\Gamma)$ be the multiplicity of the
Steinberg representation $\mathrm{St}_\infty$ in $L^2(\Gamma\setminus \mathrm{PGL}_d(F_\infty))$.
For $i\neq d-1$
$$
\dim_{\overline{\mathbb{Q}}_\ell}H^i(X_\Gamma)=\left\{
  \begin{array}{ll}
    0, & \hbox{if $i$ is odd or $i>2(d-1)$;} \\
    1, & \hbox{if $i$ is even;}
  \end{array}
\right.
$$
and
$$
\dim_{\overline{\mathbb{Q}}_\ell}H^{d-1}(X_\Gamma)=\left\{
  \begin{array}{ll}
    d\cdot \mu(\Gamma)+1, & \hbox{if $d$ is odd;} \\
    d\cdot
\mu(\Gamma), & \hbox{if $d$ is even.}
  \end{array}
\right.
$$
\end{thm}

In \cite{Berkovich}, Berkovich developed an \'etale cohomology
theory for non-archimedean analytic spaces which satisfies the four
properties required in \cite{SS}. Moreover, he proved a comparison
theorem between analytic and algebraic \'etale cohomology groups
$H^i(X_\Gamma)\cong H^i(\mathcal{X}_\Gamma\otimes_{F_\infty}\bar{F}_\infty,
\overline{\mathbb{Q}}_\ell)$; see \cite[$\S$7.1]{Berkovich}.

\vspace{0.1in}

Now we want to apply Theorem \ref{thm-SS} to $M^\cD_{I,\eta}$. For
this we need to know that the modular varieties $M^\cD_{I,\eta}$
have rigid-analytic uniformization over $F_\infty$. As we already
mentioned, the reduced norm induces a bijection
$$
G(F)\setminus G(\mathbb{A}^\infty)/K_{\cD,I}^\infty \overset{\sim}{\longrightarrow}
F^\times\setminus(\mathbb{A}^\infty)^\times/\mathrm{Nr}(K_{\cD,I}^\infty)\cong
\mathcal{O}_I^\times/\mathbb{F}_q^\times.
$$
Choose a system $S$ of representatives for this finite coset space.
For each $s\in S$, let
$$
\Gamma_{I,s}:=G(F)\cap sK_{\cD,I}^\infty s^{-1}.
$$
\begin{lem}\label{lem-gar}
Under the natural embedding $$\Gamma_{I,s}\hookrightarrow
G(F)/F^\times\hookrightarrow G(F_\infty)/F_\infty^\times\cong \mathrm{PGL}_d(F_\infty),$$
$\Gamma_{I,s}$ is a discrete, cocompact, torsion-free subgroup of
$\mathrm{PGL}_d(F_\infty)$.
\end{lem}
\begin{proof} It is enough to prove the claim for $\Gamma_I:=\Gamma_{I,1}$.
The fact that $\Gamma_I$ is a discrete, cocompact subgroup of
$\mathrm{PGL}_d(F_\infty)$ is well-known, cf. \cite[Prop. 5.3.8]{LaumonCDV}. We
show that it is torsion-free. Assume $\gamma\in \Gamma_I$ is torsion.
Let $n\in \mathbb{Z}_{>0}$ be its exponent, so $\gamma^n=1$. Since $\gamma$
is a nonzero element of the division algebra $D(F)$, we can consider
the finite degree field extension $K=F[\gamma]$ of $F$. We see that
$K$ is obtained by an extension of constants, so $n$ is coprime to
$p$. On the other hand, $\gamma\in K_{\cD,I}^\infty$. Choose a place $x$
which is in the support of $I$. Since $x\not \in R$ by assumption,
we can consider $\gamma$ as an element of the principal congruence
subgroup $\Gamma(x):=\{M\in \mathrm{GL}_d(\mathcal{O}_x)\ |\ M\equiv 1\ \mod\
\varpi_x\}$. It is not hard to check that $\Gamma(x)$ has no
prime-to-$p$ torsion. Therefore, $n=1$.
\end{proof}

Next, since
\begin{equation}\label{eq-sat}
G(F)\setminus G(\mathbb{A})/K_{\cD,I}^\infty F_\infty^\times \cong \bigsqcup_{s\in S}
\left(\Gamma_{I,s}\setminus \mathrm{PGL}_d(F_\infty)\right),
\end{equation}
we have
\begin{equation}\label{eq-Stmu}
W_\mathrm{St}(G,I)=\sum_{s\in S} \mu(\Gamma_{I,s}).
\end{equation}

\begin{thm}\label{thm-BS}
$$
(M^\cD_{I,\eta}\otimes_F F_\infty)^\mathrm{an}\cong \bigsqcup_{s\in S}
\left(\Gamma_{I,s}\setminus \Omega^d \right).
$$
\end{thm}
\begin{proof} This follows by applying Raynaud's ``generic fibre''
functor to Theorem 4.4.11 in \cite{BS}, which is stated in the
language of formal schemes. The proof of this theorem is only
outlined in \cite{BS}. Nevertheless, as is shown in \cite{Spiess},
the desired uniformization can be deduced from Hausberger's version
of the Cherednik-Drinfeld theorem for $M^\cD_{I}$ \cite{Hausberger}.
\end{proof}

Since $F\hookrightarrow F_\infty$, by the proper base change theorem we
have an isomorphism $H^i_{I,\eta}\cong
H^i(M^\cD_{I,\eta}\otimes_{F}\bar{F}_\infty, \overline{\mathbb{Q}}_\ell)$
for all $i\geq 0$. Combining this with Theorem \ref{thm-SS},
(\ref{eq-Stmu}), Theorem \ref{thm-BS} and Berkovich's results, we
easily obtain (\ref{hToW}). Note also that by comparing the
dimensions of cohomology groups in Theorems \ref{thm6.1} and
\ref{thm-SS}, we can deduce that the multiplicities $m(\Pi)$ are
indeed $1$.

\subsection{Euler-Poincar\'e measure} It remains to estimate
$W_\mathrm{St}(G,I)$. We start with a well-known fact about discrete
subgroups of $p$-adic groups.

\begin{thm}
Let $\Gamma$ be a discrete, cocompact, torsion-free subgroup of
$\mathrm{PGL}_d(F_\infty)$. Then $\dim_{\mathbb{Q}} H^0(\Gamma,\mathbb{Q})=1$, $\dim_{\mathbb{Q}}
H^{d-1}(\Gamma,\mathbb{Q})=\mu(\Gamma)$, and $H^i(\Gamma,\mathbb{Q})=0$ for $i\neq 0,\ d-1$. In
particular,
\begin{equation}\label{Garland}
\chi(\Gamma):=\sum_{i\geq 0} (-1)^i \dim_{\mathbb{Q}}
H^i(\Gamma,\mathbb{Q})=1+(-1)^{d-1}\mu(\Gamma).
\end{equation}
\end{thm}
\begin{proof}
This was first proven by Garland \cite{Garland} using a discrete
analogue of curvature on Bruhat-Tits buildings, but under the
assumption that $q$ is large enough. Casselman \cite{Casselman}
removed the restriction on $q$ by giving a completely different
proof which relies on representation-theoretic methods.
\end{proof}

From (\ref{Garland}) and (\ref{eq-Stmu}), we get
\begin{equation}\label{eq-3.4}
W_\mathrm{St}(G,I)\sim \sum_{s\in S}(-1)^{d-1}\chi(\Gamma_{I,s}).
\end{equation}

In \cite{SerreCGD}, Serre developed a theory which allows to compute
$\chi(\Gamma_{I,s})$ as a volume. Serre's result is reproduced in a
convenient form in Proposition 5.3.6 of \cite{LaumonCDV}. Combining
this with Proposition 5.3.9 in \cite{LaumonCDV}, in our situation we
get the following statement:

Let $dg$ be the Haar measure on $\mathrm{GL}_d(F_\infty)$ normalized by
$\mathrm{Vol}(\mathrm{GL}_d(\mathcal{O}_\infty), dg)=1$. Let $dz$ be the Haar measure on
$F_\infty^\times$ normalized by $\mathrm{Vol}(\mathcal{O}_\infty^\times, dz)=1$. Fix the
Haar measure $dh=dg/dz$ on $\mathrm{PGL}_d(F_\infty)$ and the counting measure
$d\delta$ of $\Gamma_{I,s}$. Then
\begin{equation}\label{eq-3.5}
\chi(\Gamma_{I,s})=\mathrm{Vol}\left(\Gamma_{I,s}\setminus \mathrm{PGL}_d(F_\infty),
\frac{dh}{d\delta}\right)\cdot
\frac{1}{d}\prod_{i=1}^{d-1}\zeta_\infty(-i)^{-1}.
\end{equation}

The push-forward of the canonical product measure $d\bar{g}$ on
$G(\mathbb{A})$ to the double coset space $G(F)\setminus G(\mathbb{A})/K_{\cD,I}^\infty
F_\infty^\times$ induces via (\ref{eq-sat}) the measure $dh/d\delta$ on
each $\Gamma_{I,s}\setminus \mathrm{PGL}_d(F_\infty)$. Combining this with (\ref{eq-3.4})
and (\ref{eq-3.5}), we get
\begin{equation}\label{eq-Wasm}
W_\mathrm{St}(G,I)\sim (-1)^{d-1}\mathrm{Vol}\left(G(F)\setminus G(\mathbb{A})/K_{\cD,I}^\infty
F_\infty^\times, d\bar{g}\right)\cdot
\frac{1}{d}\prod_{i=1}^{d-1}\zeta_\infty(-i)^{-1}.
\end{equation}

It remains to compute this volume. It is well-known that
$\norm{\cdot}:G(\mathbb{A})\to q^{\mathbb{Z}}$ in (\ref{eq-norm}) is surjective. The
image of $F_\infty^\times$ in $q^{\mathbb{Z}}$ is clearly $q^{d\mathbb{Z}}$. Hence there
is an exact sequence
$$
0\to G(F)\setminus G^1(\mathbb{A})/\mathcal{O}_\infty^\times\to G(F)\setminus G(\mathbb{A})/F_\infty^\times
\to \mathbb{Z}/d\mathbb{Z}\to 0,
$$
which implies
\begin{equation}\label{eqVol} \mathrm{Vol}\left(G(F)\setminus
G(\mathbb{A})/K_{\cD,I}^\infty F_\infty^\times, d\bar{g}\right) = d\cdot\#
\mathrm{GL}_d(\mathcal{O}_I)\cdot \mathrm{Vol}\left(G(F)\setminus G^1(\mathbb{A}), d\bar{g}\right).
\end{equation}

Combining (\ref{hToW}), (\ref{eq-Wasm}), (\ref{eqVol}) and
Proposition \ref{prop4.1}, we obtain the following asymptotic
formula
\begin{equation}\label{eq3.6}
h_I\sim (-1)^{(d-1)}d\cdot \frac{\#
\mathrm{GL}_d(\mathcal{O}_I)}{(q-1)}\prod_{i=1}^{d-1}\zeta^{R\cup\infty}_F(-i).
\end{equation}

\vspace{0.1in}

Now assume $I=\mathrm{Spec}(A/\mathfrak p)\neq o$ is admissible. Let $\bar{h}_I$ be
the sum of the Betti numbers of $\bar{M}^\cD_{I,o}$. Since the morphism $M^\cD_{I,o}\to
\bar{M}^\cD_{I,o}$ is \'etale of degree $[\mathbb{F}_\mathfrak p:\mathbb{F}_q]$, (\ref{eq3.6}) implies
\begin{equation}\label{eq-asm1}
\bar{h}_I\sim (-1)^{(d-1)}d\cdot
\#\mathrm{PGL}_d(\mathbb{F}_\mathfrak p)\prod_{i=1}^{d-1}\zeta^{R\cup\infty}_F(-i).
\end{equation}
On the other hand, by Theorem \ref{thm2.5} we know that
\begin{equation}\label{eq-asm2}
\# \bar{M}^\cD_{I,o}(\mathbb{F}_o^{(d)})\sim \#\mathrm{PGL}_d(\mathbb{F}_\mathfrak p)\cdot
\prod_{i=1}^{d-1}\zeta_{F}^{R\cup \infty\cup o}(-i).
\end{equation}
Combining (\ref{eq-asm1}) and (\ref{eq-asm2}), we get
$$
\# \bar{M}^\cD_{I,o}(\mathbb{F}_o^{(d)})/\bar{h}_I\sim
\frac{1}{d}(-1)^{d-1}\prod_{i=1}^{d-1}\zeta_o(-i)^{-1}=\frac{1}{d}\prod_{i=1}^{d-1}
(q_o^i-1),
$$
which is the second claim of Theorem \ref{thm-main}. The first claim
is Corollary \ref{cor-SF}.


\section{Introduction}

The reliable   and  efficient   generation   of an  electromagnetic  field with
non-classical  statistics  (i.e.  ``squeezed''   light,  or  `` squeezed''
vacuum) is  important for a  number of applications from precision metrology to
quantum information.  Many recently proposed  protocols for controlling and
manipulating  quantum  states of  light  rely on the resonant coherent
interaction of light with atomic ensembles~\cite{lukin03rmp,julsgaard04}. These
applications require sources of light with controllable quantum mechanical
properties in a characteristic bandwidth that is resonant with atomic
transitions. Electromagnetically induced transparency (EIT) resonances, for
example, are widely used in slow light and quantum memory
experiments~\cite{chaneliere_storage_2005, eisaman_electromagnetically_2005},
few photon wave-packet generation and
control~\cite{eisaman04,matsukevich06,chen06,kolchin_generation_2006}, etc.
Their typical bandwidths range from a few tens of Hz to a few
MHz~\cite{lukin03rmp}.

At present optical parametric  oscillators (OPO) operating below threshold
offer the best performance for squeezed vacuum
generation~\cite{bachor_guide_2004}.
Many EIT experiments are based on Rb D${}_1$ line (795nm) transitions, and OPO
performance is limited at this wavelength due to increased material absorption
for $397$~nm near-ultraviolet up-converted pump field, as well as various
photothermal effects arising at higher pump
power~\cite{hetet_squeezed_at_D1_Rb_2007}).
Another challenge is  to produce low-frequency squeezing  to match the
characteristic bandwidth of EIT resonances. While the generation of squeezed
light with sub-MHz sideband frequencies is theoretically
possible~\cite{chelkowski_10Hz_squeezing_2007}, practically it becomes a very
challenging and resource-consuming task due to significant experimental
complexity.
Nevertheless, impressive progress in generation of low-frequency squeezed
vacuum at Rb resonance wavelength has been recently
reported~\cite{hetet_squeezed_at_D1_Rb_2007}, and such sources were used to
demonstrate slow light and reversible mapping of squeezed vacuum states via EIT
in Rb~\cite{akamatsu_ultraslow_2007, appel_sq_quantum_memory_Rb_2007,
honda_sq_storage_in_Rb_2007}.

\begin{figure}[h]
  \includegraphics[angle=0, width=1.00\columnwidth]{./mikh_F1}
  \caption{
    Schematic of the experimental setup. SqV is squeezed vacuum field, LO is local
    oscillator. Please see the text for other abbreviations.
    }
  \label{fig:apparatus}
\end{figure}

The generation  of  resonant squeezed vacuum  based  on the nonlinear
interaction of light  with  atoms  offers a simpler  alternative  to
traditional nonlinear crystal-based   squeezers, and various techniques have
been explored recently (see review in~\cite{lezama_numerical_2008}). This
Letter reports successful observation  of low-frequency squeezed vacuum at the
Rb optical D${}_1$ transition ($795~$nm) based on nonlinear polarization
self-rotation effect, recently proposed by Matsko  {\it et
al.}~\cite{matsko_vacuum_2002}. Ries  {\it et al.} reported the
proof-of-principle demonstration on Rb D${}_2$
line~\cite{ries_experimental_2003}, although some later experiments failed to
reproduce this result~\cite{hsu_effect_2006}. The present experiment is aimed
to resolve this controversy.

The polarization   self-rotation  effect   describes   the   rotation  of
polarization direction of elliptically polarized light as it propagates through
a medium, and it occurs  in  many  optical  substances. The effect is
characterized by a self-rotation parameter $g$, such that
$\phi_{SR}=g\varepsilon L$, where $\phi_{SR}$ is the polarization rotation
angle of the input field with ellipticity $\varepsilon$ after traversing
optical medium of length $L$. In resonant atomic vapor self-rotation occurs due
to unbalanced ac-Stark shifts caused by unequal intensities of circularly
polarized components  of the input light field~\cite{novikova_ac-stark_2000,
rochester_self-rotation_2001}.
In case of linearly polarized pump field there is no macroscopic polarization
rotation, but same mechanism couples quantum noise in two initially independent
circular components, and thus produces cross-phase modulation between classical
linearly polarized pump field and vacuum field in the orthogonal polarization.
As a result, quadrature squeezing of the vacuum field
occurs~\cite{matsko_vacuum_2002}. The expected noise suppression below standard
quantum limit is proportional to $1/(gL)^2$, but  is reduced by optical losses
in the system. In practice, the observation of maximum squeezing requires the
optimization of many experimental parameters such as laser detuning and power,
atomic density, etc. Spontaneous emission noise in thermal vapor may also
reduce or destroy squeezing by introducing extra noise~\cite{hsu_effect_2006,
lezama_numerical_2008}. We also observed that squeezing generation is sensitive
to the presence of uncompensated magnetic field inside the cell.

The schematic of the experiment is shown in Fig.~\ref{fig:apparatus}. The
experimental settings  are  very simple with no need for expensive equipment,
such as powerful  lasers or high-quality optical cavity, and the resulting
non-classical field is automatically generated at near-resonant wavelength.  An
external cavity diode laser ($\approx 7$~mW total power) was tuned to the Rb
$D_1$ line $5^2S_{1/2}\rightarrow5^2P_{1/2}$ ($\lambda \simeq 795$~nm). The
laser beam was focused with a pair of lenses (L) inside a cylindrical  glass
cell, containing isotropically enriched $^{87}$Rb and 2.5~Torr of Ne buffer
gas, and the estimated minimum laser beam diameter inside the cell was
$0.175\pm0.015$~mm FWHM. The cell length and diameter were 75~mm and 22~mm
consecutively, and the cell windows were tilted at about 10$^\circ$ to prevent
backward reflections.
The cell was mounted inside a three-layer magnetic shielding to minimize stray
magnetic fields. The cell was maintained at $66^\circ$C.
Before entering the cell the laser beam passed through a high quality Glan
polarizing beam splitter (GPBS) to purify its linear polarization. A half-wave
plate ($\lambda/2$) placed before the input polarization beam splitter allowed
for smooth adjustments of the pump field intensity.

After the cell the electromagnetic field in orthogonal polarization (squeezed
vacuum field, SqV) was separated on a polarization beam splitter (PBS), and its
noise properties were analyzed using a homodyne detection. The original pump
field played the role of a local oscillator (LO), that was attenuated and
brought to the same polarization as the vacuum field using  another GPBS and a
half-wave plate combo. Phase difference between the local oscillator and the
vacuum field was controlled by a mirror placed or a piezo-ceramic transducer
(PZT) that allowed changing the differential pathlength between two arms.  We
then mixed these two fields at a 50/50 non-polarizing beam splitter(NPBS), and
directed two beams to a home-made balance photodetector (BPD) with  a gain of
$10^4$~V/A, 1~MHz 3~dB bandwidth and electronic noise floor located at 6~dB
below shot noise at low frequencies. Two matched Hamamatsu S5106 photodiodes
with quantum efficiency $\eta=87$\%  and a low noise hight bandwidth TI OPA842
operational amplifier were crucial components of the BPD. For our measurement
we locked the relative phase in BPD detection scheme  to minimum value of
quadrature noise in SqV channel by using a noise-locking
technique~\cite{mckenzie_quantum_2005}. The output of BPD was bandpass filtered
with a  central frequency 1.2~MHz and a RBW 100~kHz and then sent to an
envelope detector with VBW=30Hz,  while dithering the LO phase with a 1~kHz
modulation  frequency. A  demodulation of the output of the envelope detector
with a lock-in amplifier provided correction signal for a servo.

\begin{figure}[h]
  \includegraphics[angle=0,
    width=1.0\columnwidth]{./mikh_F2}
  \caption{
    Polarization self-rotation angle ($\phi_{SR}$) (I) and transmission (II) in
    the $^{87}$Rb cell  for the light field with $\varepsilon=4^\circ$ ellipticity.
    Laser powers are
    1.04~mW (a), 1.54~mW (b), 4.15~mW (c), and 6.37~mW (d). (III) Minimum
    quadrature noise in orthogonal polarization at 1200~MHz central frequency,
        for linearly polarized pump field with power 6.58~mW. Zero laser detuning corresponds to $F_g=2 \to F_e=2$
    $^{87}$Rb transition.  }
  \label{fig:squeezing_vs_detuning}
\end{figure}

Fig.\ref{fig:squeezing_vs_detuning}~(I,II) shows the self-rotation and
absorption of the pump field when a small ellipticity $\varepsilon=4^\circ$
 was introduced by a quarter-wave plate placed before
the cell (we define $\varepsilon$ as an angle between $\lambda/4$ plate fast
axis and pump field polarization direction). Maximum self-rotation was observe
near both $F_g=2\rightarrow F_e=1,2$ transitions of ${}^{87}$Rb, although the
polarization ellipse rotated in opposite directions. Increasing the laser power
resulted in increased transparency of the atomic vapor due to more effective
optical pumping of atoms into non-interacting combination of Zeeman sublevels
of $F_g=2$ state as well as to off-resonant $F_g=1$ state. The second mechanism
was most likely also responsible for some reduction in the self-rotation.

Fig.\ref{fig:squeezing_vs_detuning}~(III) shows a sample spectrum of minimum
(squeezed) quadrature of the optical field of orthogonal polarization in case
of linearly polarized pump field (\emph{i.e.} no measurable polarization
self-rotation occurs). The positions of squeezing peaks correspond roughly to
those of self-rotation. A maximum squeezing of 0.6~dB was detected at detunings
of about 100~MHz to the red from $F_g=2 \to F_e=1$ as well as about 100~MHz to
the blue from $F_g=2 \to F_e=2$, and excess noise was observed in the region
between two transitions. We also observed minute amount of squeezing near
$F_g=1 \to F_e=1$ transition.
Vacuum squeezing showed similar dependence of the optical frequency for
different pump powers.

At  the   same  time   the  squeezed   quantum  noise   frequency  spectrum
showed   rather    strong   variation   with   the    pump   field   power,
as   Fig.~\ref{fig:squeezing_vs_sideband_frequency}(I)  demonstrates.   The
detected  squeezing was  uniformly  low  at low  laser  powers $>1$~mW.  As
the  pump power  increased,  we  first observed  maximum  squeezing in  the
low-frequency part of the quantum  noise spectrum. Then broadband squeezing
kept increasing at the expense  of low-frequency components and reached its
maximum  at  about 4~mW.  Further  power  increase began  slowly  degrading
observed  squeezing.  Such a  low  value  of  optimal  laser power  may  in
principle  explain why  squeezing was  not observed  in the  experiments of
Hsu  {\it  et al.},  where  much  higher  laser  powers (35~mW)  were  used
~\cite{hsu_effect_2006}.

\begin{figure}[h]
\includegraphics[angle=0,width=1.0\columnwidth]{./mikh_F3}
\includegraphics[angle=0,width=1.0\columnwidth]{./mikh_F4}
\caption{
    (I) Squeezed quadrature noise vs sideband frequency for different laser power
    settings. Laser powers are
    1.04~mW (a), 1.54~mW (b), 4.15~mW (c), and  6.58~mW (d).
    (II) Low-frequency component of squeezed quadrature noise spectrum for the laser power 1.54~mW.

     Shot noise corresponds to 0~dB. The laser is tuned to the
    maximum squeezing near 100~MHz detuning.
} \label{fig:squeezing_vs_sideband_frequency}
\end{figure}

To investigate the low-frequency part of the squeezing spectrum in more detail,
we studied the case of 1.54~mW pump power more carefully.
Fig.~\ref{fig:squeezing_vs_sideband_frequency}(II) demonstrates that broadband
low frequency squeezing was generated at sideband frequencies as low as 30~kHz.
A few extra noise peaks at 40 and 70 kHz  were most likely due to
backscattering of the pump field into the system.

In conclusion, we successfully  demonstrated     generation   of low-noise
broadband squeezing via self-rotation effect in  $^{87}$Rb at 795~nm,
independently confirming previous proof-of-principle experiments of Ries
\emph{et al.}~\cite{ries_experimental_2003}. The maximal measured squeezing
value is $0.87\pm0.02$~dB at  400~kHz, and the squeezing was detected in the
range of sideband frequencies from 30~kHz to 1.2~MHz. Up to our best knowledge,
this is the first demonstration of a sub-MHz quadrature-squeezed vacuum in
atomic systems. Further improvements are possible with optimization of the
system (\emph{i.e.} by optimizing the buffer gas pressure and composition, pump
field parameters, etc.). Supporting detail theoretical analysis is in progress.
Such low-cost method for generation of low-frequency non-classical fields near
atomic optical resonances may be useful and attractive for various quantum
memory tests and applications.

We thank Andrey Matsko and Seth Aubin for valuable contributions. This research
was partially supported by Jeffress Research grant J-847.