ProjectOverview • 3

global n-analytic group
global n-analytic spectrum
global arithmetic groups
global arithmetic n-spectrum