Source author record

Mutsuo Oka

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG alg-geom math.CV

Catalog footprint

Research overview

18works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

On $μ$ -Zariski pairs of links

The notion of Zariski pairs for projective curves in $\mathbb P^2$ is known since the pioneer paper of Zariski \cite{Zariski} and for further development, we refer the reference in \cite{Bartolo}.In this paper, we introduce a notion of Zariski pair of links in the class of isolated hypersurface singularities. Such a pair is canonically produced from a Zariski (or a weak Zariski ) pair of curves $C=\{f(x,y,z)=0\}$ and $C'=\{g(x,y,z)=0\}$ of degree $d$ by simply adding a monomial $z^{d+m}$ to $f$ and $g$ so that the corresponding affine hypersurfaces have isolated singularities at the origin. They have a same zeta function and a same Milnor number (\cite{Almost}). We give new examples of Zariski pairs which have the same $μ^*$ sequence and a same zeta function but two functions belong to different connected components of $μ$ -constant strata (Theorem \ref{mu-zariski}). Two link 3-folds are not diffeomorphic and they are distinguished by the first homology which implies the Jordan form of their monodromies are different (Theorem \ref{main2}). We start from weak Zariski pairs of projective curves to construct new Zariski pairs of surfaces which have non-diffeomorphic link 3-folds. We also prove that hypersurface pair constructed from a Zariski pair give a diffeomorphic links (Theorem \ref{main3}).

preprint2022arXiv

Zeta-function and $μ^*$ -Zariski pairs of surfaces

A Zariski pair of surfaces is a pair of complex polynomial functions in $\mathbb{C}^3$ which is obtained from a classical Zariski pair of projective curves $f_0(z_1,z_2,z_3)=0$ and $f_1(z_1,z_2,z_3)=0$ of degree $d$ in $\mathbb{P}^2$ by adding a same term of the form $z_i^{d+m}$ ( $m\geq 1$ ) to both $f_0$ and $f_1$ so that the corresponding affine surfaces of $\mathbb{C}^3$ -- defined by $g_0:=f_0+z_i^{d+m}$ and $g_1:=f_1+z_i^{d+m}$ -- have an isolated singularity at the origin and the same zeta-function for the monodromy associated with their Milnor fibrations (so, in particular, $g_0$ and $g_1$ have the same Milnor number). In the present paper, we show that if $f_0$ and $f_1$ are "convenient" with respect to the coordinates $(z_1,z_2,z_3)$ and if the singularities of the curves $f_0=0$ and $f_1=0$ are Newton non-degenerate in some suitable local coordinates, then $(g_0,g_1)$ is a $μ^*$ -Zariski pair of surfaces, that is, a Zariski pair of surfaces whose polynomials $g_0$ and $g_1$ have the same Teissier's $μ^*$ -sequence but lie in different path-connected components of the $μ^*$ -constant stratum. To this end, we prove a new general formula that gives, under appropriate conditions, the Milnor number of functions of the above type, and we show (in a general setting) that two polynomials functions lying in the same path-connected component of the $μ^*$ -constant stratum can always be joined by a "piecewise complex-analytic path".

preprint2020arXiv

Geometry of non-degenerate locally tame non-isolated singularities

We give a criterion to test geometric properties such as Whitney equisingularity and Thom's $a_f$ condition for new families of (possibly non-isolated) hypersurface singularities that "behave well" with respect to their Newton diagrams. As an important corollary, we obtain that in such families all members have isomorphic Milnor fibrations.

preprint2020arXiv

On the Milnor fibration for $f(z)\bar g(z)$ II

We consider a mixed function of type $H(z,\bar z)=f(z)\bar g(z)$ where $f,g$ are non-degenerate but they are not assumed to be convenient. We assume that $f=0$ and $g=0$ and $f=g=0$ are non-degenerate and locally tame. We will show that $H$ has a tubular Milnor fibration and a spherical Milnor fibration. We show also two fibrations are equivalent.

preprint2016arXiv

Whitney regularity and Thom condition for families of non-isolated mixed singularities

We investigate the equisingularity question for $1$ -parameter deformation families of mixed polynomial functions $f_t(\mathbf{z},\bar{\mathbf{z}})$ from the Newton polygon point of view. We show that if the members $f_t$ of the family satisfy a number of elementary conditions, which can be easily described in terms of the Newton polygon, then the corresponding family of mixed hypersurfaces $f_t^{-1}(0)$ is Whitney equisingular (and hence topologically equisingular) and satisfies the Thom condition.

preprint2015arXiv

Non-compact Newton boundary and Whitney equisingularity for non-isolated singularities

In an unpublished lecture note, J. Briançon observed that if $\{f_t\}$ is a family of isolated complex hypersurface singularities such that the Newton boundary of $f_t$ is independent of $t$ and $f_t$ is non-degenerate, then the corresponding family of hypersurfaces $\{f_t^{-1}(0)\}$ is Whitney equisingular (and hence topologically equisingular). A first generalization of this assertion to families with non-isolated singularities was given by the second author under a rather technical condition. In the present paper, we give a new generalization under a simpler condition.

