Researcher profile

Yasuhiro Ishitsuka

Yasuhiro Ishitsuka contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
11works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

11 published item(s)

preprint2022arXiv

The Hasse principle for finite Galois modules allowing exceptional sets of positive density

We study a variant of the Hasse principle for finite Galois modules, allowing exceptional sets of positive density. For a Galois module whose underlying abelian group is isomorphic to $\mathbb{F}_p^{\oplus r}$ ($r \leq 2$), we show that the product of the restriction maps for places in a set of places $S$ is injective if the Dirichlet density of $S$ is strictly larger than $1 - p^{-r}$. We give applications to the local-global divisibility problem for elliptic curves and the Hasse principle for flexes on plane cubic curves.

preprint2020arXiv

The local-global property for bitangents of plane quartics

We study the arithmetic of bitangents of smooth quartics over global fields. With the aid of computer algebra systems and using Elsenhans--Jahnel's results on the inverse Galois problem for bitangents, we show that, over any global field of characteristic different from $2$, there exist smooth quartics which have bitangents over every local field, but do not have bitangents over the global field. We give an algorithm to find such quartics explicitly, and give an example over $\mathbb{Q}$. We also discuss a similar problem concerning symmetric determinantal representations. This paper is a summary of the first author's talk at the JSIAM JANT workshop on algorithmic number theory in March 2019. Details will appear elsewhere.

preprint2016arXiv

An algorithm to obtain linear determinantal representations of smooth plane cubics over finite fields

We give a brief report on our computations of linear determinantal representations of smooth plane cubics over finite fields. After recalling a classical interpretation of linear determinantal representations as rational points on the affine part of Jacobian varieties, we give an algorithm to obtain all linear determinantal representations up to equivalence. We also report our recent study on computations of linear determinantal representations of twisted Fermat cubics defined over the field of rational numbers. This paper is a summary of the author's talk at the JSIAM JANT workshop on algorithmic number theory in March, 2016. Details will appear elsewhere.

preprint2016arXiv

Linear determinantal representations of smooth plane cubics over finite fields

In this note, we study linear determinantal representations of smooth plane cubics over finite fields. We give an explicit formula of linear determinantal representations corresponding to rational points. Using Schoof's formula, we count the number of projective equivalence classes of smooth plane cubics over a finite field admitting prescribed number of equivalence classes of linear determinantal representations. As an application, we determine isomorphism classes of smooth plane cubics over a finite field with 0, 1 or 2 equivalence classes of linear determinantal representations.

preprint2016arXiv

The local-global principle for symmetric determinantal representations of smooth plane curves

A smooth plane curve is said to admit a symmetric determinantal representation if it can be defined by the determinant of a symmetric matrix with entries in linear forms in three variables. We study the local-global principle for the existence of symmetric determinantal representations of smooth plane curves over a global field of characteristic different from two. When the degree of the plane curve is less than or equal to three, we relate the problem of finding symmetric determinantal representations to more familiar Diophantine problems on the Severi-Brauer varieties and mod 2 Galois representations, and prove that the local-global principle holds for conics and cubics. We also construct counterexamples to the local-global principle for quartics using the results of Mumford, Harris, and Shioda on theta characteristics.

preprint2016arXiv

The local-global principle for symmetric determinantal representations of smooth plane curves in characteristic two

We give an application of Mumford's theory of canonical theta characteristics to a Diophantine problem in characteristic two. We prove that a smooth plane curve over a global field of characteristic two is defined by the determinant of a symmetric matrix with entries in linear forms in three variables if and only if such a symmetric determinantal representation exists everywhere locally. It is a special feature in characteristic two because analogous results are not true in other characteristics.

preprint2015arXiv

On the symmetric determinantal representations of the Fermat curves of prime degree

We prove that the defining equations of the Fermat curves of prime degree cannot be written as the determinant of symmetric matrices with entries in linear forms in three variables with rational coefficients. In the proof, we use a relation between symmetric matrices with entries in linear forms and non-effective theta characteristics on smooth plane curves. We also use some results of Gross-Rohrlich on the rational torsion points on the Jacobian varieties of the Fermat curves of prime degree.

preprint2015arXiv

Orbit parametrizations of theta characteristics on hypersurfaces over arbitrary fields

It is well-known that theta characteristics on smooth plane curves over a field of characteristic different from two are in bijection with certain smooth complete intersections of three quadrics. We generalize this bijection to possibly singular hypersurfaces of any dimension over arbitrary fields including those of characteristic two. It is accomplished in terms of linear orbits of tuples of symmetric matrices instead of smooth complete intersections of quadrics. As an application of our methods, we give a description of the projective automorphism groups of complete intersections of quadrics generalizing Beauville's results.

preprint2015arXiv

Sheaf theoretic classifications of pairs of square matrices over arbitrary fields

We give classifications of linear orbits of pairs of square matrices with non-vanishing discriminant polynomials over a field in terms of certain coherent sheaves with additional data on closed subschemes of the projective line. Our results are valid in a uniform manner over arbitrary fields including those of characteristic two. This work is based on the previous work of the first author on theta characteristics on hypersurfaces. As an application, we give parametrizations of orbits of pairs of symmetric matrices under special linear groups with fixed discriminant polynomials generalizing some results of Wood and Bhargava-Gross-Wang.