dc7494bfabd90964.tex
1: \begin{definition}[\emph{Affine type}]\label{def affine type}
2: A Cartan matrix is of affine type if the associated symmetric bilinear form is positive semidefinite and every proper principal submatrix is of finite type.
3: For our purposes, the key property of a Cartan matrix $A$ of affine type is that the closure of $\Tits(A)$ is a half-space.
4: More specifically, $A$ has a $0$-eigenvector $\t=(t_1,\ldots,t_n)$ with nonnegative entries.
5: We think of $\t$ as the simple roots coordinates of a vector $\beta=\sum_{i\in[n]}t_i\alpha_i$ in $V$.
6: The closure of $\Tits(A)$ is then $\set{\x\in V^*:\br{\x,\beta}\ge0}$, where, under our identification of $\reals^n$ with $V^*$, we interpret $\br{\x,\beta}$ as the usual pairing of $\x$ with $\t$.
7: The Tits cone is the union of the open halfspace $\set{\x\in V^*:\br{\x,\beta}>0}$ with the singleton $\set{\mathbf{0}}$.
8: The Cartan matrices of affine type are classified, for example, in~\cite{Macdonald}.
9: 
10: As in Definition~\ref{def Cartan type}, an exchange matrix $B$ is of affine Cartan type if its Cartan companion is of affine type. 
11: By analogy with Theorem~\ref{finite and Cartan}, we say that an exchange matrix $B$ is of \newword{affine type} if it is mutation equivalent to an acyclic exchange matrix of affine Cartan type.
12: (The classification of Cartan matrices of finite type implies that an exchange matrix of finite Cartan type is acyclic.
13: A non-acyclic exchange matrix of affine Cartan type is of finite type.)
14: \end{definition}
15: