-
Modular Features of Superstring Scattering Amplitudes: Generalised Eisenstein Series and Theta Lifts
Authors:
Daniele Dorigoni,
Michael B. Green,
Congkao Wen
Abstract:
In previous papers it has been shown that the coefficients of terms in the large-$N$ expansion of a certain integrated four-point correlator of superconformal primary operators in $\mathcal{N}=4$ supersymmetric Yang-Mills theory are rational sums of real-analytic Eisenstein series and "generalised Eisenstein series''. The latter are novel modular functions first encountered in the context of gravi…
▽ More
In previous papers it has been shown that the coefficients of terms in the large-$N$ expansion of a certain integrated four-point correlator of superconformal primary operators in $\mathcal{N}=4$ supersymmetric Yang-Mills theory are rational sums of real-analytic Eisenstein series and "generalised Eisenstein series''. The latter are novel modular functions first encountered in the context of graviton amplitudes in type IIB superstring theory. Similar modular functions, known as two-loop modular graph functions, are also encountered in the low-energy expansion of the integrand of genus-one closed superstring amplitudes. In this paper we further develop the mathematical structure of such generalised Eisenstein series emphasising, in particular, the occurrence of $L$-values of holomorphic cusp forms in their Fourier mode decomposition. We show that both the coefficients in the large-$N$ expansion of the integrated correlator and two-loop modular graph functions admit a unifying description in terms of four-dimensional lattice sums generated by theta lifts of local Maass functions, which generalise the structure of real-analytic Eisenstein series. Through the theta lift representation, we demonstrate that elements belonging to these two families of non-holomorphic modular functions can be expressed as rational linear combinations of generalised Eisenstein series for which all the $L$-values of holomorphic cusp forms precisely cancel.
△ Less
Submitted 7 January, 2025;
originally announced January 2025.
-
Orthogonal roots, Macdonald representations, and quasiparabolic sets
Authors:
R. M. Green,
Tianyuan Xu
Abstract:
Let $W$ be a simply laced Weyl group of finite type and rank $n$. If $W$ has type $E_7$, $E_8$, or $D_n$ for $n$ even, then the root system of $W$ has subsystems of type $nA_1$. This gives rise to an irreducible Macdonald representation of $W$ spanned by $n$-roots, which are products of $n$ orthogonal roots in the symmetric algebra of the reflection representation. We prove that in these cases, th…
▽ More
Let $W$ be a simply laced Weyl group of finite type and rank $n$. If $W$ has type $E_7$, $E_8$, or $D_n$ for $n$ even, then the root system of $W$ has subsystems of type $nA_1$. This gives rise to an irreducible Macdonald representation of $W$ spanned by $n$-roots, which are products of $n$ orthogonal roots in the symmetric algebra of the reflection representation. We prove that in these cases, the set of all maximal sets of orthogonal positive roots has the structure of a quasiparabolic set in the sense of Rains--Vazirani. The quasiparabolic structure can be described in terms of certain quadruples of orthogonal positive roots which we call crossings, nestings, and alignments. This leads to nonnesting and noncrossing bases for the Macdonald representation, as well as some highly structured partially ordered sets. We use the $8$-roots in type $E_8$ to give a concise description of a graph that is known to be non-isomorphic but quantum isomorphic to the orthogonality graph of the $E_8$ root system.
△ Less
Submitted 16 June, 2025; v1 submitted 3 September, 2024;
originally announced September 2024.
-
Infinitesimal invariants of mixed Hodge structures
Authors:
Rodolfo Aguilar,
Mark Green,
Phillip Griffiths
Abstract:
We introduce the notion of infinitesimal variations of mixed Hodge structures and invariants associated to them. We describe these invariants in the case of a pair $(X,Y)$ with $X$ a Fano 3-fold and $Y$ a smooth anticanonical K3 surface and in more detail in the case when $X$ is a cubic threefold. In this last setting, we obtain a generic global Torelli theorem for pairs.
We introduce the notion of infinitesimal variations of mixed Hodge structures and invariants associated to them. We describe these invariants in the case of a pair $(X,Y)$ with $X$ a Fano 3-fold and $Y$ a smooth anticanonical K3 surface and in more detail in the case when $X$ is a cubic threefold. In this last setting, we obtain a generic global Torelli theorem for pairs.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
A partial order on antichains of a fixed size
Authors:
R. M. Green,
Tianyuan Xu
Abstract:
We introduce a new partial order on the set of all antichains of a fixed size in a given poset. When applied to minuscule posets, these partial orders give rise to distributive lattices that appear in the branching rules for minuscule representations of simply laced complex simple Lie algebras.
We introduce a new partial order on the set of all antichains of a fixed size in a given poset. When applied to minuscule posets, these partial orders give rise to distributive lattices that appear in the branching rules for minuscule representations of simply laced complex simple Lie algebras.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
On Representations of Affine Temperley--Lieb Algebras
Authors:
R. M. Green
Abstract:
We study the finite-dimensional simple modules, over an algebraically closed field, of the affine Temperley--Lieb algebra corresponding to the affine Weyl group of type $A$. These turn out to be closely related to the simple modules for a certain $q$-analogue of the annular algebra of V.F.R. Jones.
We study the finite-dimensional simple modules, over an algebraically closed field, of the affine Temperley--Lieb algebra corresponding to the affine Weyl group of type $A$. These turn out to be closely related to the simple modules for a certain $q$-analogue of the annular algebra of V.F.R. Jones.
△ Less
Submitted 29 January, 2023;
originally announced January 2023.
-
Positivity properties for spherical functions of maximal Young subgroups
Authors:
R. M. Green
Abstract:
Let $S_k \times S_{n-k}$ be a maximal Young subgroup of the symmetric group $S_n$. We introduce a basis ${\mathcal B}_{n,k}$ for the coset space $S_n/S_k \times S_{n-k}$ that is naturally parametrized by the set of standard Young tableaux with $n$ boxes, at most two rows, and at most $k$ boxes in the second row. The basis ${\mathcal B}_{n,k}$ has positivity properties that resemble those of a root…
▽ More
Let $S_k \times S_{n-k}$ be a maximal Young subgroup of the symmetric group $S_n$. We introduce a basis ${\mathcal B}_{n,k}$ for the coset space $S_n/S_k \times S_{n-k}$ that is naturally parametrized by the set of standard Young tableaux with $n$ boxes, at most two rows, and at most $k$ boxes in the second row. The basis ${\mathcal B}_{n,k}$ has positivity properties that resemble those of a root system, and there is a composition series of the coset space in which each term is spanned by the basis elements that it contains. We prove that the spherical functions of the associated Gelfand pair are nonnegative linear combinations of the ${\mathcal B}_{n,k}$.
△ Less
Submitted 15 November, 2023; v1 submitted 29 November, 2022;
originally announced November 2022.
-
Shafarevich mappings and period mappings
Authors:
Mark Green,
Phillip Griffiths,
Ludmil Katzarkov
Abstract:
We shall show that a smooth, quasi-projective variety $X$ has a holomorphically convex universal covering $\wt X$ when (i) $π_1(X)$ is residually nilpotent and (ii) there is an admissable variation of \mhs\ over $X$ whose monodromy representation has a finite kernel, and where in each case a corresponding period mapping is assumed to be proper.
We shall show that a smooth, quasi-projective variety $X$ has a holomorphically convex universal covering $\wt X$ when (i) $π_1(X)$ is residually nilpotent and (ii) there is an admissable variation of \mhs\ over $X$ whose monodromy representation has a finite kernel, and where in each case a corresponding period mapping is assumed to be proper.
△ Less
Submitted 14 October, 2022; v1 submitted 28 September, 2022;
originally announced September 2022.
-
2-roots for simply laced Weyl groups
Authors:
R. M. Green,
Tianyuan Xu
Abstract:
We introduce and study "2-roots", which are symmetrized tensor products of orthogonal roots of Kac--Moody algebras. We concentrate on the case where $W$ is the Weyl group of a simply laced Y-shaped Dynkin diagram $Y_{a,b,c}$ having $n$ vertices and with three branches of arbitrary finite lengths $a$, $b$ and $c$; special cases of this include types $D_n$, $E_n$ (for arbitrary $n \geq 6$), and affi…
▽ More
We introduce and study "2-roots", which are symmetrized tensor products of orthogonal roots of Kac--Moody algebras. We concentrate on the case where $W$ is the Weyl group of a simply laced Y-shaped Dynkin diagram $Y_{a,b,c}$ having $n$ vertices and with three branches of arbitrary finite lengths $a$, $b$ and $c$; special cases of this include types $D_n$, $E_n$ (for arbitrary $n \geq 6$), and affine $E_6$, $E_7$ and $E_8$. We show that a natural codimension-$1$ submodule $M$ of the symmetric square of the reflection representation of $W$ has a remarkable canonical basis $\mathcal{B}$ that consists of 2-roots. We prove that, with respect to $\mathcal{B}$, every element of $W$ is represented by a column sign-coherent matrix in the sense of cluster algebras. If $W$ is a finite simply laced Weyl group, each $W$-orbit of 2-roots has a highest element, analogous to the highest root, and we calculate these elements explicitly. We prove that if $W$ is not of affine type, the module $M$ is completely reducible in characteristic zero and each of its nontrivial direct summands is spanned by a $W$-orbit of 2-roots.
△ Less
Submitted 8 April, 2023; v1 submitted 20 April, 2022;
originally announced April 2022.
-
Kazhdan--Lusztig cells of $\mathbf{a}$-value 2 in $\mathbf{a}(2)$-finite Coxeter systems
Authors:
R. M. Green,
Tianyuan Xu
Abstract:
A Coxeter group is said to be \emph{$\mathbf{a}(2)$-finite} if it has finitely many elements of $\mathbf{a}$-value 2 in the sense of Lusztig. In this paper, we give explicit combinatorial descriptions of the left, right, and two-sided Kazhdan--Lusztig cells of $\mathbf{a}$-value 2 in an irreducible $\mathbf{a}(2)$-finite Coxeter group. In particular, we introduce elements we call \emph{stubs} to p…
▽ More
A Coxeter group is said to be \emph{$\mathbf{a}(2)$-finite} if it has finitely many elements of $\mathbf{a}$-value 2 in the sense of Lusztig. In this paper, we give explicit combinatorial descriptions of the left, right, and two-sided Kazhdan--Lusztig cells of $\mathbf{a}$-value 2 in an irreducible $\mathbf{a}(2)$-finite Coxeter group. In particular, we introduce elements we call \emph{stubs} to parameterize the one-sided cells and we characterize the one-sided cells via both star operations and weak Bruhat orders. We also compute the cardinalities of all the one-sided and two-sided cells.
△ Less
Submitted 25 May, 2023; v1 submitted 20 September, 2021;
originally announced September 2021.
-
Completions of period mappings: progress report
Authors:
Mark L Green,
Phillip Griffiths,
Colleen Robles
Abstract:
We give an informal, expository account of a project to construct completions of period maps.
We give an informal, expository account of a project to construct completions of period maps.
△ Less
Submitted 14 August, 2023; v1 submitted 8 June, 2021;
originally announced June 2021.
-
Natural line bundles on completions of period mappings
Authors:
Mark Green,
Phillip Griffiths,
Colleen Robles
Abstract:
We give conditions under which natural lines bundles associated with completions of period mappings are semi-ample and ample.
We give conditions under which natural lines bundles associated with completions of period mappings are semi-ample and ample.
△ Less
Submitted 11 February, 2021;
originally announced February 2021.
-
Analog of Satake-Baily-Borel for period maps
Authors:
Mark Green,
Phillip Griffiths,
Colleen Robles
Abstract:
We propose an analog of the Satake--Baily--Borel compactification and Borel's extension theorem for arbitrary period maps. The proposed analog is constructed as a proper topological completion of the period map. It is conjectured that the construction is projective algebraic, and the conjecture is reduced to a certain extension problem.
We propose an analog of the Satake--Baily--Borel compactification and Borel's extension theorem for arbitrary period maps. The proposed analog is constructed as a proper topological completion of the period map. It is conjectured that the construction is projective algebraic, and the conjecture is reduced to a certain extension problem.
△ Less
Submitted 6 April, 2025; v1 submitted 13 October, 2020;
originally announced October 2020.
-
The LLV decomposition of hyper-Kaehler cohomology
Authors:
Mark Green,
Yoon-Joo Kim,
Radu Laza,
Colleen Robles
Abstract:
Looijenga--Lunts and Verbitsky showed that the cohomology of a compact hyper-Kähler manifold $X$ admits a natural action by the Lie algebra $\mathfrak{so} (4, b_2(X)-2)$, generalizing the Hard Lefschetz decomposition for compact Kähler manifolds. In this paper, we determine the Looijenga--Lunts--Verbitsky (LLV) decomposition for all known examples of compact hyper-Kähler manifolds, and propose a g…
▽ More
Looijenga--Lunts and Verbitsky showed that the cohomology of a compact hyper-Kähler manifold $X$ admits a natural action by the Lie algebra $\mathfrak{so} (4, b_2(X)-2)$, generalizing the Hard Lefschetz decomposition for compact Kähler manifolds. In this paper, we determine the Looijenga--Lunts--Verbitsky (LLV) decomposition for all known examples of compact hyper-Kähler manifolds, and propose a general conjecture on the weights occurring in the LLV decomposition, which in particular determines strong bounds on the second Betti number $b_2(X)$ of hyper-Kähler manifolds.
Specifically, in the $K3^{[n]}$ and $\mathrm{Kum}_n$ cases, we give generating series for the formal characters of the associated LLV representations, which generalize the well-known Göttsche formulas for the Euler numbers, Betti numbers, and Hodge numbers for these series of hyper-Kähler manifolds. For the two exceptional cases of O'Grady we refine the known results on their cohomology. In particular, we note that the LLV decomposition leads to a simple proof for the Hodge numbers of hyper-Kähler manifolds of O'Grady 10 type. In a different direction, for all known examples of hyper-Kähler manifolds, we establish the so-called Nagai's conjecture on the monodromy of degenerations of hyper-Kähler manifolds. More consequentially, we note that Nagai's conjecture is a first step towards a more general and more natural conjecture, that we state here. Finally, we prove that this new conjecture is satisfied by the known types of hyper-Kähler manifolds.
△ Less
Submitted 29 June, 2021; v1 submitted 8 June, 2019;
originally announced June 2019.
-
Exploring transcendentality in superstring amplitudes
Authors:
Eric D'Hoker,
Michael B. Green
Abstract:
It is well known that the low energy expansion of tree-level superstring scattering amplitudes satisfies a suitably defined version of maximum transcendentality. In this paper it is argued that there is a natural extension of this definition that applies to the genus-one four-graviton Type II superstring amplitude to all orders in the low-energy expansion. To obtain this result, the integral over…
▽ More
It is well known that the low energy expansion of tree-level superstring scattering amplitudes satisfies a suitably defined version of maximum transcendentality. In this paper it is argued that there is a natural extension of this definition that applies to the genus-one four-graviton Type II superstring amplitude to all orders in the low-energy expansion. To obtain this result, the integral over the genus-one moduli space is partitioned into a region ${\cal M}_R$ surrounding the cusp and its complement ${\cal M}_L$, and an exact expression is obtained for the contribution to the amplitude from ${\cal M}_R$. The low-energy expansion of the ${\cal M}_R$ contribution is proven to be free of irreducible multiple zeta-values to all orders. The contribution to the amplitude from ${\cal M}_L$ is computed in terms of modular graph functions up to order $D^{12} {\cal R}^4$ in the low-energy expansion, and general arguments are used beyond this order to conjecture the transcendentality properties of the ${\cal M}_L$ contributions. Maximal transcendentality of the full amplitude holds provided we assign a non-zero weight to certain harmonic sums, an assumption which is familiar from transcendentality assignments in quantum field theory amplitudes.
△ Less
Submitted 28 June, 2021; v1 submitted 4 June, 2019;
originally announced June 2019.
-
Absence of irreducible multiple zeta-values in melon modular graph functions
Authors:
Eric D'Hoker,
M. B. Green
Abstract:
The expansion of a modular graph function on a torus of modulus $τ$ near the cusp is given by a Laurent polynomial in $y= π\Im (τ)$ with coefficients that are rational multiples of single-valued multiple zeta-values, apart from the leading term whose coefficient is rational and exponentially suppressed terms. We prove that the coefficients of the non-leading terms in the Laurent polynomial of the…
▽ More
The expansion of a modular graph function on a torus of modulus $τ$ near the cusp is given by a Laurent polynomial in $y= π\Im (τ)$ with coefficients that are rational multiples of single-valued multiple zeta-values, apart from the leading term whose coefficient is rational and exponentially suppressed terms. We prove that the coefficients of the non-leading terms in the Laurent polynomial of the modular graph function $D_N(τ)$ associated with a melon graph is free of irreducible multiple zeta-values and can be written as a polynomial in odd zeta-values with rational coefficients for arbitrary $N \geq 0$. The proof proceeds by expressing a generating function for $D_N(τ)$ in terms of an integral over the Virasoro-Shapiro closed-string tree amplitude.
△ Less
Submitted 5 February, 2020; v1 submitted 13 April, 2019;
originally announced April 2019.
-
Coxeter group actions and limits of hypergeometric series
Authors:
Richard M. Green,
Ilia D. Mishev,
Eric Stade
Abstract:
In this paper, we use combinatorial group theory and a limiting process to connect various types of hypergeometric series, and of relations among such series.
We begin with a set $S$ of 56 distinct translates of a certain function $M$, which takes the form of a Barnes integral, and is expressible as a sum of two very-well-poised $_9F_8$ hypergeometric series of unit argument. We consider a known…
▽ More
In this paper, we use combinatorial group theory and a limiting process to connect various types of hypergeometric series, and of relations among such series.
We begin with a set $S$ of 56 distinct translates of a certain function $M$, which takes the form of a Barnes integral, and is expressible as a sum of two very-well-poised $_9F_8$ hypergeometric series of unit argument. We consider a known, transitive action of the Coxeter group $W(E_7)$ on this set. We show that, by removing from $W(E_7)$ a particular generator, we obtain a subgroup that is isomorphic to $W(D_6)$, and that acts intransitively on $S$, partitioning it into three orbits, of sizes 32, 12, and 12 respectively.
Taking certain limits of the $M$ functions in the first orbit yields a set of 32 $J$ functions, each of which is a sum of two Saalschützian $_4F_3$ hypergeometric series of unit argument. The original action of $W(D_6)$ on the $M$ functions in this orbit is then seen to correspond to a known action of this group on this set of $J$ functions.
In a similar way, the image of each of the size-12 orbits, under a similar limiting process, is a set of 12 $L$ functions that have been investigated in earlier works. In fact, these two image sets are the same.
The limiting process is seen to preserve distance, except on pairs consisting of one $M$ function from each size-12 orbit.
Finally, each known three-term relation among the $J$ and $L$ functions is seen to be obtainable as a limit of a known three-term relation among the $M$ functions.
△ Less
Submitted 31 December, 2019; v1 submitted 30 December, 2018;
originally announced December 2018.
-
Classification of Coxeter groups with finitely many elements of $\mathbf{a}$-value 2
Authors:
R. M. Green,
Tianyuan Xu
Abstract:
We consider Lusztig's $\mathbf{a}$-function on Coxeter groups (in the equal parameter case) and classify all Coxeter groups with finitely many elements of $\mathbf{a}$-value 2 in terms of Coxeter diagrams.
We consider Lusztig's $\mathbf{a}$-function on Coxeter groups (in the equal parameter case) and classify all Coxeter groups with finitely many elements of $\mathbf{a}$-value 2 in terms of Coxeter diagrams.
△ Less
Submitted 18 November, 2019; v1 submitted 16 May, 2018;
originally announced May 2018.
-
Positivity of vector bundles and Hodge theory
Authors:
Mark Green,
Phillip Griffiths
Abstract:
It is well known that positivity properties of the curvature of a vector bundle have implications on the algebro-geometric properties of the bundle, such as numerical positivity, vanishing of higher cohomology leading to existence of global sections etc. It is also well known that bundles arising in Hodge theory tend to have positivity properties. From these considerations several issues arise: (i…
▽ More
It is well known that positivity properties of the curvature of a vector bundle have implications on the algebro-geometric properties of the bundle, such as numerical positivity, vanishing of higher cohomology leading to existence of global sections etc. It is also well known that bundles arising in Hodge theory tend to have positivity properties. From these considerations several issues arise: (i) In general for bundles that are semi-positive but not strictly positive; what further natural conditions lead to the existence of sections of its symmetric powers? (ii) In Hodge theory the Hodge metrics generally have singularities; what can be said about these and their curvatures, Chern forms etc.? (iii) What are some algebro-geometric applications of positivity of Hodge bundles? The purpose of these partly expository notes is fourfold. One is to summarize some of the general measures and types of positivity that have arisen in the literature. A second is to introduce and give some applications of norm positivity. This is a concept that implies the di_erent notions of metric semi-positivity that are present in many of the standard examples and one that has an algebro-geometric interpretation in these examples. A third purpose is to discuss and compare some of the types of metric singularities that arise in algebraic geometry and in Hodge theory. Finally we shall present some applications of the theory from both the classical and recent literature.
△ Less
Submitted 10 October, 2018; v1 submitted 8 March, 2018;
originally announced March 2018.
-
Higher genus modular graph functions, string invariants, and their exact asymptotics
Authors:
Eric D'Hoker,
Michael B. Green,
Boris Pioline
Abstract:
The concept and the construction of modular graph functions are generalized from genus-one to higher genus surfaces. The integrand of the four-graviton superstring amplitude at genus-two provides a generating function for a special class of such functions. A general method is developed for analyzing the behavior of modular graph functions under non-separating degenerations in terms of a natural re…
▽ More
The concept and the construction of modular graph functions are generalized from genus-one to higher genus surfaces. The integrand of the four-graviton superstring amplitude at genus-two provides a generating function for a special class of such functions. A general method is developed for analyzing the behavior of modular graph functions under non-separating degenerations in terms of a natural real parameter $t$. For arbitrary genus, the Arakelov Green function and the Kawazumi-Zhang invariant degenerate to a Laurent polynomial in $t$ of degree $(1,1)$ in the limit $t\to\infty$. For genus two, each coefficient of the low energy expansion of the string amplitude degenerates to a Laurent polynomial of degree $(w,w)$ in $t$, where $w+2$ is the degree of homogeneity in the kinematic invariants. These results are exact to all orders in $t$, up to exponentially suppressed corrections. The non-separating degeneration of a general class of modular graph functions at arbitrary genus is sketched and similarly results in a Laurent polynomial in $t$ of bounded degree. The coefficients in the Laurent polynomial are generalized modular graph functions for a punctured Riemann surface of lower genus.
△ Less
Submitted 16 July, 2018; v1 submitted 17 December, 2017;
originally announced December 2017.
-
Period mappings and properties of the augmented Hodge line bundle
Authors:
Mark Green,
Phillip Griffiths,
Radu Laza,
Colleen Robles
Abstract:
Let $P$ be the image of a period map. We discuss progress towards a conjectural Hodge theoretic completion $\overline{P}$, an analogue of the Satake-Baily-Borel compactification in the classical case. The set $\overline{P}$ is defined and given the structure of a compact Hausdorff topological space. We conjecture that it admits the structure of a compact complex analytic variety. We verify this co…
▽ More
Let $P$ be the image of a period map. We discuss progress towards a conjectural Hodge theoretic completion $\overline{P}$, an analogue of the Satake-Baily-Borel compactification in the classical case. The set $\overline{P}$ is defined and given the structure of a compact Hausdorff topological space. We conjecture that it admits the structure of a compact complex analytic variety. We verify this conjecture when $\mathrm{dim} P \le 2$. In general, $\overline{P}$ admits a finite cover $\overline{S}$ (also a compact Hausdorff space, and constructed from Stein factorizations of period maps). Assuming that $\overline{S}$ is a compact complex analytic variety, we show that a lift of the augmented Hodge line bundle $Λ$ extends to an ample line bundle, giving $\overline{P}$ the structure of a projective normal variety. Our arguments rely on refined positivity properties of Chern forms associated to various Hodge bundles; properties that might be of independent interest.
△ Less
Submitted 14 August, 2023; v1 submitted 30 August, 2017;
originally announced August 2017.
-
Ternary and $n$-ary $f$-distributive Structures
Authors:
Indu R. U. Churchill,
M. Elhamdadi,
M. Green,
A. Makhlouf
Abstract:
We introduce and study ternary $f$-distributive structures, Ternary $f$-quandles and more generally their higher $n$-ary analogues. A classification of ternary $f$-quandles is provided in low dimensions. Moreover, we study extension theory and introduce a cohomology theory for ternary, and more generally $n$-ary, $f$-quandles. Furthermore, we give some computational examples.
We introduce and study ternary $f$-distributive structures, Ternary $f$-quandles and more generally their higher $n$-ary analogues. A classification of ternary $f$-quandles is provided in low dimensions. Moreover, we study extension theory and introduce a cohomology theory for ternary, and more generally $n$-ary, $f$-quandles. Furthermore, we give some computational examples.
△ Less
Submitted 26 April, 2017;
originally announced April 2017.
-
The nil Temperley--Lieb algebra of type affine C
Authors:
R. M. Green
Abstract:
We introduce a type affine $C$ analogue of the nil Temperley--Lieb algebra, in terms of generators and relations. We show that this algebra $T(n)$, which is a quotient of the positive part of a Kac--Moody algebra of type $D_{n+1}^{(2)}$, has an easily described faithful representation as an algebra of creation and annihilation operators on particle configurations, reminiscent of the open TASEP mod…
▽ More
We introduce a type affine $C$ analogue of the nil Temperley--Lieb algebra, in terms of generators and relations. We show that this algebra $T(n)$, which is a quotient of the positive part of a Kac--Moody algebra of type $D_{n+1}^{(2)}$, has an easily described faithful representation as an algebra of creation and annihilation operators on particle configurations, reminiscent of the open TASEP model in statistical physics. The centre of $T(n)$ consists of polynomials in a certain element $Q$, and $T(n)$ is a free module of finite rank over its centre. We show how to localize $T(n)$ by adjoining an inverse of $Q$, and prove that the resulting algebra is a full matrix ring over a ring of Laurent polynomials over a field. Although $T(n)$ has wild representation type, over an algebraically closed field we can classify all the finite dimensional indecomposable representations of $T(n)$ in which $Q$ acts invertibly.
△ Less
Submitted 31 August, 2022; v1 submitted 7 March, 2017;
originally announced March 2017.
-
$f$-Racks, $f$-Quandles, their Extensions and Cohomology
Authors:
Indu R. U. Churchill,
M. Elhamdadi,
M. Green,
A. Makhlouf
Abstract:
The purpose of this paper is to introduce and study the notions of $f$-rack and $f$-quandle which are obtained by twisting the usual equational identities by a map. We provide some key constructions, examples and classification of low order $f$-quandles. Moreover, we define modules over $f$-racks, discuss extensions and define a cohomology complex for $f$-quandles.
The purpose of this paper is to introduce and study the notions of $f$-rack and $f$-quandle which are obtained by twisting the usual equational identities by a map. We provide some key constructions, examples and classification of low order $f$-quandles. Moreover, we define modules over $f$-racks, discuss extensions and define a cohomology complex for $f$-quandles.
△ Less
Submitted 29 November, 2016; v1 submitted 1 June, 2016;
originally announced June 2016.
-
Identities between Modular Graph Forms
Authors:
Eric D'Hoker,
Michael B. Green
Abstract:
This paper investigates the relations between modular graph forms, which are generalizations of the modular graph functions that were introduced in earlier papers motivated by the structure of the low energy expansion of genus-one Type II superstring amplitudes. These modular graph forms are multiple sums associated with decorated Feynman graphs on the world-sheet torus. The action of standard dif…
▽ More
This paper investigates the relations between modular graph forms, which are generalizations of the modular graph functions that were introduced in earlier papers motivated by the structure of the low energy expansion of genus-one Type II superstring amplitudes. These modular graph forms are multiple sums associated with decorated Feynman graphs on the world-sheet torus. The action of standard differential operators on these modular graph forms admits an algebraic representation on the decorations. First order differential operators are used to map general non-holomorphic modular graph functions to holomorphic modular forms. This map is used to provide proofs of the identities between modular graph functions for weight less than six conjectured in earlier work, by mapping these identities to relations between holomorphic modular forms which are proven by holomorphic methods. The map is further used to exhibit the structure of identities at arbitrary weight.
△ Less
Submitted 7 September, 2017; v1 submitted 2 March, 2016;
originally announced March 2016.
-
Modular Graph Functions
Authors:
Eric D'Hoker,
Michael B. Green,
Omer Gurdogan,
Pierre Vanhove
Abstract:
In earlier work we studied features of non-holomorphic modular functions associated with Feynman graphs for a conformal scalar field theory on a two-dimensional torus with zero external momenta at all vertices. Such functions, which we will refer to as modular graph functions, arise, for example, in the low energy expansion of genus-one Type II superstring amplitudes. We here introduce a class of…
▽ More
In earlier work we studied features of non-holomorphic modular functions associated with Feynman graphs for a conformal scalar field theory on a two-dimensional torus with zero external momenta at all vertices. Such functions, which we will refer to as modular graph functions, arise, for example, in the low energy expansion of genus-one Type II superstring amplitudes. We here introduce a class of single-valued elliptic multiple polylogarithms, which are defined as elliptic functions associated with Feynman graphs with vanishing external momenta at all but two vertices. These functions depend on a coordinate, $ζ$, on the elliptic curve and reduce to modular graph functions when $ζ$ is set equal to $1$. We demonstrate that these single-valued elliptic multiple polylogarithms are linear combinations of multiple polylogarithms, and that modular graph functions are sums of single-valued elliptic multiple polylogarithms evaluated at the identity of the elliptic curve, in both cases with rational coefficients. This insight suggests the many interrelations between modular graph functions (a few of which were established in earlier papers) may be obtained as a consequence of identities involving multiple polylogarithms, and explains an earlier observation that the coefficients of the Laurent polynomial at the cusp are given by rational numbers times single-valued multiple zeta values.
△ Less
Submitted 12 December, 2016; v1 submitted 21 December, 2015;
originally announced December 2015.
-
Relations among complementary and supplementary pairings of Saalschutzian 4F3(1) series
Authors:
R. M. Green,
Ilia D. Mishev,
Eric Stade
Abstract:
We investigate sums $K(\vec{x})$ and $L(\vec{x})$ of pairs of (suitably normalized) Saalschützian ${}_4F_3(1)$ hypergeometric series, and develop a theory of relations among these $K$ and $L$ functions.
The function $L(\vec{x})$ has been studied extensively in the literature, and has been shown to satisfy a number of two-term and three-term relations with respect to the variable $\vec{x}$. More…
▽ More
We investigate sums $K(\vec{x})$ and $L(\vec{x})$ of pairs of (suitably normalized) Saalschützian ${}_4F_3(1)$ hypergeometric series, and develop a theory of relations among these $K$ and $L$ functions.
The function $L(\vec{x})$ has been studied extensively in the literature, and has been shown to satisfy a number of two-term and three-term relations with respect to the variable $\vec{x}$. More recent works have framed these relations in terms of Coxeter group actions on $\vec{x}$, and have developed a similar theory of two-term and three-term relations for $K(\vec{x})$.
In this article, we derive "mixed" three-term relations, wherein any one of the $L$ (respectively, $K$) functions arising in the above context may be expressed as a linear combination of two of the above $K$ (respectively, $L$) functions. We show that, under the appropriate Coxeter group action, the resulting set of three-term relations (mixed and otherwise) among $K$ and $L$ functions partitions into eighteen orbits. We provide an explicit example of a relation from each orbit.
We further classify the eighteen orbits into five types, with each type uniquely determined by the distances (under a certain natural metric) between the $K$ and $L$ functions in the relation. We show that the type of a relation dictates the complexity (in terms of both number of summands and number of factors in each summand) of the coefficients of the $K$ and $L$ functions therein.
△ Less
Submitted 9 October, 2014; v1 submitted 21 September, 2014;
originally announced September 2014.
-
Deformation Theory and Limiting Mixed Hodge Structures
Authors:
Mark Green,
Phillip Griffiths
Abstract:
This paper was motivated by the following question: Recall that for a smooth projective variety X whose polarized Hodge structure on H^n(X,Q)_{prim} leads to a period point ...
This paper was motivated by the following question: Recall that for a smooth projective variety X whose polarized Hodge structure on H^n(X,Q)_{prim} leads to a period point ...
△ Less
Submitted 28 May, 2014;
originally announced May 2014.
-
SL(2,Z)-invariance and D-instanton contributions to the $D^6 R^4$ interaction
Authors:
M. B. Green,
S. D. Miller,
P. Vanhove
Abstract:
The modular invariant coefficient of the $D^6R^4$ interaction in the low energy expansion of type~IIB string theory has been conjectured to be a solution of an inhomogeneous Laplace eigenvalue equation, obtained by considering the toroidal compactification of two-loop Feynman diagrams of eleven-dimensional supergravity. In this paper we determine the exact $SL(2,\mathbb Z)$-invariant solution…
▽ More
The modular invariant coefficient of the $D^6R^4$ interaction in the low energy expansion of type~IIB string theory has been conjectured to be a solution of an inhomogeneous Laplace eigenvalue equation, obtained by considering the toroidal compactification of two-loop Feynman diagrams of eleven-dimensional supergravity. In this paper we determine the exact $SL(2,\mathbb Z)$-invariant solution $f(x+iy)$ to this differential equation satisfying an appropriate moderate growth condition as $y\to \infty$ (the weak coupling limit). The solution is presented as a Fourier series with modes $\widehat{f}_n(y) e^{2πi n x}$, where the mode coefficients, $\widehat{f}_n(y)$ are bilinear in $K$-Bessel functions. Invariance under $SL(2,\mathbb Z)$ requires these modes to satisfy the nontrivial boundary condition $ \widehat{f}_n(y) =O(y^{-2})$ for small $y$, which uniquely determines the solution. The large-$y$ expansion of $f(x+iy)$ contains the known perturbative (power-behaved) terms, together with precisely-determined exponentially decreasing contributions that have the form expected of D-instantons, anti-D-instantons and D-instanton/anti-D-instanton pairs.
△ Less
Submitted 31 May, 2015; v1 submitted 8 April, 2014;
originally announced April 2014.
-
Ternary Distributive Structures and Quandles
Authors:
Mohamed Elhamdadi,
Matthew Green,
Abdenacer Makhlouf
Abstract:
We introduce a notion of ternary distributive algebraic structure, give examples, and relate it to the notion of a quandle. Classification is given for low order structures of this type. Constructions of such structures from ternary bialgebras are provided. We also describe ternary distributive algebraic structures coming from groups and give examples from vector spaces whose bases are elements of…
▽ More
We introduce a notion of ternary distributive algebraic structure, give examples, and relate it to the notion of a quandle. Classification is given for low order structures of this type. Constructions of such structures from ternary bialgebras are provided. We also describe ternary distributive algebraic structures coming from groups and give examples from vector spaces whose bases are elements of a finite ternary distributive set. We introduce a cohomology theory that is analogous to Hochschild cohomology and relate it to a formal deformation theory of these structures.
△ Less
Submitted 27 March, 2014;
originally announced March 2014.
-
Extremal degenerations of polarized Hodge structures
Authors:
Mark Green,
Phillip Griffiths,
Colleen Robles
Abstract:
We describe a Hodge theoretic approach to the question: In what ways can a smooth projective variety degenerate?
We describe a Hodge theoretic approach to the question: In what ways can a smooth projective variety degenerate?
△ Less
Submitted 29 April, 2014; v1 submitted 3 March, 2014;
originally announced March 2014.
-
A Classification of the Veldkamp Lines of the Near Hexagon L_3 times GQ(2, 2)
Authors:
R. M. Green,
Metod Saniga
Abstract:
Using a standard technique sometimes (inaccurately) known as Burnside's Lemma, it is shown that the Veldkamp space of the near hexagon L_3 times GQ(2, 2) features 156 different types of lines. We also give an explicit description of each type of a line by listing the types of the three geometric hyperplanes it consists of and describing the properties of its core set, that is the subset of points…
▽ More
Using a standard technique sometimes (inaccurately) known as Burnside's Lemma, it is shown that the Veldkamp space of the near hexagon L_3 times GQ(2, 2) features 156 different types of lines. We also give an explicit description of each type of a line by listing the types of the three geometric hyperplanes it consists of and describing the properties of its core set, that is the subset of points of L_3 times GQ(2, 2) shared by the three geometric hyperplanes in question.
△ Less
Submitted 6 October, 2015; v1 submitted 10 October, 2013;
originally announced October 2013.
-
Augmented Biracks and their Homology
Authors:
Jose Ceniceros,
Mohamed Elhamdadi,
Matthew Green,
Sam Nelson
Abstract:
We introduce augmented biracks and define a (co)homology theory associated to augmented biracks. The new homology theory extends the previously studied Yang-Baxter homology with a combinatorial formulation for the boundary map and specializes to $N$-reduced rack homology when the birack is a rack. We introduce augmented birack 2-cocycle invariants of classical and virtual knots and links and provi…
▽ More
We introduce augmented biracks and define a (co)homology theory associated to augmented biracks. The new homology theory extends the previously studied Yang-Baxter homology with a combinatorial formulation for the boundary map and specializes to $N$-reduced rack homology when the birack is a rack. We introduce augmented birack 2-cocycle invariants of classical and virtual knots and links and provide examples.
△ Less
Submitted 6 September, 2013;
originally announced September 2013.
-
Zhang-Kawazumi Invariants and Superstring Amplitudes
Authors:
Eric D'Hoker,
Michael B. Green
Abstract:
Invariance of Type IIB superstring theory under SL(2,Z) or S-duality implies dependence on the complex coupling T through real and complex modular forms in T. Their structure may be understood explicitly in an expansion of superstring corrections to Einstein's equations of gravity, in powers of derivatives D and curvature R. The perturbative loop expansion in the string coupling for the 4-string a…
▽ More
Invariance of Type IIB superstring theory under SL(2,Z) or S-duality implies dependence on the complex coupling T through real and complex modular forms in T. Their structure may be understood explicitly in an expansion of superstring corrections to Einstein's equations of gravity, in powers of derivatives D and curvature R. The perturbative loop expansion in the string coupling for the 4-string amplitude governs corrections of the form D^{2p} R^4 for all p. We show that, at two-loop order, the D^6 R^4 term is proportional to the integral of a modular invariant introduced by Zhang and Kawazumi in number theory and related to the Faltings delta-invariant studied for genus-two by Bost. The structure of two-loop superstring amplitudes for p>3 leads to higher invariants, which generalize Zhang--Kawazumi invariants at genus two. An explicit formula is derived for the unique higher invariant associated with order D^8 R^4. In an attempt to compare the prediction for the D^6 R^4 correction from superstring perturbation theory with the one produced by S-duality and supersymmetry of Type IIB, various reformulations of the invariant are given. This comparison with string theory leads to a predicted value for the integral of the Zhang-Kawazumi invariant over the moduli space of genus-two surfaces.
△ Less
Submitted 21 March, 2014; v1 submitted 21 August, 2013;
originally announced August 2013.
-
On the Cyclically Fully Commutative Elements of Coxeter Groups
Authors:
Tomas Boothby,
Jeffrey Burkert,
Morgan Eichwald,
R. M. Green,
Dana C. Ernst,
Matthew Macauley
Abstract:
Let W be an arbitrary Coxeter group. If two elements have expressions that are cyclic shifts of each other (as words), then they are conjugate (as group elements) in W. We say that w is "cyclically fully commutative" (CFC) if every cyclic shift of any reduced expression for w is fully commutative (i.e., avoids long braid relations). These generalize Coxeter elements in that their reduced expressio…
▽ More
Let W be an arbitrary Coxeter group. If two elements have expressions that are cyclic shifts of each other (as words), then they are conjugate (as group elements) in W. We say that w is "cyclically fully commutative" (CFC) if every cyclic shift of any reduced expression for w is fully commutative (i.e., avoids long braid relations). These generalize Coxeter elements in that their reduced expressions can be described combinatorially by acyclic directed graphs, and cyclically shifting corresponds to source-to-sink conversions. In this paper, we explore the combinatorics of the CFC elements and enumerate them in all Coxeter groups. Additionally, we characterize precisely which CFC elements have the property that powers of them remain fully commutative, via the presence of a simple combinatorial feature called a "band." This allows us to give necessary and sufficient conditions for a CFC element w to be "logarithmic," that is, l(w^k) = k l(w) for all k > 0, for a large class of Coxeter groups that includes all affine Weyl groups and simply-laced Coxeter groups. Finally, we give a simple non-CFC element that fails to be logarithmic under these conditions.
△ Less
Submitted 29 February, 2012;
originally announced February 2012.
-
Small representations, string instantons, and Fourier modes of Eisenstein series (with an appendix by D. Ciubotaru and P. Trapa)
Authors:
Michael B. Green,
Stephen D. Miller,
Pierre Vanhove
Abstract:
This paper concerns some novel features of maximal parabolic Eisenstein series at certain special values of their analytic parameter s. These series arise as coefficients in the R4 and D4R4 interactions in the low energy expansion of scattering amplitudes in maximally supersymmetric string theory reduced to D=10-d dimensions on a torus T^d, d<8. For each d these amplitudes are automorphic function…
▽ More
This paper concerns some novel features of maximal parabolic Eisenstein series at certain special values of their analytic parameter s. These series arise as coefficients in the R4 and D4R4 interactions in the low energy expansion of scattering amplitudes in maximally supersymmetric string theory reduced to D=10-d dimensions on a torus T^d, d<8. For each d these amplitudes are automorphic functions on the rank d+1 symmetry group E_d+1. Of particular significance is the orbit content of the Fourier modes of these series when expanded in three different parabolic subgroups, corresponding to certain limits of string theory. This is of interest in the classification of a variety of instantons that correspond to minimal or next-to-minimal BPS orbits. In the limit of decompactification from D to D+1 dimensions many such instantons are related to charged 1/2-BPS or 1/4-BPS black holes with euclidean world-lines wrapped around the large dimension. In a different limit the instantons give nonperturbative corrections to string perturbation theory, while in a third limit they describe nonperturbative contributions in eleven-dimensional supergravity. A proof is given that these three distinct Fourier expansions have certain vanishing coefficients that are expected from string theory. In particular, the Eisenstein series for these special values of s have markedly fewer Fourier coefficients than typical ones. The corresponding mathematics involves showing that the wavefront sets of the Eisenstein series are supported on only certain coadjoint nilpotent orbits - just the minimal and trivial orbits in the 1/2-BPS case, and just the next-to-minimal, minimal and trivial orbits in the 1/4-BPS case. Thus as a byproduct we demonstrate that the next-to-minimal representations occur automorphically for E6, E7, and E8, and hence the first two nontrivial low energy coefficients are exotic theta-functions.
△ Less
Submitted 4 October, 2013; v1 submitted 12 November, 2011;
originally announced November 2011.
-
Morse matchings on polytopes
Authors:
R. M. Green,
Jacob T. Harper
Abstract:
We show how to construct homology bases for certain CW complexes in terms of discrete Morse theory and cellular homology. We apply this technique to study certain subcomplexes of the half cube polytope studied in previous works. This involves constructing explicit complete acyclic Morse matchings on the face lattice of the half cube; this procedure may be of independent interest for other highly s…
▽ More
We show how to construct homology bases for certain CW complexes in terms of discrete Morse theory and cellular homology. We apply this technique to study certain subcomplexes of the half cube polytope studied in previous works. This involves constructing explicit complete acyclic Morse matchings on the face lattice of the half cube; this procedure may be of independent interest for other highly symmetric polytopes.
△ Less
Submitted 25 July, 2011;
originally announced July 2011.
-
Eisenstein series for higher-rank groups and string theory amplitudes
Authors:
Michael B. Green,
Stephen D. Miller,
Jorge G. Russo,
Pierre Vanhove
Abstract:
Scattering amplitudes of superstring theory are strongly constrained by the requirement that they be invariant under dualities generated by discrete subgroups, E_n(Z), of simply-laced Lie groups in the E_n series (n<= 8). In particular, expanding the four-supergraviton amplitude at low energy gives a series of higher derivative corrections to Einstein's theory, with coefficients that are automorph…
▽ More
Scattering amplitudes of superstring theory are strongly constrained by the requirement that they be invariant under dualities generated by discrete subgroups, E_n(Z), of simply-laced Lie groups in the E_n series (n<= 8). In particular, expanding the four-supergraviton amplitude at low energy gives a series of higher derivative corrections to Einstein's theory, with coefficients that are automorphic functions with a rich dependence on the moduli. Boundary conditions supplied by string and supergravity perturbation theory, together with a chain of relations between successive groups in the E_n series, constrain the constant terms of these coefficients in three distinct parabolic subgroups. Using this information we are able to determine the expressions for the first two higher derivative interactions (which are BPS-protected) in terms of specific Eisenstein series. Further, we determine key features of the coefficient of the third term in the low energy expansion of the four-supergraviton amplitude (which is also BPS-protected) in the E_8 case. This is an automorphic function that satisfies an inhomogeneous Laplace equation and has constant terms in certain parabolic subgroups that contain information about all the preceding terms.
△ Less
Submitted 12 November, 2011; v1 submitted 1 April, 2010;
originally announced April 2010.
-
Variations of Hodge Structure Considered as an Exterior Differential System: Old and New Results
Authors:
James Carlson,
Mark Green,
Phillip Griffiths
Abstract:
This paper is a survey of the subject of variations of Hodge structure (VHS) considered as exterior differential systems (EDS). We review developments over the last twenty-six years, with an emphasis on some key examples. In the penultimate section we present some new results on the characteristic cohomology of a homogeneous Pfaffian system. In the last section we discuss how the integrability c…
▽ More
This paper is a survey of the subject of variations of Hodge structure (VHS) considered as exterior differential systems (EDS). We review developments over the last twenty-six years, with an emphasis on some key examples. In the penultimate section we present some new results on the characteristic cohomology of a homogeneous Pfaffian system. In the last section we discuss how the integrability conditions of an EDS affect the expected dimension of an integral submanifold. The paper ends with some speculation on EDS and Hodge conjecture for Calabi-Yau manifolds.
△ Less
Submitted 11 September, 2009;
originally announced September 2009.
-
Homology representations arising from the half cube, II
Authors:
R. M. Green
Abstract:
In a previous work (arXiv:0806.1503v2), we defined a family of subcomplexes of the $n$-dimensional half cube by removing the interiors of all half cube shaped faces of dimension at least $k$, and we proved that the homology of such a subcomplex is concentrated in degree $k-1$. This homology group supports a natural action of the Coxeter group $W(D_n)$ of type $D$. In this paper, we explicitly dete…
▽ More
In a previous work (arXiv:0806.1503v2), we defined a family of subcomplexes of the $n$-dimensional half cube by removing the interiors of all half cube shaped faces of dimension at least $k$, and we proved that the homology of such a subcomplex is concentrated in degree $k-1$. This homology group supports a natural action of the Coxeter group $W(D_n)$ of type $D$. In this paper, we explicitly determine the characters (over ${\Bbb C}$) of these homology representations, which turn out to be multiplicity free. Regarded as representations of the symmetric group $S_n$ by restriction, the homology representations turn out to be direct sums of certain representations induced from parabolic subgroups. The latter representations of $\sym_n$ agree (over ${\Bbb C}$) with the representations of $\sym_n$ on the $(k-2)$-nd homology of the complement of the $k$-equal real hyperplane arrangement.
△ Less
Submitted 28 May, 2010; v1 submitted 5 December, 2008;
originally announced December 2008.
-
Coxeter group actions on 4F3(1) hypergeometric series
Authors:
Marc Formichella,
R. M. Green,
Eric Stade
Abstract:
We investigate a certain linear combination $K(\vec{x})=K(a;b,c,d;e,f,g)$ of two Saalschutzian hypergeometric series of type ${_4}F_3(1)$. We first show that $K(a;b,c,d;e,f,g)$ is invariant under the action of a certain matrix group $G_K$, isomorphic to the symmetric group $S_6$, acting on the affine hyperplane $V=\{(a,b,c,d,e,f,g)\in\Bbb C^7\colon e+f+g-a-b-c-d=1\}$. We further develop an algeb…
▽ More
We investigate a certain linear combination $K(\vec{x})=K(a;b,c,d;e,f,g)$ of two Saalschutzian hypergeometric series of type ${_4}F_3(1)$. We first show that $K(a;b,c,d;e,f,g)$ is invariant under the action of a certain matrix group $G_K$, isomorphic to the symmetric group $S_6$, acting on the affine hyperplane $V=\{(a,b,c,d,e,f,g)\in\Bbb C^7\colon e+f+g-a-b-c-d=1\}$. We further develop an algebra of three-term relations for $K(a;b,c,d;e,f,g)$. We show that, for any three elements $μ_1,μ_2,μ_3$ of a certain matrix group $M_K$, isomorphic to the Coxeter group $W(D_6)$ (of order 23040), and containing the above group $G_K$, there is a relation among $K(μ_1\vec{x})$, $K(μ_2\vec{x})$, and $K(μ_3\vec{x})$, provided no two of the $μ_j$'s are in the same right coset of $G_K$ in $M_K$. The coefficients in these three-term relations are seen to be rational combinations of gamma and sine functions in $a,b,c,d,e,f,g$.
The set of $({|M_K|/|G_K|\atop 3})=({32\atop 3})=4960$ resulting three-term relations may further be partitioned into five subsets, according to the Hamming type of the triple $(μ_1,μ_2,μ_3) $ in question. This Hamming type is defined in terms of Hamming distance between the $μ_j$'s, which in turn is defined in terms of the expression of the $μ_j$'s as words in the Coxeter group generators.
Each three-term relation of a given Hamming type may be transformed into any other of the same type by a change of variable. An explicit example of each of the five types of three-term relations is provided.
△ Less
Submitted 2 October, 2008;
originally announced October 2008.
-
On the non-generic representation theory of the symplectic blob algebra
Authors:
R. M. Green,
P. P. Martin,
A. E. Parker
Abstract:
This paper reports some advances in the study of the symplectic blob algebra. We find a presentation for this algebra. We find a minimal poset for this as a quasi-hereditary algebra. We discuss how to reduce the number of parameters defining the algebra from 6 to 4 (or even 3) without loss of representation theoretic generality. We then find some non-semisimple specialisations by calculating Gra…
▽ More
This paper reports some advances in the study of the symplectic blob algebra. We find a presentation for this algebra. We find a minimal poset for this as a quasi-hereditary algebra. We discuss how to reduce the number of parameters defining the algebra from 6 to 4 (or even 3) without loss of representation theoretic generality. We then find some non-semisimple specialisations by calculating Gram determinants for certain cell modules (or standard modules) using the good parametrisation defined. We finish by considering some quotients of specialisations of the symplectic blob algebra which are isomorphic to Temperley--Lieb algebras of type $A$.
△ Less
Submitted 25 July, 2008;
originally announced July 2008.
-
Homology representations arising from the half cube
Authors:
R. M. Green
Abstract:
We construct a CW decomposition $C_n$ of the $n$-dimensional half cube in a manner compatible with its structure as a polytope. For each $3 \leq k \leq n$, the complex $C_n$ has a subcomplex $C_{n, k}$, which coincides with the clique complex of the half cube graph if $k = 4$. The homology of $C_{n, k}$ is concentrated in degree $k-1$ and furthermore, the $(k-1)$-st Betti number of $C_{n, k}$ is…
▽ More
We construct a CW decomposition $C_n$ of the $n$-dimensional half cube in a manner compatible with its structure as a polytope. For each $3 \leq k \leq n$, the complex $C_n$ has a subcomplex $C_{n, k}$, which coincides with the clique complex of the half cube graph if $k = 4$. The homology of $C_{n, k}$ is concentrated in degree $k-1$ and furthermore, the $(k-1)$-st Betti number of $C_{n, k}$ is equal to the $(k-2)$-nd Betti number of the complement of the $k$-equal real hyperplane arrangement. These Betti numbers, which also appear in theoretical computer science, numerical analysis and engineering, are the coefficients of a certain Pascal-like triangle (Sloane's sequence A119258). The Coxeter groups of type $D_n$ act naturally on the complexes $C_{n, k}$, and thus on the associated homology groups.
△ Less
Submitted 4 December, 2008; v1 submitted 9 June, 2008;
originally announced June 2008.
-
Leading coefficients of Kazhdan--Lusztig polynomials and fully commutative elements
Authors:
R. M. Green
Abstract:
Let $W$ be a Coxeter group of type $\widetilde{A}_{n-1}$. We show that the leading coefficient, $μ(x, w)$, of the Kazhdan--Lusztig polynomial $P_{x, w}$ is always equal to 0 or 1 if $x$ is fully commutative (and $w$ is arbitrary).
Let $W$ be a Coxeter group of type $\widetilde{A}_{n-1}$. We show that the leading coefficient, $μ(x, w)$, of the Kazhdan--Lusztig polynomial $P_{x, w}$ is always equal to 0 or 1 if $x$ is fully commutative (and $w$ is arbitrary).
△ Less
Submitted 10 January, 2008;
originally announced January 2008.
-
Representations of Lie algebras arising from polytopes
Authors:
R. M. Green
Abstract:
We present an extremely elementary construction of the simple Lie algebras over the complex numbers in all of their minuscule representations, using the vertices of various polytopes. The construction itself requires no complicated combinatorics and essentially no Lie theory other than the definition of a Lie algebra; in fact, the Lie algebras themselves appear as by-products of the construction…
▽ More
We present an extremely elementary construction of the simple Lie algebras over the complex numbers in all of their minuscule representations, using the vertices of various polytopes. The construction itself requires no complicated combinatorics and essentially no Lie theory other than the definition of a Lie algebra; in fact, the Lie algebras themselves appear as by-products of the construction.
△ Less
Submitted 18 April, 2007;
originally announced April 2007.
-
On the Markov trace for Temperley--Lieb algebras of type $E_n$
Authors:
R. M. Green
Abstract:
We show that there is a unique Markov trace on the tower of Temperley--Lieb type quotients of Hecke algebras of Coxeter type $E_n$ (for all $n \geq 6$). We explain in detail how this trace may be computed easily using tom Dieck's calculus of diagrams. As applications, we show how to use the trace to show that the diagram representation is faithful, and to compute leading coefficients of certain…
▽ More
We show that there is a unique Markov trace on the tower of Temperley--Lieb type quotients of Hecke algebras of Coxeter type $E_n$ (for all $n \geq 6$). We explain in detail how this trace may be computed easily using tom Dieck's calculus of diagrams. As applications, we show how to use the trace to show that the diagram representation is faithful, and to compute leading coefficients of certain Kazhdan--Lusztig polynomials.
△ Less
Submitted 2 April, 2007;
originally announced April 2007.
-
On the maximally clustered elements of Coxeter groups
Authors:
R. M. Green
Abstract:
We continue the study of the maximally clustered elements for simply laced Coxeter groups which were recently introduced by Losonczy. Such elements include as a special case the freely braided elements of Losonczy and the author, which in turn constitute a superset of the $iji$-avoiding elements of Fan. Our main result is to classify the MC-finite Coxeter groups, namely those Coxeter groups havi…
▽ More
We continue the study of the maximally clustered elements for simply laced Coxeter groups which were recently introduced by Losonczy. Such elements include as a special case the freely braided elements of Losonczy and the author, which in turn constitute a superset of the $iji$-avoiding elements of Fan. Our main result is to classify the MC-finite Coxeter groups, namely those Coxeter groups having finitely many maximally clustered elements. Remarkably, any simply laced Coxeter group having finitely many $iji$-avoiding elements also turns out to be MC-finite.
△ Less
Submitted 14 March, 2007;
originally announced March 2007.
-
Towers of recollement and bases for diagram algebras: planar diagrams and a little beyond
Authors:
Paul Martin,
R M Green,
Alison Parker
Abstract:
The recollement approach to the representation theory of sequences of algebras is extended to pass basis information directly through the globalisation functor. The method is hence adapted to treat sequences that are not necessarily towers by inclusion, such as symplectic blob algebras (diagram algebra quotients of the type-$\hati{C}$ Hecke algebras).
By carefully reviewing the diagram algebra…
▽ More
The recollement approach to the representation theory of sequences of algebras is extended to pass basis information directly through the globalisation functor. The method is hence adapted to treat sequences that are not necessarily towers by inclusion, such as symplectic blob algebras (diagram algebra quotients of the type-$\hati{C}$ Hecke algebras).
By carefully reviewing the diagram algebra construction, we find a new set of functors interrelating module categories of ordinary blob algebras (diagram algebra quotients of the type-${B}$ Hecke algebras) at {\em different} values of the algebra parameters. We show that these functors generalise to determine the structure of symplectic blob algebras, and hence of certain two-boundary Temperley-Lieb algebras arising in Statistical Mechanics.
We identify the diagram basis with a cellular basis for each symplectic blob algebra, and prove that these algebras are quasihereditary over a field for almost all parameter choices, and generically semisimple. (That is, we give bases for all cell and standard modules.)
△ Less
Submitted 31 October, 2006;
originally announced October 2006.
-
Full heaps and representations of affine Weyl groups
Authors:
R. M. Green
Abstract:
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 geometri…
▽ More
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.
△ Less
Submitted 6 August, 2006; v1 submitted 4 August, 2006;
originally announced August 2006.
-
Full heaps and representations of affine Kac--Moody algebras
Authors:
R. M. Green
Abstract:
We give a combinatorial construction, not involving a presentation, of almost all untwisted affine Kac--Moody algebras modulo their one-dimensional centres in terms of signed raising and lowering operators on a certain distributive lattice ${\Cal B}$. The lattice ${\Cal B}$ is constructed combinatorially as a set of ideals of a ``full heap'' over the Dynkin diagram, which leads to a kind of cate…
▽ More
We give a combinatorial construction, not involving a presentation, of almost all untwisted affine Kac--Moody algebras modulo their one-dimensional centres in terms of signed raising and lowering operators on a certain distributive lattice ${\Cal B}$. The lattice ${\Cal B}$ is constructed combinatorially as a set of ideals of a ``full heap'' over the Dynkin diagram, which leads to a kind of categorification of the positive roots for the Kac--Moody algebra. The lattice ${\Cal B}$ is also a crystal in the sense of Kashiwara, and its span affords representations of the associated quantum affine algebra and affine Weyl group. There are analogues of these results for two infinite families of twisted affine Kac--Moody algebras, which we hope to treat more fully elsewhere.
By restriction, we obtain combinatorial constructions of the finite dimensional simple Lie algebras over $\complex$, except those of types $E_8$, $F_4$ and $G_2$. The Chevalley basis corresponding to an arbitrary orientation of the Dynkin diagram is then represented explicitly by raising and lowering operators. We also obtain combinatorial constructions of the spin modules for Lie algebras of types $B$ and $D$, which avoid Clifford algebras, and in which the action of Chevalley bases on the canonical bases of the modules may be explicitly calculated.
△ Less
Submitted 6 April, 2007; v1 submitted 30 May, 2006;
originally announced May 2006.
-
Presenting affine q-Schur algebras
Authors:
S. R. Doty,
R. M. Green
Abstract:
We obtain a presentation of certain affine q-Schur algebras in terms of generators and relations. The presentation is obtained by adding more relations to the usual presentation of the quantized enveloping algebra of type affine gl_n. Our results extend and rely on the corresponding result for the q-Schur algebra of the symmetric group, which were proved by the first author and Giaquinto.
We obtain a presentation of certain affine q-Schur algebras in terms of generators and relations. The presentation is obtained by adding more relations to the usual presentation of the quantized enveloping algebra of type affine gl_n. Our results extend and rely on the corresponding result for the q-Schur algebra of the symmetric group, which were proved by the first author and Giaquinto.
△ Less
Submitted 28 February, 2006;
originally announced March 2006.
