1:
2:
3: \input amstex
4: \input epsf
5: \input amsppt.sty
6: %&AMS-TeX
7: \NoBlackBoxes
8: \magnification=1200
9: \magnification=1200 \vsize=7.50in\parindent 20 pt
10: \NoBlackBoxes
11: \nopagenumbers
12: \define\osr{\overset
13: \sim\to\rightarrow} \define\ora{\overset\rtimes\to\alpha} \define
14: \a{\alpha} \define \be{\beta} \define \Dl{\Delta} \define \dl{\delta}
15: \define \g{\gamma} \define \G{\Gamma} \define \lm{\lambda} \define
16: \k{\kappa} \define \Om{\Omega} \define \om{\omega} \define \r{\rho} \define
17: \s{\sigma} \define \th{\theta} \define \ve{\varepsilon} \define
18: \vp{\varphi} \define \vt{\vartheta} \define \z{\zeta}
19:
20: \define \btd{\bigtriangledown} \define \cd{\cdot} \define \df{\dsize\frac}
21: \define \er{\endref} \define \ex{\exists} \define \fa{\forall} \define
22: \fc{\frac} \define \iy{\infty} \define \la{\langle} \define \ra{\rangle}
23: \define \p{\partial} \define \sm{\setminus} \define \sq{\sqrt} \define
24: \tm{\times}
25:
26: \define \do{\dots} \define \ddo{\ddots} \define \hdo{\hdots} \define
27: \vdo{\vdots}
28:
29: \define \ri{\rightarrow} \define \Ri{\Rightarrow} \define \li{\leftarrow}
30: \define \Li{\Leftarrow} \define \lr{\leftrightarrow} \define
31: \Lr{\Leftrightarrow}
32:
33: \define \mx{\matrix} \define \emx{\endmatrix} \define \bmx{\bmatrix}
34: \define \ebm{\endbmatrix} \define \vmx{\vmatrix} \define \evm{\endvmatrix}
35: \define \pmx{\pmatrix} \define \epmx{\endpmatrix} \define \ca{\cases}
36: \define \eca{\endcases}
37:
38: \define \sbt{\subset} \define \spt{\supset} \define \sbq{\subseteq} \define
39: \spq{\supseteq}
40:
41: \define \ub{\underbar} \define \un{\underline} \define \ov{\overline}
42:
43: \define \edm{\enddemo} \define \ep{\endproclaim}
44:
45: \define \sk{\smallskip} \define \mk{\medskip} \define \bk{\bigskip}
46:
47: \define \1{^{-1}} \define \2{^{-2}}
48:
49: \define \hg{\hat{g}} \define\hb{\hat{\beta}} \define\ha{\hat{\alpha}}
50: \define \hL{\hat{L}} \define \hP{\hat{P}} \define \hT{\hat{T}} \define
51: \hX{\hat{X}} \define \hG{\hat{\Gamma}}
52:
53: \define \CP{\Bbb C\Bbb P} \define \CPo{\Bbb C\Bbb P^1} \define \CPt{\Bbb
54: C\Bbb P^2} \define \BC{\Bbb C} \define \BD{\Bbb D} \define \BF{\Bbb F}
55: \define \BG{\Bbb G} \define \BN{\Bbb N} \define \BP{\Bbb P} \define
56: \BR{\Bbb R} \define \BZ{\Bbb Z}
57:
58: \define \tth{\tilde{\theta}} \define \ta{\tilde{\alpha}} \define
59: \tta{\tilde{\tau}} \define \tbe{\tilde{\beta}} \define \tB{\tilde{B}}
60: \define \tE{\tilde{E}} \define \tG{\tilde{\Gamma}} \define \tT{\tilde{T}}
61: \define \tX{\tilde{X}} \define \tY{\tilde{Y}} \define \tP{\tilde{P}}
62: \define \tv{\tilde{v}} \define \tZ{\tilde{Z}} \define \tz{\tilde{z}}
63:
64: \define \BCA{\BCal A} \define \BCB{\BCal B} \define \BCd{\BCal D} \define
65: \BCE{\BCal E} \define \BCG{\BCal G} \define \BCL{\BCal L} \define
66: \BCp{\BCal P} \define \BCU{\BCal U} \define \BCY{\BCal Y}
67:
68: \define \ga{\goth A} \define \gd{\goth D} \define \gl{\goth L} \define
69: \gu{\goth U} \define \gw{\goth W} \define \gy{\goth Y}
70:
71: \define \fy{\frak Y} \define \fw{\frak W} \define \fu{\frak U}
72:
73: \define \el{\gal L} \define \Akl{A_{k\ell}} \define \Alk{A_{\ell k}}
74: \define \Aff{\operatorname{Aff}} \define \Gal{\operatorname{Gal}} \define
75: \grad{\operatorname{grad}} \define \BCen{\operatorname{Center}} \define
76: \loc{\operatorname{loc}} \define \IG{\text{Ind}^G_U \ \psi} \define
77: \usr{\underset\sim\to\rightarrow} \define \BCtilde{\underset\sim\to C}
78: \define \Ss{S^{(6)}} \define \Xab{X_{ab}} \define \cZ{\check Z} \define
79: \cP{\check P} \define \cE{\check E} \define \Si{\Sigma} \define\tH{\tilde
80: H}
81:
82: \define \IGp{\text{Ind}^G_D \ \Pi} \define \Int{\operatorname{Int}}
83: \define\Center{\operatorname{Center}}
84:
85:
86: \baselineskip 20pt
87:
88: \def\opn{\operatorname}
89: \parindent 20 pt
90: \NoBlackBoxes
91:
92: \define\C{\Bbb C}
93: \define\de{\partial}
94: \define\CO{{\Cal O}(X)}
95:
96: %\nopagenumbers
97:
98: \topmatter
99:
100: \title BMT Invariants of Surfaces and 4-Manifolds\endtitle
101: \author Mina Teicher\endauthor
102: \address Department of Mathematics and Computer Science, Bar-Ilan
103: University, 52900 Ramat-Gan, Israel\endaddress
104: \email teicher\@macs.biu.ac.il\endemail
105: \thanks This research is partially supported by the Emmy Noether Research
106: Institute for
107: Mathematics and by grant no. 8007199 of the Excellency Center for
108: Group-Theoretic
109: Methods in Algebraic Varieties of the Israel National Academy of
110: Sciences and by EAGER, the European Network in Algebraic
111: Geometry Education and Research.\endthanks
112: \endtopmatter
113:
114: \document
115: \baselineskip 20pt
116: \subheading{Introduction}
117:
118: In this paper we present the Braid Monodromy Type (BMT) of curves and
119: surfaces; past, present and future. The BMT is an invariant that can
120: distinguish between non-isotopic curves; between different families
121: of surfaces of
122: general type; between connected components of moduli space of
123: surfaces and between non symplectmorphic
124: 4-manifolds.
125: BMT is a finer invariant than the Sieberg-Witten invariants. Consider $X_1$,\ $X_2$ surfaces of general type with the same $c_1^2,c_2$\
126: $(\pi_1=1).$
127: It is known that
128: $$\alignat2& &&X_1\ \text{is a deformation of}\ X_2\\
129: &\Rightarrow &&X_1\ \text{is diffeomorphic}\ X_2\\
130: &\Rightarrow &&X_1\ \text{is homeomorphic to}\ X_2\\
131: & \Rightarrow &&X_1\ \text{is homotopic to}\ X_2\endalignat$$
132:
133: What about the reverse directions?
134: Are there invariants distinguishing between these equivalence classes?
135: The new invariant, proposed here, is located between the first and the second
136: arrow. In this paper we shall introduce the new invariant, state the current
137: results and pose an
138: open question.
139:
140: We start by defining in Section 1 the Braid Monodromy Type (BMT) of a curve.
141: If $S$ is a curve of degree $m=\deg S,$
142: and $\rho: \pi_1(\Bbb C-N)\to B_m[\BC_u,\BC_u\cap S]=B_m$ is the braid
143: monodromy (BM) (see Section 1) of $S,$
144: then
145: it is known (see for example \cite{MoTe3}) that if $\{\dl_i\}$ is a $g$-base of
146: $\pi_1(\BC-N),$\ $\Dl^2$ is the generator of $\Center(B_m)$, then (Artin):
147: $\Dl^2=\Pi\rho(\dl_i).$ Such a factorization is called a braid monodromy
148: factorization of $\Dl^2$ related to $S.$
149: We define a (Hurwitz) equivalence relation on (positive) factorizations of
150: $\Dl^2.$
151: We prove (see, \cite{MoTe3}) that all factorizations of $\Dl^2$ induced
152: from a curve $S$ are
153: equivalent and occupy a full equivalence class.
154:
155: A BMT of a curve is the equivalence class of factorizations.
156: Together with V.~Kulikov we proved in 1998 that a BMT of $S$ determines
157: isotopy type of $S.$
158: We want to use the BMT of the branch curve of a surface as an invariant of the surface.
159: First, we have to answer the following question:\ Are surfaces determined
160: by their branch
161: curves?
162: $$\alignat5
163: &(\ X && , \quad f\ )\quad&&\qquad \ \binom{?}{\Leftrightarrow}\quad
164: &&\qquad\quad S\\ &\quad \downarrow &&\quad\downarrow\quad&&\qquad\quad
165: \downarrow\quad&&\qquad \quad\downarrow\\
166: &\text{surface}&&\quad\text{generic projection to}\
167: \BC\BP^2\quad &&\text{Chisini-Kulikov 97}&&\quad\text{branch
168: curve}\endalignat$$
169:
170:
171: This question was known as the Chisini Conjecture and was proved by
172: V.~Kulikov in 1997 (for
173: $\deg S\gg0) $ (see \cite{Ku2}).
174: The BMT of branch curves is indeed an invariant of surfaces.
175: Moreover, this invariant is very powerful.
176:
177: \medskip
178:
179: The paper is divided as follows:
180:
181: {\S1. Braid Monodromy Type (BMT) of Curves}
182:
183: \S2. Braid Monodromy Type (BMT) of Surfaces
184:
185: \S3. How to Compute the Braid Monodromy Type (BMT) of a Surface
186:
187:
188: {\S4. Future plans}
189:
190: \bk
191:
192: \subheading{\S1. Braid Monodromy Type (BMT) of Curves}
193:
194: We shall start by defining the braid monodromy.
195: We shall derive a discrete invariant of $S$ from the braid monodromy of $S$
196: and its
197: factorization.
198:
199:
200: \definition{Definition} {\it The Braid Monodromy}
201:
202: Let $S$ be a curve, $S\subseteq \BC^2,$
203: \ $\Pi(x,y)=x,$\ $\Pi$ is the projection on the $x$-axis,
204: \
205: $(\deg\Pi=m),$\ $\Pi$ rstricted on $S.$
206: Let $N=\{x\in\BC^1\bigm| \#\Pi\1(x)\lneqq m\}.$
207: Take $u\notin N,$ s.t. $x\ll u,\ \forall\ x\in N$ and $\#\BC_u^1\cap S=m.$
208:
209: {\it The braid monodromy with respect to} $S,\Pi,u.$ is a naturally
210: defined homomorphism:
211: $$\pi_1(\BC^1-N,u)\overset\vp\to\ri B_m[\BC_u^1,\BC_u^1\cap S]$$
212: \enddefinition
213:
214: \remark{Remark} The classical monodromy of the cover $S\rightarrow (x$-axis factors
215: through the braid monodromy
216: $$\alignat 3
217: &\pi_1\quad && \overset\vp\to\ri &&\quad B_m\\
218: & \quad&&\searrow &&\quad \downarrow\\
219: & && &&\quad S_m\endalignat$$\endremark
220:
221:
222:
223:
224: We recall Artin's theorem concerning a presentation of
225: the generator of center of the braid group (which is known also as the Dehn-twist of the braid group )
226: as a product of braids which are the images of the elements of a geometric base under the braid monodromy.
227:
228: \proclaim{Theorem} \rom{(Artin)}
229:
230: $\vp$ is a braid monodromy of $S,$\ $\vp:\pi_1\to B_m.$ Let $\{\dl_i\}$ be
231: a geometric
232: (free) base ($g$-base) of
233: $\pi_1.$ (see figure 1).
234: $\Dl^2$ is the generator of $\Center(B_m).$
235: Then:
236: $$\Dl^2=\Pi \vp(\dl_i)$$.\ep
237:
238: \centerline{
239: \epsfysize=4cm
240: \epsfbox{page14.ps}
241: }
242:
243: \medskip
244:
245: Following the theorem, we define
246: \definition{Definition} {\it Braid monodromy factorization (BMF) related to
247: a curve $S$ and a geometric-base
248: $\{\dl_i\}$}
249:
250: A presentation of $\Dl^2$ as a product of the form $\Dl^2=\Pi\rho(\dl_i)$ for
251: $\dl_i$ a $g$-base.\enddefinition
252:
253: Clearly, there are many BMF related to a curve; each geometric base will induce another BMF of the curve.
254: In fact, a BMF is a special case of positive factorization of $\Dl^2:$
255:
256:
257: \definition{Definition} {\it Positive factorization (PF) of $\Dl^2$}
258:
259: A presentation of $\Dl^2$ as a product of (by a positive braid we mean all braids that can be presnted as conjugation of
260: frame elements).\enddefinition
261:
262: For example, $\Dl_3^2=X_1X_2X_1X_2X_1X_2$ is a PF. Artin proved that a BMF
263: is a PF (clearly,
264: he used different terminology). In
265: order to discuss an equivalent relation on BMF as we do next , we first have to consider the set of PF's in general .
266: Later it will be clear that the equivalent relation we define on the PF's is closed on BMF's.
267: We shall define an equivalence relation on PF's using Hurwitz moves.
268:
269: \definition{Definition} {\it Hurwitz move (HM)}
270:
271: $a_i,b_i\in G$ is a group. \ $(a_1,\dots,a_n)$ is obtained from
272: $(b_1,\dots,b_n)$ by an HM
273: if $\exists k$ s.t. $$\gather a_i=b_i,\ i\ne k,k+1\\
274: a_k=b_kb_{k+1}b_k\1\\
275: a_{k+1}=b_k\endgather$$\enddefinition
276:
277: \definition{Definition} {\it Equivalent PF's}
278:
279: $\Dl^2=\Pi a_i$ is equivalent to $\Dl^2=\Pi b_i$ if $(a_1,\dots,a_n)$ is
280: obtained from
281: $(b_1,\dots,b_n)$ by a finite number of HM's.\enddefinition
282:
283: \proclaim{Theorem} (\cite{Mote3})
284: \roster\item"(a)" Two BMF's related to $S$ (for different $g$=bases
285: $\{\dl_i\}$) are equivalent.
286: \item"(b)" If a PF is equivalent to a BMF, then the PF is also a BMF (with
287: another
288: $\{\dl_i\}$ and the same $S).$\endroster\ep
289:
290: \proclaim{Corollary} The set of BMF's related to a curve $S$ and different
291: $g$-bases
292: (different $\{\dl_i\}$'s) occupy a full \rom{equivalence class} of PF's.\ep
293:
294: \remark{Remark} By the previous corollary, if there exist two BMF's related
295: to $S$ which
296: are equivalent, then any two BMF's are equivalent.\endremark
297:
298: Using the above theorem, we define
299: \definition{Definition} {\it Braid monodromy type of curves (BMT)}
300:
301: Two curves $S_1$ and $S_2$ are of the same BMT if they have related BMF's
302: that are
303: equivalent.\enddefinition
304:
305:
306:
307: \medskip
308: It can be deducted from
309: Moishezon work (1992)
310: on the counterexample to Chisini theoreme that for any BMT
311: with algebraic factors there is a semi-algebraic curve having this BMT.
312: This does not determins uniqueness, which was donein 1998.
313:
314: In 1998, we proved that given 2 semi-algebraic curves $S_2$ and $S_1$ ,
315: if $S_1\overset{\text{BMT}}\to\cong S_2$ then $S_1$ is isotopic to $S_2$. We
316: proved:
317:
318:
319: \proclaim{Theorem 1} \rom{(Kulikov, Teicher)\ (AG9905149)}
320:
321: If $S_1$ and $S_2$ are two semi-algebraic cuspidal curves
322: which have the same BMT, then
323: there is a symplectic isotopy $ F_t: CP^2\to CP^2$ s.t.
324: (1) $F_t(S_1)$ is a Hurwitz curve for all $t$;
325: (2) $F_1(S_1)=S_2.$ .\ep
326:
327: \bk
328:
329: \subheading{\S2. Braid Monodromy Type (BMT) of Surfaces}
330:
331: We shall derive an invariant of a surface $X$ from the braid monodromy of
332: its branch curve
333: $S$ related to a generic projection $X\to\BC\BP^2$\ $(S\subseteq
334: \BC\BP^2)$.
335:
336:
337: \medskip
338:
339:
340:
341: \definition{Definition} {\it Braid monodromy type of surfaces (BMT)}
342:
343: The BMT of a surface of general type is the BMT of the branch curves of a
344: generic projection of the surface imbedded in a projective space by means
345: of the
346: multiple canonical class.\enddefinition
347:
348: This definition can be extended to any 4-manifold for which one can
349: construct a ``good''
350: generic projection to $\BC\BP^2$ (see, for example, a construction of a
351: projection of a
352: symplectic 4-manifold in Aroux
353: \cite{A}).
354:
355: \newpage
356:
357: We proved in 1998:
358: \proclaim{Theorem 2} \rom{(Kulikov, Teicher) \ (AG9807153) (AG9905129)}
359:
360: The Braid Monodromy Type (BMT) of a projective surface $X$, which
361: is a generic covering
362: s.t. Chisini's conjecture holds for its branch curve, determines
363: the diffeomorphism type
364: of
365: $X.$\ep
366:
367:
368: This theorem is determining the position of the BMT invariant of surfaces relative the
369: known invariants and might give the final invariant that
370: will determine the Diff-Def question: How
371: to distinguish among diffeormophic surfaces which are not deformation of each other?
372:
373: It remains an open question whether the inverse is correct or whether the
374: Braid Monodromy Type
375: (BMT) of
376: $S$ determines the deformation type of $X.$
377: Clearly,
378: the BMT of a surface determines the fundamental group (f.g.) of the
379: complement of the branch
380: curve.
381: In the following diagram we illustrate the relations between different
382: invariants of
383: surfaces.
384: $$\alignat 4
385: & &&\binom{?}{\Leftarrow}&& && \binom{?}{\Leftarrow} \quad\ \
386: \not\Leftarrow\\
387: &\text{Def} && \ \Rightarrow \ &&\text{BMT}\ &&
388: \ \Rightarrow \ \text{Diff}\
389: \Rightarrow\ \text{Hom}\\
390: & && &&\ \Downarrow \\
391: & && && \ \text{f.g.}\endalignat$$
392:
393: The proof of Theorem 2 uses Theorem 1 and the Chisini Conjecture from 1950
394: (= Kulikov Theorem
395: 1998). If we have two surfaces and two generic projections and 2 branch curves
396: $$\alignat 2
397: & && X_i\\
398: & && \downarrow\\
399: &S_i\subset\ && \BC\BP^2\endalignat$$
400: (with $\deg S_i>e$), then Kulikov proved that $S_1\cong S_2\Rightarrow
401: X_1\cong X_2.$
402: Kulikov also proved, (see \cite{Ku1}), that
403: $$\align\left\{\aligned \qquad X\ \\
404: \downarrow\ \\
405: S\subset \BC\BP^2\endaligned\right\}
406: \overset{1-1}\to\cong\{\Pi_1(S^c)\twoheadrightarrow\text{symmetric
407: group}\},\qquad\qquad\qquad
408: \endalign$$
409: and we use this, too.
410: \bk
411: \subheading{\S3. How to Compute the BMT of a Surface}
412:
413: To compute the BMF and the BMT of branch curves, we use degenerations of
414: the surfaces to
415: union of planes.
416:
417: Let $X$ be a surface of general type. We degenerate it into $X_0.$
418: $$\alignat 3
419: & &&X\ \rightsquigarrow\ && X_0= \text{union of planes}\\
420: & &&\downarrow &&\downarrow\\
421: &S\subset\ &&\BC\BP^2 && \BC\BP^2\supset S_0,\qquad S_0\ \text{is union of
422: lines}\endalignat$$
423:
424: It is difficult to derive $S$ from $S_0$ (we know that $\deg S=2\deg S_0$).
425: Instead,
426: we derive the BMF of $S$ from the BMF of $S_0.$
427: This is called the {\it Regeneration Process}.
428: It is described in detail in \cite{MoTe4}, \cite{RoTe}, \cite{AmTe}.
429:
430:
431: The regeneration process of BMF is divided into 4 main steps as follows:
432:
433: \roster\item"$\bullet$" {\it Computing the braid monodromy of line
434: arrangements}
435: (\cite{MoTe3})
436: \item"$\bullet$" {\it Microscopic techniques}\newline Regeneration of
437: arrangements with one
438: singular point (when 2 lines or 3 lines or 4 lines (etc.) intersect at one
439: point. The
440: computation for $n$ lines meeting at one point is based on the computation
441: of the
442: regeneration of
443: $n-1$ lines which is based on the previous one.
444: \item"$\bullet$ $\bullet$ $\bullet$" {\it Global arguments} By comparing the sum of the degrees of the all factors
445: arrising
446: from the degeneration process to the known degree of the generator of the center
447: (which is n(n-1)) in order to determine how many missing factors we oughtt o look for and of what degrees.
448: \item"$\bullet$ $\bullet$" {\it Counting extra branch points}\newline
449: Looking for branch points close to infinity.
450: (singularities not arising from a regeneration of a singular point). \endroster
451: \bk
452: \roster\item"$\bullet$" The {\it microscopic techniques} for branch curves
453: include 3 basic
454: regeneration rules:\newline
455: I.\quad Regeneration of a branch point (one branch point is replaced by 2
456: branch\linebreak
457: {}\quad points).
458: \newline II.\ \ Regeneration of a node (one node is replaced by 4 nodes).
459: \newline
460: III. Regeneration of a tangent point (a tangency point is replaced
461: by\linebreak {}\quad 3
462: cusps).\endroster
463:
464: \bk\bk\bk
465:
466:
467: (See \cite{MoTe4}, \S3, Lemmas 3.1, 3.2 and 3.3.)
468:
469:
470:
471: \subheading{\S4. Future Plans}
472:
473: As par
474:
475: \roster\item Finding an algorithm that determines when two BMF's are Hurwitz
476: equivalent i.e., if one can be derived from the other by a finite number
477: of Hurwitz moves.
478: This work is being carried out in the framework of sub-projects
479: concerning:\ the word
480: problem in the braid group
481: and its complexity ,
482: Hurwitz equivalence of words made of frame elements
483: and computerized algorithms; Completing this project is complementary to:
484:
485: \item Looking for any easy computable discrete invariant
486: of BMT of
487: a curve which is easier to compute than the
488: fundamental group of the complement of the curve ;
489:
490:
491:
492: \item Finding an algorithm that determines if a certain PF is a BMF related
493: to a curve
494: and in particular to a branch curve;
495:
496: This is
497: essential in order
498: to derive all equivalence classes of BMT of branch curves which will result
499: in determining deformation classes of surfaces. The next 2 items deal with
500: surfaces and the last one with 4-manifolds.
501:
502: \item Finding degeneration techniques into union of planes of
503: different surfaces ;
504: This will allow us to compute
505: braid monodromy of branch curves via regeneration techniques as in
506: the next item:
507: \item Computing regeneration of an intersection of $n \ (\gg 1)$ lines;
508:
509: \item Adapting the BMF to symplectic 4-manifolds (after Aroux);
510: \item Computing related fundamental groups; Galois groups, groups of line
511: arrangemnts, complements of branch curves of triple covers .\endroster
512:
513:
514:
515:
516: \Refs\widestnumber\key{MoTe12}
517: \ref\key{Am-Te}\by M. Amram and M. Teicher\paper Braid monodromy of special
518: algebraic curves\toappear \jour Journal of Knot Theory and its
519: Ramifications\endref
520: \ref\key A\by Aroux\book Thesis\yr 1998\endref
521: \ref\key{B-YTe1}\by Y. Ben-Yitzhak and M. Teicher\paper Hurwitz equivalence
522: in
523: $B_3$ \paperinfo submitted\endref
524: \ref\key{B-YTe2}\by Y. Ben-Yitzhak and M. Teicher\paper Properties of Hurwitz
525: equivalence in the braid group of order $n$ \paperinfo submitted\endref
526: \ref\key{B-YTe3}\by Y. Ben-Yitzhak and M. Teicher\paper An algorithm for determining conjugation, word equality and HE of
527: half-twists \paperinfo preprint\endref
528: \ref\key{B-YTe4}\by Y. Ben-Yitzhak and M. Teicher\paper Graph theoretic methods
529: for determining non-Hurwitz equivalence in the braid group and symmetric group
530: \paperinfo preprint\endref
531:
532: \ref\key{CiMiTe}\by C. Ciliberto,
533: H. Miranda and M. Teicher\paper Braid monodromy factorization of branch curves of
534: \paperinfo in preparation\endref
535:
536: \ref\key{GaTe}\by D. Garber and M. Teicher\paper The fundamental
537: group's structure of the complement of some configurations of real line
538: arrangements \inbook Complex Analysis and Algebraic Geometry \eds
539: T. Peternell, F.-O. Schreyer\publ de Gruyter\yr 2000\pages 173-223\endref
540: \ref\key{GaKaTe}\by D. Garber, S. Kaplan and M. Teicher\paper A new algorithm for
541: solving the word problem in braid groups (with D. Garber and S. Kaplan)\toappear
542: \jour Advances in Math. \endref
543:
544: \ref\key{GaTeVi1} \by D. Garber, M. Teicher and U. Vishne\paper
545: $\pi_1$-classification of arrangements with up to 8 lines \paperinfo in
546: preparation\endref
547: \ref\key{GaTeVi2} \by D. Garber, M. Teicher and U. Vishne\paper Classes of
548: wiring diagrams and their invariants \paperinfo in
549: preparation\endref
550:
551: \ref\key{KaTe1}\by S. Kaplan and M. Teicher\paper Solving the braid word problem
552: via the fundamental group \paperinfo preprint\endref
553: \ref\key{KaTe2}\by S. Kaplan and M. Teicher\paper Identifying half-twists using
554: randomized algorithm methods \paperinfo preprint\endref
555:
556: \ref\key {Ku1}
557: \by Vik.S. Kulikov
558: \paper A geometric realization of $C$-groups
559: \jour Russian Acad. Sci. Izvestiya Math.
560: \vol 45\issue 1
561: \yr 1995
562: \pages 197-206
563: \endref
564: \ref\key {Ku2}
565: \by V. Kulikov
566: \paper On Chisini's Conjecture
567: \jour Preprint MPI 98-28, 1998\moreref\toappear \jour Russian Acad. Sci.
568: Izvestiya Math.
569: \endref
570: \ref\key KuTe\by V. Kulikov and M. Teicher\paper Braid monodromy
571: factorization and
572: diffeomorphism types \jour Russian Acad. Sci. Izvestiya Math.\vol
573: 64\issue 2 \yr 2000\pages 89-120\endref
574: \ref\key LiTe\by A. Libgober and M. Teicher\paper Invariants of braid
575: monodromy from
576: representation of Hecke algebra\paperinfo preprint\endref
577:
578: \ref\key MoTe1 \by B. Moishezon and M. Teicher \paper Existence of
579: simply connected algebraic surfaces of positive and zero indices
580: \jour Proceedings of the National Academy of
581: Sciences, United States of America \vol 83 \yr 1986 \pages
582: 6665-6666
583: \endref
584:
585: \ref\key MoTe2 \by B. Moishezon and M. Teicher \paper Simply connected
586: algebraic surfaces of positive index \jour Invent. Math. \vol 89
587: \pages 601-643 \yr1987 \endref
588:
589: \ref\key MoTe3 \by B. Moishezon and M. Teicher \paper Braid group
590: techniques in complex geometry, I, Line arrangements in $\Bbb C\Bbb P^2$ \jour
591: Contemp. Math. \vol 78 \yr 1988 \pages 425-555\endref
592:
593:
594:
595:
596: \ref\key MoTe4 \by B. Moishezon and M. Teicher \paper Braid group
597: techniques in complex geometry, II, From arrangements
598: of lines and conics to cuspidal curves \inbook
599: Algebraic Geometry, Lecture Notes in Math. \vol 1479 \yr 1990
600: \endref
601:
602: \ref\key RoTe\by A. Robb and M. Teicher\paper Applications of braid group
603: techniques to the decomposition of moduli spaces, new examples
604: \jour Topology and its Applications \vol 78 \yr1997\pages 143-151\endref
605:
606: \ref\key{TaTe}\by S. Tan and M. Teicher\paper On the moduli of the branch curve
607: of a generic triple covering \paperinfo in preparation\endref
608:
609: \endRefs
610: \enddocument
611:
612:
613:
614:
615:
616: