In this paper we prove certain Hurwitz equivalence properties in the braid group. Our main result is that every two factorizations of $Δ_n ^2$ where the elements of the factorization are semi-frame are Hurwitz equivalent. The results of this paper are generalization of the results in \cite{B4}. We use a new presentation of the braid group, called the Birman-Ko-Lee presentation, to define the semi-frame structure. The main result of this paper can be applied to compute the BMT invariant of surfaces. The BMT is the class of Hurwitz equivalent factorizations of the central element of the braid group. The BMT distinguish among diffeomorphic surfaces which are not deformation of each other.
We discuss the equivalence between the categories of certain ribbon graphs and subgroups of the modular group $Γ$ and use it to construct exponentially large families of not Hurwitz equivalent simple braid monodromy factorizations of the same element. As an application, we also obtain exponentially large families of {\it topologically} distinct algebraic objects such as extremal elliptic surfaces, real trigonal curves, and real elliptic surfaces.
We investigate the Hurwitz action of the braid group Br_n on the n-fold Cartesian product of Br_3 and determine some stabilisers of its Artin systems. Our algebraic result is complemented by a geometric study of families of plane polynomial coverings of degree 3. Together they lead to characterisations of the set of 'paths realised by degenerations' of the polynomials as defined by Donaldson in 'Polynomials, vanishing cycles and Floer homology'.
Motivated by the problem of Hurwitz equivalence of $Δ^2$ factorization in the braid group, we address the problem of Hurwitz equivalence in the symmetric group, obtained by projecting the $Δ^2$ factorizations into $S_n$. We get $1_{S_n}$ factorizations with transposition factors. Looking at the transpositions as the edges in a graph, we show that two factorizations are Hurwitz equivalent if and only if their graphs have the same weighted connected components. The main result of this paper will help us to compute the "Braid Monodromy Type" invariant. The graph structure gives a weaker but very …
In this paper we prove certain Hurwitz equivalence properties in $B_n$. Our main result is that every two Artin's factorizations of $Δ_n ^2$ of the form $H_{i_1} ... H_{i_{n(n-1)}}, \quad F_{j_1} ... F_{j_{n(n-1)}}$ (with $i_k, j_k \in \{1,...,n-1 \}$), where $\{H_1,...,H_{n-1} \}, \{F_1,...,F_{n-1} \}$ are frames, are Hurwitz equivalent. This theorem is a generalization of the theorem we have proved in \cite{Tz}, using an algebraic approach unlike the proof in \cite{Tz} which is geometric. The application of the result is applied to the classification of algebraic surfaces up to deformation. …
In this paper we prove certain Hurwitz equivalence properties of $B_n$. In particular we prove that for $n=3$ every two Artin's factorizations of $Δ_3 ^2$ of the form $H_{i_1} ... H_{i_6}, \quad F_{j_1} ... F_{j_6}$ (with $i_k, j_k \in \{1,2 \}$) where $\{H_1, H_2 \}, \{F_1, F_2 \}$ are frames, are Hurwitz equivalent. The proof provided here is geometric, based on a newly defined frame type. The results will be applied to the classification of algebraic surfaces up to deformation. It is already known that there exist surfaces that are diffeomorphic to each other but are not deformations of eac…
We introduce a natural structure of a semigroup (isomorphic to a factorization semigroup of the unity in the symmetric group) on the set of irreducible components of Hurwitz space of marked degree $d$ coverings of $\mathbb P^1$ of fixed ramification types. It is proved that this semigroup is finitely presented. The problem when collections of ramification types define uniquely the corresponding irreducible components of the Hurwitz space is investigated. In particular, the set of irreducible components of the Hurwitz space of three-sheeted coverings of the projective line is completely describ…
This article is a continuation of the article with the same title (see arXiv:1003.2953v1). Let {\rm $\text{HUR}_{d,t}^{G}(\mathbb P^1)$} be the Hurwitz space of degree $d$ coverings of the projective line $\mathbb P^1$ with Galois group $\mathcal S_d$ and having fixed monodromy type $t$ consisting of a collection of local monodromy types (that is, a collection of conjugacy classes of permutations $σ$ of the symmetric group $\mathcal S_d$ acting on the set $I_d=\{1,...,d\}$). We prove that if the type $t$ contains big enough number of local monodromies belonging to the conjugacy class $C$ of an…
Given any matrix B in SL(2,Z), we will describe an algorithm that provides at least one elliptic fibration over the disk, relatively minimal and Lefschetz, within each topological equivalence class, whose total monodromy is the conjugacy class of B.
Graber, Harris and Starr proved, when n >= 2d, the irreducibility of the Hurwitz space H^0_{d,n}(Y) which parametrizes degree d coverings of a smooth, projective curve Y of positive genus, simply branched in n points, with full monodromy group S_d (math.AG/0205056). We sharpen this result and prove that H^0_{d,n}(Y) is irreducible if n >= max{2,2d-4} and in the case of elliptic Y if n >= max{2,2d-6}. We extend the result to coverings simply branched in all but one point of the discriminant. Fixing the ramification multiplicities over the special point we prove that the corresponding Hurwitz sp…
In this paper, we prove that the Hurwitz equivalence problem for 1-factorizations in $F_2 \oplus F_2$ is undecidable, and as a consequence, the Hurwitz equivalence problem for $Δ^2$-factorizations in the braid groups $B_n, n\geq 5$ is also undecidable.
We investigate the local contribution of the braid monodromy factorization in the context of the links obtained by the closure of these braids. We consider plane curves which are arrangements of lines and conics as well as some algebraic surfaces, where some of the former occur as local configurations in degenerated and regenerated surfaces in the latter. In particular we focus on degenerations which involve intersection points of multiplicity two and three. We demonstrate when the same links arise even when the local arrangements are different.
We show that if a tuple of Euclidean reflections has a finite orbit under the Hurwitz action of the Artin braid group, then the group generated by these reflections is finite. Humphries has published a similar statement but his proof is irremediably flawed. At the same time as correcting his proof, our proof is much simpler that Dubrovin and Mazocco's proof for triples of reflections.
We establish strong factorization for pairs of smooth fans which are refined by the braid arrangement fan. Our method uses a correspondence between cones and preposets.
In this manuscript we prove that if two cuspidal plane curves have equivalent braid monodromy factorizations, then they are smoothly isotopic in the plane. As a consequence of this and the Chisini conjecture, we obtain that if two discriminant curves (or branch curves in other terminology) of generic projections (to the plane) of surfaces of general type imbedded in a projective space by means of a multiple canonical class have equivalent braid monodromy factorizations, then the surfaces are diffeomorphic (if we consider them as real 4-folds).
In this paper, we study factorizations of cycles. The main result is that under certain condition, the number of ways to factor a $d$-cycle into a product of cycles of prescribed lengths is $d^{r-2}.$ To prove our result, we first define a new class of combinatorial objects, multi-noded rooted trees, which generalize rooted trees. We find the cardinality of this new class which with proper parameters is exactly $d^{r-2}.$ The main part of this paper is the proof that there is a bijection from factorizations of a $d$-cycle to multi-noded rooted trees via factorization graphs. This implies the d…
A formula for factorizations of the full twist in the braid group $Br_{2m}$ depending on any four factorizations of the full twist in $Br_{m}$ is given. Applying this formula, a symplectic 4-manifold $X$ and two isotopic generic coverings $f_i :X\to \mathbb C\mathbb P^2$, branched, respectively, along cuspidal Hurwitz curves $\bar H_i\subset \mathbb C\mathbb P^2$ (without negative nodes) having different braid monodromy factorization types, are constructed. The class of the fundamental groups of the complements of the affine plane Hurwitz curves is described in terms of generators and defining…
We prove that there is an infinite sequence of pairs of plane cuspidal curves $C_{m,1}$ and $C_{m,2}$, such that the pairs $(\Bbb CP^2, C_{m,1})$ and $(\Bbb CP^2, C_{m,2})$ are diffeomorphic, but $C_{m,1}$ and $C_{m,2}$ have non-equivalent braid monodromy factorizations. These curves give rise to the negative solutions of "Dif=Def" and "Dif=Iso" problems for plane irreducible cuspidal curves. In our examples, $C_{m,1}$ and $C_{m,2}$ are complex conjugated.
We introduce and develop a language of semigroups over the braid groups for a study of braid monodromy factorizations (bmf's) of plane algebraic curves and other related objects. As an application we give a new proof of Orevkov's theorem on realization of a bmf over a disc by algebraic curves and show that the complexity of such a realization can not be bounded in terms of the types of the factors of the bmf. Besides, we prove that the type of a bmf is distinguishing Hurwitz curves with singularities of inseparable types up to $H$-isotopy and $J$-holomorphic cuspidal curves in $\C P^2$ up to s…
This paper is the second in a series. The first one describes pillow degenerations of a $K3$ surface with genus $g$. In this paper we study the $(2,2)$-pillow degeneration of a non-prime $K3$ surface and the braid monodromy of the branch curve of the surface with respect to a generic projection onto $\C¶^2$. In future papers we study the fundamental group of the complement of the branch curve and the fundamental group of the Galois cover of the surface with respect to this generic projection.
A necessary condition for uniqueness of factorizations of elements of a finite group $G$ with factors belonging to a union of some conjugacy classes of $G$ is given. This condition is sufficient if the number of factors belonging to each conjugacy class is big enough. The result is applied to the problem on the number of irreducible components of the Hurwitz space of degree $d$ marked coverings of $\mathbb P^1$ with given Galois group $G$ and fixed collection of local monodromies.
The braid monodromy factorization of the branch curve of a surface of general type is known to be an invariant that completely determines the diffeomorphism type of the surface. Calculating this factorization is of high technical complexity; computing the braid monodromy factorization of branch curves of surfaces uncovers new facts and invariants of the surfaces. Since finding the branch curve of a surface is very difficult, we degenerate the surface into a union of planes. Thus, we can find the braid monodromy of the branch curve of the degenerated surface, which is a union of lines. The rege…
We shed some light on the problem of determining the orbits of the braid group action on semiorthonormal bases of Mukai lattices as considered in \cite{GK04} and \cite{GO1}. We show that there is an algebraic (and in particular algorithmic) equivalence between this problem and the Hurwitz problem for integer matrix groups finitely generated by involutions. In particular we consider the case of $K_0(\mathbb P^n) \quad n \geq 4$ which was considered in \cite{GO1} and show that the only obstruction for showing the transitivity of the braid group action on its semiorthonormal bases is the determin…
Computation of the fundamental group of the complement in the complex plane of the branch curve S , of a generic projection of the Veronese surface to the plane is presented. This paper is a continuation of our previous papers: Braid Group Technique I - IV. In I and II we developed algorithms to compute braid monodromy of a brunch curve, provided there exist a degeneration of the surface to union of planes in a configuration where the associated branch curve is partial to a line arrangement dual to generic. In III we constructed a degeneration of the Veronese surface of order 3 to union of pla…
Bidouble covers $π: S \mapsto Q$ of the quadric Q are parametrized by connected families depending on four positive integers a,b,c,d. In the special case where b=d we call them abc-surfaces. Such a Galois covering $π$ admits a small perturbation yielding a general 4-tuple covering of Q with branch curve $\De$, and a natural Lefschetz fibration obtained from a small perturbation of the composition of $ π$ with the first projection. We prove a more general result implying that the braid monodromy factorization corresponding to $\De$ determines the three integers a,b,c in the case of abc-surfaces…
Given a projective surface and a generic projection to the plane, the braid monodromy factorization (and thus, the braid monodromy type) of the complement of its branch curve is one of the most important topological invariants, stable on deformations. From this factorization, one can compute the fundamental group of the complement of the branch curve, either in C^2 or in CP^2. In this article, we show that these groups, for the Hirzebruch surface F_{1,(a,b)}, are almost-solvable. That is - they are an extension of a solvable group, which strengthen the conjecture on degeneratable surfaces.
Given a singular surface X, one can extract information on it by investigating the fundamental group $π_1(X - Sing_X)$. However, calculation of this group is non-trivial, but it can be simplified if a certain invariant of the branch curve of X - called the braid monodromy factorization - is known. This paper shows, taking the Cayley cubic as an example, how this fundamental group can be computed by using braid monodromy techniques and their liftings. This is one of the first examples that uses these techniques to calculate this sort of fundamental group.
Although powers of the Young-Jucys-Murphya elements X_i = (1 i) + ... +(i-1 i), i = 1, ..., n, in the symmetric group S_n acting on {1, ...,n} do not lie in the centre of the group algebra of S_n, we show that transitive powers, namely the sum of the contributions from elements that act transitively on {1, >...,n}, are central. We determine the coefficients, which we call star factorization numbers, that occur in the resolution of transitive powers with respect to the class basis of the centre of S_n, and show that they have a polynomiality property. These centrality and polynomiality properti…
