Showing 1–42 of 42 results for author: Oka, M

On Milnor-Orlik's theorem and admissible simultaneous good resolutions

Authors: Christophe Eyral, Mutsuo Oka

Abstract: Let $f$ be a (possibly Newton degenerate) weighted homogeneous polynomial defining an isolated surface singularity at the origin of $\mathbb{C}^3$, and let $\{f_s\}$ be a generic deformation of its coefficients such that $f_s$ is Newton non-degenerate for $s\not=0$. We show that there exists an ''admissible'' simultaneous good resolution of the family of functions $f_s$ for all small $s$, includin… ▽ More Let $f$ be a (possibly Newton degenerate) weighted homogeneous polynomial defining an isolated surface singularity at the origin of $\mathbb{C}^3$, and let $\{f_s\}$ be a generic deformation of its coefficients such that $f_s$ is Newton non-degenerate for $s\not=0$. We show that there exists an ''admissible'' simultaneous good resolution of the family of functions $f_s$ for all small $s$, including $s=0$ which corresponds to the (possibly Newton degenerate) function $f$. As an application, we give a new geometrical proof of a weak version of the Milnor-Orlik theorem that asserts that the monodromy zeta-function of $f$ (and hence its Milnor number) is completely determined by its weight, its weighted degree and its Newton boundary. △ Less

Submitted 9 December, 2024; originally announced December 2024.

MSC Class: 14B05; 32S05; 32S25; 32S45

Blow-$ADE$ singularities and $μ^*$-constant deformations

Authors: Christophe Eyral, Mutsuo Oka

Abstract: We introduce a class of complex surface singularities - the blow-$ADE$ singularities - which are likely to be stable with respect to $μ^*$-constant deformations. We prove such a stability property in several special cases. Here, we emphasize that we are not just considering deformation families for small values of the deformation parameter but families connecting any two elements in the $μ^*$-cons… ▽ More We introduce a class of complex surface singularities - the blow-$ADE$ singularities - which are likely to be stable with respect to $μ^*$-constant deformations. We prove such a stability property in several special cases. Here, we emphasize that we are not just considering deformation families for small values of the deformation parameter but families connecting any two elements in the $μ^*$-constant stratum. △ Less

Submitted 31 January, 2024; originally announced January 2024.

MSC Class: 14M25; 14B05; 14J17; 32S55; 32S05

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

Authors: Christophe Eyral, Mutsuo Oka

Abstract: 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… ▽ More 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". △ Less

Submitted 29 April, 2022; originally announced April 2022.

Comments: 33 pages, 3 figures

MSC Class: 14M25; 14B05; 14J17; 32S55; 32S05

On $ μ$-Zariski pairs of links

Authors: Mutsuo Oka

Abstract: 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… ▽ More 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}). △ Less

Submitted 20 March, 2022; originally announced March 2022.

Comments: 4 figures

MSC Class: 32S55

On the Milnor fibration of certain Newton degenerate functions

Authors: Christophe Eyral, Mutsuo Oka

Abstract: It is well known that the diffeomorphism-type of the Milnor fibration of a (Newton) non-degenerate polynomial function $f$ is uniquely determined by the Newton boundary of $f$. In the present paper, we generalize this result to certain degenerate functions, namely we show that the diffeomorphism-type of the Milnor fibration of a (possibly degenerate) polynomial function of the form… ▽ More It is well known that the diffeomorphism-type of the Milnor fibration of a (Newton) non-degenerate polynomial function $f$ is uniquely determined by the Newton boundary of $f$. In the present paper, we generalize this result to certain degenerate functions, namely we show that the diffeomorphism-type of the Milnor fibration of a (possibly degenerate) polynomial function of the form $f=f^1\cdots f^{k_0}$ is uniquely determined by the Newton boundaries of $f^1,\ldots, f^{k_0}$ if $\{f^{k_1}=\cdots=f^{k_m}=0\}$ is a non-degenerate complete intersection variety for any $k_1,\ldots,k_m\in \{1,\ldots, k_0\}$. △ Less

Submitted 18 August, 2021; originally announced August 2021.

MSC Class: 14B05; 14M10; 14M25; 32S05; 32S55

Almost non-degenerate functions and a Zariski pair of links

Authors: Mutsuo Oka

Abstract: Let $f(\mathbf z)$ be an analytic function defined in the neighborhood of the origin of $\mathbb C^n$ which have some Newton degenerate faces. We generalize the Varchenko formula for the zeta function of the Milnor fibration of a Newton non-degenerate function $f$ to this case. As an application, we give an example of a pair of hypersurfaces with the same Newton boundary and the same zeta function… ▽ More Let $f(\mathbf z)$ be an analytic function defined in the neighborhood of the origin of $\mathbb C^n$ which have some Newton degenerate faces. We generalize the Varchenko formula for the zeta function of the Milnor fibration of a Newton non-degenerate function $f$ to this case. As an application, we give an example of a pair of hypersurfaces with the same Newton boundary and the same zeta function with different tangent cones. △ Less

Submitted 27 May, 2021; v1 submitted 7 May, 2021; originally announced May 2021.

Comments: 5 figures

Łojasiewicz exponents of a certain analytic functions

Authors: Mutsuo Oka

Abstract: We consider the exponent of Łojasiewicz inequality $\|\partial\,f(\mathbf z)\| \ge c |f(\mathbf z|^θ$ for two classes of analytic functions and we will give an explicit estimation for $θ$. First we consider certain non-degenerate functions which is not convenient. In §3.4, we give an example of a polynomial for which $θ_0(f)$ is not constant on the moduli space and in §3.5, we show that the behavi… ▽ More We consider the exponent of Łojasiewicz inequality $\|\partial\,f(\mathbf z)\| \ge c |f(\mathbf z|^θ$ for two classes of analytic functions and we will give an explicit estimation for $θ$. First we consider certain non-degenerate functions which is not convenient. In §3.4, we give an example of a polynomial for which $θ_0(f)$ is not constant on the moduli space and in §3.5, we show that the behaviors of the Łojasiewicz exponents is not similar as the Milnor numbers by an example. In the last section (§4), we give also an estimation for product functions $f(\mathbf z)=f_1(\mathbf z)\cdots f_k(\mathbf z)$ associated to a family of a certain convenient non-degenerate complete intersection varieties. In either class, the singularity is not isolated. We will give explicit estimations of the Łojasiewicz exponent $θ_0(f)$ using combinatorial data of the Newton boundary of $f$. We generalize this estimation for non-reduced function $g=f_1^{m_1}\cdots f_k^{m_k}$. △ Less

Submitted 28 November, 2020; v1 submitted 23 November, 2020; originally announced November 2020.

Comments: 6 Figures

MSC Class: 32S05

Geometry of non-degenerate locally tame non-isolated singularities

Authors: Christophe Eyral, Mutsuo Oka

Abstract: 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. 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. △ Less

Submitted 4 May, 2020; originally announced May 2020.

MSC Class: 14J70; 14J17; 32S15; 32S25

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

Authors: Mutsuo Oka

Abstract: 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. 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. △ Less

Submitted 31 January, 2020; v1 submitted 3 September, 2019; originally announced September 2019.

Comments: one figure

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

Authors: Mutsuo Oka

Abstract: We consider a mixed function of type $H(\mathbf z,\bar {\mathbf z})=f(\mathbf z)\bar g(\mathbf z)$ where $f$ and $g$ are convenient holomorphic functions which have isolated critical points at the origin and we assume that the intersection $f=g=0$ is a complete intersection variety with an isolated singlarity at theorigin. We assume also that $H$ satisfies the multiplicity condition.We will show t… ▽ More We consider a mixed function of type $H(\mathbf z,\bar {\mathbf z})=f(\mathbf z)\bar g(\mathbf z)$ where $f$ and $g$ are convenient holomorphic functions which have isolated critical points at the origin and we assume that the intersection $f=g=0$ is a complete intersection variety with an isolated singlarity at theorigin. We assume also that $H$ satisfies the multiplicity condition.We will show that $H$ has a tubular Milnor fibration and also a spherical Milnor fibration. We give examples which does not satisfy the Newton multiplicity condition where one does not have Milnor fibration and the others have Milnor fibrations. △ Less

Submitted 2 September, 2019; v1 submitted 28 December, 2018; originally announced December 2018.

On the connectivity of Milnor fiber for mixed functions

Authors: Mutsuo Oka

Abstract: In this note, we prove the connectivity of the Milnor fiber for a mixed polynomial $f(\mathbf z,\bar{\mathbf z})$, assuming the existence of a sequence of smooth points of $f^{-1}(0)$ converging to the origin. This result gives also a another proof for the connectivity of the Milnor fiber of a non-reduced complex analytic function which is proved by A. Dimca In this note, we prove the connectivity of the Milnor fiber for a mixed polynomial $f(\mathbf z,\bar{\mathbf z})$, assuming the existence of a sequence of smooth points of $f^{-1}(0)$ converging to the origin. This result gives also a another proof for the connectivity of the Milnor fiber of a non-reduced complex analytic function which is proved by A. Dimca △ Less

Submitted 3 September, 2018; originally announced September 2018.

Comments: 7 pages, 1 figure

MSC Class: 14J17

Smooth mixed projective curves and a conjecture

Authors: Mutsuo Oka

Abstract: Let $f(\bf z,\bar{\bf z})$ be a strongly mixed homogeneous polynomial of 3 variables $\bf z=(z_1,z_2,z_3)$ of polar degree $q$ with an isolated singularity at the origin. It defines a smooth Riemann surface $C$ in the complex projective space $\mathbb P^2$. The fundamental group of the complement $\mathbb P^2\setminus C$ is cyclic group of order $q$ if $f$ is homogeneous polynomial without… ▽ More Let $f(\bf z,\bar{\bf z})$ be a strongly mixed homogeneous polynomial of 3 variables $\bf z=(z_1,z_2,z_3)$ of polar degree $q$ with an isolated singularity at the origin. It defines a smooth Riemann surface $C$ in the complex projective space $\mathbb P^2$. The fundamental group of the complement $\mathbb P^2\setminus C$ is cyclic group of order $q$ if $f$ is homogeneous polynomial without $\bar{\bf z}$. We propose a conjecture that this may be even true for mixed homogeneous polynomials by giving several supporting examples. △ Less

Submitted 2 February, 2018; v1 submitted 27 November, 2017; originally announced November 2017.

Comments: 15 figures

MSC Class: 14J17; 14N99

Remark on the roots of generalized Lens equations

Authors: Mutsuo Oka

Abstract: We consider roots of a generalized Lens polynomial $L(z,\bar z)={\bar z}^m q(z)-p(z)$ and also harmonically splitting Lens type polynomial $L^{hs}(z,\bar z)=r(\bar z)q(z)-p(z)$ and with ${\rm deg}\,q(z)=n$, ${\rm deg}\,r(\bar z)=m$ and ${\rm deg}\,p(z)\le n$. We have shown that there exists a harmonically splitting polynomial $r(\bar z)q(z)-p(z)$ which takes $5n+m-6$ roots, using a bifurcation fam… ▽ More We consider roots of a generalized Lens polynomial $L(z,\bar z)={\bar z}^m q(z)-p(z)$ and also harmonically splitting Lens type polynomial $L^{hs}(z,\bar z)=r(\bar z)q(z)-p(z)$ and with ${\rm deg}\,q(z)=n$, ${\rm deg}\,r(\bar z)=m$ and ${\rm deg}\,p(z)\le n$. We have shown that there exists a harmonically splitting polynomial $r(\bar z)q(z)-p(z)$ which takes $5n+m-6$ roots, using a bifurcation family of polynomials. In this note, we show that this number can be taken by a generalized Lens polynomial ${\bar z}^mq(z)-p(z)$ after a slight modification of the bifurcation family of a Rhie polynomial. △ Less

Submitted 9 June, 2017; originally announced June 2017.

Comments: 6 pages, one figure

MSC Class: 14P05

Łojasiewicz exponents of non-degenerate holomorohic and mixed functions

Authors: Mutsuo Oka

Abstract: We consider Łojasiewicz inequalities for a non-degenerate holomorphic function with an isolated singularity at the origin. We give an explicit estimation of the Łojasiewicz exponent in a slightly weaker form than the assertion in Fukui.For a weighted homogeneous polynomial, we give a better estimation in the form which is conjectured by Brzostowski, Krasinski and Oleksik under under some condition… ▽ More We consider Łojasiewicz inequalities for a non-degenerate holomorphic function with an isolated singularity at the origin. We give an explicit estimation of the Łojasiewicz exponent in a slightly weaker form than the assertion in Fukui.For a weighted homogeneous polynomial, we give a better estimation in the form which is conjectured by Brzostowski, Krasinski and Oleksik under under some condition (the Łojasiewicz non-degeneracy). We also introduce Łojasiewicz inequality for strongly non-degenerate mixed functions and generalize this estimation for mixed functions. △ Less

Submitted 27 April, 2017; v1 submitted 20 April, 2017; originally announced April 2017.

Comments: 33 pages

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

Authors: Christophe Eyral, Mutsuo Oka

Abstract: 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… ▽ More 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. △ Less

Submitted 13 July, 2016; originally announced July 2016.

Comments: arXiv admin note: text overlap with arXiv:1512.04248

MSC Class: 14J70; 14J17; 32S15; 32S25

Topology of mixed hypersurfaces of cyclic type

Authors: Kazumasa Inaba, Masayuki Kawashima, Mutsuo Oka

Abstract: We study a simplicial mixed polynomial of cyclic type and its associated weighted homogeneous polynomial. In the present paper, we show that their links are diffeomorphic and their Milnor fibrations are isomorphic. We study a simplicial mixed polynomial of cyclic type and its associated weighted homogeneous polynomial. In the present paper, we show that their links are diffeomorphic and their Milnor fibrations are isomorphic. △ Less

Submitted 11 June, 2016; originally announced June 2016.

Comments: 14pages

MSC Class: 14J17(Primary); 14J70; 58K05(Secondary)

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

Authors: Christophe Eyral, Mutsuo Oka

Abstract: 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 familie… ▽ More 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. △ Less

Submitted 14 December, 2015; originally announced December 2015.

MSC Class: 14J70; 14J17; 32S15; 32S25

On the roots of an extended lens equation and an application

Authors: Mutsuo Oka

Abstract: 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… ▽ More 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. △ Less

Submitted 20 October, 2015; v1 submitted 13 May, 2015; originally announced May 2015.

Comments: 21 pages, 7 eps files

MSC Class: 14P05; 14N99

Topology of strongly polar weighted homogeneous links

Authors: Vincent Blanlœil, Mutsuo Oka

Abstract: 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 dege… ▽ More 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. △ Less

Submitted 21 January, 2015; originally announced January 2015.

MSC Class: 32S25

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

Authors: Mutsuo Oka

Abstract: 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… ▽ More 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. △ Less

Submitted 23 September, 2014; v1 submitted 18 September, 2014; originally announced September 2014.

Comments: 21 pages, 1 figure

MSC Class: 14J70; 14J17; 32S25

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

Authors: Christophe Eyral, Mutsuo Oka

Abstract: 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… ▽ More 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. △ Less

Submitted 18 July, 2013; originally announced July 2013.

Comments: 21 pages, 19 figures

MSC Class: 14H30 (14H20; 14H45; 14H50)

Contact structure on mixed links

Authors: Mutsuo Oka

Abstract: 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. 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. △ Less

Submitted 24 April, 2012; originally announced April 2012.

Mixed functions of strongly polar weighted homogeneous face type

Authors: Mutsuo Oka

Abstract: 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. 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. △ Less

Submitted 9 February, 2012; originally announced February 2012.

Intersection theory on mixed curves

Authors: Mutsuo Oka

Abstract: 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… ▽ More 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. △ Less

Submitted 18 April, 2011; originally announced April 2011.

Comments: 18 pages, 3 figures

MSC Class: 14J17; 14N99

On mixed plane curves of degree 1

Authors: Mutsuo Oka

Abstract: 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… ▽ More 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}. △ Less

Submitted 10 May, 2010; originally announced May 2010.

Comments: 9 pages

On mixed projective curves

Authors: Mutsuo Oka

Abstract: Let $f(\bfz,\bar\bfz)$ be a mixed polar homogeneous polynomial of $n$ variables $\bfz=(z_1,..., z_n)$. It defines a projective real algebraic variety $V:=\{[\bfz]\in \BC\BP^{n-1} | f(\bfz,\bar\bfz)=0 \}$ in the projective space $\BC\BP^{n-1}$. The behavior is different from that of the projective hypersurface. The topology is not uniquely determined by the degree of the variety even if $V$ is no… ▽ More Let $f(\bfz,\bar\bfz)$ be a mixed polar homogeneous polynomial of $n$ variables $\bfz=(z_1,..., z_n)$. It defines a projective real algebraic variety $V:=\{[\bfz]\in \BC\BP^{n-1} | f(\bfz,\bar\bfz)=0 \}$ in the projective space $\BC\BP^{n-1}$. The behavior is different from that of the projective hypersurface. The topology is not uniquely determined by the degree of the variety even if $V$ is non-singular. We study a basic property of such a variety. △ Less

Submitted 13 October, 2009; originally announced October 2009.

MSC Class: 14J17; 14N99

On Mixed Brieskorn Variety

Authors: Mutsuo Oka

Abstract: Let $f_{{\bf a},\{bf b}}({\bf z},\bar{\bf z})=z_1^{a_1+b_1}\bar z_1^{b_1}+...+z_n^{a_n+b_n}\bar z_n^{b_n}$ be a polar weighted homogeneous mixed polynomial with $a_j>0,b_j\ge 0$, $j=1,..., n$ and let $f_{\bf a}({\bf z})=z_1^{a_1}+...+z_n^{a_n}$ be the associated weighted homogeneous polynomial. Consider the corresponding link variety $K_{{\bf a},{\bf b}}=f_{{\bf a},{\bf b}}\inv(0)\cap S^{2n-1}$… ▽ More Let $f_{{\bf a},\{bf b}}({\bf z},\bar{\bf z})=z_1^{a_1+b_1}\bar z_1^{b_1}+...+z_n^{a_n+b_n}\bar z_n^{b_n}$ be a polar weighted homogeneous mixed polynomial with $a_j>0,b_j\ge 0$, $j=1,..., n$ and let $f_{\bf a}({\bf z})=z_1^{a_1}+...+z_n^{a_n}$ be the associated weighted homogeneous polynomial. Consider the corresponding link variety $K_{{\bf a},{\bf b}}=f_{{\bf a},{\bf b}}\inv(0)\cap S^{2n-1}$ and $K_{\bf a}=f_{\bf a}\inv(0)\cap S^{2n-1}$. Ruas-Seade-Verjovsky \cite{R-S-V} proved that the Milnor fibrations of $f_{{\bf a},{\bf b}}$ and $f_{\bf a}$ are topologically equivalent and the mixed link $K_{{\bf a},{\bf b}}$ is homeomorphic to the complex link $K_{\bf a}$. We will prove that they are $C^\infty$ equivalent and two links are diffeomorphic. We show the same assertion for $ f({\bf z},\bar{\bf z})=z_1^{a_1+b_1}\bar z_1^{b_1}z_2+...+z_{n-1}^{a_{n-1}+b_{n-1}}\bar z_{n-1}^{b_{n-1}}z_n+z_n^{a_n+b_n}\bar z_n^{b_n}$ and its associated polynomial $ g({\bf z})=z_1^{a_1}z_2+...+ z_{n-1}^{a_{n-1}}z_n+z_n^{a_n}$. △ Less

Submitted 28 September, 2009; v1 submitted 25 September, 2009; originally announced September 2009.

MSC Class: 14J17; 58K05

Non-degenerate mixed functions

Authors: Mutsuo Oka

Abstract: Mixed functions are analytic functions in variables $z_1,..., z_n$ and their conjugates $\bar z_1,..., \bar z_n$. We introduce the notion of Newton non-degeneracy for mixed functions and develop a basic tool for the study of mixed hypersurface singularities. We show the existence of a canonical resolution of the singularity, and the existence of the Milnor fibration under the strong non-degenera… ▽ More Mixed functions are analytic functions in variables $z_1,..., z_n$ and their conjugates $\bar z_1,..., \bar z_n$. We introduce the notion of Newton non-degeneracy for mixed functions and develop a basic tool for the study of mixed hypersurface singularities. We show the existence of a canonical resolution of the singularity, and the existence of the Milnor fibration under the strong non-degeneracy condition. △ Less

Submitted 10 September, 2009; originally announced September 2009.

MSC Class: 14J70; 14J17

Alexander-equivalent Zariski pairs of irreducible sextics

Authors: Christophe Eyral, Mutsuo Oka

Abstract: 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. 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. △ Less

Submitted 14 November, 2008; originally announced November 2008.

Comments: 21 pages, 19 figures

MSC Class: 14H30

On Alexander Polynomials of Certain (2,5) Torus Curves

Authors: M. Kawashima, M. Oka

Abstract: In this paper, we compute Alexander polynomials of a torus curve C of type (2, 5), C : f(x, y) = f_2(x, y)^5 + f_5(x, y)^2 = 0, under the assumption that the origin O is the unique inner singularity and f2 = 0 is an irreducible conic. We show that the Alexander polynomial remains the same with that of a generic torus curve as long as C is irreducible. In this paper, we compute Alexander polynomials of a torus curve C of type (2, 5), C : f(x, y) = f_2(x, y)^5 + f_5(x, y)^2 = 0, under the assumption that the origin O is the unique inner singularity and f2 = 0 is an irreducible conic. We show that the Alexander polynomial remains the same with that of a generic torus curve as long as C is irreducible. △ Less

Submitted 8 October, 2008; originally announced October 2008.

MSC Class: 14H20; 14H30; 14H45

Topology of polar weighted homogeneous hypersurfaces

Authors: Mutsuo Oka

Abstract: Polar weighted homogeneous polynomials are the class of special polynomials of real variables $x_i,y_i, i=1,..., n$ with $z_i=x_i+\sqrt{-1} y_i$, which enjoys a "polar action". In many aspects, their behavior looks like that of complex weighted homogeneous polynomials. We study basic properties of hypersurfaces which are defined by polar weighted homogeneous polynomials. Polar weighted homogeneous polynomials are the class of special polynomials of real variables $x_i,y_i, i=1,..., n$ with $z_i=x_i+\sqrt{-1} y_i$, which enjoys a "polar action". In many aspects, their behavior looks like that of complex weighted homogeneous polynomials. We study basic properties of hypersurfaces which are defined by polar weighted homogeneous polynomials. △ Less

Submitted 24 January, 2008; originally announced January 2008.

MSC Class: 14J17; 32S25

A plane sextic with finite fundamental group

Authors: Alex Degtyarev, Mutsuo Oka

Abstract: 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$. 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$. △ Less

Submitted 20 November, 2007; originally announced November 2007.

MSC Class: 14H30; 14H45

Journal ref: Proceedings of Niigata--Toyama Conferences 2007, Adv. Stud. Pure Math. 56 (2009), 93--108

Tangential Alexander polynomials and non-reduced degeneration

Authors: Mutsuo Oka

Abstract: We introduce a notion of tangential Alexander polynomials for plane curves and study the relation with $θ$^Alexander polynomial. As an application, we use these polynomials to study a non-reduced degeneration $C_t \to D_0+jL$. We show that there exists a certain surjectivity of the fundamental groups and divisibility among their Alexander polynomials. We introduce a notion of tangential Alexander polynomials for plane curves and study the relation with $θ$^Alexander polynomial. As an application, we use these polynomials to study a non-reduced degeneration $C_t \to D_0+jL$. We show that there exists a certain surjectivity of the fundamental groups and divisibility among their Alexander polynomials. △ Less

Submitted 11 January, 2006; v1 submitted 10 January, 2006; originally announced January 2006.

Comments: 8 figures written by .eps

MSC Class: 14H30; 14H45; 32S55

Zariski Pairs on sextics II

Authors: Mutsuo Oka

Abstract: The complete list of reducible sextics of torus type with simple singularities is known in our previous paper. In this paper, we give a complete list of existence and non-existence of Zariski partner sextics of non-torus type corresponding to the list of sextics of torus type. The complete list of reducible sextics of torus type with simple singularities is known in our previous paper. In this paper, we give a complete list of existence and non-existence of Zariski partner sextics of non-torus type corresponding to the list of sextics of torus type. △ Less

Submitted 4 July, 2005; originally announced July 2005.

MSC Class: 14H20; 14H10

Zariski pairs on sextics I

Authors: Mutsuo Oka

Abstract: We show the existence of sextics of non-torus type which is a Zariski partner of the tame sextics of torus type with simple singularities. We show the existence of sextics of non-torus type which is a Zariski partner of the tame sextics of torus type with simple singularities. △ Less

Submitted 4 July, 2005; originally announced July 2005.

MSC Class: 14B05; 14H10

Alexander polynomial of sextics

Authors: Mutsuo Oka

Abstract: Alexander polynomials of sextics with only simple singularities or sextics of torus type with arbitrary singularities are computed. We show that for ieeducible sextics,there are four possibilities: $(t^2-t+1)^j, j=0,1,2,3$. Alexander polynomials of sextics with only simple singularities or sextics of torus type with arbitrary singularities are computed. We show that for ieeducible sextics,there are four possibilities: $(t^2-t+1)^j, j=0,1,2,3$. △ Less

Submitted 9 May, 2002; originally announced May 2002.

Comments: 18 pages

MSC Class: 14H30

Geometry of reduced sextics of torus type

Authors: Mutsuo Oka

Abstract: We give a complete classsification of reduced sextics of torus type with configurations of the singularities and the geometry of the components. We give a complete classsification of reduced sextics of torus type with configurations of the singularities and the geometry of the components. △ Less

Submitted 4 March, 2002; originally announced March 2002.

MSC Class: 14H10; 14H45; 32S05

Classification of sextics of torus type

Authors: Mutsuo Oka, Duc Tai Pho

Abstract: The second author classified configurations of the singularities on tame sextics of torus type. In this paper, we give a complete classification of the singularities on irreducible sextics of torus type, without assuming the tameness of the sextics. We show that there exists 121 configurations and there are 5 pairs and a triple of configurations for which the corresponding moduli spaces coincide… ▽ More The second author classified configurations of the singularities on tame sextics of torus type. In this paper, we give a complete classification of the singularities on irreducible sextics of torus type, without assuming the tameness of the sextics. We show that there exists 121 configurations and there are 5 pairs and a triple of configurations for which the corresponding moduli spaces coincide, ignoring the respective torus decomposition. △ Less

Submitted 6 January, 2002; originally announced January 2002.

Comments: 33pages

MSC Class: 14H10; 14H45

Fundamental group of sextics of torus type

Authors: Mutsuo Oka, Duc Tai Pho

Abstract: We show that the fundamental group of the complement of any irreducible tame torus sextics in $\bf P^2$ is isomorphic to $\bf Z_2*\bf Z_3$ except one class. The exceptional class has the configuration of the singularities $\{C_{3,9},3A_2\}$ and the fundamental group is bigger than $\bf Z_2*\bf Z_3$. In fact, the Alexander polynomial is given by $(t^2-t+1)^2$. For the proof, we first reduce the a… ▽ More We show that the fundamental group of the complement of any irreducible tame torus sextics in $\bf P^2$ is isomorphic to $\bf Z_2*\bf Z_3$ except one class. The exceptional class has the configuration of the singularities $\{C_{3,9},3A_2\}$ and the fundamental group is bigger than $\bf Z_2*\bf Z_3$. In fact, the Alexander polynomial is given by $(t^2-t+1)^2$. For the proof, we first reduce the assertion to maximal curves and then we compute the fundamental groups for maximal tame torus curves. △ Less

Submitted 18 October, 2000; originally announced October 2000.

Comments: 27 pages, 14 figures

MSC Class: 14H30; 14H45; 32S55

Lines on Non-degenerate Surfaces

Authors: Guangfeng Jiang, Mutsuo Oka

Abstract: On an affine variety $X$ defined by homogeneous polynomials, every line in the tangent cone of $X$ is a subvariety of $X$. However there are many other germs of analytic varieties which are not of cone type but contain ``lines'' passing through the origin. In this paper, we give a method to determine the existence and the ``number'' of such lines on non-degenerate surface singualrities. On an affine variety $X$ defined by homogeneous polynomials, every line in the tangent cone of $X$ is a subvariety of $X$. However there are many other germs of analytic varieties which are not of cone type but contain ``lines'' passing through the origin. In this paper, we give a method to determine the existence and the ``number'' of such lines on non-degenerate surface singualrities. △ Less

Submitted 8 May, 2000; originally announced May 2000.

Comments: 18 pages, 1 figure

MSC Class: 14J17; 32S25; 32S45

Elliptic Curves from Sextics

Authors: Mutsuo Oka

Abstract: 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… ▽ More 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}) $. △ Less

Submitted 15 December, 1999; v1 submitted 6 December, 1999; originally announced December 1999.

Comments: A remark is added. (after replace mistake). 16 pages

MSC Class: 14H45; 14H20; 14H52

Geometry of plane curves via Tschirnhausen resolution tower

Authors: Norbert A'Campo, Mutsuo Oka

Abstract: 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 extens… ▽ More 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. △ Less

Submitted 17 August, 1995; v1 submitted 16 August, 1995; originally announced August 1995.

Comments: AMSTex v.2.1, 25 pages with one figure

MSC Class: 14H20 (Primary) 32S10 (Secondary)