Researcher profile

Lisa Carbone

Lisa Carbone contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

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

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author

12works

0followers

9topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

preprint2026arXiv

A Magnus group construction for a class of Borcherds algebras

We construct a group associated to a class of Borcherds algebras that admit a direct sum decomposition into a Kac--Moody (or semi-simple) subalgebra and a pair of free Lie subalgebras. Such Borcherds algebras have no mutually orthogonal imaginary simple roots.Our group is a semi-direct product of a Kac--Moody (or semi-simple) group and a Magnus group of invertible formal power series corresponding to a basis of a certain highest weight module determined by the simple imaginary roots. We show that our group is independent of this choice of basis, up to isomorphism. We apply our construction to a number of concrete examples, such as certain Borcherds algebras formed using root lattices of hyperbolic Kac--Moody algebras, the Monster Lie algebra, Monstrous Lie algebras of Fricke type and the gnome Lie algebra.

preprint2026arXiv

Kac--Moody Fibonacci sequences

We summarize known results on how to generate an infinite family of integer sequences from the root lattices of rank 2 Kac--Moody algebras. We compute and tabulate the first twenty entries of a number of these sequences. This provides an overarching framework for a large class of Fibonacci-type integer sequences, evaluations of Chebyshev S and U-polynomials and others.

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.

preprint2026arXiv

Symmetries of Borcherds algebras

We give an overview of the construction of Borcherds algebras, particularly the Monstrous Lie algebras $\mathfrak m_g$ constructed by Carnahan, where $g$ is an element of the Monster finite simple group. When $g$ is the identity element, $\mathfrak m_g$ is the Monster Lie algebra of Borcherds. We discuss the appearance of the $\mathfrak m_g$ in compactified models of the Heterotic String. We also summarize recent work on associating Lie group analogs to the Lie algebras $\mathfrak m_g$. We include a discussion of some open problems.

preprint2025arXiv

Eisenstein series on arithmetic quotients of rank 2 Kac--Moody groups over finite fields

Let $G$ be an affine or hyperbolic rank 2 Kac--Moody group over a finite field $\mathbb F_q$. Let $X=X_{q+1}$ be the Tits building of $G$, the $(q+1)$--homogeneous tree, and let $Γ$ be a non-uniform lattice in $G$. When $Γ$ is a standard parabolic subgroup for the negative $BN$--pair, we define Eisenstein series on $Γ\backslash X$ and prove its convergence in a half space using Iwasawa decomposition of the Haar measure on $G$. A crucial tool is a description of the vertices of $X$ in terms of Iwasawa cells. We also prove meromorphic continuation of the Eisenstein series. This requires us to construct an integral operator on the Tits building $X$ and a truncation operator for the Eisenstein series. We also develop the functional analytic framework necessary for proving meromorphic continuation in our setting, by refining and extending Bernstein's Continuation Principle.

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.

preprint2022arXiv

Imaginary reflections and discrete symmetries in the heterotic Monster

Let $\mathbb{M}$ be the Monster finite simple group. We give an interpretation of certain discrete symmetries of a family of heterotic string compactifications to $1 + 1$ dimensions in terms of discrete symmetries of the Monster Lie algebra $\frak m$, and more generally Carnahan's family of Monstrous Lie algebras $\frak m_g$, for $g\in\mathbb{M}$ of Fricke type. We relate a Weyl group-type reflection $w_{\im}$, with respect to an imaginary simple root, to a composition of T-duality, time reversal, and parity reversal transformations in the compactified heterotic string. The transformation $w_{\im}$ also has a natural permutation action on the BPS states of the compactified heterotic string.

preprint2020arXiv

${\boldsymbolπ}$-systems of symmetrizable Kac-Moody algebras

As part of his classification of regular semisimple subalgebras of semisimple Lie algebras, Dynkin introduced the notion of a $π$-system. This is a subset of the roots such that pairwise differences of its elements are not roots. These arise as simple systems of regular semisimple subalgebras. Morita and Naito generalized this notion to all symmetrizable Kac-Moody algebras. In this work, we systematically develop the theory of $π$-systems of symmetrizable Kac-Moody algebras and establish their fundamental properties. We study the orbits of the Weyl group on $π$-systems, and completely determine the number of orbits in many cases of interest in physics. In particular, we show that there is a unique $π$-system of type $HA_1^{(1)}$ (the Feingold-Frenkel algebra) in $E_{10}$ (the rank 10 hyperbolic algebra) up to Weyl group action and negation.

preprint2020arXiv

A Lightcone Embedding of the Twin Building of a Hyperbolic Kac-Moody Group

Let A be a symmetrizable hyperbolic generalized Cartan matrix with Kac-Moody algebra g = g(A) and (adjoint) Kac-Moody group G = G(A)=$\langle\exp(ad(t e_i)), \exp(ad(t f_i)) \,|\, t\in C\rangle$ where $e_i$ and $f_i$ are the simple root vectors. Let $(B^+, B^-, N)$ be the twin BN-pair naturally associated to G and let $(\mathcal B^+,\mathcal B^-)$ be the corresponding twin building with Weyl group W and natural G-action, which respects the usual W-valued distance and codistance functions. This work connects the twin building of G and the Kac-Moody algebra g in a new geometrical way. The Cartan-Chevalley involution, $ω$, of g has fixed point real subalgebra, k, the 'compact' (unitary) real form of g, and k contains the compact Cartan t = k $\cap$ h. We show that a real bilinear form $(\cdot,\cdot)$ is Lorentzian with signatures $(1, \infty)$ on k, and $(1, n -1)$ on t. We define $\{x\in {\rm k} \,|\, (x, x) \leq 0\}$ to be the lightcone of k, and similarly for t. Let K be the compact (unitary) real form of G, that is, the fixed point subgroup of the lifting of $ω$ to G. We construct a K-equivariant embedding of the twin building of G into the lightcone of the compact real form k of g. Our embedding gives a geometric model of part of the twin building, where each half consists of infinitely many copies of a W-tessellated hyperbolic space glued together along hyperplanes of the faces. Locally, at each such face, we find an $SU(2)$-orbit of chambers stabilized by $U(1)$ which is thus parametrized by a Riemann sphere $SU(2)/U(1)\cong S^2$. For n = 2 the twin building is a twin tree. In this case, we construct our embedding explicitly and we describe the action of the real root groups on the fundamental twin apartment. We also construct a spherical twin building at infinity, and construct an embedding of it into the set of rays on the boundary of the lightcone.

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$.

preprint2020arXiv

Equivariant simplicial reconstruction

We introduce and analyze parallelizable algorithms to compress and accurately reconstruct finite simplicial complexes that have non-trivial automorphisms. The compressed data -- called a complex of groups -- amounts to a functor from (the poset of simplices in) the orbit space to the 2-category of groups, whose higher structure is prescribed by isomorphisms arising from conjugation. Using this functor, we show how to algorithmically recover the original complex up to equivariant simplicial isomorphism. Our algorithms are derived from generalizations (by Bridson-Haefliger, Carbone-Rips and Corson, among others) of the classical Bass-Serre theory for reconstructing group actions on trees.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint