Related papers: Congruence Subgroups and Orthogonal Groups

We consider two dimensional $\mathcal{N}=(4,4)$ superconformal field theories in the moduli space of symmetric orbifolds of K3. We complete a classification of the discrete groups of symmetries of these models, conditional to a series of…

Consider the spaces of pseudodifferential operators between tensor density modules over the line as modules of the Lie algebra of vector fields on the line. We compute the equivalence classes of various subquotients of these modules. There…

We study the isometry group of a globally hyperbolic spatially compact Lorentz surface. Such a group acts on the circle, and we show that when the isometry group acts non properly, the subgroups of $\mathrm{Diff}(\mathbb{S}^1)$ obtained are…

We obtain a computational realization of the strong approximation theorem. That is, we develop algorithms to compute all congruence quotients modulo rational primes of a finitely generated Zariski dense group $H \leq \mathrm{SL}(n,…

We study the algebras of modular forms on type IV symmetric domains for simple lattices; that is, lattices for which every Heegner divisor occurs as the divisor of a Borcherds product. For every simple lattice $L$ of signature $(n,2)$ with…

In this paper we show two classes of noncongruence subgroups satisfy the so-called unbounded denominator property. In particular, we establish our conjecture in [KL08] which says that every type II noncongruence character group of…

We establish that standard arithmetic subgroups of a special orthogonal group ${\rm SO}(1,n)$ are conjugacy separable. As an application we deduce this property for unit groups of certain integer group rings. We also prove that finite…

Motivated by the physical concept of special geometry two mathematical constructions are studied, which relate real hypersurfaces to tube domains and complex Lagrangean cones respectively. Me\-thods are developed for the classification of…

This paper investigates some issues arising in categorical models of reversible logic and computation. Our claim is that the structural (coherence) isomorphisms of these categorical models, although generally overlooked, have decidedly…

A few pages in Siegel describe how, starting with a fundamental polygon for a compact Riemann surface, one can construct a symplectic basis of its homology. This note retells that construction, specializing to the case where the surface is…

Given an orthogonal bundle $E$ over a smooth projective curve $X$ we define a Hecke transformation in the moduli space of orthogonal bundles by performing an elementary transformation with respect to a Lagrangian submodule $L \subset…

Let $K$ be an infinite field of characteristic $p>0$ and let $\lambda, \mu$ be partitions of $n$, where $\lambda=(\lambda_1,...,\lambda_n)$ and $\mu=(\mu_1,..,\mu_n)$. By $S^{\lambda}$ we denote the Specht module corresponding to $\lambda$…

In the computation of the intersection cohomology of Shimura varieties, or of the $L^2$ cohomology of equal rank locally symmetric spaces, combinatorial identities involving averaged discrete series characters of real reductive groups play…

In this paper we consider a special class of arithmetic quotients of bounded symmetric domains which can roughly be described as higher- dimensional analogues of the Hilbert modular varities. The algebraic groups are defined as the unitary…

A geometric construction of Z_2-graded orthogonal modular categories is given. Their 0-graded parts coincide with categories previously obtained by Blanchet and the author from the category of tangles modulo the Kauffman skein relations.…

We describe those group algebras over fields of characteristic different from 2 whose units symmetric with respect to the classical involution, satisfy some group identity.

We construct explicit differential operators on hermitian modular forms, extending methods developed for Siegel modular forms. These differential operators are closely related to the two-variable spherical pluriharmonic polynomials. We…

In this paper, we first single out a proper subgroup \Gamma of Sp(4,Z) generated by three elements, which arises from the parallelogram decompositions of translation surfaces in H(2). We then prove that the space H(2)/C* can be identified…

Given a finite subgroup G of SL(2,C) we define an additive 2-category H^G whose Grothendieck group is isomorphic to an integral form of the Heisenberg algebra. We construct an action of H^G on derived categories of coherent sheaves on…

The holonomy group of an (n+2)-dimensional simply-connected, indecomposable but non-irreducible Lorentzian manifold (M,h) is contained in the parabolic group $(\mathbb{R} \times SO(n))\ltimes \mathbb{R}^n$. The main ingredient of such a…