arXiv subjects

Momonari Kudo

Publications and source records attributed to Momonari Kudo.

26 records · Page 2Linked to original sources

arXiv2019

Algorithmic study of superspecial hyperelliptic curves over finite fields

This paper presents algorithmic approaches to study superspecial hyperelliptic curves. The algorithms proposed in this paper are: an algorithm to enumerate superspecial hyperelliptic curves of genus $g$ over finite fields $\mathbb{F}_q$, and an algorithm to compute the automorphism group of a (not necessarily superspecial) hyperelliptic curve over finite fields. The first algorithm works for any $(g,q)$ such that $q$ and $2g+2$ are coprime and $q>2g+1$. As an application, we enumerate superspecial hyperelliptic curves of genus $g=4$ over $\mathbb{F}_{p}$ for $11 \leq p \leq 23$ and over $\mathbb{F}_{p^2}$ for $11 \leq p \leq 19$ with our implementation on a computer algebra system Magma. Moreover, we found maximal hyperelliptic curves and minimal hyperelliptic curves over $\mathbb{F}_{p^2}$ from among enumerated superspecial ones. The second algorithm computes an automorphism as a concrete element in (a quotient of) a linear group in the general linear group of degree $2$.

math.AG↗

arXiv2019

The existence of supersingular curves of genus 4 in arbitrary characteristic

We prove that there exists a supersingular nonsingular curve of genus $4$ in arbitrary characteristic $p$. For $p>3$ we shall prove that the desingularization of a certain fiber product over $\mathbb{P}^1$ of two supersingular elliptic curves is supersingular.

math.AG↗

arXiv2018

Superspecial trigonal curves of genus $5$

This paper provides an algorithm enumerating superspecial trigonal curves of genus $5$ over finite fields. Executing the algorithm over a computer algebra system Magma, we enumerate them over finite fields $\mathbb{F}_{p^a}$ for any natural number $a$ if $p \leq 7$ and for odd $a$ if $p \leq 13$.

math.AG↗

arXiv2018

On the existence of superspecial nonhyperelliptic curves of genus $4$

A curve over a perfect field $K$ of characteristic $p > 0$ is said to be superspecial if its Jacobian is isomorphic to a product of supersingular elliptic curves over the algebraic closure $\overline{K}$. In recent years, isomorphism classes of superspecial nonhyperelliptic curves of genus $4$ over finite fields in small characteristic have been enumerated. In particular, the non-existence of superspecial curves of genus $4$ in characteristic $p = 7$ was proved. In this note, we give an elementary proof of the existence of superspecial nonhyperelliptic curves of genus $4$ for infinitely many primes $p$. Specifically, we prove that the variety $C_p : x^3+y^3+w^3= 2 y w + z^2 = 0$ in the projective $3$-space with $p > 2$ is a superspecial curve of genus $4$ if and only if $p \equiv 2 \pmod{3}$. Our computational results show that $C_p$ with $p \equiv 2 \pmod 3$ are maximal curves over $\mathbb{F}_{p^2}$ for all $3 \leq p \leq 269$.

math.AG↗

arXiv2017

Automorphism groups of superspecial curves of genus $4$ over $\mathbb{F}_{11}$

In this paper, we explicitly determine the automorphism group of every nonhyperelliptic superspecial curve of genus $4$ over $\mathbb{F}_{11}$. Our algorithm determining automorphism groups works for any nonhyperelliptic curves of genus $4$ over finite fields. With this computation, we show the compatibility between the enumeration of superspecial curves of genus $4$ over $\mathbb{F}_{11}$ obtained computationally by the first and second authors in 2017 and an enumeration by Galois cohomology theory.

math.AG↗

arXiv2017

Computing representation matrices for the action of Frobenius to cohomology groups

This paper is concerned with the computation of representation matrices for the action of Frobenius to the cohomology groups of algebraic varieties. Specifically we shall give an algorithm to compute the matrices for arbitrary algebraic varieties with defining equations over perfect fields of positive characteristic, and estimate its complexity. Moreover, we propose a specific efficient method, which works for complete intersections.

math.AG↗

arXiv2017

Enumerating superspecial curves of genus $4$ over prime fields

In this paper we enumerate nonhyperelliptic superspecial curves of genus $4$ over prime fields of characteristic $p\le 11$. Our algorithm works for nonhyperelliptic curves over an arbitrary finite field in characteristic $p \ge 5$. We execute the algorithm for prime fields of $p\le 11$ with our implementation on a computer algebra system Magma. Thanks to the fact that the cardinality of $\mathbb{F}_{p^a}$-isomorphism classes of superspecial curves over $\mathbb{F}_{p^a}$ of a fixed genus depends only on the parity of $a$, this paper contributes to the odd-degree case for genus $4$, whereas our previous paper contributes to the even-degree case.

math.AG↗

arXiv2016

Superspecial curves of genus $4$ in small characteristic

This paper contains a complete study of superspecial curves of genus $4$ in characteristic $p\le 7$. We prove that there does not exist a superspecial curve of genus $4$ in characteristic $7$. This is a negative answer to the genus $4$ case of the problem proposed by Ekedahl [9] in 1987. This implies the non-existence of maximal curve of genus $4$ over $\mathbb{F}_{49}$, which updates the table at {\tt manypoints.org}. We give an algorithm to enumerate superspecial nonhyperelliptic curves in arbitrary $p \ge 5$, and for $p\le 7$ we excute it with our implementation on a computer algebra system Magma. Our result in $p=5$ re-proves the uniqueness of maximal curves of genus $4$ over $\mathbb{F}_{25}$, see [11] for the original theoretical proof. In Appendix, we present a general method determining Hasse-Witt matrices of curves which are complete intersections.

math.AG↗