This paper studies the spherical subalgebra of the double affine Hecke algebra of type $C^\vee C_n$ and relates it, at the classical level $q = 1$, to a certain character variety of the four-punctured Riemann sphere. This establishes a conjecture from math.QA/0504089. As a by-product, we find a completed phase space for the trigonometric van Diejen system, explicitly integrate its dynamics and explain how it can be obtained via Hamiltonian reduction.
The Kontsevich star-product admits a well-defined restriction to the class of affine -- in particular, linear -- Poisson brackets; its graph expansion consists only of Kontsevich's graphs with in-degree $\leqslant 1$ for aerial vertices. We obtain the formula $\star_{\text{aff}}\text{ mod }\bar{o}(\hbar^7)$ with harmonic propagators for the graph weights (over $n\leqslant 7$ aerial vertices); we verify that all these weights satisfy the cyclic weight relations by Shoikhet--Felder--Willwacher, that they match the computations using the $\textsf{kontsevint}$ software by Panzer, and the resulting affine star-product is associative modulo $\bar{o}(\hbar^7)$. We discover that the Riemann zeta value $ζ(3)^2/π^6$, which enters the harmonic graph weights (up to rationals), actually disappears from the analytic formula of $\star_{\text{aff}}\text{ mod }\bar{o}(\hbar^7)$ \textit{because} all the $\mathbb{Q}$-linear combinations of Kontsevich graphs near $ζ(3)^2/π^6$ represent differential consequences of the Jacobi identity for the affine Poisson bracket, hence their contribution vanishes. We thus derive a ready-to-use shorter formula $\star_{\text{aff}}^{\text{red}}$ mod~$\bar{o}(\hbar^7)$ with only rational coefficients.
The Poisson sigma model is a widely studied two-dimensional topological field theory. This note shows that boundary conditions for the Poisson sigma model are related to coisotropic submanifolds (a result announced in [math.QA/0309180]) and that the corresponding reduced phase space is a (possibly singular) dual pair between the reduced spaces of the given two coisotropic submanifolds. In addition the generalization to a more general tensor field is considered and it is shown that the theory produces Lagrangian evolution relations if and only if the tensor field is Poisson.
We introduce a notion of depth three tower of three rings C < B < A as a useful generalization of depth two ring extension. If A = End B_C and B | C is a Frobenius extension, this also captures the notion of depth three for a Frobenius extension in math.RA/0107064 and math.RA/0108067 such that if B | C is depth three, then A | C is depth two (cf. math.QA/0001020). If A, B and C correspond to a tower of subgroups G > H > K via the group algebra over a fixed base ring, the depth three condition is the condition that subgroup K has normal closure K^G contained in H. For a depth three tower of rings, there is a pre-Galois theory for the ring End {}_BA_C and coring (A \otimes_B A)^C involving Morita context bimodules and left coideal subrings. This is applied in the last two sections to a specialization of a Jacobson-Bourbaki correspondence theorem for augmented rings to depth two extensions with depth three intermediate division rings.
AbstractUsing monoclonal antibodies, we have analysed the distribution of three recently described Qa antigenic determinants (Qa‐m7, Qa‐m8 and Qa‐m9) on murine clonable hemopoietic progenitor cells and spleen colony‐forming units (CFU‐S). Cytotoxicity experiments showed that Qa‐m7 was expressed on almost all the progenitor cells (colony‐forming cells, CFC) of megakaryocytes (MEG‐CFC), erythroid cells (E‐CFC), B lymphocytes (BL‐CFC), and mixed colonies (MIX‐CFC) as well as day 13 CFU‐S, and a major proportion of granulocyte‐macrophage colony‐forming cells (GM‐CFC) and day 8 CFU‐S. Experiments using four sources of granulocyte‐macrophage colony‐stimulating activity suggested differential expression of Qa‐m7 on subpopulations of GM‐CFC, those preferentially forming macrophage colonies having lowest Qa‐m7 antigen density. Immune rosetting techniques demonstrated the selective expression of Qa‐m8 on approximately 50% of MEG‐CFC, MIX‐CFC and day 13 CFU‐S, a pattern similar to that of Qa‐m2. In contrast, Qa‐m9 was not detected on any of the primitive hemopoietic precursors assayed. The results demonstrate the complexity of the Qa antigenic system, and suggest a possible role for these antigens in hemopoietic differentiation.
In the 1980's, Belavin and Drinfeld classified non-unitary solutions of the classical Yang-Baxter equation (CYBE) for simple Lie algebras. They proved that all such solutions fall into finitely many continuous families and introduced combinatorial objects to label these families, Belavin-Drinfeld triples. In 1993, Gerstenhaber, Giaquinto, and Schack attempted to quantize such solutions for Lie algebras sl(n). As a result, they formulated a conjecture stating that certain explicitly given elements R satisfy the quantum Yang-Baxter equation (QYBE) and the Hecke condition. Specifically, the conjecture assigns a family of such elements R to any Belavin-Drinfeld triple of type A_{n-1}. Until recently, this conjecture has only been known to hold for n <= 4. In 1998 Giaquinto and Hodges checked the conjecture for n=5 by direct computation using Mathematica. Here we report a computation which allowed us to check that the conjecture holds for n <= 10. The program is included which prints an element R for any triple and checks that R satisfies the QYBE and Hecke conditions.
Giovanni Felder, Andre Henriques, Carlo A. Rossi
et al.
This is a condensed exposition of the results of math.QA/0601337, based on a talk of the first author at the Oberwolfach workshop "Deformations and Contractions in Mathematics and Physics", 15-21 January 2006.
This is the first of two papers which construct a purely algebraic counterpart to the theory of Gromov-Witten invariants (at all genera). These Gromov-Witten type invariants depend on a Calabi-Yau A-infinity category, which plays the role of the target in ordinary Gromov-Witten theory. When we use an appropriate A-infinity version of the derived category of coherent sheaves on a Calabi-Yau variety, this constructs the B model at all genera. When the Fukaya category of a compact symplectic manifold X is used, it is shown, under certain assumptions, that the usual Gromov-Witten invariants are recovered. The assumptions are that a good theory of open-closed Gromov-Witten invariants exists for X, and that the natural map from the Hochschild homology of the Fukaya category of X to the ordinary homology of X is an isomorphism.
We consider the N to infinity limits of the N-state chiral Potts model. We find new weights that satisfy the star-triangle relations with spin variables either taking all the integer values or having values from a continous interval. The models provide chiral generalizations of Zamolodchikov's Fishnet Model. (For the more complete version, see math.QA/9906029, where the misprints in eq. (12) are also corrected.)
In this note, I discuss in some detail the dual version of the ribbon graph decomposition of the moduli spaces of Riemann surfaces with boundary and marked points, which I introduced in math.AG/0402015, and used in math.QA/0412149 to construct open-closed topological conformal field theories. This dual version of the ribbon graph decomposition is a compact orbi-cell complex with a natural weak homotopy equivalence to the moduli space.
In this paper, I will show that, if a Lie algebra $\G$ acts on a manifold $P$, any solution of the classical Yang-Baxter equation on $\G$ gives arise to a Poisson tensor on $P$ and a torsion-free and flat contravariant connection (with respect to the Poisson tensor). Moreover, if the action is locally free, the matacurvature of the above contravariant connection vanishes. This will permit to get a large class of manifolds which satisfy the necessary conditions, presented by Hawkins in math.QA/0504232, to the existence of a noncommutative deformation.
Given an n-term L-infinity algebra L, we construct a Kan simplicial manifold which we think of as the 'Lie n-group' integrating L. This extends work of Getzler math.AT/0404003 . In the case of an ordinary Lie algebra, our construction gives the simplicial classifying space of the corresponding simply connect Lie group. In the case of the string Lie 2-algebra of Baez and Crans, this recovers the model of the string group introduced in math.QA/0504123 .
In math.QA/0309252, the author proved a number of multivariate elliptic hypergeometric integrals. The purpose of the present note is to explore more carefully the various limiting cases (hyperbolic, trigonometric, rational, and classical) that exist. In particular, we show (using some new estimates of generalized gamma functions) that the hyperbolic integrals (previously treated as purely formal limits) are indeed limiting cases. We also obtain a number of new trigonometric (q-hypergeometric) integral identities as limits from the elliptic level.
In recent work (math.QA/0309252) on multivariate hypergeometric integrals, the author generalized a conjectural integral formula of van Diejen and Spiridonov to a ten parameter integral provably invariant under an action of the Weyl group E_7. In the present note, we consider the action of the affine Weyl group, or more precisely, the recurrences satisfied by special cases of the integral. These are of two flavors: linear recurrences that hold only up to dimension 6, and three families of bilinear recurrences that hold in arbitrary dimension, subject to a condition on the parameters. As a corollary, we find that a codimension one special case of the integral is a tau function for the elliptic Painlevé equation.
This contribution to the Proceedings of the Workshop on Integrable Theories, Solitons and Duality in Sao Paulo in July 2002 summarizes results from the papers hep-th/0112023 and math.QA/0208043. We derive the non-local conserved charges in the sine-Gordon model and affine Toda field theories on the half-line. They generate new kinds of symmetry algebras that are coideals of the usual quantum groups. We show how intertwiners of tensor product representations of these algebras lead to solutions of the reflection equation. We describe how this method for finding solutions to the reflection equation parallels the previously known method of using intertwiners of quantum groups to find solutions to the Yang-Baxter equation.
When one expands a Schur function in terms of the irreducible characters of the symplectic (or orthogonal) group, the coefficient of the trivial character is 0 unless the indexing partition has an appropriate form. A number of q-analogues of this fact were conjectured in math.QA/0112035; the present paper proves most of those conjectures, as well as some new identities suggested by the proof technique. The proof involves showing that a nonsymmetric version of the relevant integral is annihilated by a suitable ideal of the affine Hecke algebra, and that any such annihilated functional satisfies the desired vanishing property. This does not, however, give rise to vanishing identities for the standard nonsymmetric Macdonald and Koornwinder polynomials; we discuss the required modification to these polynomials to support such results.
We use the author's combinatorial theory of full heaps (defined in math.QA/0605768) to categorify the action of a large class of Weyl groups on their root systems, and thus to give an elementary and uniform construction of a family of faithful permutation representations of Weyl groups. Examples include the standard representations of affine Weyl groups as permutations of ${\Bbb Z}$ and geometrical examples such as the realization of the Weyl group of type $E_6$ as permutations of 27 lines on a cubic surface; in the latter case, we also show how to recover the incidence relations between the lines from the structure of the heap. Another class of examples involves the action of certain Weyl groups on sets of pairs $(t, f)$, where $t \in {\Bbb Z}$ and $f$ is a function from a suitably chosen set to the two-element set $\{+, -\}$. Each of the permutation representations corresponds to a module for a Kac--Moody algebra, and gives an explicit basis for it.