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.
A series of Zariski pairs and four Zariski triplets were found by using lattice theory of K3 surfaces. There is a Zariski triplet of which one member is a deformation of another.
A simple sextic is a reduced complex projective plane curve of degree 6 with only simple singularities. We introduce a notion of Z-splitting curves for the double covering of the projective plane branching along a simple sextic, and investigate lattice Zariski k-ples of simple sextics by Z-splitting curves. We define specialization of lattice types, and classify all lattice types of Z-splitting curves of degree less than or equal to 3 up to specializations.
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.
In this paper we show a Zariski pair of sextics which is not a degeneration of the original example given by Zariski. This is the first example of this kind known. The two curves of the pair have a trivial Alexander polynomial. The difference in the topology of their complements can only be detected via finer invariants or techniques. In our case the generic braid monodromies, the fundamental groups, the characteristic varieties and the existence of dihedral coverings of $\PP^2$ ramified along them can be used to distinguish the two sextics. Our intention is not only to use different methods a…
We study complex plane projective sextic curves with simple singularities up to equisingular deformations. It is shown that two such curves are deformation equivalent if and only if the corresponding pairs are diffeomorphic. A way to enumerate all deformation classes is outlined, and a few examples are considered, including classical Zariski pairs.
We present a method of Zariski-van Kampen type for the calculation of the transcendental lattice of a complex projective surface. As an application, we calculate the transcendental lattices of complex singular K3 surfaces associated with an arithmetic Zariski pair of maximizing sextics of type $A_{10}+A_{9}$ that are defined over a real quadratic field and are conjugate to each other over the field of rational numbers.
In this present paper, we study the splitting of nodal plane curves with respect to contact conics. We define the notion of splitting type of such curves and show that it can be used as an invariant to distinguish the embedded topology of plane curves. We also give a criterion to determine the splitting type in terms of the configuration of the nodes and tangent points. As an application, we construct sextics and contact conics with prescribed splitting types, which give rise to new Zariski-triples.
We give a complete deformation classification of real Zariski sextics, that is of generic apparent contours of nonsingular real cubic surfaces. As a by-product, we observe a certain "reversion" duality in the set of deformation classes of these sextics.
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.
We show that the existence of a birational weak Zariski decomposition for a pseudo-effective generalized polarized lc pair is equivalent to the existence of a generalized polarized log terminal model.
We prove that termination of lower dimensional flips for generalized klt pairs implies termination of flips for log canonical generalized pairs with a weak Zariski decomposition. Moreover, we prove that the existence of weak Zariski decompositions for pseudo-effective generalized klt pairs implies the existence of minimal models for such pairs.
Institute of Mathematics, Polish Academy of Sciences(波兰科学院数学研究所);Department of Mathematics, Hiyoshi Campus, Keio University(庆应义塾大学日吉校区数学系);Tokyo Institute of Technology(东京工业大学);Departement of Mathematics, Galatasaray University(加拉塔萨雷大学数学系)
We continue our study of the relation between log minimal models and various types of Zariski decompositions. Let $(X,B)$ be a projective log canonical pair. We will show that $(X,B)$ has a log minimal model if either $K_X+B$ birationally has a Nakayama-Zariski decomposition with nef positive part, or that $K_X+B$ is big and birationally it has a Fujita or CKM Zariski decomposition. Along the way we introduce polarized pairs $(X,B+P)$ where $(X,B)$ is a usual projective pair and $P$ is nef, and study the birational geometry of such pairs.
In this note we give examples of Zariski's pairs $B_{1,m}, B_{2,m}$ ($m \in N$ and $m \geq 5$) of plane cuspidal curves such that (i) $B_{i,m}$ is the discriminant curve of a generic morphism $f_{i,m}:S_i \to P^2$, $i=1, 2$, (ii) $S_1$ and $S_2$ are homeomorphic surfaces of general type, (iii) $f_{i,m}$ is given by linear three-dimensional subsystem of the mth canonical class of $S_i$.
We study graded rings associated to big divisors on LC pairs whose difference with the log-canonical divisor is nef. For divisors that are positive enough at the LC centers of the pair, we prove the finite generation of such rings if the pair is DLT or the dimension is low, given that a Zariski decomposition exists.
In this paper we study the embedded topology of reducible plane curves having a smooth irreducible component. In previous studies, the relation between the topology and certain torsion classes in the Picard group of degree zero of the smooth component was implicitly considered. We formulate this relation clearly and give a criterion for distinguishing the embedded topology in terms of torsion classes. Furthermore, we give a method of systematically constructing examples of curves where our criterion is applicable, and give new examples of Zariski tuples.
In this article, examples of Zariski pairs $(B_1, B_2)$ satisfying the following condition are given: (i) $°B_1 = °B_2 = 7$. (ii) Irreducible components of $B_i$ $(i = 1, 2)$ are lines and conics. (iii) Singularities of $B_i$ $(i = 1, 2)$ are nodes, tacnodes and ordinary triple points. In order to construct $B_i$ ($i = 1, 2$), we make use of geometry of sections of rational elliptic surfaces and their group structure. Dihedral covers play important roles to distinguish the topology of $({\mathbb P}^2, B_i)$ $(i = 1, 2)$.
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_…
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. Th…
A couple of complex projective plane curves are said to make a Zariski pair if they have the same degree and the same type of singularities, but their embeddings in the projective plane are topologically different. In this paper, we present a method to construct certain type of Zariski pairs, and make infinite series of examples.
We first introduce a weak type of Zariski decomposition in higher dimensions: an $\R$-Cartier divisor has a weak Zariski decomposition if birationally and in a numerical sense it can be written as the sum of a nef and an effective $\R$-Cartier divisor. We then prove that there is a very basic relation between Zariski decompositions and log minimal models which has long been expected: we prove that assuming the log minimal model program in dimension $d-1$, a lc pair $(X/Z,B)$ of dimension $d$ has a log minimal model if and only if $K_X+B$ has a weak Zariski decomposition$/Z$.
In this paper, we study the geometry of trisections on certain rational elliptic surfaces. We utilize Mumford representations of semi-reduced divisors in order to construct trisections and related plane curves with interesting properties explicitly. As a result we are able to construct new examples of Zariski pairs. Especially, we show the existence of a family of Zariski pairs that degenerate to the same conic-line arrangement.
We consider suspension hypersurface singularities of type g=f(x,y)+z^n, where f is an irreducible plane curve singularity. For such germs, we prove that the link of g determines completely the Newton pairs of f and the integer n except for two pathological cases, which can be completely described. Even in the pathological cases, the link and the Milnor number of g determine uniquely the Newton pairs of f and n. In particular, for such g, we verify Zariski's conjecture about the multiplicity. The result also supports the following conjecture formulated in the paper. If the link of an isolated h…
In this paper, complement-equivalent arithmetic Zariski pairs will be exhibited answering in the negative a question by Eyral-Oka on these curves and their groups. A complement-equivalent arithmetic Zariski pair is a pair of complex projective plane curves having Galois-conjugate equations in some number field whose complements are homeomorphic, but whose embeddings in $\mathbb{P}^2$ are not. Most of the known invariants used to detect Zariski pairs depend on the étale fundamental group. In the case of Galois-conjugate curves, their étale fundamental groups coincide. Braid monodromy factorizat…
In this paper, we introduce \textit{splitting numbers} of subvarieties in a smooth variety for a Galois cover, and prove that the splitting numbers are invariant under certain homeomorphisms. By splitting numbers, we give a necessary and sufficient condition for two plane curves of type $(b,m)$ to be topologically equivalent as pairs of the complex projective plane and plane curves, where a plane curve of type $(b,m)$ is an arrangement of two smooth plane curves of degree $3$ and $b$ defined by I.~Shimada. Consequently, we prove that there are $π_1$-equivalent Zariski $k$-plets for any $k\geq2…
We consider a version of the Lipman-Zariski conjecture for logarithmic vector fields and logarithmic $1$-forms on pairs. Let $(X,D)$ be a pair consisting of a normal complex variety $X$ and an effective Weil divisor $D$ such that the sheaf of logarithmic vector fields (or dually the sheaf of reflexive logarithmic $1$-forms) is locally free. We prove that in this case the following holds: If $(X,D)$ is dlt, then $X$ is necessarily smooth and $\lfloor D\rfloor $ is snc. If $(X,D)$ is lc or the logarithmic $1$-forms are locally generated by closed forms, then $(X,\lfloor D\rfloor)$ is toroidal.
In this paper, we introduce the terminology of matroids into the study of Zariski-pairs related to rational elliptic surfaces, aiming to simplify the presentation and arguments involved. As an application, we provide new examples of Zariski $N$-ples of relatively low degree. Namely we show that a Zariski 102-ple of degree 18 exists.
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.
The linking set is an invariant of algebraic plane curves introduced by Meilhan and the first author. It has been successfully used to detect several examples of Zariski pairs, i.e. curves with the same combinatorics and different embedding in $\mathds{CP}^2$. Differentiating Shimada's $π_1$-equivalent Zariski pair by the linking set, we prove, in the present paper, that this invariant is not determined by the fundamental group of the curve.
There is a close relationship between the embedded topology of complex plane curves and the (group-theoretic) arithmetic of elliptic curves. In a recent paper, we studied the topology of some arrangements of curves which include a special smooth component, via the torsion properties induced by the divisors in the special curve associated to the remaining components, which is an arithmetic property. When this special curve has maximal flexes, there is a natural isomorphism between its Jacobian variety and the degree zero part of its Picard group. In this paper we consider curve arrangements whi…
In this work, we study a family of Cremona transformations of weighted projective planes which generalize the standard Cremona transformation of the projective plane. Starting from special plane projective curves we construct families of curves in weighted projective planes with special properties. We explain how to compute the fundamental groups of their complements, using the blow-up-down decompositions of the Cremona transformations, we find examples of Zariski pairs in weighted projective planes (distinguished by the Alexander polynomial). As another application of this machinery we study …
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 consi…
In a previous work, the third named author found a combinatorics of line arrangements whose realizations live in the cyclotomic group of the fifth roots of unity and such that their non-complex-conjugate embedding are not topologically equivalent in the sense that they are not embedded in the same way in the complex projective plane. That work does not imply that the complements of the arrangements are not homeomorphic. In this work we prove that the fundamental groups of the complements are not isomorphic. It provides the first example of a pair of Galois-conjugate plane curves such that the …
We determine the possible even sets of nodes on sextic surfaces in $\Pn 3$, showing in particular that their cardinalities are exactly the numbers in the set $\{24, 32, 40, 56 \}$. We also show that all the possible cases admit an explicit description. The methods that we use are an interplay of coding theory and projective geometry on one hand, of homological and computer algebra on the other. We give a detailed geometric construction for the new case of an even set of 56 nodes, but the ultimate verification of existence relies on computer calculations. The construction gives a maximal family…
We prove that for a connected, semisimple linear Lie group $G$ the spaces of generating pairs of elements or subgroups are well-behaved in a number of ways: the set of pairs of elements generating a dense subgroup is Zariski-open in the compact case, Euclidean-open in general, and always dense. Similarly, for sufficiently generic circle subgroups $H_i$, $i=1,2$ of $G$, the space of conjugates of $H_i$ that generate a dense subgroup is always Zariski-open and dense. Similar statements hold for pairs of Lie subalgebras of the Lie algebra $Lie(G)$.
A central question in the study of line arrangements in the complex projective plane $\mathbb{CP}^2$ is: when does the combinatorial data of the arrangement determine its topological properties? In the present work, we introduce a topological invariant of complexified real line arrangements, the chamber weight. This invariant is based on the weight counting over the points of the arrangement dual configuration, located in particular chambers of the real projective plane $\mathbb{RP}^2$, dealing only with geometrical properties. Using this dual point of view, we construct several examples of co…
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.
University of Washington(华盛顿大学);Universität Leipzig(莱比锡大学)
A fundamental question in computer vision is whether a set of point pairs is the image of a scene that lies in front of two cameras. Such a scene and the cameras together are known as a chiral reconstruction of the point pairs. In this paper we provide a complete classification of k point pairs for which a chiral reconstruction exists. The existence of chiral reconstructions is equivalent to the non-emptiness of certain semialgebraic sets. For up to three point pairs, we prove that a chiral reconstruction always exists while the set of five or more point pairs that do not have a chiral reconst…