Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:group_of_people
orthogonal group |
| gptkbp:actsOn |
2g-dimensional integer lattice
|
| gptkbp:centralTo |
{±I} for g > 1
|
| gptkbp:definedIn |
integers
|
| gptkbp:firstHomologyGroupOf |
mapping class group of genus g surface
|
| gptkbp:generation |
elementary symplectic matrices
|
| gptkbp:hasCongruenceSubgroups |
true
|
| gptkbp:hasSubgroup |
general linear group GL(2g, Z)
|
| https://www.w3.org/2000/01/rdf-schema#label |
symplectic group Sp(2g, Z)
|
| gptkbp:isAlgebraicGroup |
true
|
| gptkbp:isDiscreteSubgroupOf |
symplectic group Sp(2g, R)
|
| gptkbp:isFinitelyGenerated |
true
|
| gptkbp:isMatrixGroup |
true
|
| gptkbp:isPerfect |
for g > 2
|
| gptkbp:isQuotientOf |
projective symplectic group PSp(2g, Z)
|
| gptkbp:isResiduallyFinite |
true
|
| gptkbp:notation |
Sp(2g, Z)
|
| gptkbp:order |
infinite
|
| gptkbp:originatedIn |
gptkb:algebraic_geometry
gptkb:topology number theory moduli theory |
| gptkbp:preserves |
symplectic form
|
| gptkbp:relatedTo |
modular group
mapping class group |
| gptkbp:bfsParent |
gptkb:Siegel_modular_variety
|
| gptkbp:bfsLayer |
7
|