1: \documentclass[12pt]{amsart}

2: \linespread{1.3}

3: \usepackage{amsthm}

4: \usepackage{epsf}

5: \usepackage{amssymb}

6: \usepackage{latexsym}

7: \usepackage{amsmath}

8: \setlength{\topmargin}{-.45in}

9: \setlength{\textheight}{9in}

10: \setlength{\textwidth}{5.8in}

11: \setlength{\oddsidemargin}{-0.0in}

12: \setlength{\evensidemargin}{-0.0in}

13: \renewcommand{\baselinestretch}{1.5}

14: %\newtheorem{theorem}{Theorem}[section] %the resolution could also be [subsection]

15: \long\def\forget#1\forgotten{}

16: \forget

17: \newtheorem{theorem}{Theorem} %the resolution could also be [subsection]

18: \newtheorem{definition}[theorem]{Definition}

19: \newtheorem{conjecture}[theorem]{Conjecture}

20: \newtheorem{corollary}[theorem]{Corollary}

21: \newtheorem{lemma}[theorem]{Lemma}

22: \newtheorem{example}[theorem]{Example}

23: \newtheorem{proposition}[theorem]{Proposition}

24: \newtheorem{remark}[theorem]{Remark}

25: \forgotten

26: \DeclareMathOperator{\Ker}{Ker}

27: %\newcommand{\mod}{\mathop{\rm mod}}

28: \newcommand{\nin}{\mathop {\rm nin}}

29: \newcommand{\Nin}{\mathop {\rm Nin}}

30: \newcommand{\rk}{\mathop{\rm rk}}

31: \newcommand{\wt}{\mathop {\rm wt}}

32: \newcommand{\id}{\mathop {\rm id}}

33: \newcommand{\od}{\mathop {\rm od}}

34: \newcommand{\lcm}{\mathop {\rm lcm}}

35: \newcommand{\wed}{\mathop {\rm wedge}}

36: \newcommand{\sus}{\mathop {\rm susp}}

37: \def\D{{\Bbb D}}

38: \def\R{{\Bbb R}}

39: \def\N{{\Bbb N}}

40: \def\C{{\Bbb C}}

41: \def\T{{\Bbb T}}

42: \def\Z{{\Bbb Z}}

43: \def\P{{\Bbb P}}

44: \def\F{{\Bbb F}}

45: \def\S{{\Bbb S}}

46: \def\cpt{\Bbb C \Bbb P^2}

47: \def\semidirect{\rtimes}

48: \def \si{\sigma}

49: \def \ta{\tau}

50: \def \ta1{\tau_1}

51: \def \tan{\tau_n}

52: \def \ph{\phi}

53: \def \e{\epsilon}

54: \def \ps{\psi}

55: \def \a{\alpha}

56: \def \be{\beta}

57: \def \Dl{\Delta}

58: \def \dl{\delta}

59: \def \g{\gamma}

60: \def \G{\Gamma}

61: \def \lm{\lambda}

62: \def \Lm{\Lambda}

63: \def \Om{\Omega}

64: \def \om{\omega}

65: \def \r{\rho}

66: \def \s{\sigma}

67: \def \th{\theta}

68: \def \ve{\varepsilon}

69: \def \vp{\varphi}

70: \def \vt{\vartheta}

71: \def \z{\zeta}

72: \def \ti{\times}

73: \def \btd{\bigtriangledown}

74: \def \cd{\cdot}

75: \def \df{\dsize\frac}

76: \def \er{\endref}

77: \def \ex{\exists}

78: \def \fa{\forall}

79: \def \fc{\frac}

80: \def \iy{\infty}

81: \def \la{\langle}

82: \def \ra{\rangle}

83: \def \p{\partial}

84: \def \sm{\setminus}

85: \def \sq{\sqrt}

86: \def \tm{\times}

87: \def \do{\dots}

88: \def \ddo{\ddots}

89: \def \hdo{\hdots}

90: \def \vdo{\vdots}

91: \def \ri{\rightarrow}

92: \def \Ri{\Rightarrow}

93: \def \li{\leftarrow}

94: \def \Li{\Leftarrow}

95: \def \lr{\leftrightarrow}

96: \def \Lr{\Leftrightarrow}

97: \def \mx{\matrix}

98: \def \emx{\endmatrix}

99: \def \bmx{\bmatrix}

100: \def \ebmx{\endbmatrix}

101: \def \vmx{\vmatrix}

102: \def \evmx{\endvmatrix}

103: \def \pmx{\pmatrix}

104: \def \epmx{\endpmatrix}

105: \def \ca{\cases}

106: \def \eca{\endcases}

107: \def \tp{\tilde \pi}

108: \def \sbt{\subset}

109: \def \spt{\supset}

110: \def \sbq{\subseteq}

111: \def \spq{\supseteq}

112: \def \ub{\underbar}

113: \def \un{\underline}

114: \def \ov{\overline}

115: \def \edm{\enddemo}

116: \def \ep{\endproclaim}

117: \def \sk{\smallskip}

118: \def \mk{\medskip}

119: \def \bk{\bigskip}

120: \def \vd{\vdash}

121: \def \vD{\vDash}

122: \def \Vd{\Vdash}

123: \def \ra{\rangle}

124: \def \inv{^{-1}}

125: \def \hg{\hat{g}}

126: \def \hG{\hat{\Gamma}}

127: \def \hS{\hat{S}}

128: \def \CP{\Bbb C \Bbb P}

129: \def \CPo{\Bbb C\Bbb P^1}

130: %\def \CPt{\Bbb C\Bbb P^2}

131: \def \BD{\Bbb D}

132: \def \BF{\Bbb F}

133: \def \BN{\Bbb N}

134: \def \BP{\Bbb P}

135: \def \BR{\Bbb R}

136: \def \BZ{\Bbb Z}

137: \def \tth{\tilde{\theta}}

138: \def \tX{\tilde{X}}

139: \def \tY{\tilde{Y}}

140: \def \tf{\tilde{f}}

141: \def \tH{\tilde{H}}

142: \def \tC{\tilde{C}}

143: \def \tG{\tilde{\Gamma}}

144: \def \tP{\tilde{\pi}}

145: \def \tp{\tilde{\psi}}

146: \def \tc{\tilde c}

147: \def \CB{\Cal B}

148: \def \Cd{\Cal D}

149: \def \CE{\Cal E}

150: \def \CL{\Cal L}

151: \def \Cp{\Cal P}

152: \def \CU{\Cal U}

153: \def \CY{\Cal Y}

154: \def \ga{\goth A}

155: \def \gd{\goth D}

156: \def \gl{\goth L}

157: \def \gu{\goth U}

158: \def \gw{\goth W}

159: \def \gy{\goth Y}

160: \def \fy{\frak Y}

161: \def \fw{\frak W}

162: \def \fu{\frak U}

163: \def \el{\gal L}

164: \def \A{{\mathcal A}}

165: \def \B{{\mathcal B}}

166: \def \GG{{\mathcal G}}

167: \def \Akl{A_{k\ell}}

168: \def \Alk{A_{\ell k}}

169: \newcommand \Agen[2] {{A_{{#1}:{#2}}}}

170: \def \Aff{\operatorname{Aff}}

171: \def \Stab{\operatorname{Stab}}

172: \newcommand\Gal[1]{{{#1}_{\operatorname{Gal}}}}

173: \newcommand\GalAff[1]{{{#1}_{\operatorname{Gal}}^{\operatorname{Aff}}}}

174: \def \grad{\operatorname{grad}}

175: \def \loc{\operatorname{loc}}

176: \def \IG{\text{Ind}^G_U \ \psi}

177: \def \usr{\underset\sim\to\rightarrow}

178: \def \prodl{\prod\limits}

179: \def\hF{\hat{F}}

180: \def\uZ{\underline{Z}}

181: \def\bZ{\bar{Z}}

182: \def\bZut{\bar{Z}^2}

183: \def\uZut{\underline{Z}^2}

184: \def\uZumt{\underline{Z}^{-2}}

185: \def\bZumt{\bar{Z}^{-2}}

186: \def\viceversa{{\it{vice versa}}}

187: \def\ie{{\it{i.e.}}}

188: \def\eg{{\it{e.g.}}}

189: \def\pcpt{\pi_1(\cpt - S, *)}

190: \def \Supp{\operatorname{Supp}}

191: \def \cupl{\operatornamewithlimits{\bigcup}\limits}

192: \def \capl{\operatornamewithlimits{\bigcap}\limits}

193: \def \zovera {

194:     \mathop{\lower 10pt \hbox{${\buildrel{\displaystyle\bar{z}} \over {\scriptstyle{(a)}}} $}}

195:     {\lower 4pt \hbox{${\scriptstyle{ij}}$}} %\nolimits

196: } % This troublesome \definition is used ONLY in the definitions section!!! Better get rid of it.

197: 

198: %% defs added by uzi

199: \def\Pitil{\widetilde\Pi}

200: \def\vK{{van Kampen}}

201: \def\sub{{\subseteq}}

202: \newcommand\defin[1]{{\emph{#1}}}

203: \newcommand\set[1]{{\{{#1}\}}}

204: \def\suchthat{{\,:\,}}

205: \def\subjectto{{\,|\,}}

206: \newcommand\figs[1]{#1}

207: \def\wrt{{with respect to }}

208: \def\cf{{\it{cf. }}}

209: \def\st{{such that }}

210: \def\pitil{{\tilde{\pi}_1}}

211: \def\RMS{{Reidmeister-Schreier}}

212: \def\pcpt{\pi_1(\cpt - S, *)}

213: \def\cpt{\Bbb C \Bbb P^2}

214: \def\pcsa{\pi_1 (\C_u-S, *)}

215: \newcommand\sg[1]{{\left<{#1}\right>}}

216: \def\Wlog{{Without loss of generality}}

217: \def\isom{{\cong}}

218: \newcommand\eq[1]{{(\ref{#1})}}

219: %\newcommand\FIGURE[3][]{{\begin{figure}\epsfysize=0cm {\epsfbox{\figs{#2}}}\caption{#1}\label{#3}\end{figure}}}

220: %\newcommand\FIGURE[2][0cm]{{\refstepcounter{figure} \begin{center}\epsfysize=#1 {\epsfbox{\figs{#2}}}{\\* }{{Figure \arabic{figure}}}\end{center}}}

221: %\newcommand\tablefig[1]{{$\stackrel{}{\vcenter{\hbox{\epsfbox{\figs{#1}}}}}$}}

222: \newcommand\tablefig[1]{{$\stackrel{}{\vcenter{\hbox{\epsfbox{\figs{#1}}}}}$}}

223: \newcommand\notebox[2][4cm]{{\begin{tabular}{|p{#1}}\hline {#2} \\ \hline \end{tabular}}}

224: \newcommand\notemarg[1]{{\marginpar{#1}}}

225: \newcommand\tablecaption[1]{{\begin{center} {Table {#1}}\end{center}}}

226: \newcommand\begintable[1][] {{}}

227: \newcommand\myendtable {{}}

228: \newcommand\Line[2]{{A_{{#1}-{#2}}}}

229: \newcommand\power[1]{{|{#1}|}}

230: \def\pitil{\tilde{\pi}_1}

231: \def\vK{van Kampen}

232: \long\def\forget#1\forgotten{}

233: \newcommand\note[1]{{\notemarg{See footnote.}\footnote{#1}}}

234: %An old-style Figuring:

235: %\begin{figure}[h] \begin{center} \begin{minipage}{\textwidth} \epsfbox{\figs{}

236: %\end{minipage} \end{center} \end{figure}\begin{center}\end{center}

237: \newif\ifXY % turns XY version on/off

238: \XYtrue     % Turn it on

239: %\XYfalse    % Turn it off

240: \newif\ifbigmatrices

241: \bigmatricestrue % Use the XY-matrices in two places, instead of ps files.

242: %\bigmatricesfalse

243:  \ifXY

244:  \usepackage{xy}

245:  \fi

246:  \ifXY

247:  \xyoption{all}

248:  \fi

249: 

250: 

251: 

252: \usepackage{amsthm, epsf, amssymb,xy,latexsym, amsmath}

253: %\setlength{\textwidth}{7in}

254: 

255: 

256: \newtheorem{theorem}{Theorem} %the resolution could also be [subsection]

257: \newtheorem{definition}[theorem]{Definition}

258: \newtheorem{cor}[theorem]{Corollary}

259: \newtheorem{lemma}[theorem]{Lemma}

260: \newtheorem{proposition}[theorem]{Proposition}

261: \newtheorem{remark}[theorem]{Remark}

262: %\newtheorem{proof}[theorem]{Proof}

263: 

264: 

265: 

266: \def \1{^{-1}}

267: \def \2{^{-2}}

268: \def \3{^{-3}}

269: \def \A{{\mathcal A}}

270: \def \B{{\mathcal B}}

271: \def \Cc{{\mathcal C}}

272: \newcommand\proj{{\mathbb P}^2}

273: \newcommand\comp[1]{\proj\backslash #1}

274: \newcommand\fg[1]{\pi_1(\comp{#1})}

275: \newcommand\pline{{\mathbb P}^1}

276: \def\C{{\mathbb C}}

277: \def\R{{\mathbb R}}

278: \def\Z{{\mathbb Z}}

279: \def\t{{\tau}}

280: \def\q{{\kappa}}

281: \def\s{{\sigma}}

282: \def\l{{\lambda}}

283: \def\L{{\Lambda}}

284: \def\tgamma{{\tilde{\gamma}}}

285: \def\ttheta{{\tilde{\theta}}}

286: \def\tTheta{{\tilde{\Theta}}}

287: \def\tGamma{{\tilde{\Gamma}}}

288: \def\ogamma{{\overline{\gamma}}}

289: \def\tx{{\tilde{x}}}

290: \newcommand\Ref[1]{~(\ref{#1})}

291: \newcommand\oio{{^{(i)}}}

292: %\newcommand\FIGURE[2]{\begin{figure}[ht!]\label{}\begin{center}\epsfbox{}

293: %\end{center}\caption{#2}\end{figure}}

294: 

295: 

296: 

297: 

298:  \begin{document}

299: 

300: 

301: \renewcommand{\subjclassname}{%

302:        \textup{2000} Mathematics Subject Classification}

303: \date{\today}

304: 

305: 

306: \address{Meirav Amram, Mathematisches Institut, Bismarck Strasse 1 1/2, 

307: Erlangen, Germany}

308: \email{meirav@macs.biu.ac.il, amram@mi.uni-erlangen.de}

309: 

310: \address{Mina Teicher, Mathematics Department, Bar-Ilan University, Ramat-Gan, Israel}

311: \email{teicher@macs.biu.ac.il}

312: \address{A. Muhammed Uluda\u g, Mathematics Department, Galatasaray University,

313: Ortak\"oy, Istanbul, Turkey}

314: \email{uludag@gsunv.gsu.edu.tr}

315:  \title {Fundamental groups of some quadric-line arrangements}

316:  \author{ Meirav Amram \and Mina Teicher \and A. Muhammed Uludag}

317: 

318: 

319: 

320: \begin{abstract}

321:  In this paper we obtain  presentations of fundamental groups of the

322:  complements of three quadric-line arrangements in $\proj$. 

323: The first arrangement is a smooth quadric $Q$ with $n$ tangent lines to $Q$, 

324: and the second one is a quadric $Q$ with 

325:  $n$ lines passing through a point $p\notin Q$.  The last arrangement 

326: consists of a quadric $Q$ with $n$ lines passing through a point 

327: $p\in Q$.   

328:  \end{abstract} 

329: \maketitle

330: %\sec1

331: \section{\bf  Introduction.}

332: This is the first of a series of articles in which we shall study the 

333: fundamental groups of complements of some quadric-line arrangements. 

334: In contrast with the extensive literature on line arrangements and 

335: the fundamental groups of their complements, 

336: (see e.g. \cite{orliksalomon}, \cite{garberteicher} \cite{suciu}), 

337: only a little  

338: known about the quadric-line arrangements (see \cite{moishezonteicher5}).

339: The present article is dedicated to the computation of the fundamental 

340: groups of the complements of three infinite families of such arrangements.

341: A similar analysis for the quadric-line arrangements up to degree six 

342: will be done in our next paper.

343: 

344: \par

345: Let $C\subset \proj$ be a plane curve and $*\in \comp{C}$ a base point. 

346: By abuse of language we will call the group 

347: $\pi_1({\proj\backslash C},*)$ the \textit{fundamental group of C}, 

348: and we shall 

349: frequently omit base points and write $\fg{C}$.

350: One is interested in the group $\fg{C}$ mainly for the study of

351: the Galois coverings $X\rightarrow \proj$ branched along $C$.

352: Many interesting surfaces have been constructed as branched Galois coverings 

353: of the plane, for example

354: for the arrangement $\A_3$ in Figure 1 below, there are Galois coverings 

355: $X\rightarrow\proj$ branched along $\A_3$ such that 

356: $X\simeq {\mathbb P}^1\times {\mathbb P}^1$, or $X$ is an abelian surface, 

357: a K$3$ surface, or a quotient of the two-ball ${\mathbb B}_2$ 

358: (see \cite{yoshida}, \cite{holzapfel}, \cite{uludag1}). 

359: Moreover, some line arrangements 

360: defined by unitary reflection groups studied in \cite{orlik} 

361: are related to $\A_3$ via orbifold coverings. 

362: For example, if ${\mathcal L}$ is the line arrangement given by the equation 

363: $$

364: xyz(x+y+z)(x+y-z)(x-y+z)(x-y-z)=0

365: $$

366: then the image of ${\mathcal L}$ under the branched covering map 

367: $[x:y:z]\in \proj\rightarrow[x^2:y^2:z^2]\in\proj$ is the arrangement $\A_3$,

368: see \cite{uludag1} for details.

369: \par

370: The standard tool for fundamental group computations is the  

371: Zariski-van Kampen algorithm \cite{zariski}, \cite{vankampen},

372: see \cite{cheniot} for a modern approach.

373: We use a variation of this algorithm developed in~\cite{uludag3}

374: for computing the fundamental groups of 

375: real line arrangements and avoids lengthy monodromy computations.

376: The arrangements $\B_n$ and $\Cc_n$ discussed below are of fiber type, 

377: so presentations of their fundamental groups could be easily found as an 

378: extension of a free group by a free group. However, our 

379: approach has the advantage that it permits to capture the local 

380: fundamental groups around the singular points of these arrangements. 

381: The local fundamental groups are needed for the study of the singularities

382: of branched  of $\proj$ branched along these arrangements.

383: \par

384: In Section 2 below, we give fundamental group presentations 

385: and prove some immediate corollaries. 

386: In Section 3 we deal with the computations of fundamental

387: group presentations given in Section 2.

388: 

389: \section{\bf Results.}

390: Let $C\subset \proj$ be a plane curve and $B$ an irreducible component of $C$. 

391: Recall that a \textit{meridian} $\mu$ of $B$ in $\comp{C}$ 

392: with the base point $*\in \proj$ is a loop in $\comp{C}$ obtained by following 

393: a path $\omega$ with $\omega(0)=*$ and $\omega(1)$ belonging to a small 

394: neighborhood of a smooth point $p\in B\backslash C$, turning around $C$ in the 

395: positive sense along the boundary of a small disc $\Delta$ intersecting $B$ 

396: transversally at $p$, and then turning back to $*$ along $\omega$. 

397: The meridian $\mu$ represents a homotopy class in $\pi_1(\comp{C},*)$, 

398: which we also call a meridian of $B$. 

399: Any two meridians of $B$ in $\comp{C}$ are conjugate 

400: elements of $\fg{C}$ (see e.g.~\cite{lamotke}, 7.5), 

401: hence the meridians of irreducible components

402: of $C$ are supplementary invariants of the pair $(\proj,C)$. 

403: These meridians are specified in presentations of the fundamental group  

404: given below, they will be used in orbifold-fundamental 

405: group computations in \cite{uludag1}. 

406: 

407: \subsection{\bf The arrangement $\A_n$.}

408: 

409: 

410: \begin{figure}[h]

411: %\epsfxsize=9cm %width

412: %\epsfysize=5cm %height

413: %\begin{minipage}{\textwidth}

414: \begin{minipage}{\textwidth}

415: \begin{center}

416: \epsfbox{apol.eps}

417: \end{center}

418: \end{minipage}

419: \caption{The arrangement $\A_3$}\label{apoll}

420: \end{figure}

421:  

422: %\FIGURE{apoll}{The arrangement $\A_3$}

423: %FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF

424: 

425: 

426: \begin{theorem}\label{an}

427: Let $\A_n:=Q\cup T_1\cup\dots\cup T_n$ be an arrangement consisting of a 

428: smooth quadric $Q$ with $n$ distinct tangent lines 

429: $T_1,\dots, T_n$. Then 

430: \begin{equation}\label{group1}

431: \fg{\A_n} \simeq \Biggl\langle 

432: \begin{array}{l}\t_1,\dots,\t_n,\\

433:  \q_1,\dots,\q_n 

434: \end{array}\; \left | 

435: \begin{array}{ll}

436:  \q_i = \t_i \q_{i-1} \t_i^{-1},\  2 \leq i \leq n \\

437: (\q_i \t_i)^2 = (\t_i \q_i)^2,\   1 \leq i \leq n \\

438: \left[\q_i^{-1} \t_i \q_i, \t_j \right] = 1,\  1 \leq i<j\leq n\\

439: \t_n \cdots \t_1 \q_1^2 = 1 

440: \end{array} 

441: \right . \Biggr\rangle 

442: \end{equation}

443: where $\q_i$ are meridians of $Q$ and $\t_i$ is a meridian of 

444: $T_i$ for $1\leq i\leq n$. Local fundamental groups around the singular points of $\A_n$ are generated by $<\q_i\1\t_i\q_i,\t_j>$ for the nodes $T_i\cap T_j$ 

445: and  by $<\q_i,\t_i>$ for the tangent points $T_i\cap Q$.

446: \end{theorem}

447: Part \textit{(i)} of the corollary below is almost trivial. 

448: Part \textit{(ii)} appears in~\cite{DOZ}, and part 

449: \textit{(iii)} was given in~\cite{degtyarev}. 

450: \begin{cor}

451: (i) One has: $\fg{\A_1}\simeq \Z$.\\

452: (ii) The group $\fg{\A_2}$ admits the presentation 

453: \begin{equation}\label{A2}

454: \fg{\A_2}\simeq \langle \t,\q\,|\, (\t\q)^2=(\q\t)^2 \rangle,

455: \end{equation}

456: where $\q$ is a meridian of $Q$ and $\t$ is a meridian of $T_1$. A meridian of

457: $T_2$ is given by $\q^{-2}\t\1$.\\

458: (iii) The group $\fg{\A_3}$ admits the presentation 

459: \begin{equation}

460: \fg{\A_3}\simeq \langle \t,\s,\q\,|\, 

461: (\t\q)^2=(\q\t)^2,\; (\s\q)^2=(\q\s)^2,\;[\s,\t]=1\rangle

462: \end{equation}

463: where $\s$, $\t$ are meridians of $T_1$ and $T_3$ respectively, 

464: and $\q$ is a meridian of $Q$. A meridian of $T_2$ is given by 

465: $(\q\t\q\s)\1$.

466: \end{cor}

467: A group $G$ is said to be \textit{big} if it contains a 

468: non-abelian free subgroup, and \textit{small} if $G$ is almost solvable. 

469: In  \cite{DOZ}, it was proved by V. Lin that the group\Ref{A2} is big. 

470: Below we give an alternative proof:

471: \begin{proposition}\label{big}

472: For $n>1$, the group $\fg{\A_n}$ is big.

473: \end{proposition}

474: \proof

475: A group with a big quotient is big. 

476: Since $\t_{n+1}$ is a meridian of $T_{n+1}$ in 

477: $\fg{\A_{n+1}}$, one has

478: $$

479: \fg{\A_n}\simeq \fg{\A_{n+1}}/\ll \t_{n+1}\gg,

480: $$ 

481: and it suffices to show that 

482: the group $\fg{\A_2}$ is big. In the presentation\Ref{A2}, 

483: applying the change of generators $\alpha:=\t\q$, $\beta:=\t$  gives

484: $$

485: \fg{\A_2}\simeq \langle \alpha, \beta\,|\, [\alpha^2,\beta]=1 \rangle.

486: $$

487: Adding the relations $\alpha^2=\beta^3=1$ to the 

488: latter presentation gives a surjection 

489: $\fg{\A_2}\twoheadrightarrow {\mathbb Z}/(2)*{\mathbb Z}/(3)$. 

490: Since the commutator subgroup 

491: of ${\mathbb Z}/(2)*{\mathbb Z}/(3)$ is the free group on two generators 

492: (see~\cite{dimca}), we get the desired result. 

493: 

494: 

495: \subsection{The arrangement $\B_n$}\label{arrangementbn}

496: \begin{theorem}\label{bn}

497: Let $\B_n:=Q\cup T_1\cup T_2\cup L_1\cup\dots\cup L_n$ be an 

498: arrangement consisting of a smooth quadric $Q$ with $n+2$ distinct lines 

499: $T_1,T_2,L_1,\dots, L_n$ all passing through a point $p \notin Q$ 

500: such that $T_1$, $T_2$ are tangent to $Q$.

501: Then one has

502: \begin{equation}\label{group2}

503: \fg{\B_n} \simeq \Biggl\langle \t, \q,\l_1,\dots,\l_n \; \left |

504: \begin{array}{ll}

505: (\q \t)^2 = (\t \q)^2,\ \\

506: \left[\q,\l_i\right]=1,\ 1\leq i\leq n\\

507: \left[\t\1\q\t,\l_i\right]=1,\ 1\leq i\leq n

508: \end{array}

509: \right . \Biggr\rangle

510: \end{equation}

511: where $\t$ is a meridian of $T_1$, $\l_i$ is a meridian of $L_i$ for 

512: $1\leq i\leq n$, and $\q$ is a meridian of $Q$. A meridian $\s$ of $T_2$ 

513: is given by $\s:=(\l_n\dots \l_1\q^2\t)\1$.  

514: Local fundamental groups around the singular points of 

515: $\B_n$ are generated by $<\q, \l_i>$ and $<\t\1\q\t, \l_i>$ 

516: for the nodes $L_i\cap Q$,  by $<\q,\t>$ for the tangent point $T_1\cap Q$,

517: and by $<\q,\s>$ for the tangent point $T_2\cap Q$.

518: \end{theorem}

519: 

520: 

521: %FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF

522: \begin{figure}[h]

523: \begin{minipage}{\textwidth}

524: \begin{center}

525: \epsfbox{b2.eps}

526: \hspace{1cm}

527: \epsfbox {b2pr.eps}

528: \end{center}

529: \end{minipage}

530: \caption{Arrangements $\B_2$ and $B_2^\prime$}\label{b2}

531: \end{figure}

532: 

533: \begin{cor}\label{cor1} (i) Put $\B_n^\prime:=\B_n\backslash T_1$

534: and $\B_n^{\prime\prime}:=\B_n^\prime\backslash T_2$. Then 

535: \begin{equation}\label{bnprime}

536: \fg{\B_n^\prime}\simeq\fg{\B_{n+1}^{\prime\prime}}\simeq 

537: \langle \q,\l_1,\dots,\l_n\,|\, [\q,\l_i]=1,\,1\leq i\leq n \rangle

538: \end{equation}

539: \end{cor}

540: \noindent

541: \textit{Proof.} One has 

542: $\fg{\B_n^\prime}\simeq \fg{\B_n}/\ll \t\gg$. Setting $\t=1$ in  

543: presentation\Ref{group2} gives 

544: $$

545: \fg{\B_n^\prime}\simeq\langle \q, \l_1,\dots,\l_n,\,|\,

546: [\q,\l_i]=1\quad 1\leq i\leq n \rangle. 

547: $$

548: Setting $\t=1$ in the expression for a meridian $\s$ of $T_2$ given in 

549: Theorem~\ref{bn} shows that $(\l_n\dots \l_1\q^2)\1$ is a meridian of 

550: $T_2$ in $\fg{\B_n^\prime}$.

551: In order to find $\fg{\B_n^{\prime\prime}}$, it suffices to set 

552: $\l_n\dots \l_1\q^2=1$ in the presentation of $\fg{\B_n^\prime}$.

553: Eliminating $\l_n$ by this relation yields the presentation

554: $$

555: \fg{\B_n^{\prime\prime}}\simeq

556: \langle \q,\l_1,\dots,\l_{n-1}\,|\, [\l_i,\q]=[\l_{n-1}\dots\l_1\q^2,\q]=1

557: \rangle.

558: $$

559: Since the last relation above is redundant, we get the desired isomorphism

560: $\fg{\B_n^{\prime\prime}}\simeq \fg{\B_{n+1}^{\prime}}$. $\Box$

561: 

562: \medskip

563: 

564: Note that the groups $\fg{B_i^{\prime\prime}}$ are abelian for $i=0,1,2$.

565: Hence, the groups $\fg{B_i^\prime}$ are abelian for $i=0,1$. 

566: Otherwise, setting $\q=1$ in  presentation\Ref{bnprime} 

567: gives the free group  on $n-1$ generators, 

568: which shows that these groups are big. 

569: The groups $\fg{\B_n}$ are always big, since the arrangement $\B_0$ is 

570: the same as 

571: $\A_2$, and $\fg{\A_2}$ is big by Proposition~\ref{big}.

572: \subsection{The arrangement $\Cc_n$}\label{arrangementcn}

573: %FFFFFFFFFFFFFFFFFFFFFFFFFFFFF

574: \begin{figure}[h]

575: \begin{minipage}{\textwidth}

576: \begin{center}

577: \epsfbox{c3.eps}

578: \hspace{1cm}

579: \epsfbox {c3pr.eps}

580: \end{center}

581: \end{minipage}

582: \caption{Arrangements $\Cc_3$ and $\Cc_3^\prime$}\label{f1}

583: \end{figure}

584: 

585: \begin{theorem}\label{cn}

586: Let ${\Cc}_n:=Q\cup T\cup L_1\cup \dots\cup L_n$ 

587: be an arrangement consisting of a smooth quadric 

588: $Q$ with $n+1$ distinct lines $T,L_1\dots, L_n$, all passing 

589: through a point $p\in Q$ 

590: such that $T$ is tangent to $Q$. Then one has

591: \begin{equation}\label{group3}

592: \fg{\Cc_n}\simeq \langle \q,\l_1,\dots,\l_n\,|\, 

593: [\q,\l_i]=1\quad 1\leq i\leq n \rangle,

594: \end{equation}

595: where $\q$ is a meridian of $Q$ and $\l_i$ is a meridian of $L_i$ for

596: $1\leq i\leq n$. A meridian $\t$ of $T$ is given by

597: $\t:=(\l_n\dots\l_1\q^2)\1$. 

598: Local fundamental groups around the singular points of 

599: $\Cc_n$ are generated by $<\q, \l_i>$  

600: for the nodes $L_i\cap Q$, and by $<\t,\l_1,\dots,\l_n,\q>$ for the point $p$.

601: \end{theorem}

602: 

603: Note that the arrangement $\Cc_n$ is a degeneration (in the sense of Zariski)

604: of the arrangement $\B_n^\prime$ as the point $p$ approaches to $Q$. 

605: By Zariski's ``semicontinuity'' 

606: theorem of the fundamental group~\cite{zariski} (see also~\cite{dimca}), 

607: there is a surjection 

608: $\fg{\Cc_n}\twoheadrightarrow \fg{\B_n^\prime}$. 

609: In our case, this is also an injection: 

610: \begin{cor}\label{cor3}

611: (i) $\fg{\B_n^\prime}\simeq \fg{\Cc_n}$.\\

612: (ii) Put $\Cc_n^\prime:=\Cc_n\backslash T$.

613: Then $\fg{\Cc_n}\simeq \fg{\Cc_{n+1}^\prime}$.

614: \end{cor}

615: \noindent\textit{Proof.} Part (i) is obvious. The proof of 

616: part (ii) is same as the proof of Corollary~\ref{cor1}, (ii).

617:  

618: \section{\bf The arrangement $\A_n$}\label{anproof}

619: %FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF

620: %\FIGURE{AN}{}

621: \begin{figure}[h]

622: \begin{minipage}{\textwidth}

623: \begin{center}

624: \epsfbox{an.eps}

625: \end{center}

626: \end{minipage}

627: \caption{}\label{}

628: \end{figure}

629: 

630: \medskip

631: It is easily seen that any two arrangements $\A_n$ 

632: with fixed $n$ are isotopic. 

633: In particular, the groups $\fg{\A_n}$ are isomorphic. 

634: Hence one can take as a model of the arrangements $\A_n$ the quadric 

635: $Q$ defined by 

636: $x^2+y^2=z^2$, where $[x:y:z]\in\proj$ is a 

637: fixed coordinate system in $\proj$. 

638: Pass to the affine coordinates in $\C^2\simeq \proj\backslash \{z=0\}$. 

639: Choose real numbers $x_1,\dots, x_n$ such that 

640: $-1<x_1<x_2\dots<x_n<0$, and define $y_i$ to be the positive solution of 

641: $x_i^2+y_i^2=1$ for $1\leq i\leq n$. 

642: Put $t_i:=(x_i,y_i)\in Q$, and take $T_i$ to be the tangent line 

643: to $Q$ at the point $t_i$ (see Figure 4).

644: \par

645: Let $pr_1:\C^2\backslash \A_n \rightarrow \C$ be the first projection. 

646: The base of this projection will be denoted by $B$. 

647: Put $F_x:=pr_1^{-1}(x)$, and denote by $S$ the set 

648: of singular fibers of $pr_1$. 

649: It is clear that if $F_x\in S$, then $x\in [-1,1]$. 

650: There are three types of singular fibers:\\

651: (i) The fibers $F_1$ and $F_{-1}$, corresponding to the `branch points' 

652: $(-1,0)$ and $(1,0)$. \\

653: (ii) The fibers $F_{x_i}$ $(1\leq i\leq n)$ corresponding to the `tangent points' 

654: $t_i=(x_i,y_i)= T_i\cap Q$.\\

655: (iii) The fibers $F_{a_{i,j}}$ $(1\leq i\neq j\leq n)$ corresponding to the nodes 

656: $n_{i,j}=(a_{i,j},b_{i,j}):=T_i\cap T_j$.

657: One can arrange the lines $T_i$ such that 

658: $$

659: -1<x_1<a_{1,2}<a_{1,3}<\dots<a_{1,n}<x_2<a_{2,3}<\dots <x_n<1

660: $$ 

661: \par

662: Identify the base $B$ of the projection $pr_1$ with the line 

663: $y=-2\subset \C^2$.

664: Let $N$ be the number of singular fibers and let 

665: $-1=s_1<s_2<\dots <s_{N-1}<s_N=1$ be the elements of $S\cap B$  

666: (so that $s_2=x_1$, $s_3=a_{1,2}$, $s_4=a_{1,3}$, and so on)

667: In $B$, take small discs $\Delta_i$ around the points $s_i$, and denote 

668: by $c_i$, $d_i$ ($c_i<d_i$) the points 

669: $\partial\Delta_i\cap \R$ for $1\leq i\leq N$ (see Figure 5).  

670: 

671: %FFFFFFFFFFFFFFFFFFFFFFFF

672: %\FIGURE{thebase}{The base $B$}

673: \begin{figure}[h]

674: \begin{minipage}{\textwidth}

675: \begin{center}

676: \epsfbox{thebase.eps}

677: \end{center}

678: \end{minipage}

679: \caption{The base $B$}\label{}

680: \end{figure}

681: 

682: 

683: 

684: 

685: \par

686: Put $B_1:=[c_1,c_2]\cup \Delta_1$ and for 

687: $2\leq i\leq N$ let $B_i:=[c_1,c_{i+1}]\cup \Delta_1\cup\dots\cup \Delta_i$.

688: Let $X_i:=pr^{-1}(B_i)$ be the restriction of the fibration $pr$ to $B_i$.

689: Let 

690: $$

691: A_i:=\Delta_i\cup \partial\bigl(\{\Im(z)\leq 0,\, c_2\leq \Re(z)\leq c_i\}\backslash (\Delta_2\cup \Delta_3\cup \dots \cup\Delta_{i-1})\bigr)

692: $$

693: and let $Y_i:=pr^{-1}(A_i)$ be the 

694: restriction of the fibration $pr$ to $A_i$. (see Figure 6).

695: 

696: 

697: %FFFFFFFFFFFFFFFFFFFFFFFFFFFFFF

698: %\FIGURE{yi}{The space $A_i$}

699: \begin{figure}[h]

700: \begin{minipage}{\textwidth}

701: \begin{center}

702: \epsfbox{Yi.eps}

703: \end{center}

704: \end{minipage}

705: \caption{The space $A_i$}\label{}

706: \end{figure}

707: 

708: 

709: 

710: 

711: 

712: 

713: Clearly, $X_{i}=X_{i-1}\cup Y_{i}$ for $2\leq i\leq N$.

714: We will use this fact to compute the groups 

715: $\pi_1(X_i,*)$ recursively, where $*:=(c_2,-2)$ is the base point. 

716: For details of the algorithm we apply below, see~\cite{uludag3}.

717: \par

718:  Identify the fibers of $pr_1$ with $F_0$ via the second projection 

719: $pr_2:(x,y)\in\C^2\rightarrow y\in\C$. 

720:  In \textit{each one} of the fibers $F_{c_i}$ (respectively $F_{d_i}$) 

721: take a basis for $\pi_1(F_{c_i}, -2)$ (respectively for $\pi_1(F_{d_i},-2)$) 

722: as in Figure 7 (for $F_{d_i}$, just replace $\gamma$'s by 

723: $\theta$'s in Figure 7). We shall denote these basis by the vectors 

724:  $\Gamma_i:=[\gamma_{1}\oio,\dots,\gamma_{n+2}\oio]$, 

725:  (respectively 

726: $\Theta_i:=[\theta_{1}\oio,\dots,\theta_{n+2}\oio]$).

727: 

728: %FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF

729: %\FIGURE{thefiber}{}

730: \begin{figure}[h]

731: \begin{minipage}{\textwidth}

732: \begin{center}

733: \epsfbox{thefiber.eps}

734: \end{center}

735: \end{minipage}

736: \caption{}\label{}

737: \end{figure}

738: 

739: 

740: 

741: 

742: \par

743: Let $\nu_i\subset B_i\subset B$ be a path starting at $\nu_i(0)=c_2$,

744: ending at $\nu_i(1)=c_i$ and such that

745: $$

746: \nu_i([0,1])=\partial\bigl(\{\Im(z)\leq 0,\, c_2\leq \Re(z)\leq c_i\}\backslash (\Delta_2\cup \Delta_3\cup \dots \cup\Delta_{i-1})\bigr)

747: $$ 

748: Similarly, let $\eta_i\subset B_i\subset B$ be a path starting at 

749: $\eta(0)=c_2$, ending at $\eta(0)=d_i$ and such that 

750: $$

751: \eta_i([0,1])=\partial\bigl(\{\Im(z)\leq 0,\, c_2\leq \Re(z)\leq d_i\}\backslash (\Delta_2\cup \Delta_3\cup \dots \cup \Delta_{i})\bigr)

752: $$

753: For $2\leq i\leq N$ and $1\leq j\leq n+2$  each loop 

754: $\tgamma_j\oio:=\nu_i\cdot \gamma_j\oio\cdot \nu_i^{-1}$ 

755: represents a homotopy class in 

756: $\pi_1(X_{i},*)$, where $*:=(c_2,-2)$ is the base point. Similarly,

757: each loop $\ttheta_j\oio:=\eta_i\cdot\theta_i\cdot \eta_i^{-1}$ 

758: represents a homotopy class in $\pi_1(X_i,*)$. 

759: Denote $\tGamma_i:=[\tgamma_{1}\oio,\dots,\tgamma_{n+2}\oio]$, 

760: and $\tTheta_i:=[\ttheta_{1}\oio,\dots,\ttheta_{n+2}\oio]$.

761: \par

762:  It is well known that 

763:  the group $\pi_1(Y_i,*)$ has the presentation 

764: \begin{equation}

765: \label{pioneyi}

766: \langle \tgamma_{1}\oio,\dots, \tgamma_{n+2} \,|\,  

767: \tgamma_{j}\oio=M_i(\tgamma_{j}\oio),\, 1\leq j\leq n+2 \rangle

768: \end{equation}

769:  where $M_i:\pi_1(F_{c_i},-2)\rightarrow \pi_1(F_{c_i},-2)$ is the monodromy 

770:  operator around the singular fiber above $s_i$.  

771:  It is also well known that if it is the branches of $\A_n$ corresponding to  

772:  the loops $\tgamma_{k}\oio$ and $\tgamma_{k+1}\oio$ that meet above $s_i$,

773: then the only non-trivial relation in\Ref{pioneyi} is 

774: $\tgamma_{k}\oio=\tgamma_{k+1}\oio$ in case of a branch point,

775: $[\tgamma_{k}\oio,\tgamma_{k+1}\oio]=1$ in case of a node, and 

776: $(\tgamma_{k}\oio\tgamma_{k+1}\oio)^2=(\gamma_{k}\oio\gamma_{k+1}\oio)^2$

777: in case of a tangent point.  

778: \par

779: Now suppose that the group $\pi_1(X_{i-1},*)$ is known, with generators

780: $\tGamma_2$.

781: Recall that $X_i=X_{i-1}\cup Y_i$.

782: In order to find the group $\pi_1(X_i,*)$, one has to  express 

783: the base $\tTheta_i$ in terms of the base $\tGamma_i$. 

784: Adding to the presentation of $\pi_1(X_{i-1})$ 

785: the relation obtained by writing the relation of $\pi_1(Y_i)$ in the new base 

786: then yields a presentation of $\pi_1(X_i)$.

787: Note that, since the space $Y_i$ is eventually glued to $X_{i-1}$, 

788: it suffices to find an expression of $\tGamma_i$ in terms of the 

789: base $\tGamma_2$ \textit{in} the group $\pi_1(X_{i-1},*)$.

790: 

791: \par

792: Since all the points of $\A_n$ above the interval 

793: $[d_{i-1}, c_i]$ are smooth and real, one has

794: 

795: \medskip

796: \noindent

797: \textbf{Fact.} The loops $\ttheta_j^{(i-1)}$ and $\tgamma_j\oio$ are

798: homotopic in $X_i$ (or in $Y_i$) for $2\leq i\leq N$ and $1\leq j\leq n+2$. 

799: In other words, the bases $\tTheta_{i-1}$ and $\tGamma_i$ are homotopic.

800: 

801: \medskip

802: In order to express the base $\tTheta_i$ in terms of the base

803: $\tGamma_i$ the following lemma will be helpful. 

804: %FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF

805: %\FIGURE{otherside4}{}

806: \begin{figure}[h]

807: \begin{minipage}{\textwidth}

808: \begin{center}

809: \epsfbox{otherside4.eps}

810: \end{center}

811: \end{minipage}

812: \caption{}\label{}

813: \end{figure}

814: 

815: 

816: 

817: \begin{lemma}\label{otherside}

818: Let $C_k:x^2-y^{k+1}=0$  be an $A_k$ singularity, where $k=1$ or $k=3$.

819: Put $D:=\{(x,y)\,:\, |x|\leq 1, \,|y|\leq 1\}$ and let 

820: $pr_1:=(x,y)\in D\backslash C_k\rightarrow (x,-1)$ be the first projection. 

821: Denote by $F_x$ the fiber of $pr_1$ above $(x,-1)$. 

822: Identify the fibers of $pr_1$ via the second projection. 

823: Let $-1<c<0$ be a real number, and put $d:=-c$.

824: In $F_c$ (respectively in $F_d$) take a basis 

825: $\Gamma:=[\gamma_1,\gamma_2]$ for $\pi_1(F_c,-1)$ 

826: (respectively a basis $\Theta:=[\theta_1,\theta_2]$ for 

827: $\pi_1(F_d,-1)$) as in Figure 8.

828: Let $\eta$ be the path $\eta(t):=ce^{\pi it}$, and put 

829: $\ttheta_i:=\eta\cdot\theta\cdot\eta\1$ for $i=1,2$. Then

830: $\gamma_i$, $\ttheta_i$ are loops in $D\backslash C_k$ based at $*:=(c,-1)$,

831: and one has

832: \par

833: (i) If $k=1$, then $\ttheta_1$ is homotopic to $\gamma_2$, and 

834: $\ttheta_2$ is homotopic to $\gamma_1$, in other words,  

835: $$

836: \tTheta=[\gamma_2,\gamma_1].

837: $$

838: \par

839: (ii) If $k=3$, then 

840: $$

841: \tTheta=

842: [\gamma_2\gamma_1\gamma_2^{-1}, \gamma_1^{-1}\gamma_2 \gamma_1].

843: $$

844: \end{lemma}

845: \noindent\textit{Proof.}

846: Since $\pi_1(D\backslash C_2)$ is abelian, part (i) is obvious. 

847: For part (ii), note that the points of intersection 

848: $F_{\eta(t)}\cap C_4$ are $y_1:=c^2e^{2\pi it}$ and $y_2:=-c^2e^{2\pi it}$.

849: Hence, when we move the fiber $F_c$ over $F_d$ along the path $\eta$,

850: $y_1$ and $y_2$ make one complete turn around the origin 

851: in the positive sense. The loops $\gamma_1$, $\gamma_2$ are transformed 

852: to loops $\ogamma_1,{\ogamma}_2\subset F_d$

853: as in Figure 9. It follows that the loop

854: $\eta\cdot{\ogamma}_i\cdot\eta\1$ is homotopic to $\gamma_i$ 

855: for $i=1,2$. This homotopy can be constructed explicitly as follows:

856: Let $\Phi_{\eta(t)}:F_c\rightarrow F_{\eta(t)}$ be the corresponding

857: Leftschez homeomorphism (see~\cite{moishezonteicher1}). Then

858: $$

859: H(s,t):=\left \{

860: \begin{array}{ll}

861: \eta(3s),& 0\leq s\leq t/3\\

862: \Phi_{\eta(t)}(\gamma_i(3(s-t/3)/(3-2t))),& t/3\leq s\leq 1-t/3\\

863: \eta(3(1-s)),&1-t/3\leq s\leq 1

864: \end{array}\right .

865: $$

866: gives a homotopy between $\gamma_i$ and ${\ogamma}_i$.

867: %FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF

868: %\FIGURE{otherside3}{}

869: \begin{figure}[h]

870: \begin{minipage}{\textwidth}

871: \begin{center}

872: \epsfbox{otherside3.eps}

873: \end{center}

874: \end{minipage}

875: \caption{}\label{}

876: \end{figure}

877: 

878: 

879: 

880: 

881: 

882: Expressing $\ttheta_i$ in terms of $\ogamma_i$, we get

883: $$

884: \ttheta_1=\ogamma_1\1\ogamma_2\1\ogamma_1\ogamma_2\ogamma_1=

885: \gamma_1\1\gamma_2\1\gamma_1\gamma_2\gamma_1,

886: $$

887: $$

888: \ttheta_2=\ogamma_1\1\ogamma_2\ogamma_1=\gamma_1\1\gamma_2\gamma_1.

889: $$

890: Since from the monodromy one has the relation  

891: $(\gamma_1\gamma_2)^2=(\gamma_2\gamma_1)^2$, the expression for  

892: $\ttheta_1$ can be simplified to get 

893: $\ttheta_1=\gamma_2\gamma_1\gamma_2\1$. $\Box$

894: 

895: 

896: \par 

897: Now we proceed with the computation of the groups $\pi_1(X_i)$. 

898: Clearly, the group $\pi_1(X_2)$ is generated by 

899: the base 

900: $$

901: \tGamma_2=[\gamma^{(2)}_1,\gamma^{(2)}_2,\dots ,\gamma^{(2)}_{n+2}]

902: $$

903: with the only relations 

904: \begin{equation}\label{rels1}

905: \gamma^{(2)}_1=\gamma^{(2)}_2

906: \end{equation}

907:  and 

908: \begin{equation}\label{rels2}

909: (\gamma^{(2)}_2\gamma^{(2)}_3)^2=(\gamma^{(2)}_3\gamma^{(2)}_2)^2.

910: \end{equation} 

911: Put 

912: $$

913: [\q_1,\q_1,\t_1,\dots,\t_n]:=\Gamma_2.

914: $$

915: Then relation\Ref{rels2} becomes

916: \begin{equation}

917: \quad (\q_1\t_1)^2=(\t_1\q_1)^2.

918: \end{equation} 

919: By Lemma~\ref{otherside} and the above Fact, one has

920: $$

921: \tGamma_3=\tTheta_2=

922: [\q_1, \t_1\q_1\t_1\1,\q_1\1\t_1\q_1,\t_2,\dots,\t_n].

923: $$

924: Since $s_3$ corresponds to the node $T_1\cap T_2$, the next relation is

925: \begin{equation}

926: \quad [\q_1\1\t_1\q_1,t_2]=1.

927: \end{equation}

928: Hence,

929: $$

930: \pi_1(X_3,*)\simeq

931: \langle \q_1,\t_1,\dots,\t_n\,|\, 

932: (\q_1\t_1)^2=(\t_1\q_1)^2,\quad [\q_1\1\t_1\q_1,\t_2]=1\rangle.

933: $$

934: By Lemma~\ref{otherside}, one has

935: $$

936: \tGamma_4=\tTheta_3=

937: [\q_1,\t_1\q_1\t_1\1,\t_2,\q_1\1\t_1\q_1,\t_3,\dots,\t_n].

938: $$

939: Since $s_4$ corresponds to the node $T_1\cap T_3$, one has the relation

940: $$

941: [\q_1\1\t_1\q_1,\t_3]=1.

942: $$

943: Hence,

944: $$

945: \pi_1(X_4,*)\simeq

946: \langle \q_1,\t_1,\dots,\t_n\,|\, 

947: (\q_1\t_1)^2=(\t_1\q_1)^2,\quad 

948: [\q_1\1\t_1\q_1,\t_2]=[\q_1\1\t_1\q_1,\t_3]=1\rangle.

949: $$

950: By Lemma~\ref{otherside}, one has 

951: $$

952: \tGamma_5=\tTheta_4=

953: [\q_1,\t_1\q_1\t_1\1,\t_2,\t_3,\q_1\1\t_1\q_1,\t_4,\dots,\t_n].

954: $$

955: Since $s_k$ corresponds to the node $T_1\cap T_{k-1}$ 

956: for $2\leq k\leq n+1$, repeating the above procedure 

957: gives the presentation

958: $$

959: \pi_1(X_{n+1},*)\simeq

960: \langle \q_1,\t_1,\dots,\t_n\,|\, 

961: (\q_1\t_1)^2=(\t_1\q_1)^2,\quad 

962: [\q_1\1\t_1\q_1,\t_k]=1\quad 2\leq k\leq n\rangle

963: $$

964: and

965: $$

966: \tGamma_{n+2}=\tTheta_{n+1}=

967: [\q_1,\q_2,\t_2,\t_3,\dots, \t_n, \q_1\1\t_1\q_1],

968: $$

969: where we put $\q_{i+1}:=\t_i \q_i \t_i\1$ for $1\leq i\leq n-1$.

970: \par

971: The next point $s_{n+2}$ corresponds to the tangent point 

972: $T_2 \cap Q$. This gives the relation 

973: \begin{equation}

974: (\q_2 \t_2)^2= (\t_2 \q_2)^2

975: \end{equation}

976: and 

977: $$

978: \tGamma_{n+2}=\tTheta_{n+1}=

979: [\q_1,\t_2\q_2\t_2\1,\q_2\1\t_2\q_2,\t_3,\dots, \t_n, \q_1\1\t_1\q_1].

980: $$ 

981: Now comes the $n-2$ points  $s_k$

982: corresponding to the nodes $T_2\cap T_{k-n}$ for $n+3\leq 2n+1$.

983: These give the relations

984: $$

985: [\q_2\1\t_2\q_2,\t_k]=1\quad 3\leq k\leq n.

986: $$

987: Hence, one has

988: $$

989: \pi_1(X_{n+1},*)\simeq

990: \langle \q_1,\q_2,\t_1,\dots,\t_n\,|\, 

991: $$

992: $$

993: \q_2=\t_1\q_1\t_1\1,\quad 

994: (\q_i\t_i)^2=(\t_i\q_i)^2,\quad

995: [\q_i\1\t_i\q_i,\t_k]=1\quad i< k\leq n,\quad i=1,2\rangle.

996: $$

997: We proceed in this manner until the last singular fiber $s_N$.

998: Since this is a branch point, the final relation is

999: \begin{equation}

1000: \q_n=\q_1.

1001: \end{equation}

1002: This gives the presentation

1003: \begin{equation}

1004: \pi_1(X_N,*)\simeq \langle \t_i, \q_i, \; 1\leq i\leq n \left | 

1005: \begin{array}{ll}

1006:  \q_i = \t_i \q_{i-1} \t_i^{-1},\ 2 \leq i \leq n \\

1007: (\q_i \t_i)^2 = (\t_i \q_i)^2,\  1 \leq i \leq n \\

1008: \left[\q_i^{-1} \t_i \q_i, \t_j \right] = 1,\  1 \leq i<j\leq n\\

1009: \q_1=\q_n 

1010: \end{array} 

1011: \right . \Biggr\rangle.

1012: \end{equation}

1013: Adding to this presentation of $\pi_1(X_N,*)$ 

1014: the projective relation $\t_n\dots\t_1\q_1^2=1$ gives the presentation

1015: \begin{equation}

1016: \fg{\A_n} \simeq \langle \t_i, \q_i, \; 1\leq i\leq n \left | 

1017: \begin{array}{ll}

1018:  \q_i = \t_i \q_{i-1} \t_i^{-1},              &     2 \leq i \leq n \\

1019: (\q_i \t_i)^2 = (\t_i \q_i)^2,                &     1 \leq i \leq n \\

1020: \left[\q_i^{-1} \t_i \q_i , \t_j \right] = 1, &     1 \leq i<j\leq n\\

1021: \t_n \cdots \t_1 \q_1^2 = 1,& \q_1=\q_n 

1022: \end{array} 

1023: \right . \Biggr\rangle 

1024: \end{equation}

1025: Note that the relation $\q_1=\q_n$ is redundant. 

1026: Indeed, since $\q_i=\t_i\q_{i-1}\t_i\1$, one has

1027: \begin{equation}\label{redundant}

1028: \q_n=(\t_n\dots\t_1)\q_1(\t_n\dots\t_1)\1.

1029: \end{equation}

1030: But $\t_n\dots\t_1=\q^{-2}$ by the projective relation. Substituting this

1031: in\Ref{redundant} yields the relation $\q_1=\q_n$. This finally

1032: gives the presentation\Ref{group1} and proves Theorem \ref{an}.

1033: Claims regarding the local fundamental groups around the singular points of 

1034: $\A_n$ are direct consequences of the above algorithm.

1035: 

1036: \subsection{\bf Proof of Corollary 2.}

1037: 

1038: \smallskip\noindent

1039: {\bf (i) The arrangement $\A_1$.} 

1040: Writing down the presentation\Ref{group1} explicitly for $n=1$ gives

1041: $$

1042: \fg{\A_1}\simeq \Biggl\langle \q_1,\t_1 \left | \begin{array}{l}

1043: (\q_1\t_1)^2 = (\q_1 \t_1)^2 \\

1044: t_1 \q_1^2 = 1 \end{array} \right . \Biggr\rangle. 

1045: $$

1046: Eliminating $\t_1$ from the last relation shows that 

1047: $\fg{A_1}\simeq\Z$.

1048: 

1049: \smallskip\noindent

1050: {\bf (ii) The arrangement $\A_2$.}

1051: Writing down the presentation\Ref{group1} explicitly for $n=2$ gives

1052: $$

1053: \fg{\A_2} \simeq \Biggl\langle \q_1,\q_2,\t_1, \t_2 \left |

1054: \begin{array}{l}

1055: (1) \ \q_2 = \t_1 \q_1 \t^{-1}_1 \\

1056: (2) \ (\q_1 \t_1)^2 = (\t_1 \q_1)^2 \\

1057: (3) \ (\q_2 \t_2)^2 = (\t_2 \q_2)^2 \\

1058: (4) \ [\q_1^{-1} t_1 \q_1 , t_2] = 1\\

1059: (5) \ \t_2 \t_1 \q_1^2 = 1 \end{array} \right . \Biggr\rangle.

1060: $$

1061: Eliminating $\q_2$ by (1) and $\t_2$ by (5) 

1062: one easily shows that the relations 

1063: (3) and (4) are redundant. 

1064: This leaves (2) and gives the desired presentation.

1065: 

1066: \smallskip\noindent

1067: {\bf (iii) The arrangement $\A_3$.}

1068: Writing down the presentation\Ref{group1} explicitly for $n=3$ gives

1069: $$

1070: \fg{\A_3} \simeq 

1071: \Biggl\langle 

1072: \begin{array}{l}\q_1,\q_2,\q_3,\\ \t_1,\t_2, \t_3\end{array} 

1073: \left | 

1074: \begin{array}{ll}

1075: (1) \ \q_2 = \t_1\q_1\t_1\1 &

1076: (2) \ \q_3 = (\t_2\t_1)\q_1(\t_2\t_1)\1 \\

1077: (3) \ (\q_1\t_1)^2 = (\t_1 \q_1)^2 &

1078: (4) \ (\q_2\t_2)^2 = (\t_2 \q_2)^2 \\

1079: (5) \ (\q_3\t_3)^2 = (\t_3 \q_3)^2 &

1080: (6) \ [\q_1^{-1} \t_1 \q_1,\t_2] = 1 \\

1081: (7) \ [\q_1\1 \t_1 \q_1,\t_3] = 1 &

1082: (8) \ [\q_2\1 \t_2 \q_2, \t_3 ] = 1 \\

1083: (9)\ \t_3 \t_2 \t_1 \q_1^2 = 1

1084: \end{array} \right . \Biggr\rangle.

1085: $$

1086: Eliminate $\q_2$ by (1), $\q_3$ by (2), and $\t_2$ by (9).

1087: It can be shown that the relations (4), (6) and (8) are consequences of the 

1088: remaining relations. The relation (5) becomes 

1089: $(\q_1\t_3)^2=(\t_3\q_1)^2$. This gives the presentation

1090: $$

1091: \fg{\A_3}\simeq 

1092: \langle \q_1,\t_1,\t_3\,|\, (\q_1\t_1)^2=(\t_1\q_1)^2,

1093: \quad (\q_1\t_3)^2=(\t_3\q_1)^2,\quad [\q_1\1\t_1\q_1,\t_3]=1\rangle.

1094: $$

1095: Finally, put $\q:=\q_1$, $\t:=\q_1\1\t_1\q_1$ and $\s:=\t_3$.

1096: Then $\t_1=\q\t\q\1$, and the first relation in the above presentation becomes

1097: $(\q^2\t\q\1)^2=(\q\t)^2\Rightarrow (\q\t)^2=(\t\q)^2$.

1098: This gives the desired presentation.

1099: 

1100: \section{\bf The arrangement $\B_n$}

1101: %FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF

1102: %\FIGURE{BN}{}

1103: \begin{figure}[h]

1104: \begin{minipage}{\textwidth}

1105: \begin{center}

1106: \epsfbox{bn.eps}

1107: \end{center}

1108: \end{minipage}

1109: \caption{}\label{}

1110: \end{figure}

1111: 

1112: 

1113: 

1114: As in the case of the arrangements $\A_n$, it is readily seen that 

1115: arrangements $\B_n$ are all isotopic to each other for fixed $n$, 

1116: so one can compute $\fg{\B_n}$ from the following model for 

1117: $\B_n$'s (see Figure 10): The quadric $Q$ is given by 

1118: the equation $x^2+y^2=1$, and $p$ is the point $(2,0)$.

1119: The lines $L_i$ intersect $Q$ above the $x-$ axis.

1120: \par

1121: The projection to the $x-$ axis 

1122: has four types of singular fibers:\\

1123: (i) The fibers $F_{1}$ and $F_{-1}$, corresponding to `branch points',\\

1124: (ii) The fiber $F_{x}$ corresponding to the `tangent points' 

1125: $(x,y)=t_1:=T_1\cap Q$ and $(x,-y)=t_2:=T_2\cap Q$,\\  

1126: (iii) The fibers 

1127: $F_{a_1},\dots, F_{a_n}$ ($-1<a_n<\dots a_1<x$) 

1128: corresponding to the nodes $L_i\cap Q$ lying on the right of the tangent 

1129: points and the fibers 

1130: $F_{b_1},\dots, F_{b_n}$ ($x<b_1<\dots b_n<1$) corresponding to the 

1131: nodes $L_i\cap Q$ lying on the left of the tangent points.\\

1132: (iv) The fiber $F_{2}$, corresponding to the point $p$.\\

1133: \par

1134: In order to find the group $\fg{\B_n}$, we shall apply the same procedure

1135: as in the computation of $\fg{\A_n}$.

1136: Let $y\in \R$ be such that $-1<y<a_n$, and take $F_y$ to be the base fiber.

1137: Let $s_1:=-1$, $s_{i+1}:=b_i$ for $1\leq i\leq n$, $s_{n+2}:=x$, 

1138: $s_{n+2+i}:=a_{n+1-i}$ for $1\leq i\leq n$, and $s_{2n+3}:=1$, and

1139: $s_{2n+4}=2$.

1140: Take a basis 

1141: $$

1142: \tGamma_2:=[\t,\q_1,\q_2,\l_1,\dots,\l_n,\s]

1143: $$

1144: for $F_y$ as in Figure 7.  

1145: \par

1146: Since $s_1$ corresponds to a branch point, one has the relation

1147: $\q_1=\q_2$. Put $\q:=\q_1=\q_2$. 

1148: The point $s_2$ is a node, and yields the relation 

1149: $[\q,\l_1]=1$, and one has

1150: $$

1151: \tGamma_3=[\t,\q,\l_1,\q,\l_2,\dots,\l_n,\s].

1152: $$

1153: Repeating this for the nodes $s_3,\dots, s_{n+1}$ gives the relations

1154: $[\q,\l_i]=1$ for $1\leq i\leq n$, and one has

1155: $$

1156: \tGamma_{n+2}=[\t,\q, \l_1,\dots,\l_n,\q,\s]

1157: $$

1158: The monodromy around the fiber $F_{x}$ gives the relations

1159: $(\t\q)^2=(\q\t)^2$ and $(\s\q)^2=(\q\s)^2$. One has

1160: $$

1161: \tGamma_{n+3}=

1162: [\q\t\q\1,\t\1\q\t,\l_1,\dots,\l_n,\s\q\s\1,\q\1\s\q].

1163: $$

1164: Since the points $s_{n+3},\dots, s_{2n+2}$ corresponds to nodes,

1165: one has the relations $[\l_i, \s\q\s\1]=1$, and

1166: $$

1167: \tGamma_{2n+3}=

1168: [\q\t\q\1,\t\1\q\t,\s\q\s\1,\l_1,\dots,\l_n,\q\1\s\q].

1169: $$

1170: The branch point corresponding to $s_{2n+3}$ yields the relation

1171: $$

1172: \t\1\q\t=\s\q\s\1

1173: $$ 

1174: Together with the projective relation 

1175: $\s\l_n\dots\l_1\q^2\t=1$ these relations already gives a presentation 

1176: of $\fg{\B_n}$, since one can always ignore one of the singular fibers

1177: when computing the monodromy (see \cite{uludag3}). 

1178: \par

1179: We obtained the presentation 

1180: $$

1181: \fg{\B_n} \simeq \Biggl\langle 

1182: \L,\t, \q,\l_1,\dots,\l_n, \s \left |

1183: \begin{array}{l}

1184: (1) \ (\q \t)^2 = (\t \q)^2 \\

1185: (2) \ (\q \s)^2 = (\s \q)^2 \\

1186: (3) \ \t\1\q\t=\s\q\s\1\\

1187: (4) \ [\q,\l_i] = 1 \quad 1\leq i\leq n\\

1188: (5) \ [\s\q\s\1,\l_i]=1\quad 1\leq i\leq n\\ 

1189: (6) \ \s\l_n\dots\l_1\q^2\t=1  \end{array} \right . \Biggr\rangle.

1190: $$

1191: Put $\L:=\l_n\dots\l_1$. 

1192: Eliminating $\s$ by (7), it is easily seen that (3) is redundant.

1193: Relation (2) becomes

1194: $$

1195: (\L\q^2\t\q\1)^2=(\q\1\L\q^2\t)^2\Rightarrow [\t\1\q\t,\L]=1.

1196: $$

1197: But this relation is a consequence of (4), so that (2) is also redundant.

1198: Since $\t\1\q\t=\s\q\s\1$ by (3), the relation (5) can be written as

1199: $[\t\1\q\t,\l_i]=1$. 

1200: This gives the presentation\Ref{group2} and proves Theorem \ref{bn}.

1201: 

1202: 

1203: \section{\bf The arrangement $\Cc_n$}

1204: %FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF

1205: %\FIGURE{CN2}{}

1206: \begin{figure}[h]

1207: \begin{minipage}{\textwidth}

1208: \begin{center}

1209: \epsfbox{cn2.eps}

1210: \end{center}

1211: \end{minipage}

1212: \caption{}\label{}

1213: \end{figure}

1214: 

1215: 

1216: 

1217: 

1218: 

1219: In order to compute the group, consider the model of $\Cc_n$ shown 

1220: in Figure 11, where $Q$ is given by $x^2+y^2=1$.

1221: Suppose that the second points of intersection of the 

1222: lines $L_i$ with $Q$ lie above the $x-$ axis. 

1223: As in the previous cases, take an initial base

1224: $$

1225: \tGamma_2:=[\q_1,\q_2,\l_1,\dots,\l_n,\t].

1226: $$

1227: The relation induced by the branch point is $\q_1=\q_2=:\q$.

1228: The nodes of $\Cc_n$ will give the relations $[\q,\l_i]=1$ for 

1229: $1\leq i\leq n$, and one has

1230: $$

1231: \tGamma_{n+2}=[\q,\l_1,\dots,\l_n,\q,\t].

1232: $$

1233: One can simplify the computation of 

1234:  the monodromy around the complicated singular 

1235: fiber as follows: Put $\Lambda:=\l_n\dots\l_1$.

1236: By the projective relation one has

1237: $\t\Lambda\q^2=1\Rightarrow \t=\q\2\Lambda\1$.

1238: Hence, $[\q,\t]=1$. Since we also have $[\q,\l_i]=1$ for $1\leq i\leq n$, 

1239: this means that when computing the monodromy

1240: around this fiber, one can ignore the branch $Q$. This leaves

1241: $n+1$ branches intersecting transversally, and the induced relation is 

1242: (see~\cite{uludag3}) 

1243: \begin{equation}\label{red}

1244: [\t\Lambda,\lambda_i]=[\t\Lambda,\t]=1,

1245: \end{equation}

1246: and one has

1247: $$

1248: \tGamma_{n+3}=[\q,\q,....].

1249: $$

1250: The last relation induced by the branch point yields the trivial relation

1251: $\q=\q$, as expected.

1252: \par

1253: Eliminating $\t$ shows that the relations\Ref{red} are redundant 

1254: and gives the presentation

1255: $$

1256: \fg{C_n}\simeq

1257: \langle \q,\l_1,\dots,\l_n\,|\,[\l_i,\q]=1\rangle.

1258: $$

1259: $\Box$

1260: 

1261: \bigskip\noindent

1262: \textbf{Acknowledgements.} 

1263: This work was partially supported by the Emmy Noether Research Institute for

1264:  Mathematics  (center of the Minerva Foundation of Germany), the

1265: Excellency Center

1266: ``Group  Theoretic Methods in the Study of Algebraic Varieties'' of the

1267: Israel Science

1268:  Foundation, and EAGER (EU network, HPRN-CT-2009-00099).

1269: 

1270: \begin{thebibliography}{99}

1271: 

1272: 

1273: \bibitem{amram}

1274: Amram, M.:

1275: \textit{Braid group and braid monodromy}, 

1276: M.Sc. Thesis, (1995).

1277: 

1278: 

1279: \bibitem{amramteicher} 

1280: Amram, M., Teicher, M.: 

1281: \textit{Braid monodromy of special curves}, 

1282: Journal of Knot Theory and its Ramifications, 

1283: {\bf 10}, no. 2,  171-212 (2001).

1284: 

1285: 

1286: \bibitem{cheniot} Cheniot, D.:

1287: \textit{Topologie du compl\'ementaire d'un ensemble alg\'ebrique projectif}, 

1288: Enseign. Math., II. Sér. \textbf{37}, No.3/4,  293-402 (1991).

1289: 

1290: \bibitem{degtyarev} Degtyarev, A.:

1291: \textit{Quintics in $\C P^2$ with non-abelian fundamental group},

1292: St. Petersburg Math. J. 

1293: {\bf 11}, No. 5, 809-826 (2000).

1294: 

1295:  

1296: \bibitem{dimca} Dimca, A.:

1297: {Singularities and the topology of hypersurface complements}

1298: Universitext. New York etc.: Springer-Verlag (1992).

1299: 

1300: 

1301: 

1302: \bibitem{DOZ} 

1303: Detloff, G., Orevkov, S., Zaidenberg, M.: 

1304: \textit{Plane curves with a big fundamental group of the complement}, 

1305: American Mathematical Society Translations-Series 2, 

1306: vol. \textbf{184}  (1998).

1307: 

1308: 

1309: \bibitem{garberteicher} Graber, D., Teicher, M.: 

1310: \textit{The fundamental group's structure of the complement of some configurations of real line arrangements}, 

1311: Complex analysis and algebraic geometry. 

1312: A volume in memory of Michael Schneider. Berlin: Walter de Gruyter. 

1313: 173-223 (2000).

1314:  

1315: 

1316: 

1317: \bibitem{holzapfel}

1318: Holzapfel, R.P.,  Vladov. N.:

1319: \textit{Quadric-line configurations degenerating plane Picard-Einstein metrics I-II}, to appear in: Proceedings to 60th birthday of H. Kurke, Math. Ges. Berlin (2000). 

1320: 

1321: \bibitem{lamotke} 

1322: Lamotke, K.:

1323: \textit{The topology of complex projective varieties after S. Leftschez}

1324: Topology \textbf{20}, 15-51 (1979).

1325: 

1326: \bibitem{moishezonteicher1}  

1327: Moishezon, B., Teicher, M.:

1328:  {\it Braid group 

1329:    technique in complex geometry I, Line arrangements in $\C \proj$}, 

1330:    Contemporary Math. {\bf 78},  425-555 (1988).

1331: 

1332: \bibitem{moishezonteicher5}  

1333: Moishezon, B., Teicher, M.:

1334: {\it Braid group  technique in complex geometry II, From arrangements of lines and conics to cuspidal curves }, 

1335: Algebraic Geometry, Lect. Notes in Math. 

1336: Vol. {\bf 1479} (1990). 

1337: 

1338: 

1339: \bibitem{orlik} Orlik, P., Salomon, L.:

1340: \textit{Arrangements defined by unitary reflection groups},

1341: Math. Ann. \textbf{261}, 339-357 (1982).

1342: 

1343: \bibitem{orliksalomon} 

1344: Orlik, P., Terao, H.:

1345: Arrangements of Hyperplanes,

1346: Grundlagen der matematichen wissenshaften 300,

1347: Berlin, Springer-Verlag (1992).

1348: 

1349: 

1350: 

1351: 

1352: \bibitem{suciu} Suciu, A.: 

1353: \textit{Fundamental groups of line arrangements: Enumerative aspects}, 

1354: Contemp. Math. \textbf{276}, 43-79 (2001).

1355: 

1356: \bibitem{uludag3} Uluda\u g, A.M.:

1357: \textit{On finite smooth uniformizations of the plane along line arrangements},

1358: To be published. 

1359: 

1360: 

1361: \bibitem{uludag1} Uluda\u g, A.M.:

1362: \textit{Covering relations between ball quotient orbifolds},

1363: To be published. 

1364: 

1365: 

1366: \bibitem{vankampen} van Kampen, E.R.: 

1367: \textit{On the fundamental group of an algebraic curve}, 

1368: Amer. J. Math. \textbf{55}, 255-260 (1933).  

1369: 

1370: 

1371: \bibitem{yoshida} Kaneko, J., Tokunaga, S., Yoshida, M.: 

1372: \textit{Complex crystallographic groups II}, 

1373: J. Math. Soc. Japan, \textbf{34} No. 4 (1982). 

1374:  

1375: \bibitem{zariski} Zariski, O.: 

1376: \textit{On the Poincare group of rational plane curves},

1377: Amer. J. Math., \textbf{58}, 607-619 (1936).

1378: 

1379: 

1380: \end{thebibliography} 

1381:                      

1382: \end{document}

1383: