Computing homology using generalized Gröbner bases. (English) Zbl 1277.20058
Summary: A well-known theorem due to Manin gives a relationship between modular symbols for a congruence subgroup \(\Gamma_0(N)\) of \(\mathrm{SL}_2(\mathbb Z)\) and the homology of the modular curve \(X_0(N)\), making the homology easier to compute. A corresponding theorem of A. Ash [Duke Math. J. 65, No. 2, 235-255 (1992; Zbl 0774.11024)] allows for explicit computation of the homology of congruence subgroups of \(\mathrm{SL}_3(\mathbb Z)\) with coefficients in a given representation \(V\). Applying Ash’s theorem requires finding the invariants of an ideal in the group algebra \(\mathbb Z[\mathrm{SL}_3(\mathbb Z)]\) on \(V\). We employ a generalized notion of Gröbner bases for a non-commutative group algebra in order to determine a minimal generating set for the desired ideal.
MSC:
20G10 | Cohomology theory for linear algebraic groups |
11F75 | Cohomology of arithmetic groups |
20-04 | Software, source code, etc. for problems pertaining to group theory |
20H05 | Unimodular groups, congruence subgroups (group-theoretic aspects) |
13P10 | Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) |
Keywords:
group homology; group algebras; Gröbner bases; congruence subgroups; \(\text{SL}_3(\mathbb Z)\)Citations:
Zbl 0774.11024References:
[1] | Ash, A., Cohomology of congruence subgroups of \(SL(n, Z)\), Mathematische Annalen, 249, 55-73 (1980) · Zbl 0438.20035 |
[2] | Ash, A., Galois representations attached to mod \(p\) cohomology of \(GL(n, Z)\), Duke Mathematical Journal, 62, 2, 235-255 (1992) · Zbl 0774.11024 |
[3] | Ash, A.; Doud, D.; Pollack, D., Galois representations with conjectural connections to arithmetic cohomology, Duke Mathematical Journal, 112, 3, 521-579 (2002) · Zbl 1023.11025 |
[4] | Ash, A.; Sinnott, W., An analogue of Serreʼs conjecture for Galois representations and Hecke eigenclasses in the mod \(p\) cohomology of \(GL(n, Z)\), Duke Mathematical Journal, 105, 1, 1-24 (2000) · Zbl 1015.11018 |
[5] | Green, E., Multiplicative bases, Gröbner bases, and right Gröbner bases, Journal of Symbolic Computation, 29, 601-623 (2000) · Zbl 1002.16043 |
[7] | Khare, C.; Wintenberger, J.-P., On Serreʼs conjecture for 2-dimensional mod \(p\) representations of \(Gal(\overline{Q} / Q)\), Annals of Mathematics, 169, 1, 229-253 (2009) · Zbl 1196.11076 |
[9] | Markov, A. A., The impossibility of certain algorithms in the theory of associative systems, I, Doklady Akademii Nauk, 55, 583-586 (1947) · Zbl 0029.10101 |
[10] | Mora, T., An introduction to commutative and non-commutative Gröbner bases, Theoretical Computer Science, 134, 1, 131-173 (1994) · Zbl 0824.68056 |
[11] | Post, E. L., Recursive unsolvability of a problem of Thue, Journal of Symbolic Logic, 12, 1-11 (1947) · Zbl 1263.03030 |
[12] | Rosenmann, A., An algorithm for constructing Gröbner and free Schreier bases in free group algebras, Journal of Symbolic Computation, 16, 523-549 (1993) · Zbl 0809.16026 |
[13] | Serre, J. P., Sur les représentations modulaires de degré 2 de \(Gal(\overline{Q} / Q)\), Duke Mathematical Journal, 54, 179-230 (1987) · Zbl 0641.10026 |
[14] | van Geeman, B.; van der Kallen, W.; Top, J.; Verberkmoes, A., Hecke eigenforms in the cohomology subgroups of \(SL(3, Z)\), Experimental Mathematics, 6, 2, 163-174 (1997) · Zbl 1088.11037 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.