SearcharxivSearch

arXiv subjects

Arzu Boysal

Publications and source records attributed to Arzu Boysal.

10 recordsLinked to original sources

On Kostant's conjecture for components of $V(ρ)\otimes V(ρ)$

For a complex simple Lie algebra $\mathfrak{g}$ or rank $r$, let $ρ$ be the half sum of positive roots and $P(2ρ)\subset \mathbb{R}^r$ be the convex hull of all dominant weights $λ$ of the form $λ=2ρ-\sum_{i=1}^r a_iα_i$ with $a_i\in \mathbb{Z}_{\geq 0}$ for $1\leq i\leq r$. We show that if $λ$ is a vertex of $P(2ρ)$, then $V(λ)$ appears in $V(ρ) \otimes V(ρ)$ with multiplicity one, proving partially (for the vertices of $P(2ρ)$) a conjecture of Kostant describing components of $V(ρ)\otimes V(ρ)$. This result allows us to give an alternative proof for a weaker form of the conjecture (up to saturation factor) for any $\mathfrak{g}$. Further, using works of Knutson-Tau on the saturation property of $\mathfrak{sl_{r+1}}$, our results give an alternative proof of Kostant's conjecture in the particular case $\mathfrak{g}=\mathfrak{sl_{r+1}}$.

math.RT

PRV for the Fusion product, the case $λ\ggμ$

Given a complex simple Lie algebra $\mathfrak{g}$ and a positive integer $\ell$, under the assumption $λ\ggμ$, we show that irreducible representations of $\mathfrak{g}$ of the form $V(λ+wμ)$, $w\in W,$ with level at most $\ell$ appear in the fusion product of $V(λ)$ and $V(μ)$. This verifies the existence of PRV components for the fusion product in this special case.

math.RT

Asymptotic evaluation of a lattice sum associated with the Laplacian matrix

The Laplacian matrix is of fundamental importance in the study of graphs, networks, random walks on lattices, and arithmetic of curves. In certain cases, the trace of its pseudoinverse appears as the only non-trivial term in computing some of the intrinsic graph invariants. Here we study a double sum $F_n$ which is associated with the trace of the pseudo inverse of the Laplacian matrix for certain graphs. We investigate the asymptotic behavior of this sum as $n \to \infty$. Our approach is based on classical analysis combined with asymptotic and numerical analysis, and utilizes special functions. We determine the leading order term, which is of size $n^2 \, \log n$, and develop general methods to obtain the secondary main terms in the asymptotic expansion of $F_n$ up to errors of $\mathcal{O}(\log n)$ and $\mathcal{O}(1)$ as $n \to \infty$. We provide some examples to demonstrate our methods.

math.CA

Strange duality for Verlinde spaces of exceptional groups at level one

The moduli stack M_X(E_8) of principal E_8-bundles over a smooth projective curve X carries a natural divisor Delta. We study the pull-back of the divisor Delta to the moduli stack M_X(P), where P is a semi-simple and simply connected group such that its Lie algebra Lie(P) is a maximal conformal subalgebra of Lie(E_8). We show that the divisor Delta induces "Strange Duality"-type isomorphisms between the Verlinde spaces at level one of the following pairs of groups (SL(5), SL(5)), (Spin(8), Spin(8)), (SL(3), E_6) and (SL(2), E_7).

math.AG

A conjectural presentation of fusion algebras

Let g be a semisimple Lie algebra over the complex numbers. Fix a positive integer l (called the level). Let R(l,g) be the fusion algebra at level l. Then, there is an algebra homomorphism from the representation ring R(g) of g to R(l,g). We study a presentation of its kernel. The generators for the kernel were given by Gepner, Gepner-Schwimmer, Bourdeau-Mlawer-Riggs-Schnitzer for g of type A and C series. We make a conjecture for other classical groups and also for g of type G2. We also have some partial results for F4 and E series.

math.GR

Explicit Determination of the Picard Group of Moduli Spaces of Semi-Stable G-Bundles on Curves

Let $\mathcal C$ be a smooth irreducible projective curve over the complex numbers and let $G$ be a simple simply-connected complex algebraic group. Let $\mathfrak M=\mathfrak M(G,\mathcal C)$ be the moduli space of semistable principal $G$-bundles on $\mathcal C$. By an earlier result of Kumar-Narasimhan, the Picard group of $\mathfrak M$ is isomorphic with the group of integers. However, in their work the generator of the Picard group was not determined explicitly. The aim of this paper to give the generator `explicitly.' The proof involves an interesting mix of geometry and topology.

math.AG

On a lower bound for the dimension of non-abelian theta functions of positive genus

In this paper we study the sections of the canonical line bundle on the moduli space of parabolic semistable vector bundles with trivial determinant and fixed parabolic structure of type $\underlineλ=(λ_1,..., λ_s)$ (with each weight $λ_i$ in $P_{\ell}(\SL(r))$) on a smooth projective irreducible curve over $\C$ of genus $g \geq 1$. We give a nontrivial lower bound for the dimension of the sections (that are called generalized parabolic SL(r)-theta functions) when $\sum_{1}^{s} λ_i$ is in the root lattice.

math.AG