SearcharxivSearch

arXiv subjects

Philippe Roche

Publications and source records attributed to Philippe Roche.

14 recordsLinked to original sources

On the structure and representations of quantum graph algebras at roots of unity

We study the specializations $\mathcal{L}_{g,n}^\epsilon$ at roots of unity $\epsilon$ of odd order of the graph algebras, associated to a simply-connected complex semi-simple algebraic group $G$ and a compact oriented surface $\Sigma_{g,n}^{\circ}$ with genus $g$, $n$ punctures, and one boundary component. We prove that the central localizations of $\mathcal{L}_{g,n}^\epsilon$ and of its subalgebra $\mathcal{L}_{g,n}^{u_\epsilon}$ of invariant elements under the coadjoint action of a small quantum group, are central simple algebras of PI degrees that we compute. Also, we describe their centers, and show they are integrally closed rings.

math.QA

Noetherian and affine properties of quantum moduli and $\mathfrak{g}$-skein algebras

We prove that the quantum moduli algebra associated to a possibly punctured compact oriented surface and a complex semisimple Lie algebra $\mathfrak{g}$ is a Noetherian and finitely generated ring. If the surface has punctures, we prove also that it has no non-trivial zero divisors (i.e., it is a domain). Moreover, we show that the quantum moduli algebra is isomorphic to the skein algebra of the surface, defined by means of the Reshetikhin-Turaev functor for the quantum group $U_q(\mathfrak{g})$, and which coincides with the Kauffman bracket skein algebra when $\mathfrak{g}=\mathfrak{sl}_2$. We obtain these results by a similar study of quantum graph algebras, which we show to be isomorphic to stated skein algebras.

math.QA

Unrestricted Quantum Moduli Algebras. I. The Case of Punctured Spheres

Let $Σ$ be a finite type surface, and $G$ a complex algebraic simple Lie group with Lie algebra $\mathfrak{g}$. The quantum moduli algebra of $(Σ,G)$ is a quantization of the ring of functions of $X_G(Σ)$, the variety of $G$-characters of $π_1(Σ)$, introduced by Alekseev-Grosse-Schomerus and Buffenoir-Roche in the mid '90s. It can be realized as the invariant subalgebra of so-called graph algebras, which are $U_q(\mathfrak{g})$-module-algebras associated to graphs on $Σ$, where $U_q(\mathfrak{g})$ is the quantum group corresponding to $G$. We study the structure of the quantum moduli algebra in the case where $Σ$ is a sphere with $n+1$ open disks removed, $n\geq 1$, using the graph algebra of the "daisy" graph on $Σ$ to make computations easier. We provide new results that hold for arbitrary $G$ and generic $q$, and develop the theory in the case where $q=ε$, a primitive root of unity of odd order, and $G={\rm SL}(2,{\mathbb C})$. In such a situation we introduce a Frobenius morphism that provides a natural identification of the center of the daisy graph algebra with a finite extension of the coordinate ring $\mathcal{O}(G^n)$. We extend the quantum coadjoint action of De-Concini-Kac-Procesi to the daisy graph algebra, and show that the associated Poisson structure on the center corresponds by the Frobenius morphism to the Fock-Rosly Poisson structure on $\mathcal{O}(G^n)$. We show that the set of fixed elements of the center under the quantum coadjoint action is a finite extension of ${\mathbb C}[X_G(Σ)]$ endowed with the Atiyah-Bott-Goldman Poisson structure. Finally, by using Wilson loop operators we identify the Kauffman bracket skein algebra $K_ζ(Σ)$ at $ζ:={\rm i}ε^{1/2}$ with this quantum moduli algebra specialized at $q=ε$.

math.QA

Unrestricted Quantum Moduli Algebras, II: Noetherianity and Simple Fraction Rings at Roots of 1