preprint2015arXiv

On the roots of an extended lens equation and an application

We consider a certain mixed polynomial which is an extended Lens equation $L_{n,m}=\bar z^m-p(z)/q(z)$ with $\text{degree}\, q=n$ , $\text{degree}\, p<n$ whose numerator is a mixed polynomial of degree $(n+m;n,m)$ . Then we consider its deformation of type $L_{n,m}+ε/z^m$ to construct a special mixed polynomial of degree $(n+2m;n+m,m)$ with $5n$ zeros. This generalizes an example of Rhie. We give an application to the number of connected components of the moduli space of strongly mixed weighted homogeneous polynomials of two variables with isolated singularity at the origin.

preprint2015arXiv

Topology of strongly polar weighted homogeneous links

We consider a canonical $S^1$ action on $S^3$ which is defined by $(ρ,(z_1,z_2))\mapsto (z_1ρ^p,z_2ρ^q)$ for $ρ\in S^1$ and $(z_1,z_2)\in S^3\subset {\mathbb C}^2$ . We consider a link consisting of finite orbits of this action, which some of the orbits are reversely oriented. Such a link appears as a link of a certain type of mixed polynomials. We study the space of such links and show smooth degeneration relations.

preprint2014arXiv

On Milnor fibrations of mixed functions, $a_f$ -condition and boundary stability

Convenient mixed functions with strongly non-degenerate Newton boundaries have Milnor fibrations, as the isolatedness of the singularity follows from the convenience. In this paper, we consider the Milnor fibration for non-convenient mixed functions. We also study geometric properties such as Thom's $a_f$ condition, the transversality of the nearby fibers and stable boundary property of the Milnor fibration and their relations.

preprint2013arXiv

On the fundamental groups of non-generic $\mathbb{R}$ -join-type curves

