Search

The purpose of this paper is to understand generic behavior of constraint functions in optimization problems relying on singularity theory of smooth mappings. To this end, we will focus on the subgroup $\mathcal{K}[G]$ of the Mather's group $\mathcal{K}$, whose action to constraint map-germs preserves the corresponding feasible set-germs (i.e.~the set consisting of points satisfying the constraints). We will classify map-germs with small stratum $\mathcal{K}[G]_e$-codimensions, and calculate the codimensions of the $\mathcal{K}[G]$-orbits of jets represented by germs in the classification lists and those of the complements of these orbits. Applying these results and a variant of the transversality theorem, we will show that families of constraint mappings whose germ at any point in the corresponding feasible set is $\mathcal{K}[G]$-equivalent to one of the normal forms in the classification list compose a residual set in the entire space of constraint mappings with at most $4$-parameters. These results enable us to quantify genericity of given constraint mappings, and thus evaluate to what extent known test suites are generic., Comment: 49 pages, no figures

In this paper, we classify relatively minimal genus-$1$ holomorphic Lefschetz pencils up to smooth isomorphism. We first show that such a pencil is isomorphic to either the pencil on $\mathbb{P}^1\times \mathbb{P}^1$ of bi-degree $(2,2)$ or a blow-up of the pencil on $\mathbb{P}^2$ of degree $3$, provided that no fiber of a pencil contains an embedded sphere. (Note that one can easily classify genus-$1$ Lefschetz pencils with an embedded sphere in a fiber.) We further determine the monodromy factorizations of these pencils and show that the isomorphism class of a blow-up of the pencil on $\mathbb{P}^2$ of degree $3$ does not depend on the choice of blown-up base points. We also show that the genus-$1$ Lefschetz pencils constructed by Korkmaz-Ozbagci (with nine base points) and Tanaka (with eight base points) are respectively isomorphic to the pencils on $\mathbb{P}^2$ and $\mathbb{P}^1\times \mathbb{P}^1$ above, in particular these are both holomorphic., Comment: 41 pages, many figures

A multiobjective optimization problem is simplicial if the Pareto set and front are homeomorphic to a simplex and, under the homeomorphisms, each face of the simplex corresponds to the Pareto set and front of a subproblem. In this paper, we show that strongly convex problems are simplicial under a mild assumption on the ranks of the differentials of the objective mappings. We further prove that one can make any strongly convex problem satisfy the assumption by a generic linear perturbation, provided that the dimension of the source is sufficiently larger than that of the target. We demonstrate that the location problems, a biological modeling, and the ridge regression can be reduced to multiobjective strongly convex problems via appropriate transformations preserving the Pareto ordering and the topology., Comment: 21 pages. Remarks 4.4 and 4.5 are added. A new application is given in section 5.3. Introduction is also revised accordingly

We study a symplectic surgery operation we call unchaining, which effectively reduces the second Betti number and the symplectic Kodaira dimension at the same time. Using unchaining, we give novel constructions of symplectic Calabi-Yau surfaces from complex surfaces of general type, as well as from rational and ruled surfaces via the natural inverse of this operation. Combining the unchaining surgery with others, which all correspond to certain monodromy substitutions for Lefschetz pencils, we provide further applications, such as a complete resolution of a conjecture of Stipsicz on the existence of exceptional sections in Lefschetz fibrations, new constructions of exotic symplectic 4-manifolds, and inequivalent pencils of the same genera and the same number of base points on families of symplectic 4-manifolds. Meanwhile, we give a handy criterion for determining from the monodromy of a pencil whether its total space is spin or not., Comment: 32 pages. Minor edits and corrections of typos

The purpose of this paper is to give a sufficient condition for (strong) stability of non-proper smooth functions (with respect to the Whitney $C^\infty$-topology). We show that a Morse function is stable if it is end-trivial at any point in its discriminant, where end-triviality (which is also called local triviality at infinity) is a property concerning behavior of functions around the ends of the source manifolds. We further show that a Morse function $f:N\to \mathbb{R}$ is strongly stable (i.e. there exists a continuous mapping $g\mapsto (\Phi_g,\phi_g)\in\operatorname{Diff}(N)\times \operatorname{Diff}(\mathbb{R})$ such that $\phi_g\circ g\circ \Phi_g =f$ for any $g$ close to $f$) if (and only if) $f$ is quasi-proper. This result yields existence of a strongly stable but not infinitesimally stable function. Applying our result on stability, we give a reasonable sufficient condition for stability of Nash functions, and show that any Nash function becomes stable after a generic linear perturbation., Comment: 29 pages, no figures. V2: details of the proof of the main theorem are added and typos are fixed

