Eulerian cube complexes and reciprocity

From MaRDI portal



Abstract: Let G be the fundamental group of a compact nonpositively curved cube complex Y. With respect to a basepoint x, one obtains an integer-valued length function on G by counting the number of edges in a minimal length edge-path representing each group element. The growth series of G with respect to x is then defined to be the power series Gx(t)=sumgt|g| where |g| denotes the length of g. Using the fact that G admits a suitable automatic structure, Gx(t) can be shown to be a rational function. We prove that if Y is a manifold of dimension n, then this rational function satisfies the reciprocity formula Gx(t−1)=(−1)nGx(t). We prove the formula in a more general setting, replacing the group with the fundamental groupoid, replacing the growth series with the characteristic series for a suitable regular language, and only assuming Y is Eulerian.












This page was built for publication: Eulerian cube complexes and reciprocity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q488578)