Source author record

Toshiyuki Katsura

Toshiyuki Katsura appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AG Cryptography and Security math.NT

Catalog footprint

What is connected

8works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2020arXiv

Counting Richelot isogenies between superspecial abelian surfaces

Castryck, Decru, and Smith used superspecial genus-2 curves and their Richelot isogeny graph for basing genus-2 isogeny cryptography, and recently, Costello and Smith devised an improved isogeny path-finding algorithm in the genus-2 setting. In order to establish a firm ground for the cryptographic construction and analysis, we give a new characterization of {\em decomposed Richelot isogenies} in terms of {\em involutive reduced automorphisms} of genus-2 curves over a finite field, and explicitly count such decomposed (and non-decomposed) Richelot isogenies between {\em superspecial} principally polarized abelian surfaces. As a corollary, we give another algebraic geometric proof of Theorem 2 in the paper of Castryck et al.

preprint2020arXiv

On the multicanonical systems of quasi-elliptic surfaces

We consider the multicanonical systems $\vert mK_{S}\vert$ of quasi-elliptic surfaces with Kodaira dimension $1$ in characteristic 2. We show that for any $m \geq 6$ $\vert mK_{S}\vert$ gives the structure of quasi-elliptic fiber space, and 6 is the best possible number to give the structure for any such surfaces.

preprint2015arXiv

Lefschetz pencils on a certain hypersurface in positive characteristic

We show that on a certain hypersurface in P3 there is a (q3 + q2 + q + 1)q+1-symmetric configuration (resp. a ((q3 + 1)(q2 + 1)q+1, (q3 + 1)(q + 1)q2+1)) -configuration) made up of the rational points over Fq (resp. over Fq2) and the lines over Fq (resp. the lines over Fq2). We also determine the structure of a Lefschetz pencil made by using a line from these lines.

preprint2015arXiv

The Chern class map on abelian surfaces

We examine the Chern class map ${c}_{1}: {\rm NS}(S)/p{\rm NS}(S) \rightarrow {\rm H}^{1}(S, Ω^{1}_{S})$ for an abelian surface $S$ in characteristic $p \geq 3$, and give a basis of the kernel $c_{1}$ for the superspecial abelian surface.

preprint2014arXiv

A 1-dimensional family of Enriques surfaces in characteristic 2 covered by the supersingular K3 surface with Artin invariant 1

We give a 1-dimensional family of classical and supersingular Enriques surfaces in characteristic 2 covered by the supersingular K3 surface with Artin invariant 1. Moreover we show that there exist 30 nonsingular rational curves and ten non-effective (-2)-divisors on these Enriques surfaces whose reflection group is of finite index in the orthogonal group of the Neron-Severi lattice modulo torsion.

preprint2012arXiv

Relations between some invariants of algebraic varieties in positive characteristic

We discuss relations between certain invariants of varieties in positive characteristic, like the a-number and the height of the Artin-Mazur formal group. We calculate the a-number for Fermat surfaces

preprint2011arXiv

A note on a supersingular K3 surface in characteristic 2

We construct, on a supersingular K3 surface with Artin invariant 1 in characteristic 2, a set of 21 disjoint smooth rational curves and another set of 21 disjoint smooth rational curves such that each curve in one set intersects exactly 5 curves from the other set with multiplicity 1 by using the structure of a generalized Kummer surface.