Related papers: Trace Minimization and Roots in ${\rm PSL}(2,\math…

Young's partition lattice $L(m,n)$ consists of unordered partitions having $m$ parts where each part is at most $n$. Using methods from complex algebraic geometry, R. Stanley proved that $L(m,n)$ is rank-symmetric, unimodal, and strongly…

We construct a sequence of primitive-stable representations of free groups into PSL(2,C) whose ranks go to infinity, but whose images are discrete with quotient manifolds that converge geometrically to a knot complement. In particular this…

We give an arithmetic criterion which is sufficient to imply the discreteness of various two-generator subgroups of $PSL(2,{\bold C})$. We then examine certain two-generator groups which arise as extremals in various geometric problems in…

Motivated by a spectral analysis of the generator of completely positive trace-preserving semigroup, we analyze a real functional $$ A,B \in M_n(\mathbb{C}) \to r(A,B) = \frac{1}{2}\Bigl(\langle [B,A],BA\rangle + \langle [B,A^\ast],BA^\ast…

Let $T$ be a finite simple group of Lie type in characteristic $p$, and let $S$ be a Sylow subgroup of $T$ with maximal order. It is well known that $S$ is a Sylow $p$-subgroup except in an explicit list of exceptions, and that $S$ is…

We initiate a new, computational approach to a classical problem: certifying non-freeness of ($2$-generator, parabolic) M\"{o}bius subgroups of $\mathrm{SL}(2,\mathbb{Q})$. The main tools used are algorithms for Zariski dense groups and…

A complex number $\lambda$ is said to be non-free if the subgroup of $SL(2,\bc)$ generated by $$X=\begin{pmatrix} 1& 1\\ 0 & 1 \end{pmatrix} \,\, \text{and}\,\,\,Y_{\lambda}=\begin{pmatrix} 1& 0\\ \lambda & 1 \end{pmatrix}$$ is not a free…

For an oriented surface of genus g with b boundary components, we construct a rational map from a subset of C^{6g-6+3b} onto an open algebraic subset of the PSL(2,C)-character variety as an analogue of the Fenchel-Nielsen coordinates. After…

In this article we construct a large family of $R$-matrices for various extensions of small quantum groups by grouplike elements. The extensions are in correspondence to lattices between root and weight lattice and admit $R$-matrices in…

For each complex number $\nu$, an associative symplectic reflection algebra $\mathcal H:= H_{1,\nu}(I_2(2m+1))$, based on the group generated by root system $I_2(2m+1)$, has an $m$-dimensional space of traces and an $(m+1)$-dimensional…

Let $\mathcal{A}$ be the group algebra $\mathbf{k}[S_n]$ of the $n$-th symmetric group $S_n$ over a commutative ring $\mathbf{k}$. For any two subsets $A$ and $B$ of $[n]$, we define the elements \[ \nabla_{B,A}:=\sum_{\substack{w\in…

We show, using the trace formula, that any Newton stratum of a Shimura variety of PEL-type of types (A) and (C) is non-empty at the primes of good reduction. Furthermore we prove conditionally the non-emptiness for Shimura data associated…

The trace norm of a matrix is the sum of its singular values. This paper presents results on the minimum trace norm $\psi_{n}\left( m\right) $ of $\left( 0,1\right) $-matrices of size $n\times n$ with exactly $m$ ones. It is shown that: (1)…

We introduce a basis of rational polynomial-like functions $P_0,\ldots,P_{n-1}$ for the free module of functions $Z/nZ\to Z/mZ$. We then characterize the subfamily of congruence preserving functions as the set of linear combinations of the…

We describe the subgroups of the group $\Z_m \times \Z_n \times \Z_r$ and derive a simple formula for the total number $s(m,n,r)$ of the subgroups, where $m,n,r$ are arbitrary positive integers. An asymptotic formula for the function…

Let s 1 ,. .. , s k be the elementary symmetric functions of the complex variables x 1 ,. .. , x k. We say that F $\in$ C[s 1 ,. .. , s k ] is a trace function if their exists f $\in$ C[z] such that F (s 1 ,. .. , s k ] = k j=1 f (x j) for…

Under the action of the general linear group with tensor structure, the ranks of matrices $A$ and $B$ forming an $m \times n$ pencil $A + \lambda B$ can change, but in a restricted manner. Specifically, with every pencil one can associate a…

Let $K_{m}=\Bbb{Q}(\zeta_{m})$ where $\zeta_{m}$ is a primitive $m$th root of unity. Let $p>2$ be prime and let $C_{p}$ denote the group of order $p.$ The ring of algebraic integers of $K_{m}$ is $\Cal{O}_{m}=\Bbb{Z}[\zeta_{m}].$ Let…

Given elements $x,u,z$ in a finite group $G$ such that $z$ is the commutator of $x$ and $u$, and the orders of $x$ and $z$ divide respectively integers $k,m \geq 2$, and given an integer $r$ that is coprime to $k$ and $m$, there exists $w…

In previous work we proved that for a SU(2,C) valued loop having the critical degree of smoothness (one half of a derivative in the L^2 Sobolev sense), the following are equivalent: (1) the Toeplitz and shifted Toeplitz operators associated…