Local cyclicity of isogeny classes of abelian varieties defined over finite fields (Q2302581)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Local cyclicity of isogeny classes of abelian varieties defined over finite fields |
scientific article |
Statements
Local cyclicity of isogeny classes of abelian varieties defined over finite fields (English)
0 references
26 February 2020
0 references
Let \(q = p^r\) be a power of prime. Let \(\mathcal{A}\) be an isogeny class of abelian varieties defined over \(\mathbb{F}_q\). It is uniquely determined by the characteristic polynomial \(f_{\mathcal{A}}(t)\) of the Frobenius endomorphism. Let \(\mathcal{I}(q,g)\) be the set of \(g\)-dimensional isogeny classes \(\mathcal{A}\) of abelian varieties defined over \(\mathbb{F}_q\). For any finite set of prime numbers \(\mathcal{S}\) (possibly containing \(p\)), an isogeny class \(\mathcal{A}\) is said to be \(\mathcal{S}\)-cyclic if for every abelian variety \(A\) in \(\mathcal{A}\), \(A(\mathbb{F}_q)\) has a cyclic \(\ell\)-part for every \(\ell \in S\). Let \[ \mathcal{I}_{\mathcal{S}}(q,g) = \# \{ \mathcal{A} \in \mathcal{I}(q,g) : \ell \mid f_{\mathcal{A}}(1) \textrm{ for some prime } \ell \in \mathcal{S} \}, \] and \[ \mathcal{I}^n_{\mathcal{S}}(q,g) = \# \{ \mathcal{A} \in \mathcal{I}(q,g) : \mathcal{A} \textrm{ is not } \mathcal{S}\textrm{-cyclic} \}. \] The main result of the paper provides the proportion of \(\mathcal{S}\)-cyclic isogeny classes. Theorem: For each \(\mathcal{S}\), there exists a \(q_0\) such that for all \(q \geq q_0\), we have \[ 1 - \frac{1 - \sigma_2(\mathcal{S})}{1 - \sigma_1(\mathcal{S})} \leq \frac{\mathcal{I}_{\mathcal{S}}(q,g) - \mathcal{I}^n_{\mathcal{S}}(q,g)}{\mathcal{I}_{\mathcal{S}}(q,g)} \leq 1 - \frac{1 - \sigma_3(\mathcal{S})}{1 - \sigma_1(\mathcal{S})} \] where \[ \sigma_i(S) = \prod_{\ell \in \mathcal{S}} (1 - \frac{1}{\ell^i}). \]
0 references
group of rational points
0 references
abelian varieties
0 references
isogeny classes
0 references
cyclic
0 references
0 references
0 references