# The Unapologetic Mathematician

## Proving the Classification Theorem II

We continue with the proof of the classification theorem that we started yesterday.

1. No more than three edges (counting multiplicities) can be incident on any given vertex of $\Gamma$.
2. Consider some vector $\epsilon\in\mathfrak{D}$, and let $\eta_1,\dots,\eta_k$ be the vectors whose vertices are connected to $\epsilon$ by at least one edge. Since by step 3 the graph $\Gamma$ cannot contain any cycles, we cannot connect any $\eta_i$ and $\eta_j$, and so we have $\langle\eta_i,\eta_j\rangle=0$ for $i\neq j$.

Since the collection $\{\epsilon,\eta_1,\dots,\eta_k\}$ is linearly independent, there must be some unit vector $\eta_0$ in the span of these vectors which is perpendicular to each of the $\eta_i$. This vector must satisfy $\langle\epsilon,\eta_0\rangle\neq0$. Then the collection $\{\eta_0,\eta_1,\dots,\eta_k\}$ is an orthonormal basis of this subspace, and we can thus write

$\displaystyle\epsilon=\sum\limits_{i=0}^k\langle\epsilon,\eta_i\rangle\eta_i$

and thus

$\displaystyle\begin{aligned}1=\langle\epsilon,\epsilon\rangle&=\left\langle\sum\limits_{i=0}^k\langle\epsilon,\eta_i\rangle\eta_i,\sum\limits_{j=0}^k\langle\epsilon,\eta_j\rangle\eta_j\right\rangle\\&=\sum\limits_{i=0}^k\sum\limits_{j=0}^k\langle\epsilon,\eta_i\rangle\langle\epsilon,\eta_j\rangle\langle\eta_i,\eta_j\rangle\\&=\sum\limits_{i=0}^k\sum\limits_{j=0}^k\langle\epsilon,\eta_i\rangle\langle\epsilon,\eta_j\rangle\delta_{i,j}\\&=\sum\limits_{i=0}^k\langle\epsilon,\eta_i\rangle^2\end{aligned}$

Now since we can’t have $\langle\epsilon,\eta_0\rangle=0$, we must find

$\displaystyle\sum\limits_{i=1}^k\langle\epsilon,\eta_i\rangle^2<1$

and thus

$\displaystyle\sum\limits_{i=1}^k4\langle\epsilon,\eta_i\rangle^2<4$

But $4\langle\epsilon,\eta_i\rangle^2$ is the number of edges (counting multiplicities) between $\epsilon$ and $\eta_i$, and so this sum is the total number of edges incident on $\epsilon$.

3. The only connected Coxeter graph $\Gamma$ containing a triple edge is $G_2$
4. Indeed, step 4 tells us that no vertex can support more than three incident edges, counting multiplicities. Once we put the triple edge between two vertices, neither of them has any more room for another edge to connect to any other vertices. Thus the connected component cannot grow larger than this.

### Like this:

Posted by John Armstrong | Geometry, Root Systems

## 3 Comments	»

1. [...] We continue with the proof of the classification theorem. The first two parts are here and here. [...]

Pingback by | February 25, 2010 | Reply

2. [...] Theorem IV We continue proving the classification theorem. The first three parts are here, here, and [...]

Pingback by | February 25, 2010 | Reply

3. [...] we conclude the proof of the classification theorem. The first four parts of the proof are here, here, here, and [...]

Pingback by | February 26, 2010 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 25, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9296424984931946, "perplexity_flag": "head"}