1: %Current at May 20, 2005

2: \documentclass[11pt,oneside]{amsart}

3: \usepackage{amsmath,amssymb,graphics,array}

4: \setcounter{tocdepth}{1}

5: 

6: 

7: % format

8: \newcommand{\comment}[1]{\marginpar{\sffamily{\tiny #1

9: \par}\normalfont}}

10: 

11: 

12: %\renewcommand{\comment}[1]

13: 

14: \newcolumntype{C}{>{$}c<{$}}

15: 

16: \newcommand{\bi}{\begin{itemize}}

17: \newcommand{\ei}{\end{itemize}}

18: \newcommand{\be}{\begin{enumerate}}

19: \newcommand{\ee}{\end{enumerate}}

20: \newcommand{\bc}{\begin{center}}

21: \newcommand{\ec}{\end{center}}

22: \newcommand{\bt}{\begin{tabular}}

23: \newcommand{\et}{\end{tabular}}

24: \newcommand{\bcase}{\vspace{3mm}

25: \noindent \textit{Case }}

26: 

27: 

28: % environments

29: \newtheorem{thm}{Theorem}[section]

30: \newtheorem{lem}[thm]{Lemma}

31: \newtheorem{propn}[thm]{Proposition}

32: \newtheorem{cor}[thm]{Corollary}

33: \newtheorem{conj}[thm]{Conjecture}

34: \newtheorem{prob}[thm]{Open Problem}

35: \theoremstyle{definition}

36: \newtheorem{defn}[thm]{Definition}

37: \newtheorem{rem}[thm]{Remark}

38: \newtheorem{quest}[thm]{Question}

39: \newtheorem{conv}[thm]{Convention}

40: \newtheorem{exmp}[thm]{Example}

41: % definitions

42: \newcommand{\length}{\textit{length}}

43: \newcommand{\blackboard}[1]{\ensuremath{\mathbb{#1}}}

44: \newcommand{\script}[1]{\ensuremath{\mathcal{#1}}}

45: \newcommand{\smallcaps}[1]{\textrm{\textsc{#1}}}

46: \newcommand{\mathbold}[1]{\ensuremath{\mathbf{#1}}}

47: \newcommand{\size}[1]{\ensuremath{\vert #1 \vert}}

48: \newcommand{\N}{\blackboard{N}}

49: \newcommand{\Z}{\blackboard{Z}}

50: \newcommand{\Q}{\blackboard{Q}}

51: \newcommand{\R}{\blackboard{R}}

52: \newcommand{\C}{\script{C}}

53: \newcommand{\F}{\script{F}}

54: \newcommand{\G}{\script{G}}

55: \newcommand{\eS}{\script{S}}

56: \newcommand{\euc}{\blackboard{E}}

57: \newcommand{\sph}{\blackboard{S}}

58: \newcommand{\proj}{\blackboard{RP}}

59: \newcommand{\hyp}{\blackboard{H}}

60: \newcommand{\boundary}{\partial}

61: \newcommand{\highlight}[1]{\textbf{#1}}

62: \newcommand{\bull}{\ensuremath{\bullet\ }}

63: \newcommand{\B}[1]{\ensuremath \textbf{#1}}

64: \newcommand{\x}{\ensuremath \textbf{x}}

65: \newcommand{\gset}{generating set}

66: \newcommand{\cg}{Cayley graph}

67: \newcommand{\ra}{\rightarrow}

68: \newcommand{\gm}{$\Gamma$}

69: \newcommand{\g}{\Gamma}

70: \newcommand{\pf}{poly-free}

71: \newcommand{\pfg}{poly-fg-free}

72: \newcommand{\rg}{right-angled Artin group}

73: \newcommand{\rgs}{right-angled Artin groups}

74: \newcommand{\wv}{D}

75: \newcommand{\sd}{\rtimes}

76: \newcommand{\ov}{\overline}

77: \newcommand{\at}{\acute t}

78: \newcommand{\ax}{\acute x}

79: \newcommand{\ay}{\acute y}

80: \newcommand{\nice}{doubly breakable cycle property}

81: \newcommand{\dd}{\delta}

82: \newcommand{\rn}{{\mathcal RN}}

83: \newcommand{\pfl}{{\mathsf{pfl}}}

84: \newcommand{\clq}{{\mathsf{clq}}}

85: \newcommand{\chr}{{\mathsf{chr}}}

86: \newcommand{\Aut}{{\mathsf{Aut}}}

87: \newcommand{\X}{{\mathbf{X}}}

88: \newcommand{\y}{\ensuremath \textbf{y}}

89: \newcommand{\z}{\ensuremath \textbf{z}}

90: 

91: 

92: % references

93: \newcommand{\artin}{MR8:367a}

94: \newcommand{\bestvina}{MR2000h:20079}

95: \newcommand{\bestvbrady}{MR98i:20039}

96: \newcommand{\brieskorn}{MR54:10660}

97: \newcommand{\brown}{MR83k:20002}

98: \newcommand{\cohensuciu}{MR99e:20064}

99: \newcommand{\dicks}{MR82m:16024}

100: \newcommand{\droms}{MR88e:57003}

101: \newcommand{\feldmanhom}{MR0296168}

102: \newcommand{\green}{Egreen}

103: \newcommand{\hermeierartin}{MR2000m:20058}

104: \newcommand{\hermeiergrprod}{MR96a:20052}

105: \newcommand{\howiebb}{MR1713123}

106: \newcommand{\lyndonschupp}{MR58:28182}

107: \newcommand{\dmeierpf}{MR85h:20032}

108: \newcommand{\dmeierhomol}{MR82c:20091}

109: \newcommand{\meiervanwyk}{MR96h:20093}

110: 

111: 

112: 

113: %%%%%%%%%%%%%%%%

114: \begin{document}

115: %%%%%%%%%%%%%%%%

116: 

117: \title[Poly-free constructions for right-angled Artin groups]

118:   {Poly-free constructions for right-angled Artin groups}

119: 

120: \author[S.~Hermiller]{Susan Hermiller$\!\,^1$}

121: \address{Dept. of Mathematics\\

122:         University of Nebraska\\

123:          Lincoln, NE 68588-0130}

124: \email{smh@math.unl.edu}

125: 

126: 

127: \author[Z.~Sunik]{Zoran $\check{\rm S}$uni$\acute {\rm k}$}

128: \address{Dept. of Mathematics\\

129:         Texas A\&M University\\

130:         College Station, TX 77843-3368}

131: \email{sunik@math.tamu.edu}

132: 

133: \begin{abstract}

134: We show that every right-angled Artin group $A\Gamma$

135: defined by a graph $\Gamma$ of finite chromatic number is

136: poly-free with poly-free

137: length bounded between the clique number and the chromatic number

138: of $\Gamma$. Further, a characterization of all right-angled Artin

139: groups of poly-free length 2 is given, namely the group $A\Gamma$ has

140: poly-free length 2 if and only if there exists an independent set

141: of vertices $D$ in $\Gamma$ such that every cycle in $\Gamma$

142: meets $D$ at least twice. Finally, it is shown that $A\Gamma$ is a

143: semidirect product of 2 free groups of finite rank if and only if

144: $\Gamma$ is a finite tree or a finite complete bipartite graph.

145: All of the proofs of the existence of \pf\ structures are

146: constructive.

147: \end{abstract}

148: 

149: 

150: \keywords{Poly-free, right-angled Artin group, free group}

151: \subjclass{}

152: \date{\today}

153: \maketitle

154: 

155: 

156: 

157: \footnotetext[1]{Supported under NSF grant no.\ DMS-0071037}

158: 

159: 

160: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

161: \section{Introduction}\label{sec:intro}

162: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

163: 

164: 

165: 

166: A group $G$ is {\it poly-free} if there exists a finite tower of

167: subgroups

168: $$

169: 1 = G_0 \trianglelefteq G_1  \trianglelefteq \cdots \trianglelefteq G_N=G

170: $$

171: for which each quotient $G_{i+1}/G_i$ is a free group. The least

172: natural number $N$ for which such a tower exists is the {\it

173: poly-free length} of $G$, denoted $\pfl(G)$. A group $G$ is

174: poly-finitely-generated-free, or {\it poly-fg-free}, if there

175: exists a tower of this form with the additional property that each

176: of the quotients is a finitely generated free group. Since every

177: map onto a free group splits, a poly-free group can be realized as

178: an iterated semidirect product of free groups \cite{\dmeierpf}.

179: 

180: Examples of poly-fg-free groups include certain subgroups of Artin

181: groups. Let \gm\  be a finite simplicial graph; throughout the

182: text we will assume that such graphs do not have loops or multiple

183: edges.

184: If the edges of \gm\ are labeled by integers greater than one,

185: the associated {\it Artin group} $A\Gamma$ has generators

186: corresponding to the vertices, and relations

187: $$

188: {\underbrace{aba \cdots}_{n{\rm\;letters}}} = {\underbrace{bab

189: \cdots}_{n{\rm\;letters}}}

190: $$

191: where $\{a,b\}$ is an edge of the graph labeled $n$. If, in

192: addition, relations are added making each generator of order 2,

193: the resulting quotient is a Coxeter group.  {\it Braid groups} are

194: the Artin groups whose Coxeter quotients are the symmetric groups.

195: When the Coxeter quotient is finite, the Artin group is said to be

196: of {\it finite type}. {\it Pure} Artin groups are subgroups of

197: Artin groups which are the kernel of the homomorphism onto the

198: corresponding Coxeter group.

199: 

200: Pure braid groups are examples of poly-fg-free groups

201: \cite{\artin}, as are pure finite type Artin groups whose Coxeter

202: quotients are of type $B_n$, $D_n$, $I_2(p)$, and $F_4$

203: \cite{\brieskorn}. If the graph associated to an Artin group is a

204: tree, Hermiller and Meier \cite{\hermeierartin} have shown that

205: the Artin group is an extension of a finitely generated free group

206: by the integers, and hence is poly-fg-free. Recently, Bestvina

207: \cite{\bestvina}\  has asked if all Artin groups of finite type,

208: or indeed all Artin groups of any type, are virtually poly-free.

209: 

210: In this paper we investigate the poly-free properties of the class

211: of {\it right-angled Artin groups}, which are the Artin groups for

212: which the defining graph has every edge labeled 2.  That is, for a

213: graph \gm, the \rg\  $A\g$ is the group with

214: generators in one-to-one correspondence with the set $V(\g)$ of

215: vertices of \gm, and relations $[v,w]=vwv^{-1}w^{-1}$, for each

216: edge between vertices $v$ and $w$ of \gm.  These groups are also

217: known in the literature as graph groups, or free partially

218: commutative groups. (See \cite{\droms}, \cite{\green},

219: \cite{\hermeiergrprod}, \cite{\meiervanwyk}\  for information on

220: normal forms for right-angled Artin groups and further

221: references.)

222: 

223: Our main results are as follows.

224: 

225: \renewcommand{\thethm}{\Alph{thm}}

226: \begin{thm}\label{thm:rgispf}

227: Let \gm\  be a finite graph or, more generally, a

228: graph of finite chromatic number $\chr(\g)$ and finite

229: clique number $\clq(\g)$. The \rg\  $A\g$ is \pf. Moreover,

230: \[ \clq(\g) \le \pfl(A\g) \le \chr(\g), \]

231: and there exists a \pf\ tower for $A\g$ of length $\chr(\g)$.

232: \end{thm}

233: 

234: During the preparation of the text, W.~Dicks has pointed out to us

235: that J.~Howie~\cite{\howiebb} has established $|V(\g)|$ as an upper

236: bound for the poly-free length of a right-angled Artin group

237: defined by a finite graph $\Gamma$. Thus the above result is

238: an improvement in the case of finite graphs and a generalization

239: to a class of infinite graphs.

240: 

241: A graph \gm\  is said to have the {\it \nice} if \gm\ is not

242: totally disconnected and there exists a vertex subset $D \subseteq

243: V(\g)$ such that the full subgraph of \gm\  induced by $D$ is

244: totally disconnected, and such that every cycle in \gm\ contains

245: at least two vertices in $D$.

246: For a graph \gm\ with this property, the full subgraph

247: generated by the vertices in $V(\g)-D$ is a forest; if each of the

248: trees in this forest is collapsed to a point in $\g$, the

249: resulting graph is bipartite. Moreover, no vertex in $D$ is

250: connected by an edge to more than one vertex in each tree of the

251: forest $V(\Gamma)-D$. See Figure~\ref{doubly} for an example of a

252: graph with the doubly breakable cycle property. In this example

253: $D$ can be taken to be $D=\{d_1,d_2,d_3,d_4\}$.

254: \begin{figure}[!hbt]

255: \begin{center}

256: \includegraphics{doubly.eps}

257: \end{center}

258: \caption{An example of a graph with the doubly breakable cycle

259: property} \label{doubly}

260: \end{figure}

261: 

262: \begin{thm}\label{thm:nicergispf2}

263: Let \gm\  be a graph. The \rg\  $A\g$ is \pf\  of

264: length 2 if and only if the graph \gm\  has the \nice.

265: \end{thm}

266: 

267: We note that

268: %both Theorem~\ref{thm:rgispf} and

269: Theorem~\ref{thm:nicergispf2} is valid in the context of

270: both finite and infinite graphs.

271: 

272: Theorem~\ref{thm:nicergispf2} can be used to show that each of the

273: bounds in Theorem~\ref{thm:rgispf} are realized, as illustrated in

274: the following two examples. First, consider the graph $C_5$ given

275: by a 5-cycle (i.e. a pentagon; see Figure~\ref{pentagon}).  This

276: graph has chromatic number $\chr(C_5)=3$, so Theorem

277: \ref{thm:rgispf} shows that the group $AC_5$ is \pf\  with \pf\

278: length at most 3. However, the pentagon satisfies the \nice\ (for

279: example, one can take $D=\{a,c\}$). Thus Theorem

280: \ref{thm:nicergispf2} improves this bound to $\pfl(AC_5) \le 2$.

281: Indeed, since $\clq(C_5)=2$, this group contains $\Z^2$ as a

282: subgroup and is not free, so $\pfl(AC_5) = 2$. Hence the lower

283: bound on $\pfl(A\g)$ given by the clique number in

284: Theorem~\ref{thm:rgispf} is achieved in this example.

285: \begin{figure}[!hbt]

286: \begin{center}

287: \includegraphics{pentagon.eps}

288: \end{center}

289: \caption{A pentagon and a pentagonal prism}

290: \label{pentagon}

291: \end{figure}

292: Next, suppose that $P_5$ is a pentagonal prism (see

293: Figure~\ref{pentagon}). In this case we have the same clique

294: number and the same chromatic number as for the pentagon, i.e.

295: $\clq(P_5)=2$ and $\chr(P_5)=3$, but $P_5$ does not satisfy the

296: \nice. Indeed, in a graph that satisfies the \nice\ exactly two

297: non-neighboring vertices must be selected from each 4-cycle to be

298: in the independent set of vertices $D$ breaking the cycles. Thus

299: if we choose $a$ in $D$, then we must also have $b'$, $c$, $d'$

300: and $e$ in $D$ (the vertices indicated by squares in the diagram

301: of $P_5$ in Figure~\ref{pentagon}). But $a$ and $e$ are neighbors,

302: so they cannot both be in $D$. This shows that $a$ cannot be in

303: $D$ and, by symmetry, no element can be in $D$. Since $D$ cannot

304: be empty $P_5$ does not satisfy the \nice.

305: Theorems~\ref{thm:rgispf} and \ref{thm:nicergispf2} show that

306: $\pfl(AP_5) \le 3$ and $\pfl(AP_5) \ne 2$. Thus $\pfl(AP_5) = 3$

307: and the chromatic number upper bound is achieved for this second

308: example.

309: 

310: If a graph \gm\ satisfies the \nice, the graph $\g$ can be colored

311: using three colors, one for the vertices in $D$, and two more for

312: the vertices in $V(\g)-D$ since their full subgraph is a forest.

313: Consequently, Theorem~\ref{thm:nicergispf2} implies that whenever

314: a \rg\ $A\g$ is \pf\ of length 2, then the defining graph \gm\

315: must have chromatic number at most three.

316: 

317: \begin{thm}\label{thm:pfgf2}

318: A right-angled Artin group $A\Gamma$ is poly-fg-free of length 2

319: if and only if $\Gamma$ is a finite tree or a finite complete

320: bipartite graph.

321: \end{thm}

322: \renewcommand{\thethm}{\thesection.\arabic{thm}}

323: 

324: For the right-angled Artin group $AC_5$ discussed above,

325: Theorem~\ref{thm:pfgf2} implies that the group $AC_5$ is not \pfg\

326: (of any length) even though it is poly-free of length 2. Indeed,

327: by the results of D.~Meier from~\cite{\dmeierhomol} (see

328: also~\cite{\feldmanhom}) the poly-fg-free length of a poly-fg-free

329: group is equal to its rational homological dimension. Since the

330: homological dimension of $AC_5$ is 2 (more on this later), $AC_5$

331: can only be poly-fg-free of length 2. However, $C_5$ is neither a tree

332: nor a complete bipartite graph and therefore $AC_5$ is not

333: poly-fg-free.

334: 

335: 

336: \subsection*{Organization}

337: Section~\ref{sec:background} is a brief review of \pf\ groups,

338: \rgs, and graph theoretic terminology. In Section~\ref{sec:pfimp}

339: we prove one direction of Theorem~\ref{thm:nicergispf2}, that

340: every \rg\ with \pf\ length 2 has the \nice, utilizing results of

341: \cite{\meiervanwyk} and \cite{\bestvbrady} on finiteness

342: properties of subgroups of \rgs. Section~\ref{sec:ineqs} contains

343: the proof of Theorem~\ref{thm:pfgf2}, utilizing a comparison of

344: Euler characteristics for \pf\ groups and \rgs, together with the

345: results of Section~\ref{sec:pfimp}. In Section~\ref{sec:rgpf} an

346: arbitrary \rg\ is exhibited as a split extension of a free

347: group by a \rg\ on a

348: subgraph, including an explicit description of the

349: action, proving Theorem~\ref{thm:rgispf}. Finally, in

350: Section~\ref{sec:niceimp2} we prove that for any graph

351: with the \nice, the corresponding \rg\ $A\g$ is a semidirect

352: product of two free groups, using a refinement of the techniques

353: of the previous section to construct the action. This result

354: completes the proof of Theorem~\ref{thm:nicergispf2}.

355: 

356: 

357: 

358: 

359: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

360: \section{Background}\label{sec:background}

361: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

362: 

363: \subsection{Groups}

364: 

365: Throughout the text, $g^a$ denotes the conjugate $a^{-1}ga$.

366: 

367: Let $G = \langle S \rangle$ be a group generated by $S$. A word

368: $w$ of length $k$ over $S \cup S^{-1}$ is a geodesic word if no

369: word over $S \cup S^{-1}$ of length strictly less than $k$

370: represents the same element in $G$ as $w$ does. A total order

371: defined on $S \cup S^{-1}$ induces a total order, called shortlex

372: order, on all words over $S \cup S^{-1}$ in which shorter words

373: always precede the longer ones and the words of the same length

374: are ordered lexicographically according to the order defined on $S

375: \cup S^{-1}$. A shortlex representative of an element $g \in G$ is the

376: smallest word in the shortlex order that represents $g$. Such a

377: representative is, by definition, geodesic.

378: 

379: \subsection{Graphs}

380: 

381: Throughout the paper, we assume that every graph is

382: a simplicial graph; that is, a simple undirected graph.

383: Therefore a graph $\Gamma$ is an ordered pair $\Gamma=(V,E)$ in

384: which the set $V=V(\Gamma)$ is a set of vertices and $E=E(\Gamma)$

385: is a set of edges, which is a set of two element subsets of $V$.

386: An edge $\{a,b\}$ has the vertices $a$ and $b$ as its endpoints.

387: Two vertices $x$ and $y$ in $V$ are neighbors (are adjacent) if

388: $\{x,y\}$ is an edge in $E$ (so no vertex is its own neighbor). A

389: cycle in $\Gamma$ is a path of length at least 3 in which no

390: vertex is repeated except for the initial and terminal one, which

391: coincide. The clique number $\clq(\Gamma)$ of a graph $\Gamma$ is

392: the largest size of a complete subgraph of $\Gamma$. Thus

393: $\clq(\Gamma)$ is the largest size of a subset $Q$ of $V$ for

394: which every 2-element subset $\{a,b\} \subseteq Q$ is an edge in

395: $E$. A proper coloring of a graph $\Gamma$ by $C$ is a labelling

396: $\ell:C \to V$ of the vertices in $V$ by symbols from a set of

397: colors $C$ in such a way that no two neighbors in $\Gamma$ are

398: colored in the same color. Thus if $\{a,b\} \in E$ then $\ell(a)

399: \neq \ell(b)$. The chromatic number of a graph $\Gamma$ is the

400: smallest size of a set $C$ for which there exists a proper

401: coloring of $\Gamma$ by $C$. A set of vertices $D$ is independent

402: if it can be colored by the same color in some proper coloring of

403: $\Gamma$. In other words, no two vertices in $D$ are adjacent.

404: 

405: \subsection{Right-angled Artin groups}

406: 

407: We freely use the following well known observation. If $\Gamma'$

408: is a subgraph of $\Gamma$ induced by a set of vertices $X

409: \subseteq V$, then the subgroup of $A\Gamma$ generated by the

410: elements of $X$ is $A\Gamma'$.

411: 

412: Throughout the text, given any homomorphism $\phi:A\g \to F_q$

413: from a \rg\ to a free group, the set $D :=\{v\in V(\g) ~|~

414: \phi(v)=1\}$ is called the set of {\it dead vertices}, the set

415: $L:=V(\g)-D$ is the set of {\it living vertices}, and the full

416: subgraph $\g_L$ generated by $L$ is the {\it living subgraph} of

417: \gm, with respect to $\phi$.

418: 

419: \begin{lem}\label{lem:raaggeod}\cite{\green}

420: Every geodesic representative of an element $t \in A\Gamma$ can be

421: obtained from any other representative of $t$ by finite number of

422: applications of the following operations:

423: \begin{enumerate}

424:  \item Eliminate a subword of the form $xx^{-1}$ or $x^{-1}x$

425:  with $x \in V(\g)$.

426:  \item If $x,y \in V(\g)$ are

427:  adjacent in $\g$, replace a single occurrence of

428:  $x^\pm y^\pm$ by $y^\pm x^\pm$.

429: \end{enumerate}

430: In particular, every geodesic

431: representative of an element $t \in A\Gamma_L$ can be obtained

432: from any other geodesic representative of $t$ by finite number of

433: applications of operation 2.

434: \end{lem}

435: 

436: \subsection{Poly-free groups}

437: 

438: Throughout the text, when $G$ is a semidirect product of two free

439: groups, we will write $G=F_k \rtimes F_q$ with associated

440: canonical homomorphism $\phi:G \to F_q$, so that the rank of the

441: kernel $\ker(\phi)$ is $k$ and the rank of the associate quotient

442: is $q$.

443: 

444: \begin{propn}\label{propn:subgroup}

445: If $G$ is \pf\  with length $N$ and $H \leq G$, then $H$ is \pf\

446: with length $\le N$.

447: \end{propn}

448: 

449: 

450: \begin{proof}

451: Given a \pf\   tower

452: $1 = G_0 \trianglelefteq G_1  \trianglelefteq \cdots \trianglelefteq G_N=G$

453: for $G$, then the tower

454: $1 = G_0 \cap H \trianglelefteq G_1\cap H  \trianglelefteq

455: \cdots \trianglelefteq G_N\cap H=H$ is a \pf\  tower for $H$.

456: \end{proof}

457: 

458: 

459: \begin{propn}\label{propn:quotient}

460: If $G$ has a normal free subgroup $H$ and the quotient $G/H$ is

461: \pf\  with $\pfl(G/H)=N$, then $G$ is \pf\  with $\pfl(G) \le

462: N+1$.

463: \end{propn}

464: 

465: 

466: \begin{proof}

467: Let $\phi:G \ra G/H$ be the canonical homomorphism.

468: Given a \pf\   tower

469: $1 = Q_0 \trianglelefteq Q_1  \trianglelefteq \cdots \trianglelefteq Q_N=G/H$

470: for $G/H$, then the tower

471: $1  \trianglelefteq \phi^{-1}(Q_0)=H \trianglelefteq \phi^{-1}(Q_1)

472: \trianglelefteq

473: \cdots \trianglelefteq \phi^{-1}(Q_N)=G$ is a \pf\  tower for $G$.

474: \end{proof}

475: 

476: 

477: 

478: 

479: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

480: \section{Poly-freeness of length 2 implies the \nice}\label{sec:pfimp}

481: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

482: 

483: Before proving the statement of the title of this section in

484: Proposition~\ref{propn:pf2impnicerg},

485: we begin with a few lemmas.

486: 

487: \begin{lem}\label{lem:concomp}

488: Let \gm\  be a graph with $A\g = F_k \rtimes F_q$ for free groups

489: $F_k$ and $F_q$ of finite or infinite rank.  Let $\phi:A\g \ra

490: F_q$ be the canonical homomorphism and let $\g_L$ be the

491: corresponding living subgraph. If $\g_\alpha$ is a connected

492: subgraph of $\g_L$, then the subgroup $\langle \{\phi(u) | u \in

493: \g_\alpha\}\rangle$ of $F_q$ is isomorphic to $\Z$.

494: \end{lem}

495: 

496: \begin{proof}

497: Fix a connected subgraph $\g_\alpha$ in $\Gamma_L$. The images

498: $\phi(u)$, $u\in \g_\alpha$ are nontrivial elements in the free

499: group $F_q$. Using the fact that $\g_\alpha$ is connected and

500: \cite[Prop. I.2.18]{\lyndonschupp} that says that the commuting

501: relation is an equivalence relation on the set of nontrivial

502: elements in a free group, we conclude that the group $\langle

503: \{\phi(u) | u \in \g_\alpha\}\rangle$ is abelian. However, the

504: only abelian subgroup of $F_q$ is $\Z$ and the conclusion follows.

505: \end{proof}

506: 

507: 

508: 

509: 

510: \begin{lem}\label{lem:adjdead}

511: Let \gm\ be a graph with $A\g = F_k \rtimes F_q$ for free groups

512: $F_k$ and $F_q$ of finite or infinite rank.  Let $\phi:A\g \ra

513: F_q$ be the canonical homomorphism and let $D :=\{v \in V(\g) ~|~

514: \phi(v)=1\}$ be the set of dead vertices.  If $d \in D$ and

515: $a_1,...,a_n \in L=V(\g)-D$ are all adjacent to $d$, then the

516: subgroup $\langle \phi(a_1),...,\phi(a_n) \rangle$ of $F_q$ is

517: free of rank $n$.

518: \end{lem}

519: 

520: \begin{proof}

521: Suppose that there exists a nontrivial word $u_1 \cdots u_m$ with

522: each $u_i \in \{a_1,...,a_n\}^{\pm 1}$ and $\phi(u_1) \cdots

523: \phi(u_m)=1$. Then $u_1 \cdots u_m \in \ker(\phi)$, and since each

524: $a_i$ is adjacent to $d$, the subgroup $\langle d,u_1 \cdots u_m

525: \rangle$ of $\ker(\phi)$ is isomorphic to $\Z^2$. This contradicts

526: the hypothesis that $\ker(\phi)=F_k$ is free.

527: \end{proof}

528: 

529: 

530: 

531: \begin{lem}\label{lem:coefind}

532:  Let \gm\  be a

533: finite graph, let $\phi:A\g \ra Z$ be any group homomorphism from

534: $A\g$ to an infinite cyclic group $Z=\langle z \rangle$, and let

535: $\rho:A\g \ra Z$ be the homomorphism defined by $\rho(v):=z$ for a

536: vertex $v\in V(\g)$ if $\phi(v) \ne 1$ and $\rho(v):=1$ if

537: $\phi(v)=1$. Then $\ker(\phi)$ is free if and only if $\ker(\rho)$

538: is free.

539: \end{lem}

540: 

541: \begin{proof}

542: Let $D:=\{w \in V(\g)~|~\phi(w)=1\}$ and for each $v \in V(\g)-D$,

543: let $n_v \in \Z$ be the unique integer such that $z^{n_v}

544: =\phi(v)$ in $Z$.

545: 

546: First suppose that the group $\ker(\rho)$ is not free. Let $N$ be

547: the least common multiple of the numbers $|n_v|$ for $v \in

548: V(\g)-D$.  Then for each $v \in V(\g)-D$, there exists an integer

549: $a_v$ such that $n_va_v=N$.  Define $a_w:=1$ for each $w \in D$.

550: Let $\mu:Z \ra Z$ be the homomorphism $z^k \mapsto z^{Nk}$ given

551: by taking the $N$-th power in $Z$. The composition $\mu \circ

552: \rho:A\g \ra Z$ has kernel $\ker(\mu \circ \rho)=\ker(\rho)$.

553: Define $\Theta:A\g \ra A\g$ by $\Theta(v):=v^{a_v}$ for all $v \in

554: V(\g)$; this defines a homomorphism of groups. Moreover, the

555: compositions $\phi \circ \Theta = \mu \circ \rho$. Hence

556: $\ker(\rho)=\ker(\mu \circ \rho) = \ker(\phi \circ \Theta)$.

557: $$\begin{matrix}

558: A\g &

559: \buildrel \Theta \over \longrightarrow &

560: A\g \\

561: \rho \downarrow&  &  \downarrow \phi \\

562: Z & \buildrel {\mu} \over \longrightarrow &

563: Z. \\

564: \end{matrix}$$

565: 

566: Suppose that $1 \ne g \in \ker(\Theta)$. Put a total ordering on

567: $V(\g)$, and let $g =_{A\g} v_1^{j_1} v_2^{j_2} \cdots v_k^{j_k}$

568: be the shortlex least representative of $g$ with each $v_i \in

569: V(\g)$, $j_i \in \Z$, and $v_i \ne v_{i+1}$. Then $\Theta(g)

570: =_{A\g} v_1^{j_1a_{v_1}} v_2^{j_2a_{v_2}} \cdots v_k^{j_ka_{v_k}}

571: =_{A\g} 1$.  Since $g \ne 1$, the word $v_1^{j_1} v_2^{j_2} \cdots

572: v_k^{j_k}$ is not empty, so there must be commutation relations

573: such that for some indices $i<m$ we have $v_i=v_m$, $j_ij_m <0$,

574: and $v_i$ commutes with $v_n$ for all $i <n<m$, so that

575: cancellation occurs between $v_i^{j_ia_{v_i}}$ and

576: $v_m^{j_ma_{v_m}}$. However, in that case cancellation must also

577: be possible in the normal form word $v_1^{j_1} v_2^{j_2} \cdots

578: v_k^{j_k}$, giving a contradiction. Therefore $\ker(\Theta) = 1$.

579: 

580: We now have that $\Theta$ is a monomorphism, and

581: $\Theta(\ker(\rho))= \Theta(\ker(\mu \circ \rho))=\Theta(\ker(\phi

582: \circ \Theta)) \le \ker(\phi)$.  Hence $\ker(\rho)$ is isomorphic

583: to a subgroup of $\ker(\phi)$.  Using the Nielsen-Schreier

584: Subgroup Theorem, that every subgroup of a free group is free,

585:  together with the hypothesis that $\ker(\rho)$ is

586: not free, we have that $\ker(\phi)$ cannot be a free group.

587: 

588: Next suppose that $\ker(\phi)$ is not free. Define the function

589: $\Psi:A\g \ra A\g$ by $\Psi(v):=v^{n_v}$ for $v \in V(\g)-D$ and

590: $\Psi(w):=w$ for $w \in D$.  Then $\phi=\rho \circ \Psi$.  An

591: argument similar to the proof above for $\Theta$ shows that $\Psi$

592: is a monomorphism of groups, so $\Psi$ restricts to an isomorphism

593: from $\ker(\phi)$ to a subgroup of $\ker(\rho)$. Since

594: $\ker(\phi)$ is not free, then $\ker(\rho)$ also cannot be free.

595: \end{proof}

596: 

597: Note that Lemma \ref{lem:coefind} is the

598: only lemma in this section for which the graph must be finite.

599: In the proof of Theorem B, this lemma is applied only

600: to a cycle $\Gamma'$ in $\Gamma$, which is finite, and

601: hence Theorem B is valid for both finite and infinite graphs $\Gamma$.

602: 

603: \begin{lem}\label{lem:z3}

604: The group $\Z^n$ has \pf\  length equal to $n$.

605: \end{lem}

606: 

607: \begin{proof}  Since $\Z^n= \underbrace{\Z \times \Z \times \dots \times \Z}_n$

608: is an iterated direct product of $n$ free groups, $\Z^n$ is \pf\

609: with length at most $n$.

610: 

611: To show that $\Z^n$ cannot have \pf\ length less than $n$, assume

612: that $\Z^n = (\dots (F_{n_1} \rtimes F_{n_2}) \rtimes \dots )

613: \rtimes F_{n_k}$, for some (finite or infinite) $n_i$,

614: $i=1,\dots,k$. Since $\Z^n$ is abelian, we must have

615: $n_1=n_2=\dots=n_k=1$. Thus $\Z^n$ can be generated by $k$

616: elements (one for each $F_{n_i}$). However, $Z^n$ cannot be

617: generated by fewer than $n$ elements, which shows that $n \leq k$.

618: \end{proof}

619: 

620: 

621: Note that Lemma \ref{lem:z3} shows that the \rg\  whose graph \gm\

622: is a triangle cannot be \pf\  of length 2.

623: 

624: 

625: \begin{propn}\label{propn:pf2impnicerg}

626: If \gm\  is a graph and the \rg\  $A\g$ is \pf\ of

627: length 2, then the graph \gm\  has the \nice.

628: \end{propn}

629: 

630: \begin{proof}

631: The group $A\g$ can be written as a semidirect product

632: $A\g=F_k \sd F_q$ where $F_k$ and $F_q$ are free groups

633: of ranks $k$ and $q$, respectively, and $k,q \in \N \cup \{\infty\}$.

634: Let $\phi:A\g \ra F_q$ be the canonical surjection,

635: with $\ker(\phi) =F_k$.

636: Let $D$ be the set of vertices $v$ in \gm\  with $\phi(v)=1$;

637: that is, $v \in ker(\phi)$.

638: 

639: 

640: If $d_1$ and $d_2$ are vertices in $D$, then the subgroup $\langle

641: d_1,d_2 \rangle < A\g$ generated by $d_1$ and $d_2$ must also be

642: contained in $\ker(\phi)$.  Since $\ker(\phi)$ is free, the

643: subgroup $\langle d_1,d_2 \rangle$ of $\ker(\phi)$ is free.  Hence

644: $d_1$ and $d_2$ cannot be joined by an edge in \gm. Thus the

645: subgraph induced by $D$ is totally disconnected, i.e., $D$ is an

646: independent set of vertices in $\Gamma$.

647: 

648: Suppose that $\g'$ is a cycle in the graph \gm. Then $\g'$

649: contains at least 3 vertices. The subgroup $A\g'$ of $A\g$ is

650: again a \rg, and Proposition~\ref{propn:subgroup} says that $A\g'$

651: is \pf\  with length at most 2. Lemma \ref{lem:z3} says that

652: $\Z^3$ is not \pf\  with length less than 3, so the cycle $\g'$

653: cannot have length 3. Thus $\g'$ contains at least 4 vertices.

654: 

655: 

656: If $V(\g') \cap D$ contains less than two vertices, then

657: the full subgraph of $\g'$ generated by the vertices in $V(\g')-D$

658: is connected.  In this case Lemma~\ref{lem:concomp}

659: shows that the restriction $\phi|_{A\g'}:A\g' \ra F_q$

660: has range $\langle f \rangle =\Z$ for some $f \in F_q$.

661: Since $\ker(\phi|_{A\g'})<\ker(\phi)$, then $\ker(\phi|_{A\g'})$

662: is also a free group.

663: 

664: 

665: If $V(\g') \cap D=\emptyset$, then $\phi(v) \ne f^0$ for all $v

666: \in V(\g')$.  Define the function $\rho:A\g' \ra \Z$ by

667: $\rho(v)=f$ for all $v \in V(\g')$.  Then Lemma \ref{lem:coefind}

668: says that $\ker(\rho)$ is free.  Since the graph $\g'$ is

669: connected, \cite[Theorem 6.3]{\meiervanwyk} shows that

670: $\ker(\rho)$ is finitely generated.  The cycle $\g'$ is a flag

671: complex, since $\g'$ is not a triangle, and this flag complex is

672: not simply connected.  The Main Theorem of \cite{\bestvbrady}

673: shows that $\ker(\rho)$ is not finitely presented.  Since a free

674: group cannot be finitely generated but not finitely presented, we

675: have a contradiction.

676: 

677: If there is exactly one vertex $d$ in $V(\g') \cap D$, then the

678: images $\phi(a)$ and $\phi(b)$ of the two neighbors $a$ and $b$ of

679: $d$ in the cycle $\Gamma'$ must generate a free group of rank 2 in

680: $F_q$ (by Lemma~\ref{lem:adjdead}). On the other hand, we already

681: established that the range of $\phi|_{A\g'}:A\g' \ra F_q$ is

682: cyclic, resulting again in a contradiction.

683: \end{proof}

684: 

685: 

686: 

687: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

688: \section{Poly-fg-freeness of length 2}\label{sec:ineqs}

689: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

690: 

691: In this section we prove Theorem~\ref{thm:pfgf2} using an

692: analysis of Euler characteristics of \rgs\ and \pf\ groups.

693: 

694: 

695: \begin{lem}\label{lem:reidschrei}

696: Let \gm\  be a finite graph with $A\g = F_k \rtimes F_q$

697: for free groups $F_k$ and $F_q$ of finite rank.  Let

698: $\phi:A\g \ra F_q$ be the canonical homomorphism, let

699: $D :=\{v \in V(\g) ~|~ \phi(v)=1\}$ be the set of

700: dead vertices, and for each $d \in D$, let $N_d$ denote

701: the set of vertices adjacent to $d$ in \gm.

702: Then the image of the subgroup generated by $N_d$

703: under the map $\phi$ has finite index in $F_q$, and

704: $k \geq  \sum_{d \in D} [F_q:\phi(\langle N_d\rangle)]~. $

705: \end{lem}

706: 

707: 

708: \begin{proof}

709: We begin by finding a presentation for the subgroup

710: $K:=\ker(\phi)=F_k$ of $A\g$ using the

711: Reidemeister-Schreier procedure, following the notation

712: in \cite[Proposition II.4.1]{\lyndonschupp}.

713: Let $F(V(\g))$ be the free group on the vertices of \gm,

714: let $\alpha:F(V(\g)) \ra A\g$ be the canonical

715: epimorphism, and let $\widetilde K:=\alpha^{-1}(K)$.

716: Then $F(V(\g))/\widetilde K \cong F_q$.

717: Choose a Schreier transversal $T$ for

718: $\widetilde K$ in $F(V(\g))$.

719: 

720: For any element $y \in F(V(\g))$, let $\ov{y}$ denote the

721: element of $T$ for which $Ky=K\ov{y}$.

722: For $t \in T$

723: and $v \in V(\g)$, define $\gamma(t,v):=tv\ov{tv}^{-1}$.

724: Given $d \in D$ and $t \in T$,

725: then  $\ov{td}=t$.  The element $d_t:=tdt^{-1}=\gamma(t,d)$ is a conjugate

726: of a nontrivial element in $A\g$, so $d_t$ itself is not trivial.

727: Given $a \in L$ and $t \in T$, define $a_t:=ta\overline{ta}^{-1} =

728: \gamma(t,a)$ as well.

729: The subset $S$ of nontrivial elements in the set

730: \[  \{ d_t \ | \ t \in T, \ d \in D \ \} \cup

731:    \{ a_t \ | \ t \in T, \ a \in L \ \} \]

732: generates $K$.

733: 

734: 

735: For $t \in T$ and $v \in V(\g)$, also define

736: $\gamma(t,v^{-1}):=tv^{-1}(\ov{tv^{-1}})^{-1}$. If $t \in T$, $d

737: \in D$, and $a \in L$, then $\gamma(t,d^{-1})=d_t^{-1}$ and

738: $\gamma(t,a^{-1})=(a_{\ov{ta^{-1}}})^{-1}$. Given any word $v=v_1

739: \cdots v_m$ with each $v_i \in V(\g)^{\pm 1}$, define

740: \[ \tau(v):=\gamma(1,v_1)\gamma(\ov{v_1},v_2) \cdots

741:  \gamma(\ov{v_1 \cdots v_{m-1}},v_m). \]

742: Note that for each $t \in T$ and each relator $r=[u,v] \in R$,

743: the element

744: $\tau(t)$ freely reduces to 1, and

745: \[ \tau(trt^{-1})=\gamma(t,u)\gamma(\ov{tu},v)\gamma(\ov{tuv},u^{-1})

746:  \gamma(\ov{tuvu^{-1}},v^{-1})~. \]

747: The latter words form the defining relators of the presentation

748: for $K=\ker(\phi)$. In particular, a defining set of relations is

749: given by

750: \begin{align*}

751:  R := & \{ d_t a_t = a_t d_{\overline{ta}} \ |

752:         \ t \in T, \ d \in D, \ a \in L,

753:         \ \{d,a\} \in E(\g) \ \}

754:         \ \cup \\

755:      & \{ a_t b_{\overline{ta}} = b_t a_{\overline{tb}} \ |

756:         \ t \in T, \ a,b \in L,

757:         \ \{a,b\} \in E(\g) \ \}

758: \end{align*}

759: and the group $K$ is presented by $\langle \ S \ | \ R \ \rangle$.

760: 

761: Abelianizing this presentation yields a presentation for

762: $K_{ab} = \Z^k$.  The subgroup $H$ of $K_{ab}$

763: generated by the elements of

764: \[ D_T := \{ \ d_t \ | \ d \in D, \ t \in T \ \} \]

765: is a free abelian direct factor of $K_{ab}$

766: presented by

767: \[

768: H =  \langle \ D_T \ | \ \{ d_t = d_{\overline{ta}} \ |

769:         \ t \in T, \ d \in D, \ a \in N_d \ \} \ \rangle_{ab}\ . \]

770: Since all relations in this presentation are equalities between

771: generators, the rank of $H$ is the number of equivalence classes

772: of generators. Note that two generators $d_t$ and $d_s$ are equal

773: in $H$ if and only if there exists a sequence of relations

774: $d_t=d_{\ov{ta_1}}=d_{\ov{ta_1a_2}}=\cdots=d_{\ov{ta_1 \cdots

775: a_m}}=d_s$ with $s=\ov{ta_1 \cdots a_{m+1}}$ and each $a_i \in

776: N_d^{\pm 1}$. This holds if and only if $Kta_1 \cdots a_{m+1}=Ks$,

777: which is satisfied if and only if $\phi(t)\phi(a_1) \cdots

778: \phi(a_{m+1})=\phi(s)$. Then $d_t$ and $d_s$ are equal in $H$ if

779: and only if $\phi(t)$ and $\phi(s)$ are in the same coset of

780: $\phi(\langle N_d \rangle)$ in $F_q$. Therefore the rank of $H$ is

781: equal to the sum of indices $\sum_{d \in D} [F_q:\phi(\langle N_d

782: \rangle)]$. Since the rank of $K_{ab}$ is $k$ we have

783: \[ k \geq rank(H) = \sum_{d \in D} [F_q:\phi(\langle N_d \rangle)]. \]

784: In particular, the

785: index $[F_q:\phi(\langle N_d \rangle)]$ is finite for all $d \in D$.

786: \end{proof}

787: 

788: 

789: \renewcommand{\thethm}{\ref{thm:pfgf2}}

790: \begin{thm}

791: A right-angled Artin group $A\Gamma$ is poly-fg-free of length 2

792: if and only if $\Gamma$ is either a finite tree or a finite

793: complete bipartite graph.

794: \end{thm}

795: \renewcommand{\thethm}{\thesection.\arabic{thm}}

796: 

797: 

798: \begin{proof}

799: If \gm\ is the complete bipartite graph $K_{k,q}$, then $A\g$ is

800: the direct product $F_k \times F_q$ of free groups of ranks $k$

801: and $q$.  On the other hand, if \gm\ is a tree on $n$ vertices,

802: the Artin group $A\g$ is a semidirect product $F_{n-1} \rtimes \Z$

803: \cite[Proposition 4.6]{\hermeierartin}.

804: 

805: Conversely, assume for the rest of this proof that $A\Gamma$ is a

806: poly-fg-free group of length 2. Since $A\Gamma$ is finitely

807: generated, the graph $\Gamma$ must be finite (since the

808: abelianization of $A\Gamma$ is $\Z^V$, any generating set of

809: $A\Gamma$ has at least $|V|$ elements).

810: 

811: There exists a split short exact sequence

812: \[ 1 \to F_k \to A\Gamma {\buildrel \phi \over \to} F_q \to 1, \]

813: such that the ranks $k$ and $q$ of the free groups are finite and

814: positive. By Proposition~\ref{propn:pf2impnicerg}, the graph \gm\

815: must satisfy the \nice.  Moreover, the proof of that proposition

816: shows that the set of dead vertices $D:=\{ v \in V(\Gamma) |

817: \phi(v)=1 \}$ associated to $\phi$ is an independent set of

818: vertices in $\Gamma$ such that every cycle in $\Gamma$ meets $D$

819: at least twice. Since $A\g$ is not poly-fg-free of length 1, the

820: living subgraph $\g_L$ is not empty.

821: 

822: Since semidirect products of free groups are torsion free, the Euler

823: characteristic of the semidirect product $A\g=F_k \rtimes F_q$ is

824: given by $\chi(A\Gamma) = \chi(F_k)\chi(F_q)$ (see

825: \cite[Proposition IX.7.3(d)]{\brown}). Therefore, given that the

826: Euler characteristic of a free group $F_r$ of rank $r$ is

827: $\chi(F_r)=1-r$,

828: \begin{equation} \chi(A\Gamma) = (k-1)(q-1)~. \label{eq:eulerkq}

829: \end{equation}

830: 

831: The Euler characteristic of a \rg\  can be computed using a

832: $K(A\g,1)$ space. The \nice\ implies that \gm\ contains edges but

833: does not contain any triangles. In this case the standard

834: 2-complex associated to the standard presentation (from

835: Section~\ref{sec:intro}) of $A\g$ is a $K(A\g,1)$ \cite[Theorem

836: 7.3]{\meiervanwyk}, and the associated chain complex is

837: \[ \cdots 0 \to \bigoplus_{|E(\g)|}\Z {\buildrel \partial_2 \over \to}

838: \bigoplus_{|V(\g)|}\Z {\buildrel \partial_1 \over \to} \Z \to 0~

839: \] (this complex can also be obtained as the co-invariants of the

840: free $\Z A\g$-module resolution in \cite{\dicks}). A

841: straightforward computation shows that all of the boundary maps

842: $\partial_i$ in this complex are trivial, so $H_0(A\g)=\Z$,

843: $H_1(A\g)=\Z^v$, and $H_2(A\g)=Z^e$ where $v:=|V(\g)|$ and

844: $e:=|E(\g)|$. Thus the Euler characteristic of $A\Gamma$ is also

845: \begin{equation} \chi(A\Gamma) = 1 - v + e~. \label{eq:eulerve}

846: \end{equation}

847: 

848: 

849: Denote the connected components of the nonempty graph $\Gamma_L$

850: by $C_1,\dots,C_c$.  Each of these components is a tree with

851: $n_j>0$ vertices, and hence $n_j-1$ edges, for $1 \le j \le c$.

852: Let $\dd:=|D|$ and denote the degrees of the vertices $d_1,\dots

853: d_\dd$ in $D$ by $g_1,\dots,g_\dd$. Rewriting

854: Equation~(\ref{eq:eulerve}) yields

855: \begin{multline}

856:  \chi(A\Gamma) =

857: 1 - ( \dd + \sum_{j=1}^c n_j ) + ( \sum_{j=1}^c

858:  (n_j-1) + \sum_{i=1}^\dd g_i) =\\

859:  = 1 - \dd -c + \sum_{i=1}^\dd g_i = 1 -c + \sum_{i=1}^\dd (g_i-1).

860: \label{eq:eulercd}

861: \end{multline}

862: 

863: For each $1 \le i \le \dd$, let $N_i$ denote the set of vertices

864: adjacent to $d_i$. Lemma~\ref{lem:adjdead} says that the subgroup

865: $\phi(\langle N_i \rangle)$ of $F_q$ is free of rank equal to the

866: degree $g_i$ of $d_i$. Using the Schreier Formula,

867: $(rank(F_q)-1)[F_q:\phi(\langle N_i\rangle)]=

868:  (rank(\phi(\langle N_i\rangle)-1)$, so

869: \[ g_i-1 = (q-1)[F_q:\phi(\langle N_i\rangle)]. \]

870: According to Lemma~\ref{lem:reidschrei}, $\sum_{i=1}^\dd

871: [F_q:\phi(\langle N_{d_i}\rangle)] \le k$. Thus, taking into

872: account the non-negativity of $q-1$,

873: \[ \sum_{i=1}^\dd (g_i -1) = (q-1)\sum_{i=1}^\dd [F_q:\phi(\langle N_{d_i}\rangle)] \leq k(q-1). \]

874: Combining this with Equation~(\ref{eq:eulerkq}) and

875: Equation~(\ref{eq:eulercd}), then

876: \[(k-1)(q-1) ~~{\buildrel (\ref{eq:eulerkq}) \over =}~~

877: \chi(\g) ~~{\buildrel (\ref{eq:eulercd}) \over =}~~ 1 -c +

878: \sum_{i=1}^\dd (g_i-1) ~\leq~ 1 -c + k(q-1)~, \] which implies

879: that $c \leq q \ . $

880: 

881: 

882: Lemma \ref{lem:concomp} says that for each component $C_j$, there

883: exists an element $f_j$ in $F_q$ such that all vertices from the

884: component $C_j$ are mapped by $\phi$ to a power of $f_j$. Since

885: $\phi$ is onto and the dead vertices in $D$ are mapped to the

886: identity in $F_q$, $f_1,\dots,f_c$ generate $F_q$, which implies

887: that $ q \leq c.$ Using the inequality at the end of the previous

888: paragraph, then

889: \begin{equation} q = c. \label{eq:qec}

890: \end{equation}

891: 

892: 

893: If $q=c=1$, then the living subgraph $\g_L$ of \gm\  is a single

894: tree. Since the kernel $\ker(\phi)=F_k$ is finitely generated,

895: \cite[Theorem 6.1]{\meiervanwyk} says that

896: %$\Gamma$ is connected. Since $D$ is an independent set of vertices,

897: every dead vertex in

898: $D$ must be adjacent to a vertex in $\g_L$. The \nice\ says that

899: there cannot be a cycle in \gm\ that meets a dead vertex in $D$

900: only once, which implies that for each $d \in D$, $d$ cannot be

901: the endpoint of two different edges whose other endpoints lie in

902: $\g_L$. Therefore in this case the graph \gm\ is also a tree.

903: 

904: Finally suppose that $q=c \geq 2$. As in the previous paragraph,

905: the \nice\  says that for each $d_i \in D$, $d_i$ cannot be the

906: endpoint of two different edges whose other endpoints lie in the

907: same component $C_j$ of $\g_L$. Hence each degree $g_i \le c$, so

908: $\sum_{i=1}^\dd g_i \leq c\dd$. Using Equation~(\ref{eq:qec}),

909: Equation~(\ref{eq:eulerkq}), and Equation~(\ref{eq:eulercd}), then

910: \begin{eqnarray*}

911: (k-1)(c-1) & {\buildrel (\ref{eq:qec}) \over =} & (k-1)(q-1)

912: ~~{\buildrel (\ref{eq:eulerkq}) \over =}~~ \chi(A\Gamma)

913:  ~~{\buildrel (\ref{eq:eulercd})  \over =}~~ 1 - \dd -c + \sum_{i=1}^\dd g_i\\

914: & \leq &  1 - \dd -c +c\dd = (c-1)(\dd-1)~.

915: \end{eqnarray*}

916: Since $c \ge 2$, therefore

917: \begin{equation} k \leq \dd~. \label{eq:kld}

918: \end{equation}

919: Note that  equality holds if and only if each vertex in $D$ has degree

920: $c$; i.e., there exists a single edge between each vertex in $D$ and

921: each component of $\Gamma_L$.

922: 

923: Since $A\Gamma = F_k \rtimes F_q$, the group $A\Gamma$ can be

924: generated by $k+q$ elements. However, the minimal number of

925: generators for the \rg\ $A\Gamma$

926: is the number $v=\dd + \sum_{j=1}^c n_j$

927: of vertices in $\Gamma$, which

928: in turn is at least as large as $\dd+c$. Thus

929: \begin{equation} \dd + c \leq k + q ~.

930: \label{eq:dclkq}

931: \end{equation}

932: Note that equality in this case is possible only

933: if $\dd+c=v=\dd + \sum_{j=1}^c n_j=k+q$, and

934: so $c=\sum_{j=1}^c n_j$.  Thus equality implies that each $n_j=1$;

935: i.e., each component $C_j$ of $\Gamma_L$ is a single vertex.

936: 

937: Using the fact that $q=c$, Inequality~(\ref{eq:kld}) and

938: Inequality~(\ref{eq:dclkq}) imply that $\dd=k$, so equality holds

939: both in (\ref{eq:kld}) and in (\ref{eq:dclkq}). Therefore $D$ and

940: $L$ are each independent sets of vertices in \gm, and there is an

941: edge between each vertex in $D$ and each vertex in $L$. Thus in

942: this case $\g$ is a complete bipartite graph.

943: \end{proof}

944: 

945: 

946: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

947: \section{Every \rg\  is poly-free}\label{sec:rgpf}

948: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

949: 

950: %In this section we prove the following.

951: Given a graph \gm\ with finite chromatic number greater

952: than one, let $D$ be the set of vertices in one of the colors and

953: let $L:=V(\g)-D$ be the vertices in the other colors.  Let $\g_L$

954: be the full subgraph of \gm\ induced by $L$. If we define a

955: homomorphism $\phi:A\g \ra A\g_L$ by $\phi(d)=1$ for $d \in D$ and

956: $\phi(a)=a$ for $a \in L$, then $D$ is the set of dead vertices

957: and $\g_L$ is the living subgraph associated to this homomorphism.

958: In the following

959: proof we construct a free group $F$ (isomorphic to $\ker(\phi)$)

960: and an action of $A\g_L$ on $F$, and exhibit directly that $A\g$

961: is isomorphic to the semidirect product $F \rtimes A\Gamma_L$ of a

962: free group with $A\g_L$.

963: 

964: \renewcommand{\thethm}{\ref{thm:rgispf}}

965: \begin{thm}

966: Let \gm\  be a finite graph or, more generally, a

967: graph of finite chromatic number $\chr(\g)$ and finite

968: clique number $\clq(\g)$. The \rg\  $A\g$ is \pf. Moreover,

969: \[ \clq(\g) \le \pfl(A\g) \le \chr(\g), \]

970: and there exists a \pf\ tower for $A\g$ of length $\chr(\g)$.

971: \end{thm}

972: \renewcommand{\thethm}{\thesection.\arabic{thm}}

973: 

974: 

975: 

976: \begin{proof}

977: To prove poly-freeness and the upper bound on the \pf\ length, we

978: induct on $\chr(\g)$.  If $\chr(\g)=1$, then $\g$ is totally disconnected,

979: so $A\g$ is free, and hence \pf\ of length 1.  Next suppose that

980: $\chr(\g) \geq 2$, and that

981: for every graph $\g'$ with $\chr(\g') < \chr(\g)$, the group

982: $A\g'$ is poly-free and has a \pf\ tower of length $\chr(\g')$.

983: 

984: Choose a coloring of $\Gamma$ in $\chr(\g)$ colors, one of which

985: is gray. Let $D$ be the set of vertices in $V=V(\Gamma)$

986: colored in gray, $L=V-D$ be the set of vertices colored in a

987: different color, $\Gamma_L$ be the subgraph of $\Gamma$

988: induced by $L$ and $A\Gamma_L$ be the corresponding \rg.

989: Then $\chr(\Gamma_L)=\chr(\Gamma)-1$ and the inductive

990: assumption implies that there exists a poly-free tower for

991: $A\Gamma_L$ of length $\chr(\Gamma)-1$.

992: 

993: 

994: In the discussion that follows, a geodesic representative of an

995: element $t \in A\Gamma_L$ means a geodesic word in the alphabet

996: $L^{\pm 1}$. For any vertex $v \in V(\g)$, denote by $N_v$ the set

997: of vertices adjacent to $v$; i.e., the neighbors of $v$. For each

998: $d \in D$, define a set of symbols

999: \[ T_d := \{\ d_t \ | \ t\in A\Gamma_L, \text{ no

1000:   geodesic rep. of } t

1001:   \text{ starts with a letter in } N_d^{\pm 1} \ \}. \]

1002: Let $F(T_d)$ be the free group over $T_d$ and let $F$ be the free

1003: group

1004: \[ F := *_{d \in D} F(T_d). \]

1005: 

1006: 

1007: 

1008: For each generator $a \in L$,

1009: define an endomorphism $\alpha_a:F \ra F$ by

1010: \begin{equation}\label{AGL action}

1011: \alpha_a(d_t) := \begin{cases} d_{ta}, & d_{ta} \in T_d \\

1012:                          d_t,  & d_{ta} \not \in T_d

1013:        \end{cases},

1014: \end{equation}

1015: for all $d \in D$ and $d_t \in T_d$. Since $F$ is a free group,

1016: this definition of $\alpha_a$ on the generators of $F$ extends to

1017: an endomorphism on $F$. In order to show that $a \mapsto \alpha_a$

1018: extends to an action of $A\g_L$ on $F$, we first need to consider

1019: when the conditions $d_t \in T_d$ and $d_{ta} \not \in T_d$ occur

1020: simultaneously.

1021: 

1022: Assume that $d_t \in T_d$. If $d_{ta} \not \in T_d$, then there

1023: exists a geodesic representative $w$ of $ta$ that begins with a

1024: letter in $N_d^{\pm 1}$. Consider the word $wa^{-1}$ representing

1025: $t$. Since $d_t \in T_d$ the word $wa^{-1}$ cannot be geodesic. By

1026: Lemma~\ref{lem:raaggeod} we can write $w$ as $u_1au_2$ where $a$

1027: commutes with all the letters in $u_2$. The word $u_1u_2$ is a

1028: geodesic representative of $t$. As such, it cannot start in

1029: $N_d^{\pm 1}$. Thus the geodesic word $w=u_1au_2$ representing

1030: $ta$ and the geodesic word $u_1u_2$ representing $t$ start in a

1031: different letter. This is possible only when $u_1$ is empty. Thus

1032: $w=au_2$ is a geodesic representative of $ta$ that starts in

1033: $N_d^{\pm 1}$ and $a$ commutes with all letters in $u_2$, i.e.,

1034: $a$ commutes with $d$ and all the letters in $u_2$. However, $u_2$

1035: is a geodesic representative of $t$. Since any other geodesic

1036: representative of $t$ can be obtained from $u_2$ by commuting

1037: letters we conclude that $a$ commutes with $d$ and all the letters

1038: in any geodesic representative of $t$. A similar proof shows that,

1039: conversely, if $a$ commutes with $d$ and all letters in any

1040: geodesic representative of $t$ then $d_{ta}$ cannot be in $T_d$.

1041: Therefore

1042: \begin{description}

1043: \item [$(*)$] If $d_t \in T_d$ then $d_{ta} \not \in T_d$   if and

1044: only if $d$ and all of the symbols in any geodesic representative

1045: of $t$ are adjacent to $a$ in $\Gamma$.

1046: \end{description}

1047: 

1048: 

1049: For each $a \in L$ and $d_t \in T_d$,

1050: define another endomorphism $\alpha_{a^{-1}}:F \ra F$ by

1051: replacing $a$ by $a^{-1}$ in Equation~\ref{AGL action}.  Then

1052: \[ \alpha_a(\alpha_{a^{-1}}(d_t)) =

1053: \alpha_a\left( \begin{cases} d_{ta^{-1}}, & d_{ta^{-1}} \in T_d \\

1054:                          d_t,  & d_{ta^{-1}} \not \in T_d

1055:        \end{cases} \right)  =

1056:  \begin{cases} d_{t}, & d_{ta^{-1}} \in T_d, \ d_{ta} \in T_d \\

1057:                d_{ta^{-1}},  & d_{ta^{-1}} \in T_d, \ d_{ta} \not \in T_d\\

1058:                d_{ta},  & d_{ta^{-1}} \not \in T_d, \ d_{ta} \in T_d\\

1059:                d_t,     & d_{ta^{-1}} \not \in T_d, \ d_{ta} \not \in T_d

1060:  \end{cases}.

1061: \]

1062: As a consequence of $(*)$ from the previous paragraph,

1063: for every $a \in L$, $d \in D$,

1064: and $d_t \in T_d$, we have $d_{ta} \in T_d$ if and

1065: only if $d_{ta^{-1}} \in T_d$, and so the middle two cases

1066: in last expression of the equation above cannot occur.

1067: Therefore $\alpha_a(\alpha_{a^{-1}}(d_t))=d_t$, and

1068: similarly $\alpha_{a^{-1}}(\alpha_a(d_t))=d_t$.  Thus the maps $\alpha_a$

1069: and $\alpha_{a^{-1}}$ are automorphisms of $F$ which

1070: are inverse to each other.

1071: 

1072: 

1073: 

1074: Finally, for each $a,b \in L$ that are adjacent in \gm\ and each

1075: $d \in D$ and $d_t \in T_d$, the equivalence in $(*)$ shows that

1076: the condition $d_{tab} \in T_d$ is equivalent to the conjunction of

1077: the conditions $d_{ta} \in T_d$ and $d_{tb} \in T_d$, so we have

1078: \[ \alpha_b(\alpha_a(d_t)) =

1079: % \left( \begin{cases} d_{ta}, & ta \in T_d \\

1080: %                      d_t,  & ta \not \in T_d

1081: %        \end{cases} \right) ^b =

1082:  \begin{cases} d_{tab}, & d_{ta} \in T_d, \ d_{tab} \in T_d \\

1083:                d_{ta},  & d_{ta} \in T_d, \ d_{tab} \not \in T_d\\

1084:                d_{tb},  & d_{ta} \not \in T_d, \ d_{tb} \in T_d\\

1085:                d_t,     & d_{ta} \not \in T_d, \ d_{tb} \not \in T_d

1086:  \end{cases} =

1087:  \begin{cases} d_{tab}, & d_{ta} \in T_d, \ d_{tb} \in T_d \\

1088:                d_{ta},  & d_{ta} \in T_d, \ d_{tb} \not \in T_d\\

1089:                d_{tb},  & d_{ta} \not \in T_d, \ d_{tb} \in T_d\\

1090:                d_t,     & d_{ta} \not \in T_d, \ d_{tb} \not \in T_d

1091:  \end{cases}.

1092: \]

1093: Therefore, by symmetry, $\alpha_b(\alpha_a(d_t)) =

1094: \alpha_a(\alpha_b(d_t))$. Thus $\alpha_a\alpha_b =

1095: \alpha_b\alpha_a$ whenever $a$ and $b$ are adjacent in $\Gamma$,

1096: which implies that Equation~(\ref{AGL action}) defines a

1097: homomorphism $\alpha:A\g_L \ra Aut(F)$, given by $a \mapsto

1098: \alpha_a$, and an action of $A\Gamma_L$ on the free group $F$.

1099: 

1100: Let $G := F \rtimes A\Gamma_L$ be the semidirect product defined

1101: by this action. Next we show that $G \cong A\Gamma$. A

1102: presentation for $G$ is given by

1103: \[ G = \langle L \cup (\cup_{d \in D} T_d) \ | \

1104:     R_L \cup (\cup_{d \in D} R_d) \rangle, \]

1105: where

1106: $R_L$ is the set of commutation

1107: relations defining $A\Gamma_L$ (induced by

1108: the edges of $\Gamma_L$) and for each $d \in D$,

1109: \[ R_d := \{ \ d_t^a = d_{ta} \ | \ d_{t} \in T_d, \ d_{ta} \in T_d \ \}

1110:     \cup \{ \ d_t^a = d_t \ | \ d_{t} \in T_d, \ d_{ta} \not\in T_d \ \}.

1111: \]

1112: Next apply Tietze transformations to simplify this presentation.

1113: Given an element $d_t \in T_d$, let $\eta_t$ be a geodesic representative

1114: of $t$.  For each prefix $u$ of

1115: $\eta_t$, then $d_{\ov{u}} \in T_d$ as well, so the

1116: relations of the type

1117: $d_t^a = d_{ta}$ in $R_d$ can be used to show that

1118: $d_t = d_1^{\eta_t}$ in $G$.  For any other geodesic representative

1119: $w$ of $t \in A\g_L$,

1120: the relation $d_1^{\eta_t}=d_1^w$ is a consequence of the

1121: relations in $R_L$.

1122: If we denote $d=d_1$ for $d \in D$, then the presentation of

1123: $G$ is Tietze

1124: equivalent to

1125: \[  \langle L \cup D \ | \

1126:     R_L \cup (\cup_{d \in D} R'_d) \rangle, \]

1127: where

1128: \[ R'_d := \{ \ d^{ta} = d^t \ | \ d_{t} \in T_d, \ d_{ta} \not\in T_d \ \}.

1129: \]

1130: Note that the relation $d^a=d$ occurs in $R'_d$ if $d_a \not\in T_d$,

1131: and $d_a \not\in T_d$ if and only if $a$ is adjacent to $d$

1132: in $\Gamma$.

1133: Thus the relations in $R'_d$ include all the

1134: defining relations in $A\Gamma$ involving $d$.

1135: For each relation $d^{ta} = d^t$ in $R'_d$ with $t$ a nontrivial

1136: element of $A\g_L$, we have $d_{ta} \not\in T_d$, which implies by

1137: $(*)$ that $a$ is adjacent to $d$ and to

1138: all of the symbols in any geodesic for $t$.

1139: This shows that the relation $d^{ta}=d^t$ is a consequence of the

1140: relation $d^a=d$ and the relations in $R_L$. Thus the presentation

1141: for $G$ is

1142: Tietze equivalent to

1143: \[  \langle L \cup D \ | \

1144:     R_L \cup (\cup_{d \in D} R''_d) \rangle, \]

1145: where

1146: \[ R''_d := \{ \ d^a = d \ | \ d_a \not\in T_d \ \}

1147:   = \{ \ d^a = d \ | \ a \text{ is adjacent to }d

1148:            \text{ in } \Gamma \ \}, \]

1149: which is exactly the defining presentation of $A\Gamma$.

1150: 

1151: Therefore $A\g \cong G = F \rtimes A\Gamma_L$.  By induction

1152: $A\g_L$ has a \pf\ tower of length $\chr(\Gamma)-1$, so the proof

1153: of Proposition~\ref{propn:quotient} completes the proof that $A\g$

1154: has a \pf\ tower of length $\chr(\g)$ and hence $\pfl(A\g) \le

1155: \chr(\g)$.

1156: 

1157: 

1158: Next consider the lower bound on the \pf\ length. Let $m=\clq(\g)$

1159: and let $\widetilde \g$ be a clique of \gm\  with $m$ vertices.

1160: Then $\widetilde \g$ is a complete graph, and the subgroup

1161: $A\widetilde \g$ corresponding to $\widetilde \g$ is isomorphic to

1162: $\Z^m$. Lemma \ref{lem:z3} says that $m = \pfl(A\widetilde \g)$,

1163: and Proposition~\ref{propn:subgroup} shows that $\pfl(A\widetilde

1164: \g) \le \pfl(A\g)$.

1165: \end{proof}

1166: 

1167: 

1168: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1169: \section{Poly-freeness of length 2}\label{sec:niceimp2}

1170: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1171: 

1172: 

1173: In this section we prove converse of the main result in

1174: Section~\ref{sec:pfimp}, that every graph with the \nice\  induces

1175: a \pf\ \rg\ of length 2.

1176: Together with the main result in Section~\ref{sec:pfimp}, this

1177: completes the proof of Theorem \ref{thm:nicergispf2}.

1178: 

1179: Given a graph \gm\ together with a

1180: corresponding set $D$ for which \gm\ has the \nice, let

1181: $L:=V(\g)-D$  and let $\g_L$ be the full subgraph of \gm\ induced

1182: by $L$.  Denote by $F(C)$ the free group on the set of connected

1183: components of $\g_L$. If we define a homomorphism $\phi:A\g \ra

1184: F(C)$ by $\phi(d)=1$ for $d \in D$ and $\phi(y)=c$ whenever $y \in

1185: L$ and $c$ is the generator of $F(C)$ corresponding to the

1186: component of $\g_L$ containing $y$, then $D$ is the set of dead

1187: vertices and $\g_L$ is the living subgraph associated to this

1188: homomorphism.  In

1189: the proof below, our approach follows the same lines as the proof

1190: of Theorem~\ref{thm:rgispf}. We construct a free group $F$

1191: (isomorphic to $\ker(\phi)$) and an action of $F(C)$ on $F$, in

1192: order to show explicitly that $A\g$ is isomorphic to a semidirect

1193: product $F \rtimes F(C)$ of two free groups.

1194: 

1195: 

1196: 

1197: \begin{propn}\label{propn:nicergimppf2}

1198: If \gm\  is a graph with the \nice, then

1199: the \rg\  $A\g$ is \pf\  of length 2.

1200: \end{propn}

1201: 

1202: \begin{proof}

1203: Fix a set $D$ of independent vertices in $\Gamma$ such that every

1204: cycle in $\Gamma$ meets $D$ at least twice.  Let $L$ be the

1205: complementary set of vertices in $\Gamma$ and let $\g_L$

1206: be the full subgraph of \gm\ induced by $L$.

1207: Each of the connected components of the graph

1208: $\g_L$ is a tree.

1209: Select one vertex from each component of $\g_L$,

1210: and denote the set of these vertices by $C$.

1211: Define

1212: $F(C):=A\Gamma_C$ to be the subgroup of $A\Gamma$ corresponding

1213: to the subgraph $\g_C$ induced by $C$.

1214: Since $\g_C$ is totally disconnected,

1215: the group $F(C)$ is also the free group on $C$.

1216: 

1217: 

1218: For every vertex $y \in L$, there exists a unique element $c \in

1219: C$ such that $y$ and $c$ are in the same component of $\Gamma_L$,

1220: and since this component is a tree, there exists a unique vertex

1221: path $(y^{(n)},  \dots, y^{(2)}, y^{(1)}, c)$ connecting

1222: $y=y^{(n)}$ and $c$ that lies inside the component of $c$ and is

1223: of minimal length. We call $c$ the {\it component representative

1224: of} $y$ and denote it by $r_y$. For each $d \in D$, let $N_d$

1225: denote the set of vertices in \gm\ adjacent to (i.e. neighbors of)

1226: $d$ and let $\rn_d$ be the set of component representatives of the

1227: vertices in $N_d$. For every element $c$ in $\rn_d$ there exists a

1228: vertex $y \in N_d$ that is contained in the connected component

1229: containing $c$; if $y \neq c$, denote this neighbor of $d$ by

1230: $x(d,c)$. For example, for the graph in Figure~\ref{doubly},

1231: $r_{y_{i,j}} = c_j$, for all $i$ and $j$. The element $x(d,c)$ is

1232: defined only in the following two cases: $x(d_1,c_2)=y_{4,2}$ and

1233: $x(d_2,c_2)=y_{3,2}$.

1234: 

1235: 

1236: In the following, the normal form of an

1237: element $t \in F(C)$ refers to the freely reduced word over $C^{\pm 1}$

1238: corresponding to $t$.

1239: Define $X:=L-C$.

1240: For each $x \in X$, let $\x$ be a copy of $x$ and

1241: let $\X = \{ \x | x \in X \}$ be the set of such copies.

1242: For each $\x \in \X$, define a set of symbols

1243: \begin{eqnarray*}

1244: T_\x \ \ :=\ \  \{\ \x_t & | & t\in F(C), \text{ the normal form of }

1245:         t \text{ does not} \\

1246:   & & \text{start with a letter in } \{r_x^{\pm 1}\} \ \}.

1247: \end{eqnarray*}

1248: For each $d \in D$, define a set of symbols

1249: \begin{eqnarray*}

1250: T_d \ \ :=\ \  \{\ d_t  &|&  t\in F(C), \text{ the normal form of }

1251:         t \text{ does not}\\

1252:   & & \text{start with a letter in } \rn_d^{\pm 1} \ \}.

1253: \end{eqnarray*}

1254: For any $z \in \X \cup D$, let $F(T_z)$ be the free group over $T_z$ and

1255: let $F$ be the free group

1256: \[ F := (*_{\x \in \X} F(T_\x)) * (*_{d \in D} F(T_d)) . \]

1257: 

1258: Given any $c \in C$, define an endomorphism $\alpha_c$ of

1259: the free group $F$ by defining $\alpha_c$ on the generators of $F$

1260: as

1261: \begin{equation}\label{FAx action}

1262: \alpha_c(\x_t) := \begin{cases} \x_{tc}, &

1263:               t \neq 1 \text{ or } c \neq r_x \\

1264:   [(\x^{(n-1)}_1)^{-1} \x^{(n)}_1]

1265:     \cdots   [(\x^{(2)}_1)^{-1} \x^{(3)}_1]

1266:     [(\x^{(1)}_1)^{-1} \x^{(2)}_1] \x^{(1)}_1, & t=1 \text{ and }  c=r_x

1267:        \end{cases}

1268: \end{equation}

1269: for $\x \in \X$ and $t \in T_\x$,  where $(x^{(n)}, \dots,

1270: x^{(2)}, x^{(1)}, c)$ is the minimal length path from $x$ to $c$

1271: inside the component of $c$, and

1272: \begin{equation}\label{FAd action}

1273: \alpha_c(d_t) := \begin{cases} d_{tc}, &

1274:           t\neq 1 \text{ or } c \not\in \rn_d \\

1275:         d_1, & t=1  \text{ and }  c \in \rn_d \cap N_d \\

1276:      d_1^{\x(d,c)_1},  &   t=1  \text{ and } c \in \rn_d - N_d

1277:        \end{cases}

1278: \end{equation}

1279: for $d \in D$ and $t \in T_d$.

1280: 

1281: Similarly, for $c \in C$, we also define an endomorphism

1282: $\alpha_{c^{-1}}:F \ra F$ by

1283: \begin{equation}\label{FAx- action}

1284: \alpha_{c^{-1}}(\x_t) =

1285:   \begin{cases}

1286:     \x_{tc^{-1}}, & t \neq 1 \text{ or } c \neq r_x \\

1287:     \x^{(1)}_1[\x^{(2)}_1(\x^{(1)}_1)^{-1}][\x^{(3)}_1(\x^{(2)}_1)^{-1}] \cdots

1288:          [\x^{(n)}_1 (\x^{(n-1)}_1)^{-1}], &

1289:     t=1  \text{ and }  c=r_x

1290:   \end{cases},

1291: \end{equation}

1292: for $\x \in \X$ and $t \in T_\x$, where $(x^{(n)},  \dots,

1293: x^{(2)}, x^{(1)}, c)$ is the minimal length path from $x$ to $c$

1294: inside the component of $c$, and

1295: \begin{equation}\label{FAd- action}

1296: \alpha_{c^{-1}}(d_t) =

1297:   \begin{cases}

1298:     d_{tc^{-1}}, & t\neq 1 \text{ or } c \not\in \rn_d \\

1299:     d_1, & t=1 \text{ and } c \in \rn_d \cap N_d, \\

1300:     d_1^{[\alpha_{c^{-1}}(\x(d,c)_1)]^{-1}},  & t=1 \text{ and }

1301:             c \in \rn_d - N_d

1302:   \end{cases},

1303: \end{equation}

1304: for $d \in D$ and  $t \in T_d$.

1305: 

1306: As in the proof of Theorem~\ref{thm:rgispf}, it is straightforward to

1307: check that the composition of the endomorphisms $\alpha_c$ and

1308: $\alpha_{c^{-1}}$ in either order is equal to the identity on the

1309: generating set of $F$. (The claim easily follows from

1310: $\alpha_c(x^{(i)}_1(x^{(i-1)}_1)^{-1}) =

1311: (x^{(i-1)}_1)^{-1}x^{(i)}_1$ and

1312: $\alpha_{c^{-1}}((x^{(i-1)}_1)^{-1}x^{(i)}_1) =

1313: x^{(i)}_1(x^{(i-1)}_1)^{-1}$, which hold for any adjacent pair of vertices

1314: $x^{(i)}$ and $x^{(i-1)}$ in the component of $c$ at distance $i$

1315: and $i-1$ from $c$, respectively, as measured within the component

1316: of $c$.) Therefore $\alpha_c$ and $\alpha_{c^{-1}}$ are mutually

1317: inverse automorphisms of $F$.

1318: 

1319: Since the group $F(C)$ is free, the map $c \mapsto \alpha_c$ can

1320: be extended to a homomorphism $\alpha:F(C) \to \Aut(F)$. Therefore

1321: (\ref{FAx action}) and (\ref{FAd action}) define an action of

1322: $F(C)$ on $F$.

1323: 

1324: %We show now that $A\Gamma \cong F \rtimes F(A)$, which means that the

1325: %poly-free length $A\Gamma$ is 2.

1326: Let $G :=F \rtimes F(C)$ be the associated semidirect product. A

1327: presentation for $G$ can be given by

1328: \[ G = \langle C \cup (\cup_{\x \in \X} T_\x) \cup (\cup_{d \in D} T_d)

1329:    \ | \

1330:     (\cup_{\x \in \X} R_\x) \cup (\cup_{d \in D} R_d) \rangle, \]

1331: where, for $d \in D$ and $\x \in \X$,

1332: \begin{align*}

1333:  R_\x := & \{ \ \x_t^c = \x_{tc} \ |

1334:   \ c \in C, \ \x_t \in T_\x, \ t \neq 1 \text{ or } c \neq r_x \ \}

1335:         \ \cup \\

1336:       & \{ \ \x_1^c =   [(\x^{(n-1)}_1)^{-1} \x^{(n)}_1]

1337:     \cdots   [(\x^{(2)}_1)^{-1} \x^{(3)}_1]

1338:     [(\x^{(1)}_1)^{-1} \x^{(2)}_1] \x^{(1)}_1 \ | \   c=r_x \ \},

1339: \end{align*}

1340: where $(x^{(n)}, \dots, x^{(2)}, x^{(1)}, c)$ is the minimal

1341: length path from $x$ to $c$ inside the component of $c$ and

1342: \begin{align*}

1343:  R_d := & \{ \ d_t^c = d_{tc} \ |

1344:   \ c \in C,\ d_t \in T_d, \ t\neq 1 \text{ or } c \not\in \rn_d \ \}

1345:   \ \cup \\

1346:        & \{ \ d_1^c = d_1 \ | \ c \in \rn_d \cap N_d \ \} \ \cup \\

1347:        & \{ \ d_1^c = d_1^{\x(d,c)_1} \ | c \in \rn_d - N_d \ \}\ .

1348: \end{align*}

1349: Next apply Tietze transformations to simplify this

1350: presentation.

1351: 

1352: First note that if $\x_t \in T_\x$, then every prefix $u$ of the

1353: normal form of $t$ does not start with a letter in $\{r_x^{\pm

1354: 1}\}$, so $\x_{\ov{u}} \in T_\x$ as well, and similarly for $d_t

1355: \in T_d$. Using this fact and repeatedly applying the relations of

1356: the type $\x_t^c = \x_{tc}$ and $d_t^c= d_{tc}$ in $R_\x$ and

1357: $R_d$, respectively, shows that in $G$ we have $\x_t = \x_1^t$ for

1358: all $t \in T_\x$ and $d_t = d_1^t$ for all $t \in T_d$. If we

1359: denote $\x=\x_1$ and $d=d_1$ for each $\x \in \X$ and $d \in D$,

1360: then the presentation for $G$ is Tietze equivalent to

1361: \[  \langle C \cup \X \cup D \ | \

1362:     (\cup_{\x \in \X} R'_\x) \cup (\cup_{d \in D} R'_d) \rangle, \]

1363: where

1364: \[ R'_\x := \{ \ \x^{r_x} =

1365: [(\x^{(n-1)})^{-1} \x^{(n)}]

1366:     \cdots   [(\x^{(2)})^{-1} \x^{(3)}]

1367:     [(\x^{(1)})^{-1} \x^{(2)}] \x^{(1)} \ \} \]

1368: and

1369: \[ R'_d := \{ \ d^c = d \ | \ c \in \rn_d \cap N_d \ \} \ \cup

1370:            \{ \ d^c = d^{\x(d,c)} \ | c \in \rn_d - N_d \ \}. \]

1371: 

1372: Second, for every $\x \in \X $ introduce a single new generator $x$ and a

1373: relation $\x = x^{-1}r_x$ in the presentation for

1374: $G$. Use these new relations to eliminate

1375: the generators $\x \in \X$ from the above presentation and obtain a

1376: Tietze equivalent presentation

1377: \[  \langle C \cup X \cup D \ | \

1378:     (\cup_{x \in X} R''_x) \cup (\cup_{d \in D} R''_d) \rangle, \]

1379: where

1380: \[ R''_x := \{ \ x^{-1}r_x = [x^{(n-1)} (x^{(n)})^{-1}]

1381:              \cdots [x^{(2)} (x^{(3)})^{-1}] [x^{(1)}(x^{(2)})^{-1}]r_x(x^{(1)})^{-1} \ \}\]

1382:  and

1383: \[ R''_d := \{ \ d^c = d \ | \ c \in \rn_d \cap N_d \ \} \ \cup

1384:           \{ \ d = d^{x(d,c)} \ | c \in \rn_d - N_d \ \}. \]

1385: 

1386: The relations in $R''_d$ say that each $d \in D$ commutes with all

1387: $c \in C$ and $x \in X$ that are its neighbors in $\Gamma$, just

1388: as in the standard presentation of $A\Gamma$. For each $c \in C$

1389: and each vertex $x$ adjacent to $c$ in $\g_L$, we have $c=r_x$ and

1390: $x=x^{(1)}$.  The corresponding relation in $R''_x$ is $x^{-1}r_x

1391: = r_xx^{-1}$, which implies that $x$ and $c$ commute. When the

1392: path length in $\g_L$ from $x$ to $c$ is 2, with a vertex path

1393: $(x^{(2)},x^{(1)},c)$ from $x=x^{(2)}$ to $c=r_x$, the

1394: corresponding relation is $x^{-1}r_x = x^{(1)} x^{-1} r_x

1395: (x^{(1)})^{-1}$. Since $x^{(1)}$ and $r_x$ commute, this implies

1396: that $x$ and $x^{(1)}$ commute. Continuing in the same fashion we

1397: see that all such relations together imply that each generator $x$

1398: whose distance to $r_x$ in $\g_L$ is $n$ commutes with the

1399: generator that is the neighbor of $x$ on the unique length minimal

1400: path from $x$ to $c=r_x$ inside the component of $r_x$. Thus, the

1401: standard relations in $A\Gamma$ can be recreated from the

1402: relations in $R''_x$ and $R''_d$. Conversely, each relation

1403: $x^{-1}r_x = [x^{(n-1)} (x^{(n)})^{-1}]

1404:              \cdots [x^{(2)} (x^{(3)})^{-1}]

1405:                 [x^{(1)}(x^{(2)})^{-1}]r_x(x^{(1)})^{-1}$

1406: in $R''_x$ is a corollary of the defining relations in $A\Gamma$.

1407: Thus the last presentation above is Tietze equivalent to the

1408: standard presentation of $A\Gamma$.

1409: 

1410: Therefore $A\Gamma \cong  G = F \rtimes F(C)$ has \pf\  length at

1411: most 2. The \nice\ implies that \gm\ is not totally disconnected,

1412: so the group $A\g$ contains a $\Z^2$ subgroup and cannot be free.

1413: Thus the \pf\ length of $A\g$ is exactly 2.

1414: \end{proof}

1415: 

1416: 

1417: The free group automorphisms $\alpha_a$ constructed in the proof

1418: of Theorem~\ref{thm:rgispf}  permute the basis elements of the

1419: free group.  Although the free group automorphism $\alpha_c$ of

1420: $F$ in the proof above does not have the same property, the

1421: automorphism of $F^{ab}=F/[F,F]$ induced by $\alpha_c$ permutes

1422: the basis elements of this free abelian group.

1423: 

1424: We conclude with a fully worked example illustrating a

1425: length 2 \pf\ structure

1426: of a right-angled Artin group defined by

1427: a graph with the doubly breakable cycle property,

1428: following the proof of Theorem B.

1429: \begin{figure}[!hbt]

1430: \begin{center}

1431: \includegraphics{example.eps}

1432: \end{center}

1433: \caption{Graph with the \nice} \label{example}

1434: \end{figure}

1435: Let $\Gamma$ be the graph in Figure~\ref{example}.

1436: Set $D:=\{d,e\}$. The living subgraph has 3 components and

1437: the chosen representatives are the elements of $C=\{a,b,c\}$.

1438: The only vertices in $X=L-C$ are $x$ and $y$. Denote

1439: $F_q:=F(a,b,c)$. We have

1440: \begin{align*}

1441:  T_d &= \{d_1\} \cup \{ \ d_t  \mid t \in F_q,

1442:   \text{ the normal form of } t \text{ starts with } c^{\pm1} \ \}, \\

1443:  T_e &= \{e_1\},

1444: \end{align*}

1445: and, for $\z \in\{\x,\y\}$,

1446: \[ T_\z = \{ \z_1 \} \cup \{ \ \z_t  \mid

1447:   t \in F_q, \text{ the normal form of } t \text{ starts with }

1448:   b^{\pm1} \text{ or } c^{\pm1} \ \}.

1449: \]

1450: Denote $F_k:=F(T_d \cup T_e \cup T_\x \cup T_\y)$.

1451: Then $A\Gamma=F_k \rtimes F_q$, where the action of

1452: $F_q$ on $F_k$ is given by the following table.

1453: \begin{center}

1454: \begin{tabular}{C|CCCCC}

1455:  & a && b && c  \\[3mm]

1456: \hline

1457: &&&&&\\

1458: d_1 & d_1^{\y_1} && d_1 && d_c \\[3mm]

1459: d_t & d_{ta} && d_{tb} && d_{tc} \\[3mm]

1460: e_1 & e_1^{\x_1} && e_1 && e_1 \\[3mm]

1461: \x_1 & \x_1 && \x_b && \x_c \\[3mm]

1462: \x_t & \x_{ta} && \x_{tb} && \x_{tc} \\[3mm]

1463: \y_1 & (\x_1)^{-1}\y_1\x_1 && \y_b && \y_c\\[3mm]

1464: \y_t & \y_{ta} && \y_{tb} && \y_{tc}

1465: \end{tabular}

1466: \end{center}

1467: In this table, the entry in the row labeled on the

1468: left by the letter $\sigma$ and column labeled above by $\tau$ is

1469: the conjugate $\sigma^\tau$.

1470: In the leftmost column of the table, the $d_t$, $\x_t$,

1471: and $\y_t$ entries range over all symbols in

1472: $T_d \setminus \{d_1\}$,

1473: $T_{\x} \setminus \{\x_1\}$, and

1474: $T_{\y} \setminus \{\y_1\}$,

1475: respectively.

1476: 

1477: 

1478: \bibliography{refs_pfrg}

1479: \bibliographystyle{plain}

1480: 

1481: 

1482: \end{document}

1483: