-
Geometrization of N-Extended 1-Dimensional Supersymmetry Algebras
Authors:
Charles Doran,
Kevin Iga,
Jordan Kostiuk,
Greg Landweber,
Stefan Mendez-Diez
Abstract:
The problem of classifying off-shell representations of the $N$-extended one-dimensional super Poincaré algebra is closely related to the study of a class of decorated $N$-regular, $N$-edge colored bipartite graphs known as {\em Adinkras}. In this paper we {\em canonically} realize these graphs as Grothendieck ``dessins d'enfants,'' or Belyi curves uniformized by certain normal torsion-free subgro…
▽ More
The problem of classifying off-shell representations of the $N$-extended one-dimensional super Poincaré algebra is closely related to the study of a class of decorated $N$-regular, $N$-edge colored bipartite graphs known as {\em Adinkras}. In this paper we {\em canonically} realize these graphs as Grothendieck ``dessins d'enfants,'' or Belyi curves uniformized by certain normal torsion-free subgroups of the $(N,N,2)$-triangle group. We exhibit an explicit algebraic model over $\mathbb{Q}(ζ_{2N})$, as a complete intersection of quadrics in projective space, and use Galois descent to prove that the curves are, in fact, definable over $\mathbb{Q}$ itself. The stage is thereby set for the geometric interpretation of the remaining Adinkra decorations in Part II.
△ Less
Submitted 8 October, 2019; v1 submitted 15 November, 2013;
originally announced November 2013.
-
On General Off-Shell Representations of Worldline (1D) Supersymmetry
Authors:
Charles F. Doran,
Tristan Hubsch,
Kevin M. Iga,
Gregory D. Landweber
Abstract:
Every finite-dimensional unitary representation of the N-extended worldline supersymmetry without central charges may be obtained by a sequence of differential transformations from a direct sum of minimal Adinkras, simple supermultiplets that are identifiable with representations of the Clifford algebra. The data specifying this procedure is a sequence of subspaces of the direct sum of Adinkras, w…
▽ More
Every finite-dimensional unitary representation of the N-extended worldline supersymmetry without central charges may be obtained by a sequence of differential transformations from a direct sum of minimal Adinkras, simple supermultiplets that are identifiable with representations of the Clifford algebra. The data specifying this procedure is a sequence of subspaces of the direct sum of Adinkras, which then opens an avenue for classification of the continuum of so constructed off-shell supermultiplets.
△ Less
Submitted 22 October, 2013; v1 submitted 11 October, 2013;
originally announced October 2013.
-
An application of Cubical Cohomology to Adinkras and Supersymmetry Representations
Authors:
Charles Doran,
Kevin Iga,
Greg Landweber
Abstract:
An Adinkra is a class of graphs with certain signs marking its vertices and edges, which encodes off-shell representations of the super Poincaré algebra. The markings on the vertices and edges of an Adinkra are cochains for cubical cohomology. This article explores the cubical cohomology of Adinkras, treating these markings analogously to characteristic classes on smooth manifolds.
An Adinkra is a class of graphs with certain signs marking its vertices and edges, which encodes off-shell representations of the super Poincaré algebra. The markings on the vertices and edges of an Adinkra are cochains for cubical cohomology. This article explores the cubical cohomology of Adinkras, treating these markings analogously to characteristic classes on smooth manifolds.
△ Less
Submitted 29 July, 2012;
originally announced July 2012.
-
Codes and Supersymmetry in One Dimension
Authors:
C. F. Doran,
M. G. Faux,
S. J. Gates Jr.,
T. Hübsch,
K. M. Iga,
G. D. Landweber,
R. L. Miller
Abstract:
Adinkras are diagrams that describe many useful supermultiplets in D=1 dimensions. We show that the topology of the Adinkra is uniquely determined by a doubly even code. Conversely, every doubly even code produces a possible topology of an Adinkra. A computation of doubly even codes results in an enumeration of these Adinkra topologies up to N=28, and for minimal supermultiplets, up to N=32.
Adinkras are diagrams that describe many useful supermultiplets in D=1 dimensions. We show that the topology of the Adinkra is uniquely determined by a doubly even code. Conversely, every doubly even code produces a possible topology of an Adinkra. A computation of doubly even codes results in an enumeration of these Adinkra topologies up to N=28, and for minimal supermultiplets, up to N=32.
△ Less
Submitted 20 August, 2011;
originally announced August 2011.
-
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.
-
Spin Holography via Dimensional Enhancement
Authors:
Michael G. Faux,
Gregory D. Landweber
Abstract:
We explain how all information about ambient component field spin assignments in higher-dimensional off-shell supersymmetry is accessibly coded in one-dimensional restrictions, known as shadows. We also explain how to determine whether the components of a given one-dimensional supermultiplet may assemble into representations of $\spin(1,D-1)$ and, if so, how to specifically determine those repre…
▽ More
We explain how all information about ambient component field spin assignments in higher-dimensional off-shell supersymmetry is accessibly coded in one-dimensional restrictions, known as shadows. We also explain how to determine whether the components of a given one-dimensional supermultiplet may assemble into representations of $\spin(1,D-1)$ and, if so, how to specifically determine those representations.
△ Less
Submitted 27 July, 2009;
originally announced July 2009.
-
Dimensional Enhancement via Supersymmetry
Authors:
M. G. Faux,
K. M. Iga,
G. D. Landweber
Abstract:
We explain how the representation theory associated with supersymmetry in diverse dimensions is encoded within the representation theory of supersymmetry in one time-like dimension. This is enabled by algebraic criteria, derived, exhibited, and utilized in this paper, which indicate which subset of one-dimensional supersymmetric models describe "shadows" of higher-dimensional models. This formal…
▽ More
We explain how the representation theory associated with supersymmetry in diverse dimensions is encoded within the representation theory of supersymmetry in one time-like dimension. This is enabled by algebraic criteria, derived, exhibited, and utilized in this paper, which indicate which subset of one-dimensional supersymmetric models describe "shadows" of higher-dimensional models. This formalism delineates that minority of one-dimensional supersymmetric models which can "enhance" to accommodate extra dimensions. As a consistency test, we use our formalism to reproduce well-known conclusions about supersymmetric field theories using one-dimensional reasoning exclusively. And we introduce the notion of "phantoms" which usefully accommodate higher-dimensional gauge invariance in the context of shadow multiplets in supersymmetric quantum mechanics.
△ Less
Submitted 21 July, 2009;
originally announced July 2009.
-
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.
-
A Superfield for Every Dash-Chromotopology
Authors:
C. F. Doran,
M. G. Faux,
S. J. Gates, Jr.,
T. Hubsch,
K. M. Iga,
G. D. Landweber
Abstract:
The recent classification scheme of so-called adinkraic off-shell supermultiplets of N-extended worldline supersymmetry without central charges finds a combinatorial explosion. Completing our earlier efforts, we now complete the constructive proof that all of these trillions or more of supermultiplets have a superfield representation. While different as superfields and supermultiplets, these are…
▽ More
The recent classification scheme of so-called adinkraic off-shell supermultiplets of N-extended worldline supersymmetry without central charges finds a combinatorial explosion. Completing our earlier efforts, we now complete the constructive proof that all of these trillions or more of supermultiplets have a superfield representation. While different as superfields and supermultiplets, these are still super-differentially related to a much more modest number of minimal supermultiplets, which we construct herein.
△ Less
Submitted 30 January, 2009;
originally announced January 2009.
-
Adinkras for Clifford Algebras, and Worldline Supermultiplets
Authors:
C. F. Doran,
M. G. Faux,
S. J. Gates Jr.,
T. Hubsch,
K. M. Iga,
G. D. Landweber,
R. L. Miller
Abstract:
Adinkras are a graphical depiction of representations of the N-extended supersymmetry algebra in one dimension, on the worldline. These diagrams represent the component fields in a supermultiplet as vertices, and the action of the supersymmetry generators as edges. In a previous work, we showed that the chromotopology (topology with colors) of an Adinkra must come from a doubly even binary linea…
▽ More
Adinkras are a graphical depiction of representations of the N-extended supersymmetry algebra in one dimension, on the worldline. These diagrams represent the component fields in a supermultiplet as vertices, and the action of the supersymmetry generators as edges. In a previous work, we showed that the chromotopology (topology with colors) of an Adinkra must come from a doubly even binary linear code. Herein, we relate Adinkras to Clifford algebras, and use this to construct, for every such code, a supermultiplet corresponding to that code. In this way, we correlate the well-known classification of representations of Clifford algebras to the classification of Adinkra chromotopologies.
△ Less
Submitted 20 November, 2008;
originally announced November 2008.
-
Frames for supersymmetry
Authors:
C. F. Doran,
M. G. Faux,
S. J. Gates, Jr.,
T. Hubsch,
K. M. Iga,
G. D. Landweber
Abstract:
We explain how the redefinitions of supermultiplet component fields, comprising what we call "frame shifts", can be used in conjuction with the graphical technology of multiplet Adkinras to render manifest the reducibility of off-shell representations of supersymmetry. This technology speaks to possibility of organizing multiplet constraints in a way which complements and extends the possibiliti…
▽ More
We explain how the redefinitions of supermultiplet component fields, comprising what we call "frame shifts", can be used in conjuction with the graphical technology of multiplet Adkinras to render manifest the reducibility of off-shell representations of supersymmetry. This technology speaks to possibility of organizing multiplet constraints in a way which complements and extends the possibilities afforded by superspace methods.
△ Less
Submitted 1 October, 2008; v1 submitted 30 September, 2008;
originally announced September 2008.
-
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.
-
Super-Zeeman Embedding Models on N-Supersymmetric World-Lines
Authors:
C. F. Doran,
M. G. Faux,
S. J. Gates, Jr.,
T. Hubsch,
K. M. Iga,
G. D. Landweber
Abstract:
We construct a model of an electrically charged magnetic dipole with arbitrary N-extended world-line supersymmetry, which exhibits a supersymmetric Zeeman effect. By including supersymmetric constraint terms, the ambient space of the dipole may be tailored into an algebraic variety, and the supersymmetry broken for almost all parameter values. The so exhibited obstruction to supersymmetry breaki…
▽ More
We construct a model of an electrically charged magnetic dipole with arbitrary N-extended world-line supersymmetry, which exhibits a supersymmetric Zeeman effect. By including supersymmetric constraint terms, the ambient space of the dipole may be tailored into an algebraic variety, and the supersymmetry broken for almost all parameter values. The so exhibited obstruction to supersymmetry breaking refines the standard one, based on the Witten index alone.
△ Less
Submitted 24 March, 2008;
originally announced March 2008.
-
On the Matter of N=2 Matter
Authors:
C. F. Doran,
M. G. Faux,
S. J. Gates, Jr.,
T. Hubsch,
K. M. Iga,
G. D. Landweber
Abstract:
We introduce a variety of four-dimensional N = 2 matter multiplets which have not previously appeared explicitly in the literature. Using these, we develop a class of supersymmetric actions supplying a context for a systematic exploration of N = 2 matter theories, some of which include Hypermultiplet sectors in novel ways. We construct an N = 2 supersymmetric field theory in which the propagatin…
▽ More
We introduce a variety of four-dimensional N = 2 matter multiplets which have not previously appeared explicitly in the literature. Using these, we develop a class of supersymmetric actions supplying a context for a systematic exploration of N = 2 matter theories, some of which include Hypermultiplet sectors in novel ways. We construct an N = 2 supersymmetric field theory in which the propagating fields are realized off-shell exclusively as Lorentz scalars and Weyl spinors and which involves a sector with precisely the R-charge assignments characteristic of Hypermultiplets.
△ Less
Submitted 27 October, 2007;
originally announced October 2007.
-
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.
-
A Counter-Example to a Putative Classification of 1-Dimensional, N-extended Supermultiplets
Authors:
C. F. Doran,
M. G. Faux,
S. J. Gates, Jr.,
T. Hubsch,
K. M. Iga,
G. D. Landweber
Abstract:
We present a counter-example to the recent claim that supermultiplets of N-extended supersymmetry with no central charge and in 1-dimension are specified unambiguously by providing the numbers of component fields in all available engineering dimensions within the supermultiplet.
We present a counter-example to the recent claim that supermultiplets of N-extended supersymmetry with no central charge and in 1-dimension are specified unambiguously by providing the numbers of component fields in all available engineering dimensions within the supermultiplet.
△ Less
Submitted 17 April, 2007; v1 submitted 6 November, 2006;
originally announced November 2006.
-
Adinkras and the Dynamics of Superspace Prepotentials
Authors:
C. F. Doran,
M. G. Faux,
S. J. Gates, Jr.,
T. Hubsch,
K. M. Iga,
G. D. Landweber
Abstract:
We demonstrate a method for describing one-dimensional N-extended supermultiplets and building supersymmetric actions in terms of unconstrained prepotential superfields, explicitly working with the Scalar supermultiplet. The method uses intuitive manipulations of Adinkras and GR(d,N) algebras, a variant of Clifford algebras. In the process we clarify the relationship between Adinkras, GR(d,N) al…
▽ More
We demonstrate a method for describing one-dimensional N-extended supermultiplets and building supersymmetric actions in terms of unconstrained prepotential superfields, explicitly working with the Scalar supermultiplet. The method uses intuitive manipulations of Adinkras and GR(d,N) algebras, a variant of Clifford algebras. In the process we clarify the relationship between Adinkras, GR(d,N) algebras, and superspace.
△ Less
Submitted 29 May, 2006; v1 submitted 28 May, 2006;
originally announced May 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.