An \emph{ $\mathbb{R}$ -join-type curve} is a curve in $\mathbb{C}^2$ defined by an equation of the form \begin{equation*} a\cdot\prod_{j=1}^\ell (y-β_j)^{ν_j} = b\cdot\prod_{i=1}^m (x-α_i)^{λ_i}, \end{equation*} where the coefficients $a$ , $b$ , $α_i$ and $β_j$ are \emph{real} numbers. For generic values of $a$ and $b$ , the singular locus of the curve consists of the points $(α_i,β_j)$ with $λ_i,ν_j\geq 2$ (so-called \emph{inner} singularities). In the non-generic case, the inner singularities are not the only ones: the curve may also have \emph{`outer'} singularities. The fundamental groups of (the complements of) curves having only inner singularities are considered in \cite{O}. In the present paper, we investigate the fundamental groups of a special class of curves possessing outer singularities.

preprint2012arXiv

Contact structure on mixed links

A strongly non-degenerate mixed function has a Milnor open book structures on a sufficiently small sphere. We introduce the notion of {\em a holomorphic-like} mixed function and we will show that a link defined by such a mixed function has a canonical contact structure. Then we will show that this contact structure for a certain holomorphic-like mixed function is carried by the Milnor open book.

preprint2012arXiv

Mixed functions of strongly polar weighted homogeneous face type

Let $f(\bf z,\bar{\bf z})$ be a mixed polynomial with strongly non-degenerate face functions. We consider a canonical toric modification $π:\,X\to \Bbb C^n$ and a polar modification $π_{\Bbb R}:Y\to X$ . We will show that the toric modification resolves topologically the singularity of $V$ and the zeta function of the Milnor fibration of $f$ is described by a formula of a Varchenko type.

preprint2011arXiv

Intersection theory on mixed curves

We consider two mixed curve $C,C'\subset {\Bbb C}^2$ which are defined by mixed functions of two variables $\bf z=(z_1,z_2)$ . We have shown in \cite{MC}, that they have canonical orientations. If $C$ and $C'$ are smooth and intersect transversely at $P$ , the intersection number $I_{top}(C,C';P)$ is topologically defined. We will generalize this definition to the case when the intersection is not necessarily transversal or either $C$ or $C'$ may be singular at $P$ using the defining mixed polynomials.

preprint2010arXiv

On mixed plane curves of degree 1

Let $f(\bfz,\bar\bfz)$ be a mixed strongly polar homogeneous polynomial of $3$ variables $\bfz=(z_1,z_2, z_3)$. It defines a Riemann surface $V:=\{[\bfz]\in \BP^{2}\,|\,f(\bfz,\bar\bfz)=0 \}$ in the complex projective space $\BP^{2}$. We will show that for an arbitrary given $g\ge 0$ , there exists a mixed polar homogeneous polynomial with polar degree 1 which defines a projective surface of genus $g$ . For the construction, we introduce a new type of weighted homogeneous polynomials which we call {\em polar weighted homogeneous polynomials of twisted join type}.

preprint2008arXiv

Alexander-equivalent Zariski pairs of irreducible sextics

The existence of Alexander-equivalent Zariski pairs dealing with irreducible curves of degree 6 was proved by A. Degtyarev. However, up to now, no explicit example of such a pair was available (only the existence was known). In this paper, we construct the first concrete example.

preprint2007arXiv

A plane sextic with finite fundamental group

We analyze irreducible plane sextics whose fundamental group factors to $D_{14}$ . We produce explicit equations for all curves and show that, in the simplest case of the set of singularities $3A_6$ , the group is $D_{14}\times Z_3$ .

preprint1999arXiv

Elliptic Curves from Sextics

Let $\mathcal N$ be the moduli space of sextics with 3 (3,4)-cusps. The quotient moduli space ${\mathcal N}/G$ is one-dimensional and consists of two components, ${\mathcal N}_{torus}/G$ and ${\mathcal N}_{gen}/G$ . By quadratic transformations, they are transformed into one-parameter families $C_s$ and $D_s$ of cubic curves respectively. We study the Mordell-Weil torsion groups of cubic curves $C_s$ over $\bfQ$ and $D_s$ over $\bfQ(\sqrt{-3})$ respectively. We show that $C_{s}$ has the torsion group $\bf Z/3\bf Z$ for a generic $s\in \bf Q$ and it also contains subfamilies which coincide with the universal families given by Kubert with the torsion groups $\bf Z/6\bf Z$ , $\bf Z/6\bf Z+\bf Z/2\bf Z$ , $\bf Z/9\bf Z$ or $\bf Z/12\bf Z$ . The cubic curves $D_s$ has torsion $\bf Z/3\bf Z+\bf Z/3\bf Z$ generically but also $\bf Z/3\bf Z+\bf Z/6\bf Z$ for a subfamily which is parametrized by $\bf Q(\sqrt{-3})$ .

preprint1995arXiv

Geometry of plane curves via Tschirnhausen resolution tower

We show the existence of toric resolution tower for an irreducible curve singularity which is explicitly described by Tschirnhausen polynomials. We deduce for a smooth affine plane curve from its topology restrictions for its singularity at infinity. For instance, we discribe the singularities at infinity (up to equisingular deformation) for curves of genus 0,1 and 2. From this follows an extension of the Abhyankar-Moh-Suzuki theorem to genus 1 and 2.

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.

Mutsuo Oka

Research overview

Is this your work?

18 publications

On $μ$ -Zariski pairs of links

Zeta-function and $μ^*$ -Zariski pairs of surfaces

Geometry of non-degenerate locally tame non-isolated singularities

On the Milnor fibration for $f(z)\bar g(z)$ II

Whitney regularity and Thom condition for families of non-isolated mixed singularities

Non-compact Newton boundary and Whitney equisingularity for non-isolated singularities

On the roots of an extended lens equation and an application

Topology of strongly polar weighted homogeneous links

On Milnor fibrations of mixed functions, $a_f$ -condition and boundary stability

On the fundamental groups of non-generic $\mathbb{R}$ -join-type curves

Contact structure on mixed links

Mixed functions of strongly polar weighted homogeneous face type

Intersection theory on mixed curves

On mixed plane curves of degree 1

Alexander-equivalent Zariski pairs of irreducible sextics

A plane sextic with finite fundamental group

Elliptic Curves from Sextics

Geometry of plane curves via Tschirnhausen resolution tower

See the researcher in context

Building this map preview

Mutsuo Oka

Research overview

Is this your work?

18 publications

On μ μμ-Zariski pairs of links

Zeta-function and μ∗μ^*μ∗-Zariski pairs of surfaces

Geometry of non-degenerate locally tame non-isolated singularities

On the Milnor fibration for f(z)gˉ(z)f(z)\bar g(z)f(z)gˉ​(z) II

Whitney regularity and Thom condition for families of non-isolated mixed singularities

Non-compact Newton boundary and Whitney equisingularity for non-isolated singularities

On the roots of an extended lens equation and an application

Topology of strongly polar weighted homogeneous links

On Milnor fibrations of mixed functions, afa_faf​-condition and boundary stability

On the fundamental groups of non-generic R\mathbb{R}R-join-type curves

Contact structure on mixed links

Mixed functions of strongly polar weighted homogeneous face type

Intersection theory on mixed curves

On mixed plane curves of degree 1

Alexander-equivalent Zariski pairs of irreducible sextics

A plane sextic with finite fundamental group

Elliptic Curves from Sextics

Geometry of plane curves via Tschirnhausen resolution tower

See the researcher in context

Building this map preview

On $μ$ -Zariski pairs of links

Zeta-function and $μ^*$ -Zariski pairs of surfaces

On the Milnor fibration for $f(z)\bar g(z)$ II

On Milnor fibrations of mixed functions, $a_f$ -condition and boundary stability

On the fundamental groups of non-generic $\mathbb{R}$ -join-type curves