Source author record

Scott H. Murray

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.RT hep-th math-ph math.MP math.CO math.QA

Catalog footprint

Research overview

9works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Prosummability in Kac--Moody groups

Let $\mathfrak{g}$ be a symmetrizable Kac--Moody algebra. We describe {standard graded} $\mathfrak{g}$ -modules $V$ , which we use to construct a completion $\widehat{V}$ and pro-unipotent group $\widehat{U}$ in $\GL(\widehat{V})$. These standard graded modules include the adjoint module, all integrable modules, Category~ $\mathcal{O}$ modules, and opposite Category~ $\mathcal{O}$ modules. We prove that the elements of $\widehat{U}$ are pro-summable series, that is, they are projective limits of summable series on quotients $\widehat{V}/\prod_{j=k}^\infty{V}_j$ , for each $k>0$ . We give an explicit construction of root subalgebras and their completions, corresponding to every root including the imaginary roots. We also construct complete root groups for imaginary roots, whose elements are also pro-summable series acting on $\widehat{V}$ . We show that these groups are isomorphic to groups of power series in variables corresponding to basis elements for the imaginary root space.

preprint2025arXiv

Growth of root multiplicities along imaginary root strings in Kac--Moody algebras

Let $\mathfrak{g}$ be a symmetrizable Kac--Moody algebra. Given a root $α$ and a real root $β$ of $\mathfrak{g}$ , it is known that the $β$ -string through $α$ , denoted $R_α(β)$ , is finite. Given an imaginary root $β$ , we show that $R_α(β)=\{β\}$ or $R_α(β)$ is infinite. If $(β,β)<0$ , we also show that the multiplicity of the root ${α+nβ}$ grows at least exponentially as $n\to\infty$ . If $(β,β)=(α, β) = 0$ , we show that $R_α(β)$ is bi-infinite and the multiplicities of $α+nβ$ are bounded. If $(β,β)=0$ and $(α, β) \neq 0$ , we show that $R_α(β)$ is semi-infinite and the muliplicity of $α+nβ$ or $α-nβ$ grows faster than every polynomial as $n\to\infty$ . We also prove that $\dim \mathfrak{g}_{α+β} \geq \dim \mathfrak{g}_α+ \dim \mathfrak{g}_β-1$ whenever $α\neq β$ with $(α, β)<0$ .

preprint2022arXiv

Constructing a Lie group analog for the Monster Lie algebra

We describe various approaches to constructing groups which may serve as Lie group analogs for the monster Lie algebra of Borcherds.

preprint2020arXiv

Commutator relations and structure constants for rank 2 Kac--Moody algebras

We completely determine the structure constants between real root vectors in a rank 2 Kac--Moody algebra $\mathfrak{g}$ . Our description is computationally efficient, even in the rank 2 hyperbolic case where the coefficients of roots on the root lattice grow exponentially with height. Our approach is to extend Carter's method of finding structure constants from those on extraspecial pairs to the rank 2 Kac--Moody case. We also determine all commutator relations involving only real root vectors in all rank 2 Kac-Moody algebras. The generalized Cartan matrix of $\mathfrak{g}$ is of the form $H(a,b)= \left(\begin{smallmatrix} ~2 & -b\\ -a & ~2 \end{smallmatrix}\right)$ where $a,b\in\mathbb{Z}$ and $ab\geq 4$ . If $ab=4$ , then $\mathfrak{g}$ is of affine type. If $ab>4$ , then $\mathfrak{g}$ is of hyperbolic type. Explicit knowledge of the root strings is needed, as well as a characterization of the pairs of real roots whose sums are real. We prove that if $a$ and $b$ are both greater than one, then no sum of real roots can be a real root. We determine the root strings between real roots $β,γ$ in $H(a,1)$ , $a\geq 5$ and we determine the sets $(\mathbb{Z}_{\geq 0}α+\mathbb{Z}_{\geq 0}β)\capΔ^{\text{re}}(H(a,b))$ . One of our tools is a characterization of the root subsystems generated by a subset of roots. We classify these subsystems in rank 2 Kac--Moody root systems. We prove that every rank two infinite root system contains an infinite family of non-isomorphic symmetric rank 2 hyperbolic root subsystems $H(k,k)$ for certain $k\geq 3$ , generated by either two short or two long simple roots. We also prove that a non-symmetric hyperbolic root systems $H(a,b)$ with $a\ne b$ and $ab>5$ also contains an infinite family of non-isomorphic non-symmetric rank 2 hyperbolic root subsystems $H(a\ell,b\ell)$ , for certain positive integers $\ell$ .

preprint2016arXiv

Root subsystems of rank 2 hyperbolic root systems

