-
Rational linear subspaces of hypersurfaces over finite fields
Authors:
María Inés de Frutos Fernández,
Sumita Garai,
Kelly Isham,
Takumi Murayama,
Geoffrey Smith
Abstract:
Fix positive integers $n,r,d$. We show that if $n,r,d$ satisfy a suitable inequality, then any smooth hypersurface $X\subset \mathbb{P}^n$ defined over a finite field of characteristic $p$ sufficiently large contains a rational $r$-plane. Under more restrictive hypotheses on $n,r,d$ we show the same result without the assumption that $X$ is smooth or that $p$ is sufficiently large.
Fix positive integers $n,r,d$. We show that if $n,r,d$ satisfy a suitable inequality, then any smooth hypersurface $X\subset \mathbb{P}^n$ defined over a finite field of characteristic $p$ sufficiently large contains a rational $r$-plane. Under more restrictive hypotheses on $n,r,d$ we show the same result without the assumption that $X$ is smooth or that $p$ is sufficiently large.
△ Less
Submitted 21 November, 2021;
originally announced November 2021.
-
Computing endomorphism rings and Frobenius matrices of Drinfeld modules
Authors:
Sumita Garai,
Mihran Papikian
Abstract:
Let $\mathbb{F}_q[T]$ be the polynomial ring over a finite field $\mathbb{F}_q$. We study the endomorphism rings of Drinfeld $\mathbb{F}_q[T]$-modules of arbitrary rank over finite fields. We compare the endomorphism rings to their subrings generated by the Frobenius endomorphism and deduce from this a refinement of a reciprocity law for division fields of Drinfeld modules proved in our earlier pa…
▽ More
Let $\mathbb{F}_q[T]$ be the polynomial ring over a finite field $\mathbb{F}_q$. We study the endomorphism rings of Drinfeld $\mathbb{F}_q[T]$-modules of arbitrary rank over finite fields. We compare the endomorphism rings to their subrings generated by the Frobenius endomorphism and deduce from this a refinement of a reciprocity law for division fields of Drinfeld modules proved in our earlier paper. We then use these results to give an efficient algorithm for computing the endomorphism rings and discuss some interesting examples produced by our algorithm.
△ Less
Submitted 5 August, 2019;
originally announced August 2019.
-
Endomorphism rings of reductions of Drinfeld modules
Authors:
Sumita Garai,
Mihran Papikian
Abstract:
Let $A=\mathbb{F}_q[T]$ be the polynomial ring over $\mathbb{F}_q$, and $F$ be the field of fractions of $A$. Let $φ$ be a Drinfeld $A$-module of rank $r\geq 2$ over $F$. For all but finitely many primes $\mathfrak{p}\lhd A$, one can reduce $φ$ modulo $\mathfrak{p}$ to obtain a Drinfeld $A$-module $φ\otimes\mathbb{F}_\mathfrak{p}$ of rank $r$ over $\mathbb{F}_\mathfrak{p}=A/\mathfrak{p}$. The endo…
▽ More
Let $A=\mathbb{F}_q[T]$ be the polynomial ring over $\mathbb{F}_q$, and $F$ be the field of fractions of $A$. Let $φ$ be a Drinfeld $A$-module of rank $r\geq 2$ over $F$. For all but finitely many primes $\mathfrak{p}\lhd A$, one can reduce $φ$ modulo $\mathfrak{p}$ to obtain a Drinfeld $A$-module $φ\otimes\mathbb{F}_\mathfrak{p}$ of rank $r$ over $\mathbb{F}_\mathfrak{p}=A/\mathfrak{p}$. The endomorphism ring $\mathcal{E}_\mathfrak{p}=\mathrm{End}_{\mathbb{F}_\mathfrak{p}}(φ\otimes\mathbb{F}_\mathfrak{p})$ is an order in an imaginary field extension $K$ of $F$ of degree $r$. Let $\mathcal{O}_\mathfrak{p}$ be the integral closure of $A$ in $K$, and let $π_\mathfrak{p}\in \mathcal{E}_\mathfrak{p}$ be the Frobenius endomorphism of $φ\otimes\mathbb{F}_\mathfrak{p}$. Then we have the inclusion of orders $A[π_\mathfrak{p}]\subset \mathcal{E}_\mathfrak{p}\subset \mathcal{O}_\mathfrak{p}$ in $K$. We prove that if $\mathrm{End}_{F^\mathrm{alg}}(φ)=A$, then for arbitrary non-zero ideals $\mathfrak{n}, \mathfrak{m}$ of $A$ there are infinitely many $\mathfrak{p}$ such that $\mathfrak{n}$ divides the index $χ(\mathcal{E}_\mathfrak{p}/A[π_\mathfrak{p}])$ and $\mathfrak{m}$ divides the index $χ(\mathcal{O}_\mathfrak{p}/\mathcal{E}_\mathfrak{p})$. We show that the index $χ(\mathcal{E}_\mathfrak{p}/A[π_\mathfrak{p}])$ is related to a reciprocity law for the extensions of $F$ arising from the division points of $φ$. In the rank $r=2$ case we describe an algorithm for computing the orders $A[π_\mathfrak{p}]\subset \mathcal{E}_\mathfrak{p}\subset \mathcal{O}_\mathfrak{p}$, and give some computational data.
△ Less
Submitted 6 April, 2019; v1 submitted 21 April, 2018;
originally announced April 2018.
