<!
DOCTYPE html PUBLIC
"-//W3C//DTD HTML 4.01 Transitional//EN">
<
html>
<
head>
<
meta http-equiv=
"content-type"
content=
"text/html; charset=ISO-8859-1">
<
title>AboutHap</
title>
</
head>
<
body
style=
"color: rgb(0, 0, 153); background-color: rgb(204, 255, 255);"
alink=
"#000066" link=
"#000066" vlink=
"#000066">
<
br>
<
table
style=
"text-align: left; margin-left: auto; margin-right: auto; color: rgb(0, 0, 102);"
border=
"0" cellpadding=
"20" cellspacing=
"10">
<
tbody>
<
tr align=
"center">
<
th style=
"vertical-align: top;">
<
table style=
"width: 100%; text-align: left;" cellpadding=
"2"
cellspacing=
"2">
<
tbody>
<
tr>
<
td style=
"vertical-align: top;"><a
href=
"aboutPolytopes.html"><
small style=
"color: rgb(0, 0, 102);">Previous</
small></a><
br>
</
td>
<
td
style=
"text-align: center; vertical-align: top; color: rgb(0, 0, 102);"><
big><
span
style=
"font-weight: bold;">About HAPcryst: Betti numbers for
orientable <
br>
7-dimensional Hantzsche-Wendt Manifolds <
br>
</
span></
big></
td>
<
td style=
"text-align: right; vertical-align: top;"><a
href=
"3dflatmanifolds.html"><
small style=
"color: rgb(0, 0, 102);">next</
small></a><
br>
</
td>
</
tr>
</
tbody>
</
table>
<
big><
span style=
"font-weight: bold;"></
span></
big><
br>
</
th>
</
tr>
<
tr>
<
td
style=
"vertical-align: top; background-color: rgb(255, 255, 255); text-align: left;">(Thanks
to Marc Röder
for supplying
details for this page.)<
br>
<
br>
Polytopes can also be used to calculate the cohomology of some infinite
groups. In particular, Bieberbach groups with
point group (C<
sub>2</
sub>)<
sup>6</
sup> which arise as the fundamental
groups of orientable, aspherical, 7-dimensional Hantsche-Wendt
manifolds have been classified in <
big><
font size=
"2"><
big><a
href=
"https://staffmail.nuigalway.ie/exchweb/bin/redir.asp?URL=http://citeseer.ist.psu.edu/409869.html"
target=
"_blank">
http://citeseer.ist.psu.edu/409869.html</a></
big></
font></
big>.
There are 62 in all, and a <a href=
"examples7dim.g">list</a> of
these in GAP format has been provided by Bartosz Putrycz. The
integral homology of
these groups (i.e. the Betti numbers of the corresponding manifolds)
can be calculated using the <a
href=
"http://hamilton.nuigalway.ie/CHA/HAPcryst/HAPcrystindex.shtml">HAPcryst</a>
library written by Marc Röder. To do this one
first saves the <a href=
"examples7dim.g">list</a> of groups as the
file <
span style=
"font-family: monospace;">examples7dim.g</
span>
. Free resolutions for the groups are then computed using the
following commands. (These commands use Polymake software.)<
br>
</
td>
</
tr>
<
tr>
<
td
style=
"vertical-align: top; background-color: rgb(255, 255, 204);">gap>
LoadPackage(
"HAPcryst");;<
br>
<
br>
gap> Read(
"examples7dim.g");;<
br>
<
br>
gap> resolutions:=List(HWO7Gr,ResolutionBieberbachGroup);;
</
td>
</
tr>
<
tr>
<
td
style=
"vertical-align: top; background-color: rgb(255, 255, 255);">The
following commands list the homology of the Bieberbach groups. (The
groups are Poincare duality groups, so cohomology Betti numbers are given
by H<
sub>k</
sub>(G,Z) = H<
sup>7-k</
sup>(G,Z). )<
br>
</
td>
</
tr>
<
tr>
<
td
style=
"vertical-align: top; background-color: rgb(255, 255, 204);"
>gap> chaincomplexes:=List(resolutions,r->TensorWithIntegers(r));;<
br/>
gap> hGrps:=List(chaincomplexes,i->List([0..6],j->Homology(i,j)));;<
br/>
gap> indexlist:=List(hGrps,g->Filtered([1..Size(HWO7Gr)],j->hGrps[j]=g));;<
br/>
gap> for s in Set(indexlist,i->[hGrps[i[1]],i])<
br/>
> do<
br/>
> Print(s[2],
":\n",s[1],
"\n\n");<
br/>
> od;<
br/>
[ 8, 9, 12, 14, 18, 21, 26, 28, 29, 41, 45, 46, 49, 51, 54 ]:<
br/>
[ [ 0 ], [ 2, 2, 2, 2, 2, 2 ], [ 2, 2, 2, 2, 2, 2, 2, 2 ],<
br/>
[ 2, 2, 2, 2, 2, 2, 2, 2, 4, 4 ], [ 2, 2, 2, 2, 2, 2, 2, 2 ],<
br/>
[ 2, 2, 2, 2, 2, 2 ], [ ] ]<
br/><
br/>
[ 4, 7, 10, 16, 19, 20, 22, 25, 27, 31, 32, 33, 34, 36, 37, 38, 40, 42,
43, 47, 48, 50, 52, 53, 55, 56, 57, 58, 59, 61, 62 ]:<
br/>
[ [ 0 ], [ 2, 2, 2, 2, 2, 2 ], [ 2, 2, 2, 2, 2, 2, 2, 2 ],<
br/>
[ 2, 2, 2, 2, 4, 4, 4, 4 ], [ 2, 2, 2, 2, 2, 2, 2, 2 ],<
br/>
[ 2, 2, 2, 2, 2, 2 ], [ ] ]<
br/><
br/>
[ 1, 30, 44, 60 ]:<
br/>
[ [ 0 ], [ 2, 2, 2, 2, 2, 2 ], [ 2, 2, 2, 2, 2, 2, 2, 2 ],<
br/>
[ 4, 4, 4, 4, 4, 4 ], [ 2, 2, 2, 2, 2, 2, 2, 2 ], [ 2, 2, 2, 2, 2, 2 ],<
br/>
[ ] ]<
br/><
br/>
[ 2, 3, 5, 6, 11, 13, 15, 17, 23, 24, 35, 39 ]:<
br/>
[ [ 0 ], [ 2, 2, 2, 2, 2, 2 ], [ 2, 2, 2, 2, 2, 2, 2, 2, 2 ],<
br/>
[ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 4, 4 ], [ 2, 2, 2, 2, 2, 2, 2, 2, 2 ],<
br/>
[ 2, 2, 2, 2, 2, 2 ], [ ] ]<
br/>
</
td>
</
tr>
<
tr>
<
td style=
"vertical-align: top;">
<
table
style=
"margin-left: auto; margin-right: auto; width: 100%; text-align: left;"
border=
"0" cellpadding=
"2" cellspacing=
"2">
<
tbody>
<
tr>
<
td style=
"vertical-align: top;"><a
style=
"color: rgb(0, 0, 102);" href=
"aboutPolytopes.html">Previous
Page</a><
br>
</
td>
<
td style=
"text-align: center; vertical-align: top;"><a
href=
"aboutContents.html"><
span style=
"color: rgb(0, 0, 102);">Contents</
span></a><
br>
</
td>
<
td style=
"text-align: right; vertical-align: top;"><a
href=
"3dflatmanifolds.html"><
span style=
"color: rgb(0, 0, 102);">Next
page</
span><
br>
</a> </
td>
</
tr>
</
tbody>
</
table>
<a href=
"aboutTopology.html"><
br>
</a> </
td>
</
tr>
</
tbody>
</
table>
<
br>
<
br>
</
body>
</
html>