We prove that the quantum graph algebra and the quantum moduli algebra associated to a punctured sphere and complex semisimple Lie algebra $\mathfrak{g}$ are Noetherian rings and finitely generated rings over $\mathbb{C}(q)$. Moreover, we show that these two properties still hold on $\mathbb{C}\big[q,q^{-1}\big]$ for the integral version of the quantum graph algebra. We also study the specializations $\mathcal{L}_{0,n}^\epsilon$ of the quantum graph algebra at a root of unity $\epsilon$ of odd order, and show that $\mathcal{L}_{0,n}^\epsilon$ and its invariant algebra under the quantum group $U_\epsilon(\mathfrak{g})$ have classical fraction algebras which are central simple algebras of PI degrees that we compute.

math.QA

Evaluation of characters of smooth representations of $GL(2,\mathcal {O})$: I. Strongly primitive representations of even level

Let $F$ be a local field, let ${\mathcal O}$ be its integer ring and $\varpi$ a uniformizer of its maximal ideal. To an irreducible complex finite dimensional smooth representation $π$ of $GL(2,{\mathcal O})$ is associated a pair of positive integers $k, k'$ called the level and the sublevel of $π.$ The level is the smallest integer $k$ such that $π$ factorizes through the finite group $GL(2,{\mathcal O}/\varpi^k {\mathcal O})$, whereas the sublevel is the smallest integer $k'\leq k$ such that there exists $χ,$ one dimensional representation of $GL(2,{\mathcal O}),$ such that $π\otimes χ$ factorizes through the finite group $GL(2,{\mathcal O}/\varpi^{k'} {\mathcal O}).$ A representation of $GL(2,{\mathcal O})$ is said strongly primitive if the level and sublevel are equal. The classification of smooth finite dimensional representations of $GL(2,{\mathcal O})$ is equivalent to the classification of strongly primitive irreducible representations of $GL(2,{\mathcal O}).$ In this first article we describe explicitely the even level strongly primitive irreducible finite dimensional complex representations of $GL(2,{\mathcal O})$ along the lines of A.Stasinski and R.Barrington-Leigh, G.Cliff and Q.Wen using Clifford theory. In the case where the characteristic $p$ of the residue field is not equal to $2,$ we give exact formulas for the characters of these representations in most cases by reducing them to the evaluation of Gauss sums, Kloosterman sums and Salié sums for the finite ring ${\mathcal O}/\varpi^k{\mathcal O}.$ It generalizes the work of R.Barrington-Leigh, G.Cliff and Q.Wen which was devoted to $F={\mathbb Q}_p.$ A second article will give the evaluation of characters in the odd level case and the exact expressions for certain generalized Zeta function representations of $PGL(2,{\mathcal O})$.

math.RT

Generalized Zeta function representation of groups and 2-dimensional Topological Yang-Mills theory: The example of GL(2, F_q) and PGL(2, F_q)

We recall the relation between Zeta function representation of groups and two-dimensional topological Yang-Mills theory through Mednikh formula. We prove various generalisations of Mednikh formulas and define generalization of Zeta functions representations of groups. We compute some of these functions in the case of the finite group $GL(2, {\mathbb F}_q)$ and $PGL(2,{\mathbb F}_q).$ We recall the table characters of these groups for any $q$, compute the Frobenius-Schur indicator of their irreducible representations and give the explicit structure of their fusion rings

math.RT

Critical Overview of Loops and Foams

This is a review of the present status of loop and spin foam approaches to quantization of four-dimensional general relativity. It aims at raising various issues which seem to challenge some of the methods and the results often taken as granted in these domains. A particular emphasis is given to the issue of diffeomorphism and local Lorentz symmetries at the quantum level and to the discussion of new spin foam models. We also describe modifications of these two approaches which may overcome their problems and speculate on other promising research directions.

gr-qc

TBA for non-perturbative moduli spaces

Recently, an exact description of instanton corrections to the moduli spaces of 4d N=2 supersymmetric gauge theories compactified on a circle and Calabi-Yau compactifications of Type II superstring theories was found. The equations determining the instanton contributions turn out to have the form of Thermodynamic Bethe Ansatz. We explore further this relation and, in particular, we identify the contact potential of quaternionic string moduli space with the free energy of the integrable system and the Kahler potential of the gauge theory moduli space with the Yang-Yang functional. We also show that the corresponding S-matrix satisfies all usual constraints of 2d integrable models, including crossing and bootstrap, and derive the associated Y-system. Surprisingly, in the simplest case the Y-system is described by the MacMahon function relevant for crystal melting and topological strings.

hep-th

Universal Vertex-IRF Transformation for Quantum Affine Algebras

We construct a universal Vertex-IRF transformation between Vertex type universal solution and Face type universal solution of the quantum dynamical Yang-Baxter equation. This universal Vertex-IRF transformation satisfies the generalized coBoundary equation and is an extension of our previous work to the quantum affine $U_q(A^{(1)}_r)$ case. This solution has a simple Gauss decomposition which is constructed using Sevostyanov's characters of twisted quantum Borel algebras. We show that the evaluation of this universal solution in the evaluation representation of $U_q(A_1^{(1)})$ gives the standard Baxter's transformation between the 8-Vertex model and the IRF height model.

math-ph

Plebanski Theory and Covariant Canonical Formulation

We establish an equivalence between the Hamiltonian formulation of the Plebanski action for general relativity and the covariant canonical formulation of the Hilbert-Palatini action. This is done by comparing the symplectic structures of the two theories through the computation of Dirac brackets. We also construct a shifted connection with simplified Dirac brackets, playing an important role in the covariant loop quantization program, in the Plebanski framework. Implications for spin foam models are also discussed.

gr-qc

Can Lightcone Fluctuations be Probed with Cosmological Backgrounds?

Finding signatures of quantum gravity in cosmological observations is now actively pursued both from the theoretical and the experimental side. Recent work has concentrated on finding signatures of light-cone fluctuations in the CMB. Because in inflationary scenarios a Gravitational Wave Background (GWB) is always emitted much before the CMB, we can ask, in the hypothesis where this GWB could be observed, what is the imprint of light cone fluctuations on this GWB. We show that due to the flat nature of the GWB spectrum, the effect of lightcone fluctuations are negligible.

gr-qc

Cosmological Deformation of Lorentzian Spin Foam Models

We study the quantum deformation of the Barrett-Crane Lorentzian spin foam model which is conjectured to be the discretization of Lorentzian Plebanski model with positive cosmological constant and includes therefore as a particular sector quantum gravity in de-Sitter space. This spin foam model is constructed using harmonic analysis on the quantum Lorentz group. The evaluation of simple spin networks are shown to be non commutative integrals over the quantum hyperboloid defined as a pile of fuzzy spheres. We show that the introduction of the cosmological constant removes all the infrared divergences: for any fixed triangulation, the integration over the area variables is finite for a large class of normalization of the amplitude of the edges and of the faces.

gr-qc

Trace functionals on non-commutative deformations of moduli spaces of flat connections

We describe an efficient construction of a canonical non-commutative deformation of the algebraic functions on the moduli spaces of flat connections on a Riemann surface. We show that this algebra, which is a variant of the quantum moduli algebra introduced by Alekseev-Grosse-Schomerus and Buffenoir-Roche, has a trace functional which is related to the canonical trace in the formal index theory of Fedosov and Nest-Tsygan via the Verlinde formula.

math.QA

On the construction of integrable dilute ADE models

We give an integrable extension of the lattice models recently considered by I.Kostov in his study of strings in discrete space. These models are IRF models with spin variables living in any connected graph, the vertex model underlying these models is the Izergin-Korepin model. When the graph is taken to be a simply laced Dynkin diagram, it is conjectured that these models possess critical regimes which are the dilute phase of SOS models of ADE type.

hep-th