New in ComplexHyperbolic0.4nb:

• The animation of extors changing type (shown in CH0.3.nb post)
• A GenerateGroup command for iterating matrix group generators
• An example of using R-Balls to build fundamental domains.

 

The new notebook: ComplexHyperbolic0.4.nb.

 

 

Previous notebooks have shown off extors, objects formed by algebraic methods in complex hyperbolic space. Other submanifolds foliated by Lagrangian planes (R-circles on the boundary) are known as R-balls and can be used to make fundamental domains for group actions. Below is one such object, made up of the two hemispheres separated by the red line:

 

 

 

Three of these form the boundary of the fundamental domain of the group's action, the area between the infinite sheets and outside of the sphere.

 

 

< Prev		Next >