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
    0 references
    group of rational points
    0 references
    abelian varieties
    0 references
    isogeny classes
    0 references
    cyclic
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references