arXiv subjects
Publications and source records attributed to Hiro-o Tokunaga.
A pair of plane curves with the same combinatorics is said to be (a) a Zariski pair if the plane curves have different embedded topology, and (b) a strong Ziegler pair if their Milnor algebra are not isomorphic. We show that some examples of Zariski pairs are also strong Ziegler pairs.
We study the embedded topology of certain conic-line arrangements of degree 7. Two new examples of Zariski pairs are given. Furthermore, we determine the number of connected components of the conic-line arrangements. We also calculate the fundamental groups using SageMath and the package Sirocco in the appendix.
In this paper, we consider conic-line arrangements that arise from Poncelet's closure theorem. We study unramified double covers of the union of two conics, that are induced by a $2m$-sided Poncelet transverse. As an application, we show the existence of families of Zariski pairs of degree $2m+6$ for $m\geq 2$ that consist of reducible curves having two conics and $2m+2$ lines as irreducible components.
In this paper, we continue the study of the embedded topology of plane algebraic curves. We study the realization space of conic line arrangements of degree $7$ with certain fixed combinatorics and determine the number of connected components. This is done by showing the existence of a Zariski pair having these combinatorics, which we identified as a $\pi_1$-equivalent Zariski pair.
We define ramified and split models of elliptic surfaces and study the relation between the two models. We focus on certain rational elliptic surfaces from these points of views and as an application, we give an observation on bitantgent lines of an irreducible quartic with at most nodes.
We find a new Zariski pair with non-isomorphic fundamental groups that consists of degree $ 8 $ conic-line arrangements. Each arrangement has three conics and two lines. We use the Zariski-van Kampen Theorem and some known Coxeter groups to determine the fundamental groups. Two examples of degree $7$ Zariski pairs that were introduced in 2014 by the last named author, are given as well. They consist of a pair of conic-line arrangements with three conics in each (and thus, each has a single line) and a pair with two conics in each (and thus, each has three lines). We were able to provide alternative proof of the fact those are indeed Zariski pairs by our methods.
In the study of hyperelliptic curve cryptography, presentations of semi-reduced divisors on a hyperelliptic curve play important roles. In this note, we give an interpretation for such presentations from view points of Gr\"obner bases. As applications, (i) we give a method to construct weak $n$-contact curves and (ii) we study plane curves satisfying quasi-toric relations of type $(2, n, 2)$
Let $E$ be a smooth cubic. A plane curve $D$ is said to be an $n$-contact curve to $E$ if the intersection multiplicities at each intersection point between $E$ and $D$ is $n$. In this note, we give an algorithm to produce $n$-contact curves to $E$ and consider its application.
In this paper, we study the geometry of two-torsion points of elliptic curves in order to distinguish the embedded topology of reducible plane curves consisting of a smooth cubic and its tangent lines. As a result, we obtain a new family of Zariski N-ples consisting of such curves.
In this note, an analogous statement to the Nagell-Lutz theorem does not hold for the Jacobian of a certain curve of genus 2 over $\mathbb{C}(t)$. As a by-product, we give a (2, 3, 6) quasi-torus decomposition for the dual curve of a smooth cubic.
In this paper, we give a Zariski triple of the arrangements for a smooth quartic and its four bitangents. A key criterion to distinguish the topology of such curves is given by a matrix related to the height pairing of rational points arising from three bitangent lines.
Let $S$ be an elliptic surface over a smooth curve $C$ with a section $O$. We denote its generic fiber by $E_S$. For a divisor $D$ on $S$, we canonically associate a $C(C)$-rational point $P_D$. In this note, we give a description of $P_D$ of $E_S$, when the rank of the group of $C(C)$-rational points is one. We apply our description to refine our result on a Zariski pair for a cubic-line arrangement.
In this paper, we continue the study of the relation between rational points of rational elliptic surfaces and plane curves. As an application, we give first examples of Zariski pairs of cubic-line arrangements that do not involve inflectional tangent lines.
In this article, we continue to study the geometry of bisections of certain rational elliptic surfaces. As an application, we give examples of Zariski N + 1-plets of degree 2N + 4 whose irreducible components are an irreducible quartic curve with 2 nodes and N smooth conics. Furthermore, by considering the case of N = 2 and combining with known results, a new Zariski 5-plet for reduced plane curves of degree 8 is given.
A $k$-Artal arrangement is a reducible algebraic curve composed of a smooth cubic and $k$ inflectional tangents. By studying the topological properties of their subarrangements, we prove that for $k=3,4,5,6$, there exist Zariski pairs of $k$-Artal arrangements. These Zariki pairs can be distinguished in a geometric way by the number of collinear triples in the set of singular points contained in the cubic.
Let $Σ$ be a smooth projective surface, let $f' : S' \to Σ$ be a double cover of $Σ$ and let $μ: S \to S'$ be the canonical resolution. Put $f = f'\circμ$. An irreducible curve $C$ on $Σ$ is said to be a splitting curve with respect to $f$ if $f^*C$ is of the form $C^+ + C^- + E$, where $C^- = σ_f^*C^+$, $σ_f$ being the covering transformation of $f$ and all irreducible components of $E$ are contained in the exceptional set of $μ$. In this article, we show that a kind of "reciprocity" of splitting curves holds for a certain pair of curves on rational ruled surfaces. As an application, we consider the topology of the complements of certain curves on rational ruled surfaces.
We show that some of centeral fibers of degenerations of hyperelliptic curves are realized as those trigonal curves. In particular, any hyperelliptic curve can be the central fiber of a degeneration of trigonal curves.
In this paper we introduce two versal $S_4$ coverings, and show that the two are birationaly distinct, i.e. there exists no $S_4$ equivariant birational map between them. We also introduce two versal $A_5$ coverings and show that the two are birationaly distinct also. As a corollary we obtain that there are at least three non-conjugate embbedings of $S_4$ (resp. $A_5$) into $Cr_2(\mathbb{C})$, the Cremona group.