A simplified trisection is a trisection map on a 4-manifold such that, in its critical value set, there is no double point and cusps only appear in triples on innermost fold circles. We give a necessary and sufficient condition for a 3-tuple of systems of simple closed curves in a surface to be a diagram of a simplified trisection in terms of mapping class groups. As an application of this criterion, we show that trisections of spun 4-manifolds due to Meier are diffeomorphic (as trisections) to simplified ones. Baykur and Saeki recently gave an algorithmic construction of a simplified trisection from a directed broken Lefschetz fibration. We also give an algorithm to obtain a diagram of a simplified trisection derived from their construction., Comment: 18 pages, many figures in color

In this paper we discuss topological properties of holomorphic Lefschetz pencils on the four-torus. Relying on the theory of moduli spaces of polarized abelian surfaces, we first prove that, under some mild assumption, the (smooth) isomorphism class of a holomorphic Lefschetz pencil on the four-torus is uniquely determined by its genus and divisibility. We then explicitly give a system of vanishing cycles of the genus-3 holomorphic Lefschetz pencil on the four-torus due to Smith, and obtain those of holomorphic pencils with higher genera by taking finite unbranched coverings. One can also obtain the monodromy factorization associated with Smith's pencil in a combinatorial way. This construction allows us to generalize Smith's pencil to higher genera, which is a good source of pencils on the (topological) four-torus. As another application of the combinatorial construction, for any torus bundle over the torus with a section we construct a genus-3 Lefschetz pencil whose total space is homeomorphic to that of the given bundle., Comment: 44 pages, lots of figures

In this article, we characterize isomorphism classes of Lefschetz fibrations with multisections via their monodromy factorizations. We prove that two Lefschetz fibrations with multisections are isomorphic if and only if their monodromy factorizations in the relevant mapping class groups are related to each other by a finite collection of modifications, which extend the well-known Hurwitz equivalence. This in particular characterizes isomorphism classes of Lefschetz pencils. We then show that, from simple relations in the mapping class groups, one can derive new (and old) examples of Lefschetz fibrations which cannot be written as fiber sums of blown-up pencils., Comment: 25 pages, 16 figures, modifications requested by the anonymous referees

The purpose of this note is to explain a combinatorial description of closed smooth oriented 4-manifolds in terms of positive Dehn twist factorizations of surface mapping classes, and further explore these connections. This is obtained via monodromy representations of simplified broken Lefschetz fibrations on 4-manifolds, for which we provide an extension of Hurwitz moves that allows us to uniquely determine the isomorphism class of a broken Lefschetz fibration. We furthermore discuss broken Lefschetz fibrations whose monodromies are contained in special subgroups of the mapping class group; namely, the hyperelliptic mapping class group and in the Torelli group, respectively, and present various results on them which extend or contrast with those known to hold for honest Lefschetz fibrations. Lastly, we show that there are 4-manifolds admitting infinitely many pairwise nonisomorphic relatively minimal broken Lefschetz fibrations with isotopic regular fibers., Comment: 18 pages, 3 figures

We initiate a study of positive multisections of Lefschetz fibrations via positive factorizations in framed mapping class groups of surfaces. Using our methods, one can effectively capture various interesting symplectic surfaces in symplectic 4-manifolds as multisections, such as Seiberg-Witten basic classes and exceptional classes, or branched loci of compact Stein surfaces as branched coverings of the 4-ball. Various problems regarding the topology of symplectic 4-manifolds, such as the smooth classification of symplectic Calabi-Yau 4-manifolds, can be translated to combinatorial problems in this manner. After producing special monodromy factorizations of Lefschetz pencils on symplectic Calabi-Yau K3 and Enriques surfaces, and introducing monodromy substitutions tailored for generating multisections, we obtain several novel applications, allowing us to construct: new counter-examples to Stipsicz's conjecture on fiber sum indecomposable Lefschetz fibrations, non-isomorphic Lefschetz pencils of the same genera on the same new symplectic 4-manifolds, the very first examples of exotic Lefschetz pencils, and new exotic embeddings of surfaces., Comment: 49 pages, lots of figures. This extends (with various applications) and replaces the earlier version

Applying logarithmic transformations along 2-tori, we construct a generalized complex structure J_n with n type changing luci for every $n\geq 0$ on genus 1-Lefschetz fibrations with a cusp neighborhood, which include elliptic surfaces with non-zero euler characteristic. Applying a technique of broken Lefschetz fibrations, we further obtain twisted generalized complex structures with arbitrary large numbers of connected components of type changing loci on the manifold which is obtained from a symplectic manifold by logarithmic transformations of multiplicity 0 on a symplectic 2-torus with trivial normal bundle. The connected sums $(2m+1)S^2\times S^2$ for $m\geq 0$, $(2n-1)\C P^2# (10n-1)\ol{\C P^2}$ and $S^1\times S^3$ admit twisted generalized complex structures J_n with n type changing luci for arbitrary large n., Comment: 12 pages, 2 figures. Revised version including further examples as an application

