<p>Although there are some small examples embedded in chapter <a href="chap4.html#X8394FA997C62A89C"><span class="RefLink">4</span></a>, we will give some complete examples in this chapter. Most of these could easily be called with the example script mentioned in chapter <a href="chap2.html#X86A9B6F87E619FFF"><span class="RefLink">2</span></a>, but we will do them step by step for best reproducability.</p>
<p>As there is no isotropy and therefore no <span class="SimpleMath">μ</span>-map, we can continue with the orbifold triangulation and simplicial set:</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">ot := OrbifoldTriangulation( M, "Klein Bottle" );</span>
<OrbifoldTriangulation "Klein Bottle" of dimension 2. 18 simplices on 9 vertic\
es without Isotropy>
<span class="GAPprompt">gap></span> <span class="GAPinput">ss := SimplicialSet( ot );</span>
<The simplicial set of the orbifold triangulation "Klein Bottle", computed up \
to dimension 0 with Length vector [ 18 ]>
</pre></div>
<p>Now we will need a <strong class="pkg">homalg</strong> ring. As this is a small example we can compute directly over ℤ, so we can use <strong class="pkg">GAP</strong>. In case you have <strong class="pkg">RingsForHomalg</strong> installed you might want to try computing in another computer algebra system with the command <code class="code">HomalgRingOfIntegersInCAS()</code>, replacing "CAS" with the corresponding system.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">R := HomalgRingOfIntegers();</span>
Z
</pre></div>
<p>We are almost there. Let us create some coboundary matrices and compute their cohomology:</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">c := CreateCoboundaryMatrices( ss, 4, R );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">C := Cohomology( c, R );</span>
----------------------------------------------->>>> Z^(1 x 1)
----------------------------------------------->>>> Z^(1 x 1)
----------------------------------------------->>>> Z/< 2 >
----------------------------------------------->>>> 0
----------------------------------------------->>>> 0
<A graded cohomology object consisting of 5 left modules at degrees
[ 0 .. 4 ]>
</pre></div>
<p>This is the cohomology of the Klein Bottle.</p>
<p><strong class="pkg">SCO</strong> can also be used to compute group cohomology, as every group can be represented as an orbifold with just a single point. For <span class="SimpleMath">V_4</span>, it would look like this:</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">M := [ [1] ];;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">V4 := Group( (1,2), (3,4) );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">iso := rec( 1 := V4 );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">ot := OrbifoldTriangulation( M, iso, "V4" );</span>
<OrbifoldTriangulation "V4" of dimension 0. 1 simplex on 1 vertex with Isotrop\
y on 1 vertex>
<span class="GAPprompt">gap></span> <span class="GAPinput">ss := SimplicialSet( ot );</span>
<The simplicial set of the orbifold triangulation "V4", computed up to dimensi\
on 0 with Length vector [ 1 ]>
<span class="GAPprompt">gap></span> <span class="GAPinput">R := HomalgRingOfIntegers();</span>
Z
<span class="GAPprompt">gap></span> <span class="GAPinput">c := CreateCoboundaryMatrices( ss, 4, R );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">C := Cohomology( c, R );</span>
----------------------------------------------->>>> Z^(1 x 1)
----------------------------------------------->>>> 0
----------------------------------------------->>>> Z/< 2 > + Z/< 2 >
----------------------------------------------->>>> Z/< 2 >
----------------------------------------------->>>> Z/< 2 > + Z/< 2 > + Z/< 2\
>
<A graded cohomology object consisting of 5 left modules at degrees
[ 0 .. 4 ]>
</pre></div>
<p>This is the <span class="SimpleMath">V_4</span> group cohomology up to degree 4.</p>
<h4>3.3 <span class="Heading">Example 3: The "Teardrop" orbifold</span></h4>
<p>You have seen a manifold in example 1, and group cohomology in example 2. Now we will meet our first proper orbifold, the Teardrop. This is the example Moerdijk and Pronk used in their paper <a href="chapBib.html#biBmps">[MP99]</a> on which my work is based. It is an easy example, but includes both nontrivial isotropy and <span class="SimpleMath">μ</span>-maps. We take the isotropy at the top to be <span class="SimpleMath">C_2</span>. The triangulation looks like this, with the gluing being at [1,3].</p>
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
