SearcharxivSearch

arXiv subjects

Michael J. Larsen

Publications and source records attributed to Michael J. Larsen.

16 recordsLinked to original sources

Tensor Power Asymptotics for Linearly Reductive Groups

Given a finite-dimensional faithful representation $V$ of a linearly reductive group $G$ over a field $K=\bar K$, we consider the growth of the number of irreducible factors of $V^{\otimes n}$ when $n$ is large. We prove that there exist upper and lower bounds which are constant multiples of $n^{-u/2} (\dim V)^n$, where $u$ is the dimension of any maximal unipotent subgroup of $G$.

math.RT

Quantum Elliptic Curves I: Algebraic Case

A complex elliptic curve $E$ can be defined as the quotient of the analytic space $\mathbb{C}^*$ by a discrete action of the cyclic group $q^{\mathbb{Z}}$ for $\vert q\vert \neq 1$. We study the boundary case when $\vert q\vert =1$, which leads to the notion of a quantum elliptic curve and a conjectural equivalence of categories that one might call a noncommutative GAGA.

math.AG

Can one hear the shape of a random walk?

To what extent is the underlying distribution of a finitely supported unbiased random walk on $\mathbb{Z}$ determined by the sequence of times at which the walk returns to the origin? The main result of this paper is that, in various senses, most unbiased random walks on $\mathbb{Z}$ are determined up to equivalence by the sequence $I_1,I_2,I_3,\ldots$, where $I_n$ denotes the probability of being at the origin after $n$ steps. We also give an application to an inverse problem from asymptotic representation theory. The proof uses Laplace's method and a delicate Galois-theoretic analysis which ultimately depends on the classification of finite simple groups.

math.PR

Bounds for $\mathrm{SL}_2$-indecomposables in tensor powers of the natural representation in characteristic $2$

Let $K$ be an algebraically closed field of characteristic $2$, $G$ be the algebraic group $\mathrm{SL}_2$ over $K$, and $V$ be the natural representation of $G$. Let $b_k^{G,V}$ denote the number of $G$-indecomposable factors of $V^{\otimes k}$, counted with multiplicity, and let $δ= \frac 32 - \frac{\log 3}{2\log 2}$. Then there exists a smooth multiplicatively periodic function $ω(x)$ such that $b_{2k}^{G,V} = b_{2k+1}^{G,V}$ is asymptotic to $ω(k) k^{-δ}4^k$. We also prove a lower bound of the form $c_W k^{-δ}(\dim W)^k$ for $b_k^{G,W} $ for any tilting representation $W$ of $G$.

math.RT

Squares of Conjugacy Classes in Alternating Groups

We extend to alternating groups $A_n$ several results about symmetric groups asserting that under various conditions on a conjugacy class, or more generally, a normal subset, $C$ of $S_n$, we have $C^2 \supseteq A_n\setminus\{1\}$

math.GR

Disjointness of a simple matrix Lie group and its Lie algebra

Let $G$ be a connected closed subgroup of $\mathrm{GL}_n(\mathbb{C})$ which is simple as a Lie group and which acts irreducibly on $\mathbb{C}^n$. Regarding both $G$ and its Lie algebra $\mathfrak{g}$ as subsets of $M_n(\mathbb{C})$, we have $G\cap \mathfrak{g}\neq\emptyset$ if and only if $G$ is a classical group and $\mathbb{C}^n$ is a minuscule representation.

math.GR

A note on Lie algebra cohomology

Given a finite dimensional Lie algebra $L$ let $I$ be the augmentation ideal in the universal enveloping algebra $U(L)$. We study the conditions on $L$ under which the $Ext$-groups $Ext (k,k)$ for the trivial $L$-module $k$ are the same when computed in the category of all $U(L)$-modules or in the category of $I$-torsion $U(L)$-modules. We also prove that the Rees algebra $\oplus _{n\geq 0}I^n$ is Noetherian if and only if $L$ is nilpotent. An application to cohomology of equivariant sheaves is given.

math.AG

An algebra-level version of a link-polynomial identity of Lickorish

We establish isomorphisms between certain specializations of Birman-Murakami-Wenzl algebras and the symmetric squares of Temperley-Lieb algebras. These isomorphisms imply a link-polynomial identity due to W. B. R. Lickorish. As an application, we compute the closed images of the irreducible braid group representations factoring over these specialized BMW algebras.

math.QA

Rigidity in the invariant theory of compact groups

A compact Lie group G and a faithful complex representation V determine a Sato-Tate measure, defined as the direct image of Haar measure on G with respect to the character of V. We give a necessary and sufficient condition for a Sato-Tate measure to be an isolated point in the set of such measures, regarded as a subset of the space of distributions. In particular we prove that the Sato-Tate measure of a connected and semisimple group with respect to an irreducible representation is an isolated point.

math.RT

Rationality criteria for motivic zeta-functions

The zeta-function of a complex variety is a power series whose nth coefficient is the nth symmetric power of the variety, viewed as an element in the Grothendieck ring of complex varieties. We prove that the zeta-function of a surface is rational if and only if its Kodaira dimension is negative.

math.AG

Topological Quantum Computation

The theory of quantum computation can be constructed from the abstract study of anyonic systems. In mathematical terms, these are unitary topological modular functors. They underlie the Jones polynomial and arise in Witten-Chern-Simons theory. The braiding and fusion of anyonic excitations in quantum Hall electron liquids and 2D-magnets are modeled by modular functors, opening a new possibility for the realization of quantum computers. The chief advantage of anyonic computation would be physical error correction: An error rate scaling like $e^{-\ał}$, where $ł$ is a length scale, and $α$ is some positive constant. In contrast, the $\q$presumptive" qubit-model of quantum computation, which repairs errors combinatorically, requires a fantastically low initial error rate (about $10^{-4}$) before computation can be stabilized.

quant-ph