Several new combinatorial descriptions of closed 4-manifolds have recently been introduced in the study of smooth maps from 4-manifolds to surfaces. These descriptions consist of simple closed curves in a closed, orientable surface and these curves appear as so called vanishing sets of corresponding maps. In the present paper we focus on homotopies canceling pairs of cusps so called cusp merges. We first discuss the classification problem of such homotopies, showing that there is a one-to-one correspondence between the set of homotopy classes of cusp merges canceling a given pair of cusps and the set of homotopy classes of suitably decorated curves between the cusps. Using our classification, we further give a complete description of the behavior of vanishing sets under cusp merges in terms of mapping class groups of surfaces. As an application, we discuss the uniqueness of surface diagrams, which are combinatorial descriptions of 4-manifolds due to Williams, and give new examples of surface diagrams related with Lefschetz fibrations and Heegaard diagrams., Comment: This submission replaces the previous version entitled "Vanishing Cycles and Homotopies of Wrinkled Fibrations". The article has been completely rewritten to incorporate new and improved techniques, leading to a strengthening of the main results and a clearer exposition. (49 pages, 15 figures)

An R_2-move is a homotopy of wrinkled fibrations which deforms images of indefinite fold singularities like Reidemeister move of type II. Variants of this move are contained in several important deformations of wrinkled fibrations, flip and slip for example. In this paper, we first investigate how monodromies are changed by this move. For a given fibration and its vanishing cycles, we then give an algorithm to obtain vanishing cycles in one reference fiber of a fibration, which is obtained by applying flip and slip to the original fibration, in terms of mapping class groups. As an application of this algorithm, we give several examples of diagrams which were introduced by Williams to describe smooth 4-manifolds by simple closed curves of closed surfaces., Comment: 34 pages, 15 figures

A hyperelliptic broken Lefschetz fibration is a generalization of a hyperelliptic Lefschetz fibration. We construct and compute a local signature of hyperelliptic directed broken Lefschetz fibrations by generalizing Endo's local signature of hyperelliptic Lefschetz fibrations. It is described by his local signature and a rational-valued homomorphism on the subgroup of the hyperelliptic mapping class group which preserves a simple closed curve setwise., Comment: 18 pages, 7 figures

We introduce hyperelliptic simplified (more generally, directed) broken Lefschetz fibrations, which is a generalization of hyperelliptic Lefschetz fibrations. We construct involutions on the total spaces of such fibrations of genus $g\geq 3$ and extend these involutions to the four-manifolds obtained by blowing up the total spaces. The extended involutions induce double branched coverings over blown up sphere bundles over the sphere. We also show that the regular fiber of such a fibration of genus $g\geq 3$ represents a non-trivial rational homology class of the total space., Comment: 36 pages, 28 figures

We show that there exists a non-trivial simplified broken Lefschetz fibration which has infinitely many homotopy classes of sections. We also construct a non-trivial simplified broken Lefschetz fibration which has a section with non-negative square. It is known that no Lefschetz fibration satisfies either of the above conditions. Smith proved that every Lefschetz fibration has only finitely many homotopy classes of sections, and Smith and Stipsicz independently proved that a Lefschetz fibration is trivial if it has a section with non-negative square. So our results indicate that there are no generalizations of the above results to broken Lefschetz fibrations. We also give a necessary and sufficient condition for the total space of a simplified broken Lefschetz fibration with a section admitting a spin structure, which is a generalization of Stipsicz's result on Lefschetz fibrations., Comment: 15 pages, 10 figures. We correct the proofs of Theorem 1.2 and Theorem 1.4 and the argument in Example 5.4. We also modify minor errors

Auroux, Donaldson and Katzarkov introduced broken Lefschetz fibrations as a generalization of Lefshcetz fibrations in order to describe near-symplectic 4-manifolds. We first study monodromy representations of higher sides of genus-1 simplified broken Lefschetz fibrations. We then completely classify diffeomorphism types of such fibrations with connected fibers and with less than six Lefschetz singularities. In these studies, we obtain several families of genus-1 simplified broken Lefschetz fibrations, which we conjecture contain all such fibrations, and determine the diffeomorphism types of the total spaces of these fibrations. Our results are generalizations of Kas' classification theorem of genus-1 Lefschetz fibrations, which states that the total space of a non-trivial genus-1 Lefschetz fibration over $S^2$ is diffeomorphic to an elliptic surface E(n), for some $n\geq 1$., Comment: 48 pages, 32 figures. The proof of a lemma in section 4 is revised and one figure is added in the proof. We also add the remark about Pao's manifolds