arXiv subjects
Publications and source records attributed to Yasuhiro Ishitsuka.
We give a characteristic-free explicit formula for exponential sums over singular binary quintic forms, based on the Waring decomposition of binary forms. This extends the method used in our previous work on the space of binary quartics to a non-coregular space.
We study an integer sequence associated with Cantor's division polynomials of a genus 2 curve having an integral point. We show that the reduction modulo $p$ of such a sequence is periodic for all but finitely many primes $p$, and describe the relation between the period of the reduction modulo $p$ of the sequence and the order of the integral point on the reduction modulo $p$ in the Jacobian variety explicitly. This generalizes Ward's results on elliptic divisibility sequences associated with division polynomials of elliptic curves.
We investigate exponential sums over singular binary quartic forms, proving an explicit formula for the finite field Fourier transform of this set. Our formula shares much in common with analogous formulas proved previously for other vector spaces, but also exhibits a striking new feature: the point counting function $a_p(E) = p + 1 - \#E(\mathbb{F}_p)$ associated to an associated elliptic curve makes a prominent appearance. The proof techniques are also new, involving techniques from elementary algebraic geometry and classical invariant theory. As an application to prime number theory, we demonstrate the existence of `many' 2-Selmer elements for elliptic curves with discriminants that are squarefree and have at most four prime factors.
An integral binary quartic form is said to be locally soluble (resp. soluble) if the corresponding genus one curve has a rational point over $\mathbb{Q}_v$ for every place $v$ of $\mathbb{Q}$ (resp. over $\mathbb{Q}$). We consider the proportion of soluble integral binary quartic forms in locally soluble forms. Bhargava showed the proportion is positive when one considers all binary quartics, and Bhargava--Ho proved the proportion is zero for a subfamily. In this paper, we estimate the proportions for some other subfamilies. It relies on results for elliptic curves $y^2=x^3-n^2x$ by Heath-Brown, Xiong--Zaharescu and Smith.
Human T-cell leukemia virus type 1 (HTLV-1) causes adult T-cell leukemia (ATL) and HTLV-1-associated myelopathy (HAM) after a long latent period in a fraction of infected individuals. These HTLV-1-infected cells typically have phenotypes similar to that of CD4${^+}$ T cells, but the cell status is not well understood. To extract the inherent information of HTLV-1-infected CD4$^+$ cells, we integratively analyzed the ATAC-seq and RNA-seq data of infected cells. Compared to CD4${^+}$ T cells from healthy donors, we found anomalous chromatin accessibility in HTLV-1-infected CD4${^+}$ cells derived from ATL cases in terms of location and sample-to-sample fluctuations in open chromatin regions. Further, by focusing on systematically selected genes near the open chromatin regions, all the gene expressions in ATL cases were found to be distinct from those of healthy CD4$^+$ T cells. Based on a further analysis of chromatin accessibility, we detected TLL1 (Tolloid Like 1) as one of the key genes that exhibit unique gene expressions in ATL cases. A luciferase assay indicated that TLL1 has a strong regulatory effect on TGF-$β$. Overall, this study provides results about the status of HTLV-1 infected cells, which are qualitatively consistent across the different scales of chromatin accessibility, transcription, and immunophenotype.
We propose a stochastic process of interacting many agents, which is inspired by rank-based supplanting dynamics commonly observed in a group of Japanese macaques. In order to characterize the breaking of permutation symmetry with respect to agents' rank in the stochastic process, we introduce a rank-dependent quantity, overlap centrality, which quantifies how often a given agent overlaps with the other agents. We give a sufficient condition in a wide class of the models such that overlap centrality shows perfect correlation in terms of the agents' rank in zero-supplanting limit. We also discuss a singularity of the correlation in the case of interaction induced by a Potts energy.
We study the finiteness of low degree points on certain modular curves and their Atkin--Lehner quotients, and, as an application, prove the modularity of elliptic curves over all but finitely many totally real fields of degree $5$. On the way, we prove a criterion for the finiteness of rational points of degree $5$ on a curve of large genus over a number field using the results of Abramovich--Harris and Faltings on subvarieties of Jacobians.
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.
We study the arithmetic of the twist of the Fermat quartic defined by $X^4 + Y^4 + Z^4 = 0$ which has no $\mathbb{Q}$-rational point. We calculate the Mordell--Weil group of the Jacobian variety explicilty. We show that the degree $0$ part of the Picard group is a free $\mathbb{Z}/2\mathbb{Z}$-module of rank $2$, whereas the Mordell--Weil group is a free $\mathbb{Z}/2\mathbb{Z}$-module of rank $3$. Thus the relative Brauer group is non-trivial. We also show that this quartic violates the local-global property for linear determinantal representations.
The huge amount of data acquired by high-throughput sequencing requires data reduction for effective analysis. Here we give a clustering algorithm for genome-wide open chromatin data using a new data reduction method. This method regards the genome as a string of $1$s and $0$s based on a set of peaks and calculates the Hamming distances between the strings. This algorithm with the systematically optimized set of peaks enables us to quantitatively evaluate differences between samples of hematopoietic cells and classify cell types, potentially leading to a better understanding of leukemia pathogenesis.
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.
We use explicit methods to study the 4-torsion points on the Jacobian variety of the Fermat quartic. With the aid of computer algebra systems, we explicitly give a basis of the group of 4-torsion points. We calculate the Galois action, and show that the image of the mod 4 Galois representation is isomorphic to the dihedral group of order 8. As applications, we calculate the Mordell-Weil group of the Jacobian variety of the Fermat quartic over each subfield of the 8-th cyclotomic field. We determine all of the points on the Fermat quartic defined over quadratic extensions of the 8-th cyclotomic field. Thus we complete Faddeev's work in 1960.
We give two algorithms to compute linear determinantal representations of smooth plane curves of any degree over any field. As particular examples, we explicitly give representatives of all equivalence classes of linear determinantal representations of two special quartics over the field $\mathbb{Q}$ of rational numbers, the Klein quartic and the Fermat quartic. This paper is a summary of third author's talk at the JSIAM JANT workshop on algorithmic number theory in March 2018. Details will appear elsewhere.
Can a smooth plane cubic be defined by the determinant of a square matrix with entries in linear forms in three variables? If we can, we say that it admits a linear determinantal representation. In this paper, we investigate linear determinantal representations of smooth plane cubics over various fields, and prove that any smooth plane cubic over a large field (or an ample field) admits a linear determinantal representation. Since local fields are large, any smooth plane cubic over a local field always admits a linear determinantal representation. As an application, we prove that a positive proportion of smooth plane cubics over Q, ordered by height, admit linear determinantal representations. We also prove that, if the conjecture of Bhargava-Kane-Lenstra-Poonen-Rains on the distribution of Selmer groups is true, a positive proportion of smooth plane cubics over Q fail the local-global principle for the existence of linear determinantal representations.
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.
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.
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.
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.