Let $Δ$ be a rank 2 hyperbolic root system. Then $Δ$ has generalized Cartan matrix $H(a,b)= \left(\begin{smallmatrix} ~2 & -b\\ -a & ~2 \end{smallmatrix}\right)$ indexed by $a,b\in\mathbb{Z}$ with $ab\geq 5$ . If $a\neq b$ , then $Δ$ is non-symmetric and is generated by one long simple root and one short simple root; whereas if $a= b$ , $Δ$ is symmetric and is generated by two long simple roots. We prove that if $a\neq b$ , then $Δ$ contains an infinite family of symmetric rank 2 hyperbolic root subsystems $H(k,k)$ for certain $k\geq 3$ , generated by either two short or two long simple roots. We also prove that $Δ$ contains non-symmetric rank 2 hyperbolic root subsystems $H(a',b')$ , for certain $a',b'\in\mathbb{Z}$ with $a'b'\geq 5$ . One of our tools is a characterization of the types of root subsystems that are generated by a subset of roots. We classify these types of subsystems in rank 2 hyperbolic root systems.

preprint2015arXiv

Integral group actions on symmetric spaces and discrete duality symmetries of supergravity theories

For $G(\mathbb{R})$ a split, simply connected, semisimple Lie group of rank $n$ and $K$ the maximal compact subgroup of $G$ , we give a method for computing Iwasawa coordinates of $G/K$ using the Chevalley generators and the Steinberg presentation. When $G/K$ is a scalar coset for a supergravity theory in dimensions $\geq 3$ , we determine the action of the integral form $G(\mathbb{Z})$ on $G/K$ . We give explicit results for the action of the discrete $U$ --duality groups $SL_2(\mathbb{Z})$ and $E_7(\mathbb{Z})$ on the scalar cosets $SL_2(\mathbb{R})/SO_2(\mathbb{R})$ and $E_{7(+7)}(\mathbb{R})/[SU(8,\mathbb{R})/\{\pm Id\}]$ for type IIB supergravity in ten dimensions and 11--dimensional supergravity in $D=4$ dimensions, respectively. For the former, we use this to determine the discrete U--duality transformations on the scalar sector in the Borel gauge and we describe the discrete symmetries of the dyonic charge lattice. We determine the spectrum--generating symmetry group for fundamental BPS solitons of type IIB supergravity in $D=10$ dimensions at the classical level and we propose an analog of this symmetry at the quantum level. We indicate how our methods can be used to study the orbits of discrete U--duality groups in general.

preprint2012arXiv

Fundamental domains for congruence subgroups of SL2 in positive characteristic

In this work, we construct fundamental domains for congruence subgroups of $SL_2(F_q[t])$ and $PGL_2(F_q[t])$ . Our method uses Gekeler's description of the fundamental domains on the Bruhat- Tits tree $X = X_{q+1}$ in terms of cosets of subgroups. We compute the fundamental domains for a number of congruence subgroups explicitly as graphs of groups using the computer algebra system Magma.

preprint2010arXiv

Constructive homomorphisms for classical groups

Let Omega be a quasisimple classical group in its natural representation over a finite vector space V, and let Delta be its normaliser in the general linear group. We construct the projection from Delta to Delta/Omega and provide fast, polynomial-time algorithms for computing the image of an element. Given a discrete logarithm oracle, we also represent Delta/Omega as a group with at most 3 generators and 6 relations. We then compute canonical representatives for the cosets of Omega. A key ingredient of our algorithms is a new, asymptotically fast method for constructing isometries between spaces with forms. Our results are useful for the matrix group recognition project, can be used to solve element conjugacy problems, and can improve algorithms to construct maximal subgroups.

preprint2010arXiv

Constructive membership testing in black-box classical groups

The research described in this note aims at solving the constructive membership problem for the class of quasisimple classical groups. Our algorithms are developed in the black-box group model; that is, they do not require specific characteristics of the representations in which the input groups are given. The elements of a black-box group are represented, not necessarily uniquely, as bit strings of uniform length. We assume the existence of oracles to compute the product of two elements, the inverse of an element, and to test if two strings represent the same element. Solving the constructive membership problem for a black-box group $G$ requires to write every element of $G$ as a word in a given generating set. In practice we write the elements of $G$ as straight-line programs (SLPs) which can be viewed as a compact way of writing words.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Scott H. Murray

Research overview

Is this your work?

9 publications

Prosummability in Kac--Moody groups

Growth of root multiplicities along imaginary root strings in Kac--Moody algebras

Constructing a Lie group analog for the Monster Lie algebra

Commutator relations and structure constants for rank 2 Kac--Moody algebras

Root subsystems of rank 2 hyperbolic root systems

Integral group actions on symmetric spaces and discrete duality symmetries of supergravity theories

Fundamental domains for congruence subgroups of SL2 in positive characteristic

Constructive homomorphisms for classical groups

Constructive membership testing in black-box classical groups

See the researcher in context

Building this map preview