## Analysis and finitely generated groups

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Dear all, this is perhaps a bit a vague question, but some references would already be very helpfull.

So let $G$ be a finitely generated group and choose some finite set of generators. This allows to define the length of a group element as usual, by the minimal number of generators needed to write it as a product of these generators. Using this length you can define all sort of analytic functions by replacing the "n" in various summation formulas by the $\mathrm{Length}(g)$ and the summation is now over the group elements $g$. To have a concrete example in mind, the "exponential series" is now e.g. \begin{equation} \mathrm{lexp}(z) = \sum_{g \in G} \frac{z^{\mathrm{Length}(g)}}{\mathrm{Length}(g)!}. \end{equation} Since for a given length there are at most exponentially many group elements, the length-exponential function is entire. For $G = \mathbb{Z}$ and $1$ as generator this reproduces the usual exponential series up to a factor $2$ as negative and positive $n \in \mathbb{Z}$ contribute with the same power of $z$.

So my question is: what is known about the analytic features of such functions (depending on the choice of generators, depending on the group itself, etc). I guess there should be some literature on the market, but I'm really not in this buisness...

-

1
While I've never seen the particular example you give, there is a vast literature on related generating functions (usually called growth functions or something to that effect). Have look at Chapters VI and VII of Pierre de la Harpe's book Topics in geometric group theory (Chicago lectures in mathematics) for a discussion of many examples and a survey of the main results. The extensive reference list in the book should provide many pointers to the literature. – Theo Buehler Apr 11 2011 at 10:52
@Theo: thanks a lot. I will check out this book in the library, googlebook gives only a couple of pages. But they look nice indeed. – Stefan Waldmann Apr 12 2011 at 8:31
This sounds highly related to Geometric Group Theory. I would check in books on that area, in particular De La Harpe's Geometric Group Theory, where he actually computes some of these if I recall correctly. – Benjamin Hayes May 7 2011 at 15:03
Dear Benjamin: thanks! I had a look at the book (Theo mentioned it already) and it indeed looks very inspiring. It seems that I have to work a bit more in that direction. Very interesting... – Stefan Waldmann May 9 2011 at 9:28
Just a vague comment: I haven't seen exactly what you describe, but I know that some people study things like the "Ihara zeta function of a graph". If the graph you consider is the Cayley graph of your group, then you get formulas looking a bit like yours... – Sylvain Bonnot Jun 10 2011 at 22:11
show 1 more comment

## 1 Answer

One special case of groups, where one certainly gets rather quickly explicit and nontrivial expressions should be finite or affine Coxeter groups, that are finite/infinite and defined by involution generators and relations from their Dynkin diagrams - more my topic than graphs ;-)

If the Coxeter-diagram belongs to a finite/affine Lie algebra root system resp. Weyl group (which is the generic case!), these rather strong structures should give you enough informations to control the elements of the group ordered by their length.

I want to be specific in two cases (finite/infinite) I found rather quickly in the relevant literature, but are without factorial in the numerator:

For a finite Weyl-group $W$ acting as reflection group on an $n$-dimensional vectorspace the well-known Chevalley-Solomon theorem (often used "the-other-way-around") asserts, that:

$$W(z):=\sum_{g\in G} z^{Length(g)}=\prod_{\alpha\in \Delta^+}\frac{1-z^{Height(\alpha)+1}}{1-z^{Height(\alpha)}} = \prod_{k=1}^n\frac{1-z^{d_k}}{1-z}$$

where $d_k$ are the fundamental degrees of the reflection action, i.e. the degrees of a homogenious basis of the invariant part of the polynomial ring over $V$ (having $n$ variables). The middle term is crucial for the proof (and pretty), but the product over the entire root system $\Delta$ is not helpful for our question ;-)

Example For $S_n$ (root system $A_{n-1}$) we have $d_k=k$ (each elementary symmetric polynomial), thus:

$$\sum_{g\in S_n} z^{Length(g)}=\prod_{k=1}^n\frac{1-z^{k}}{1-z}$$

For an affine Weyl group $\tilde{W}$ i.e. with Dynkin-diagram as some finite $W$ (suppose irreducible) with one node added, Bott's theorem states that (omitting $d_k=1$-Terms):

$$\tilde{W}(z)=W(z)\prod_{k=1}^n\frac{1}{1-z^{d_k-1}}$$

Example $\tilde{A}_n$ is derived from closing the $n$-chain $A_n$ (i.e. $S_{n+1}$) with an additional $x$. Hence is generated very similar to the symmetric group but infinite (all non-mentioned pairs elements commute!):

$$G=\langle t_1,t_2,...t_n,x\rangle\qquad (t_it_{i+1})^3=1\quad (t_1x)^3=(xt_n)^3=1$$

Hence the length-generating function now has a pole:

$$\tilde{W}(z)=W(z)\prod_{k=2}^n\frac{1}{1-z^{k-1}}=\frac{1}{(1-z)^n}\prod_{k=2}^n\frac{1-z^k}{1-z^{k-1}}$$

Finally I must of course mention that the beatifully exotic root systems of Nichols algebras, that would even count the lengths of Coxeter gruppoids ;-)

This was all written down without much further thought, but if there's still interest in the topic (?) I'd be happy about a further discussion! Maybe concerning factorial or something else....

SOURCES:

• Definitely Humphreys "Reflection Groups and Coxeter groups"
• the formulas also directly online e.g. the "survey" www.math.umn.edu/~reiner/Papers/SteinbergNotes.ps).
• Some infinite worked-out examples e.g. in dml.ms.u-tokyo.ac.jp/PSRT/PSRT_26/PSRT_26_093-102.pdf and many more)
-
{"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": 25, "mathjax_display_tex": 5, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "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.9088295698165894, "perplexity_flag": "middle"}