-
Character formulæ and GKRS multiplets in equivariant K-theory
Authors:
Gregory D. Landweber,
Reyer Sjamaar
Abstract:
Let $G$ be a compact Lie group, $H$ a closed subgroup of maximal rank and $X$ a topological $G$-space. We obtain a variety of results concerning the structure of the $H$-equivariant K-ring $K_H^*(X)$ viewed as a module over the $G$-equivariant K-ring $K_G^*(X)$. One result is that the module has a nonsingular bilinear pairing; another is that the module contains multiplets which are analogous to t…
▽ More
Let $G$ be a compact Lie group, $H$ a closed subgroup of maximal rank and $X$ a topological $G$-space. We obtain a variety of results concerning the structure of the $H$-equivariant K-ring $K_H^*(X)$ viewed as a module over the $G$-equivariant K-ring $K_G^*(X)$. One result is that the module has a nonsingular bilinear pairing; another is that the module contains multiplets which are analogous to the Gross-Kostant-Ramond-Sternberg multiplets of representation theory.
△ Less
Submitted 1 October, 2012; v1 submitted 18 July, 2011;
originally announced July 2011.
-
Divided differences and the Weyl character formula in equivariant K-theory
Authors:
Megumi Harada,
Gregory D. Landweber,
Reyer Sjamaar
Abstract:
Let $X$ be a topological space and $G$ a compact connected Lie group acting on $X$. Atiyah proved that the $G$-equivariant K-group of $X$ is a direct summand of the $T$-equivariant K-group of $X$, where $T$ is a maximal torus of $G$. We show that this direct summand is equal to the subgroup of $K_T^*(X)$ annihilated by certain divided difference operators. If $X$ consists of a single point, this…
▽ More
Let $X$ be a topological space and $G$ a compact connected Lie group acting on $X$. Atiyah proved that the $G$-equivariant K-group of $X$ is a direct summand of the $T$-equivariant K-group of $X$, where $T$ is a maximal torus of $G$. We show that this direct summand is equal to the subgroup of $K_T^*(X)$ annihilated by certain divided difference operators. If $X$ consists of a single point, this assertion amounts to the Weyl character formula. We also give sufficient conditions on $X$ for $K_G^*(X)$ to be isomorphic to the subgroup of Weyl invariants of $K_T^*(X)$.
△ Less
Submitted 12 March, 2010; v1 submitted 8 June, 2009;
originally announced June 2009.
-
Relating Doubly-Even Error-Correcting Codes, Graphs, and Irreducible Representations of N-Extended Supersymmetry
Authors:
C. F. Doran,
M. G. Faux,
S. J. Gates Jr,
T. Hubsch,
K. M. Iga,
G. D. Landweber
Abstract:
Previous work has shown that the classification of indecomposable off-shell representations of N-supersymmetry, depicted as Adinkras, may be factored into specifying the topologies available to Adinkras, and then the height-assignments for each topological type. The latter problem being solved by a recursive mechanism that generates all height-assignments within a topology, it remains to classif…
▽ More
Previous work has shown that the classification of indecomposable off-shell representations of N-supersymmetry, depicted as Adinkras, may be factored into specifying the topologies available to Adinkras, and then the height-assignments for each topological type. The latter problem being solved by a recursive mechanism that generates all height-assignments within a topology, it remains to classify the former. Herein we show that this problem is equivalent to classifying certain (1) graphs and (2) error-correcting codes.
△ Less
Submitted 30 May, 2008;
originally announced June 2008.
-
Topology Types of Adinkras and the Corresponding Representations of N-Extended Supersymmetry
Authors:
C. F. Doran,
M. G. Faux,
S. J. Gates, Jr.,
T. Hubsch,
K. M. Iga,
G. D. Landweber,
R. L. Miller
Abstract:
We present further progress toward a complete classification scheme for describing supermultiplets of N-extended worldline supersymmetry, which relies on graph-theoretic topological invariants. In particular, we demonstrate a relationship between Adinkra diagrams and quotients of N-dimensional cubes, where the quotient groups are subgroups of $(Z_2)^N$. We explain how these quotient groups corre…
▽ More
We present further progress toward a complete classification scheme for describing supermultiplets of N-extended worldline supersymmetry, which relies on graph-theoretic topological invariants. In particular, we demonstrate a relationship between Adinkra diagrams and quotients of N-dimensional cubes, where the quotient groups are subgroups of $(Z_2)^N$. We explain how these quotient groups correspond precisely to doubly even binary linear error-correcting codes, so that the classification of such codes provides a means for describing equivalence classes of Adinkras and therefore supermultiplets. Using results from coding theory we exhibit the enumeration of these equivalence classes for all cases up to 26 supercharges, as well as the maximal codes, corresponding to minimal supermultiplets, for up to 32 supercharges.
△ Less
Submitted 30 May, 2008;
originally announced June 2008.
-
The K-theory of abelian symplectic quotients
Authors:
Megumi Harada,
Gregory D. Landweber
Abstract:
Let T be a compact torus and (M,ω) a
Hamiltonian T-space. In a previous paper, the authors showed that the T-equivariant K-theory of the manifold M surjects onto the ordinary integral K-theory of the symplectic quotient M \mod T of M by T, under certain technical conditions on the moment map. In this paper, we use equivariant Morse theory to give a method for computing the K-theory of the symp…
▽ More
Let T be a compact torus and (M,ω) a
Hamiltonian T-space. In a previous paper, the authors showed that the T-equivariant K-theory of the manifold M surjects onto the ordinary integral K-theory of the symplectic quotient M \mod T of M by T, under certain technical conditions on the moment map. In this paper, we use equivariant Morse theory to give a method for computing the K-theory of the symplectic quotient by obtaining an explicit description of the kernel of the surjection κ: K^*_T(M) \onto K^*(M \mod T). Our results are K-theoretic analogues of the work of Tolman and Weitsman for Borel equivariant cohomology. Further, we prove that under suitable technical conditions on the T-orbit stratification of M, there is an explicit Goresky-Kottwitz-MacPherson (``GKM'') type combinatorial description of the K-theory of a Hamiltonian T-space in terms of fixed point data. Finally, we illustrate our methods by computing the ordinary K-theory of compact symplectic toric manifolds, which arise as symplectic quotients of an affine space \C^N by a linear torus action.
△ Less
Submitted 2 January, 2008; v1 submitted 21 December, 2006;
originally announced December 2006.
-
Off-shell supersymmetry and filtered Clifford supermodules
Authors:
Charles F. Doran,
Michael G. Faux,
S. James Gates, Jr.,
Tristan Hubsch,
Kevin M. Iga,
Gregory D. Landweber
Abstract:
An off-shell representation of supersymmetry is a representation of the super Poincare algebra on a dynamically unconstrained space of fields. We describe such representations formally, in terms of the fields and their spacetime derivatives, and we interpret the physical concept of engineering dimension as an integral grading. We prove that formal graded off-shell representations of one-dimensio…
▽ More
An off-shell representation of supersymmetry is a representation of the super Poincare algebra on a dynamically unconstrained space of fields. We describe such representations formally, in terms of the fields and their spacetime derivatives, and we interpret the physical concept of engineering dimension as an integral grading. We prove that formal graded off-shell representations of one-dimensional N-extended supersymmetry, i.e., the super Poincare algebra p^{1|N}, correspond to filtered Clifford supermodules over Cl(N). We also prove that formal graded off-shell representations of two-dimensional (p,q)-supersymmetry, i.e., the super Poincare algebra p^{1,1|p,q}, correspond to bifiltered Clifford supermodules over Cl(p+q).
Our primary tools are the formal deformations of filtered superalgebras and supermodules, which give a one-to-one correspondence between filtered spaces and graded spaces with even degree-shifting injections. This generalizes the machinery developed by Gerstenhaber to prove that every filtered algebra is a deformation of its associated graded algebra. Our treatment extends Gerstenhaber's discussion to the case of filtrations which are compatible with a supersymmetric structure, as well as to filtered modules in addition to filtered algebras. We also describe the analogous constructions for bifiltrations and bigradings.
△ Less
Submitted 5 March, 2006;
originally announced March 2006.
-
The K-theory of abelian versus nonabelian symplectic quotients
Authors:
Megumi Harada,
Gregory D. Landweber
Abstract:
We compare the K-theories of symplectic quotients with respect to a compact connected Lie group and with respect to its maximal torus, and in particular we give a method for computing the former in terms of the latter. More specifically, let G be a compact connected Lie group with no torsion in its fundamental group, let T be a maximal torus of G, and let M be a compact Hamiltonian G-space. Let…
▽ More
We compare the K-theories of symplectic quotients with respect to a compact connected Lie group and with respect to its maximal torus, and in particular we give a method for computing the former in terms of the latter. More specifically, let G be a compact connected Lie group with no torsion in its fundamental group, let T be a maximal torus of G, and let M be a compact Hamiltonian G-space. Let M//G and M//T denote the symplectic quotients of M by G and by T, respectively. Using Hodgkin's Kunneth spectral sequence for equivariant K-theory, we express the K-theory of M//G in terms of the elements in the K-theory of M//T which are invariant under the action of the Weyl group, in addition to the Euler class e of a natural Spin^c vector bundle over M//T. This Euler class e is induced by the denominator in the Weyl character formula, viewed as a virtual representation of T; this is relevant for our proof.
Our results are K-theoretic analogues of similar (unpublished) results by Martin for rational cohomology. However, our results and approach differ from his in three significant ways. First, Martin's method involves integral formulae, but the corresponding index formulae in K-theory are too coarse a tool, as they cannot detect torsion. Instead, we carefully analyze related K-theoretic pushforward maps. Second, Martin's method involves dividing by the order of the Weyl group, which is not possible in (integral) K-theory. We render this unnecessary by examining Weyl anti-invariant elements, proving a K-theoretic version of a lemma due to Brion. Finally, Martin's results are expressed in terms of the annihilator ideal of e^2, the square of the Euler class mentioned above. We are able to "remove the square", working instead with the annihilator ideal of e.
△ Less
Submitted 12 January, 2006;
originally announced January 2006.
-
On Graph-Theoretic Identifications of Adinkras, Supersymmetry Representations and Superfields
Authors:
C. F. Doran,
M. G. Faux,
S. J. Gates, Jr.,
T. Hubsch,
K. M. Iga,
G. D. Landweber
Abstract:
In this paper we discuss off-shell representations of N-extended supersymmetry in one dimension, ie, N-extended supersymmetric quantum mechanics, and following earlier work on the subject codify them in terms of certain graphs, called Adinkras. This framework provides a method of generating all Adinkras with the same topology, and so also all the corresponding irreducible supersymmetric multiple…
▽ More
In this paper we discuss off-shell representations of N-extended supersymmetry in one dimension, ie, N-extended supersymmetric quantum mechanics, and following earlier work on the subject codify them in terms of certain graphs, called Adinkras. This framework provides a method of generating all Adinkras with the same topology, and so also all the corresponding irreducible supersymmetric multiplets. We develop some graph theoretic techniques to understand these diagrams in terms of a relatively small amount of information, namely, at what heights various vertices of the graph should be "hung".
We then show how Adinkras that are the graphs of N-dimensional cubes can be obtained as the Adinkra for superfields satisfying constraints that involve superderivatives. This dramatically widens the range of supermultiplets that can be described using the superspace formalism and organizes them. Other topologies for Adinkras are possible, and we show that it is reasonable that these are also the result of constraining superfields using superderivatives.
The family of Adinkras with an N-cubical topology, and so also the sequence of corresponding irreducible supersymmetric multiplets, are arranged in a cyclical sequence called the main sequence. We produce the N=1 and N=2 main sequences in detail, and indicate some aspects of the situation for higher N.
△ Less
Submitted 9 January, 2006; v1 submitted 6 December, 2005;
originally announced December 2005.
-
K-theory and elliptic operators
Authors:
Gregory D. Landweber
Abstract:
This expository paper is an introductory text on topological K-theory and the Atiyah-Singer index theorem, suitable for graduate students or advanced undegraduates already possessing a background in algebraic topology. The bulk of the material presented here is distilled from Atiyah's classic "K-Theory" text, as well as his series of seminal papers "The Index of Elliptic Operators" with Singer.…
▽ More
This expository paper is an introductory text on topological K-theory and the Atiyah-Singer index theorem, suitable for graduate students or advanced undegraduates already possessing a background in algebraic topology. The bulk of the material presented here is distilled from Atiyah's classic "K-Theory" text, as well as his series of seminal papers "The Index of Elliptic Operators" with Singer. Additional topics include equivariant K-theory, the G-index theorem, and Bott's paper "The Index Theorem for Homogeneous Differential Operators". It also includes an appendix with a proof of Bott periodicity, as well as sketches of proofs for both the standard and equivariant versions of the K-theory Thom isomorphism theorem, in terms of the index for families of elliptic operators. A second appendix derives the Atiyah-Hirzebruch spectral sequence. This text originated as notes from a series of lectures given by the author as an undergraduate at Princeton. In its current form, the author has used it for graduate courses at the University of Oregon.
△ Less
Submitted 27 April, 2005;
originally announced April 2005.
-
Singular instantons with SO(3) symmetry
Authors:
Gregory D. Landweber
Abstract:
This article provides an explicit construction for a family of singular instantons on S^4 S^2 with arbitrary real holonomy parameter α. This family includes the original α= 1/4, c_2 = 3/2 solution discovered by P. Forgacs, Z. Horvath, and L. Palla, and our approach is modeled on that of their 1981 paper. Our primary tool is the ansatz due to Corrigan, Fairlie, Wilczek, and 't Hooft that construc…
▽ More
This article provides an explicit construction for a family of singular instantons on S^4 S^2 with arbitrary real holonomy parameter α. This family includes the original α= 1/4, c_2 = 3/2 solution discovered by P. Forgacs, Z. Horvath, and L. Palla, and our approach is modeled on that of their 1981 paper. Our primary tool is the ansatz due to Corrigan, Fairlie, Wilczek, and 't Hooft that constructs a self-dual Yang-Mills connection using a positive real-valued harmonic super-potential. Here we reformulate this harmonic function ansatz in terms of quaternionic notation, and we show that it arises naturally from the Levi-Civita connection of a conformally Euclidean metric.
To simplify the construction, we introduce an SO(3)-action on S^4, and we show by dimensional reduction that the symmetric self-duality equation on S^4 is equivalent to the vortex equations over hyperbolic space H^2. We thus obtain a similar harmonic function ansatz for hyperbolic vortices, which we also derive using conformal transformations of H^2. Using this ansatz, we construct the vortex equivalents of the symmetric 't Hooft instantons, and we prove using the equivariant ADHM construction that they provide a complete description of all hyperbolic vortices. We also analyze when two vortices constructed by this ansatz are gauge equivalent, obtaining the surprising result that two such vortices are completely determined by the gauge transformation between them.
△ Less
Submitted 25 March, 2005;
originally announced March 2005.
-
Surjectivity for Hamiltonian G-spaces in K-theory
Authors:
Megumi Harada,
Gregory D. Landweber
Abstract:
Let G be a compact connected Lie group, and (M,ω) a Hamiltonian G-space with proper moment map μ. We give a surjectivity result which expresses the K-theory of the symplectic quotient M//G in terms of the equivariant K-theory of the original manifold M, under certain technical conditions on μ. This result is a natural K-theoretic analogue of the Kirwan surjectivity theorem in symplectic geometry…
▽ More
Let G be a compact connected Lie group, and (M,ω) a Hamiltonian G-space with proper moment map μ. We give a surjectivity result which expresses the K-theory of the symplectic quotient M//G in terms of the equivariant K-theory of the original manifold M, under certain technical conditions on μ. This result is a natural K-theoretic analogue of the Kirwan surjectivity theorem in symplectic geometry. The main technical tool is the K-theoretic Atiyah-Bott lemma, which plays a fundamental role in the symplectic geometry of Hamiltonian G-spaces. We discuss this lemma in detail and highlight the differences between the K-theory and rational cohomology versions of this lemma.
We also introduce a K-theoretic version of equivariant formality and prove that when the fundamental group of G is torsion-free, every compact Hamiltonian G-space is equivariantly formal. Under these conditions, the forgetful map K_{G}^{*}(M) \to K^{*}(M) is surjective, and thus every complex vector bundle admits a stable equivariant structure. Furthermore, by considering complex line bundles, we show that every integral cohomology class in H^{2}(M;\Z) admits an equivariant extension in H_{G}^{2}(M;\Z).
△ Less
Submitted 23 August, 2005; v1 submitted 25 March, 2005;
originally announced March 2005.
-
Twisted representation rings and Dirac induction
Authors:
Gregory D. Landweber
Abstract:
Extending ideas of twisted equivariant $K$-theory, we construct twisted versions of the representation rings for Lie superalgebras and Lie supergroups, built from projective $\Z_{2}$-graded representations with a given cocycle. We then investigate the pullback and pushforward maps on these representation rings (and their completions) associated to homomorphisms of Lie superalgebras and Lie super…
▽ More
Extending ideas of twisted equivariant $K$-theory, we construct twisted versions of the representation rings for Lie superalgebras and Lie supergroups, built from projective $\Z_{2}$-graded representations with a given cocycle. We then investigate the pullback and pushforward maps on these representation rings (and their completions) associated to homomorphisms of Lie superalgebras and Lie supergroups.
As an application, we consider the Lie supergroup $Π(T^{*}G)$, obtained by taking the cotangent bundle of a compact Lie group and reversing the parity of its fibers. An inclusion $H \hookrightarrow G$ induces a homomorphism from the twisted representation ring of $Π(T^{*}H)$ to the twisted representation ring of $Π(T^{*}G)$, which pulls back via an algebraic version of the Thom isomorphism to give an additive homomorphism from $K_{H}(\mathrm{pt})$ to $K_{G}(\mathrm{pt})$ (possibly with twistings). We then show that this homomorphism is in fact Dirac induction, which takes an $H$-module $U$ to the $G$-equivariant index of the Dirac operator $\dirac \otimes U$ on the homogeneous space $G/H$ with values in the homogeneous bundle induced by $U$.
△ Less
Submitted 25 October, 2004; v1 submitted 30 March, 2004;
originally announced March 2004.
-
Representation rings of Lie superalgebras
Authors:
Gregory D. Landweber
Abstract:
Given a Lie superalgebra \g, we introduce several variants of the representation ring, built as subrings and quotients of the ring R_{\Z_2}(\g) of virtual \g-supermodules (up to even isomorphisms). In particular, we consider the ideal R_{+}(\g) of virtual \g-supermodules isomorphic to their own parity reversals, as well as an equivariant K-theoretic super representation ring SR(\g) on which the…
▽ More
Given a Lie superalgebra \g, we introduce several variants of the representation ring, built as subrings and quotients of the ring R_{\Z_2}(\g) of virtual \g-supermodules (up to even isomorphisms). In particular, we consider the ideal R_{+}(\g) of virtual \g-supermodules isomorphic to their own parity reversals, as well as an equivariant K-theoretic super representation ring SR(\g) on which the parity reversal operator takes the class of a virtual \g-supermodule to its negative. We also construct representation groups built from ungraded \g-modules, as well as degree-shifted representation groups using Clifford modules. The full super representation ring SR^{*}(\g), including all degree shifts, is then a \Z_{2}-graded ring in the complex case and a \Z_{8}-graded ring in the real case.
Our primary result is a six-term periodic exact sequence relating the rings R^{*}_{\Z_2}(\g), R^{*}_{+}(\g), and SR^{*}(\g). We first establish a version of it working over an arbitrary (not necessarily algebraically closed) field of characteristic 0. In the complex case, this six-term periodic long exact sequence splits into two three-term sequences, which gives us additional insight into the structure of the complex super representation ring SR^{*}(\g). In the real case, we obtain the expected 24-term version, as well as a surprising six-term version of this periodic exact sequence.
△ Less
Submitted 23 August, 2005; v1 submitted 11 March, 2004;
originally announced March 2004.
-
Multiplets of representations and Kostant's Dirac operator for equal rank loop groups
Authors:
Gregory D. Landweber
Abstract:
Let g be a semi-simple Lie algebra and let h be a reductive subalgebra of maximal rank in g. Given any irreducible representation of g, consider its tensor product with the spin representation associated to the orthogonal complement of h in g. Gross, Kostant, Ramond, and Sternberg recently proved a generalization of the Weyl character formula which decomposes the signed character of this product…
▽ More
Let g be a semi-simple Lie algebra and let h be a reductive subalgebra of maximal rank in g. Given any irreducible representation of g, consider its tensor product with the spin representation associated to the orthogonal complement of h in g. Gross, Kostant, Ramond, and Sternberg recently proved a generalization of the Weyl character formula which decomposes the signed character of this product representation in terms of the characters of a set of irreducible representations of h, called a multiplet. Kostant then constructed a formal h-equivariant Dirac operator on such product representations whose kernel is precisely the multiplet of h-representations corresponding to the given representation of g.
We reproduce these results in the Kac-Moody setting for the extended loop algebras Lg and Lh. We prove a homogeneous generalization of the Weyl-Kac character formula, which now yields a multiplet of irreducible positive energy representations of Lh associated to any irreducible positive energy representation of Lg. We construct a Lh-equivariant operator, analogous to Kostant's Dirac operator, on the tensor product of a representation of Lg with the spin representation associated to the complement of Lh in Lg. We then prove that the kernel of this operator gives the Lh-multiplet corresponding to the original representation of Lg.
△ Less
Submitted 8 November, 2000; v1 submitted 5 May, 2000;
originally announced May 2000.
-
Harmonic spinors on homogeneous spaces
Authors:
Gregory D. Landweber
Abstract:
Let G be a compact, semi-simple Lie group and H a maximal rank reductive subgroup. The irreducible representations of G can be constructed as spaces of harmonic spinors with respect to a Dirac operator on the homogeneous space G/H twisted by bundles associated to the irreducible, possibly projective, representations of H. Here, we give a quick proof of this result, computing the index and kernel…
▽ More
Let G be a compact, semi-simple Lie group and H a maximal rank reductive subgroup. The irreducible representations of G can be constructed as spaces of harmonic spinors with respect to a Dirac operator on the homogeneous space G/H twisted by bundles associated to the irreducible, possibly projective, representations of H. Here, we give a quick proof of this result, computing the index and kernel of this twisted Dirac operator using a homogeneous version of the Weyl character formula noted by Gross, Kostant, Ramond, and Sternberg, as well as recent work of Kostant regarding an algebraic version of this Dirac operator.
△ Less
Submitted 5 May, 2000;
originally announced May 2000.
