Software demos

Software demos

Worked atlas sessions showing what the software can compute.

Try it in your browser

Spherical Unitary Explorer: test whether a spherical representation of a classical group is unitary, using an algorithm due to Dan Barbasch. It runs in your browser, with nothing to install.

Interactive demos

Deformation Algorithm: step through the deformation algorithm for the c-invariant form on the spherical principal series of SL(2,ℝ), Sp(4,ℝ) or split G2, from ν = kρ down to the tempered terms. All data were computed in atlas.

Hodge Levels on Sp(4,ℝ): the levels of the Hodge filtration on the K-types of the spherical principal series of Sp(4,ℝ), and how they move as ν passes the reducibility points. Data from atlas’s hodge_branch_std.

FPP Facet Explorer: the facets of the fundamental parallelepiped that carry a unitary spherical representation, with their closure relations, for SL(2,ℝ), Sp(4,ℝ), split G2, split F4 and split E7.

More demos will appear here.