Hostname: page-component-78c5997874-v9fdk Total loading time: 0 Render date: 2024-11-06T07:03:26.860Z Has data issue: false hasContentIssue false

Birational invariants of crystals and fields with a finite group of operators

Published online by Cambridge University Press:  24 October 2008

Daniel R. Farkas
Affiliation:
Virginia Polytechnic Institute and State University, Blacksburg, Virginia 24061, U.S.A.

Extract

It is well known that an n-dimensional crystallographic group can be reconstructed from its point group, the integral representation of the point group which arises from its action on the translation lattice, and the 2-cocycle which glues the point group to the lattice ([2]). In practice, this constitutes a complicated list of invariants. When confronted with the classification of objects possessing a rich structure, the algebraic geometer first attempts to find more coarse birational invariants. We begin such a programme for torsion-free crystallographic groups. More precisely, if Γ is a torsion-free crystallographic group and k is a field then the group algebra k[Γ] is a non-commutative domain (see [6], chapter 13). It can be localized at its centre to yield a division algebra k(Γ) which is a crossed product; the Galois group is the point group and it acts on the rational function field generated by k and the lattice (regarded multiplicatively), which is a maximal subfield ([3]). What are thecommon invariants of Γ1 and Γ2 when k1) and k2) are isomorphic k-algebras?

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1990

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Curtis, C. W. and Reiner, I.. Representation Theory of Finite Groups and Associative Algebras (Interscience, 1962).Google Scholar
[2]Farkas, D. R.. Crystallographic groups and their mathematics. Rocky Mountain J. Math. 11 (1981), 511550.CrossRefGoogle Scholar
[3]Farkas, D. R.. Miscellany on Bieberbach group algebras. Pacific J. Math. 59 (1975), 427435.CrossRefGoogle Scholar
[4]Farkas, D. R., Schofield, A. H., Snider, R. L. and Stafford, J. T.. The isomorphism question for division rings of group rings. Proc. Amer. Math. Soc. 85 (1982), 327330.Google Scholar
[5]Lenstra, H. W. Jr. Rational functions invariant under a finite abelian group. Invent. Math. 25 (1974), 299325.CrossRefGoogle Scholar
[6]Passman, D. S.. The Algebraic Structure of Group Rings (Wiley-Interscience, 1977).Google Scholar
[7]Swan, R. G.. Invariant rational functions and a problem of Steenrod. Invent. Math. 7 (1969). 148158.CrossRefGoogle Scholar