Related papers: Computing arithmetic Kleinian groups

Fixing an arithmetic lattice $\Gamma$ in an algebraic group $G$, the commensurability growth function assigns to each $n$ the cardinality of the set of subgroups $\Delta$ with $[\Gamma : \Gamma \cap \Delta] [\Delta: \Gamma \cap \Delta] =…

We present a uniform methodology for computing with finitely generated matrix groups over any infinite field. As one application, we completely solve the problem of deciding finiteness in this class of groups. We also present an algorithm…

We give a comprehensive survey of the theory of finite dimensional Lie algebras over an algebraically closed field of characteristic p>0 and announce that for p>3 the classification of finite dimensional simple Lie algebras is complete. Any…

We equip the categorified quantum group attached to a KLR algebra and an arbitrary choice of scalars with duality functor which is cyclic, that is, such that f=f^** for all 2-morphisms f. This is accomplished via a modified diagrammatic…

Computer based techniques for recognizing finitely presented groups are quite powerful. Tools available for this purpose are outlined. They are available both in stand-alone programs and in more comprehensive systems. A general…

We study the algorithmic content of Pontryagin - van Kampen duality. We prove that the dualization is computable in the important cases of compact and locally compact totally disconnected Polish abelian groups. The applications of our main…

Kleinian singularities are quotients of $\mathbb{C}^2$ by finite subgroups of $\mathrm{SL}_2(\mathbb{C})$. They are in bijection with the simply-laced Dynkin diagrams via the McKay correspondence. Anti-Poisson involutions and their fixed…

In this paper, we introduce the concept of $k$-integral graphs. A graph $\Gamma$ is called $k$-integral if the extension degree of the splitting field of the characteristic polynomial of $\Gamma$ over rational field $\mathbb Q$ is equal to…

Let $ \Gamma < PSL_2(\mathbb{C}) $ be a Zariski dense finitely generated Kleinian group. We show all Radon measures on $ PSL_2(\mathbb{C}) / \Gamma $ which are ergodic and invariant under the action of the horospherical subgroup are either…

It is known that, for the algebra of functions on a Kleinian singularity, the parameter space of deformations and the parameter space of quantizations coincide. We prove that, for a Kleinian singularity of type $\mathbf{A}$ or $\mathbf{D}$,…

We give criteria for finite dimensionality or infinite dimensionality of the polynomial centralizer of the Lie algebra of a linear Lie group, in terms of invariants and relative invariants of the group. In the finite dimensional scenario…

We compute the equivariant K-homology of the groups PSL_2 of imaginary quadratic integers with trivial and non-trivial class-group. This was done before only for cases of trivial class number. We rely on reduction theory in the form of the…

We introduce the symplectic group $\mathrm{Sp}_2(G, \sigma)$ associated to a Lie subgroup $G$ of a (possibly noncommutative) associative algebra $A$ equipped with an anti-involution $\sigma$. Our construction recovers several classical Lie…

We introduce the DeterminantalRepresentations package for Macaulay2, which computes definite symmetric determinantal representations of real polynomials. We focus on quadrics and plane curves of low degree (i.e. cubics and quartics). Our…

We study canonical filtrations of finite-dimensional associative algebras and Lie algebras. These filtrations are defined via optimal destabilizing one-parameter subgroups in the sense of geometric invariant theory (GIT), and appear to be a…

We show that degrees of the real fields of definition of arithmetic Kleinian reflection groups are bounded by 35.

In this work we propose an algorithm that numerically evaluates Kleinian hyperelliptic functions associated with a complex curve of genus 2. This algorithm is based upon constructing a sequence of curves with Richelot isogenous Jacobians…

We consider latin square graphs $\Gamma = \rm{LSG}(H)$ of the Cayley table of a given finite group $H$. We characterize all pairs $(\Gamma,G)$, where $G$ is a subgroup of autoparatopisms of the Cayley table of $H$ such that $G$ acts…

Researchers in the past have studied eigenvalues of Cayley digraphs or graphs. We are interested in characterizing Cayley digraphs on a finite Abelian group G whose eigenvalues are algebraic integers in a given number field K. And we…

A. Reid showed that if $\Gamma_1$ and $\Gamma_2$ are arithmetic lattices in $G = \operatorname{PGL}_2(\mathbb R)$ or in $\operatorname{PGL}_2(\mathbb C)$ which give rise to isospectral manifolds, then $\Gamma_1$ and $\Gamma_2$ are…