Search

Let the vector bundle $\mathcal{E}$ be a deformation of the tangent bundle over the Grassmannian $G(k,n)$. We compute the ring structure of sheaf cohomology valued in exterior powers of $\mathcal{E}$, also known as the polymology. This is the first part of a project studying the quantum sheaf cohomology of Grassmannians with deformations of the tangent bundle, a generalization of ordinary quantum cohomology rings of Grassmannians. A companion physics paper [arXiv:1512.08586] describes physical aspects of the theory, including a conjecture for the quantum sheaf cohomology ring, and numerous examples., Comment: 32 pages, comments welcome; v2: material on moduli added to section 4, and various typos corrected

In this paper we discuss Bagger-Witten line bundles over moduli spaces of SCFTs. We review how in general they are `fractional' line bundles, not honest line bundles, twisted on triple overlaps. We discuss the special case of moduli spaces of elliptic curves in detail. There, the Bagger-Witten line bundle does not exist as an ordinary line bundle, but rather is necessarily fractional. As a fractional line bundle, it is nontrivial (though torsion) over the uncompactified moduli stack, and its restriction to the interior, excising corners with enhanced stabilizers, is also fractional. It becomes an honest line bundle on a moduli stack defined by a quotient of the upper half plane by a metaplectic group, rather than SL(2,Z). We review and compare to results of recent work arguing that well-definedness of the worldsheet metric implies that the Bagger-Witten line bundle admits a flat connection (which includes torsion bundles as special cases), and give general arguments on the existence of universal structures on moduli spaces of SCFTs, in which superconformal deformation parameters are promoted to nondynamical fields ranging over the SCFT moduli space., Comment: 33 pages, LaTeX; v2: typos fixed; v3: material on metaplectic quotient presentation added; v4: more typos fixed

In this paper we compute spaces of chiral operators in general two-dimensional (0,2) nonlinear sigma models, both in theories twistable to the A/2 or B/2 model, as well as in non-twistable theories, and apply them to check recent duality conjectures. The fact that in a nonlinear sigma model, the Fock vacuum can act as a section of a line bundle on the target space plays a crucial role in our (0,2) computations, so we begin with a review of this property. We also take this opportunity to show how even in (2,2) theories, the Fock vacuum encodes in this way choices of target space spin structures, and discuss how such choices enter the A and B model topological field theories. We then compute chiral operators in general (0,2) nonlinear sigma models, and apply them to test the recent Gadde-Gukov-Putrov triality proposal, which says that certain triples of (0,2) GLSMs should RG flow to nontrivial IR fixed points. We find that different UV theories in the same proposed universality class do not necessarily have the same space of chiral operators -- but, the mismatched operators do not contribute to elliptic genera and are in non-integrable representations of the proposed IR affine symmetry groups, suggesting that the mismatched states become massive along RG flow. We find this state matching in examples not only of different geometric phases of the same GLSMs, but also in phases of different GLSMs, indirectly verifying the triality proposal, and giving a clean demonstration that (0,2) chiral rings are not topologically protected. We also check proposals for enhanced IR affine E_6 symmetries in one such model, verifying that (matching) chiral states in phases of corresponding GLSMs transform as 27s, 27^*s., 51 pages, LaTeX. v2: minor revisions. v3: some references added

In this paper we study string compactifications on Deligne-Mumford stacks. The basic idea is that all such stacks have presentations to which one can associate gauged sigma models, where the group gauged need be neither finite nor effectively-acting. Such presentations are not unique, and lead to physically distinct gauged sigma models; stacks classify universality classes of gauged sigma models, not gauged sigma models themselves. We begin by defining and justifying a notion of ``Calabi-Yau stack,'' recall how one defines sigma models on (presentations of) stacks, and calculate of physical properties of such sigma models, such as closed and open string spectra. We describe how the boundary states in the open string B model on a Calabi-Yau stack are counted by derived categories of coherent sheaves on the stack. Along the way, we describe numerous tests that IR physics is presentation-independent, justifying the claim that stacks classify universality classes. String orbifolds are one special case of these compactifications, a subject which has proven controversial in the past; however we resolve the objections to this description of which we are aware. In particular, we discuss the apparent mismatch between stack moduli and physical moduli, and how that discrepancy is resolved., 85 pages, LaTeX; v2: typos fixed

In this note we extend previous work on massless Ramond spectra of open strings connecting D-branes wrapped on complex manifolds, to consider D-branes wrapped on smooth complex orbifolds. Using standard methods, we calculate the massless boundary Ramond sector spectra directly in BCFT, and find that the states in the spectrum are counted by Ext groups on quotient stacks (which provide a notion of homological algebra relevant for orbifolds). Subtleties that cropped up in our previous work also appear here. We also use the McKay correspondence to relate Ext groups on quotient stacks to Ext groups on (large radius) resolutions of the quotients. As stacks are not commonly used in the physics community, we include pedagogical discussions of some basic relevant properties of stacks., Comment: 51 pages, 3 figures; v2: material on Freed-Witten added; v3: more typos fixed

In this paper we extend previous work on calculating massless boundary Ramond sector spectra of open strings to include cases with nonzero flat B fields. In such cases, D-branes are no longer well-modelled precisely by sheaves, but rather they are replaced by `twisted' sheaves, reflecting the fact that gauge transformations of the B field act as affine translations of the Chan-Paton factors. As in previous work, we find that the massless boundary Ramond sector states are counted by Ext groups -- this time, Ext groups of twisted sheaves. As before, the computation of BRST cohomology relies on physically realizing some spectral sequences. Subtleties that cropped up in previous work also appear here.

In this paper we explore basic aspects of nonabelian (0,2) GLSM's in two dimensions for unitary gauge groups, an arena that until recently has largely been unexplored. We begin by discussing general aspects of (0,2) theories, including checks of dynamical supersymmetry breaking, spectators and weak coupling limits, and also build some toy models of (0,2) theories for bundles on Grassmannians, which gives us an opportunity to relate physical anomalies and trace conditions to mathematical properties. We apply these ideas to study (0,2) theories on Pfaffians, applying recent perturbative constructions of Pfaffians of Jockers et al. We discuss how existing dualities in (2,2) nonabelian gauge theories have a simple mathematical understanding, and make predictions for additional dualities in (2,2) and (0,2) gauge theories. Finally, we outline how duality works in open strings in unitary gauge theories, and also describe why, in general terms, we expect analogous dualities in (0,2) theories to be comparatively rare., Comment: 93 pages, LaTeX; v2: typos fixed

In this paper we describe how Grothendieck groups of coherent sheaves and locally free sheaves can be used to describe type II D-branes, in the case that all D-branes are wrapped on complex varieties and all connections are holomorphic. Our proposal is in the same spirit as recent discussions of K-theory and D-branes; within the restricted class mentioned, Grothendieck groups encode a choice of connection on each D-brane worldvolume, in addition to information about the smooth bundles. We also point out that derived categories can also be used to give insight into D-brane constructions, and analyze how a Z_2 subset of the T-duality group acting on D-branes on tori can be understood in terms of a Fourier-Mukai transformation., Comment: LaTeX, 21 pages

In this paper we study compactifications of heterotic string theory on manifolds satisfying the ddbar-lemma. We consider the Strominger system description of the low energy supergravity to first order in alpha' and show that the moduli of such compactifications are subspaces of familiar cohomology groups such as H^1(TX), H^1(TX*), H^1(End_0(V)) and H^1(End_0(TX)). These groups encode the complex structure, Kahler moduli, bundle moduli and perturbations of the spin connection respectively in the case of a Calabi-Yau compactification. We investigate the fluctuations of only a subset of the conditions of the Strominger system (expected to correspond physically to F-term constraints in the effective theory). The full physical moduli space is, therefore, given by a further restriction on these degrees of freedom which we discuss but do not explicitly provide. This paper is complementary to a previous tree-level worldsheet analysis of such moduli and agrees with that discussion in the limit of vanishing alpha'. The structure we present can be interpreted in terms of recent work in Atiyah and Courant algebroids, and we conjecture links with aspects of Hitchin's generalized geometry to heterotic moduli., Comment: 33 pages

This paper discusses the relationships between gauge theories defined by gauge groups with finite trivially-acting centers, and theories with restrictions on nonperturbative sectors, in two and four dimensions. In two dimensions, these notions seem to coincide. Generalizing old results on orbifolds and abelian gauge theories, we propose a decomposition of two-dimensional nonabelian gauge theories with center-invariant matter into disjoint sums of theories with rotating discrete theta angles; for example, schematically, SU(2) = SO(3)_+ + SO(3)_-. We verify that decomposition directly in pure nonsupersymmetric two-dimensional Yang-Mills as well as in supersymmetric theories. In four dimensions, by contrast, these notions do not coincide. To clarify the relationship, we discuss theories obtained by restricting nonperturbative sectors. These theories violate cluster decomposition, but we illustrate how they may at least in special cases be understood as disjoint sums of well-behaved quantum field theories, and how dyon spectra can be used to distinguish, for example, an SO(3) theory with a restriction on instantons from an SU(2) theory. We also briefly discuss how coupling various analogues of Dijkgraaf-Witten theory, as part of a description of instanton restriction via coupling TQFT's to QFT's, may modify these results., Comment: 38 pages, LaTeX; v2: typos fixed; v3: more typos fixed

In this letter we follow up recent work of Halverson-Kumar-Morrison on some exotic examples of gauged linear sigma models (GLSM's). Specifically, they describe a set of U(1) x Z_2 GLSM's with superpotentials that are quadratic in p fields, rather than linear as is typically the case. These theories RG flow to sigma models on branched double covers, where the double cover is realized via a Z_2 gerbe. For that gerbe structure, and hence the double cover, the Z_2 factor in the gauge group is essential. In this letter we propose an analogous geometric understanding of phases without that Z_2, in terms of Ricci-flat (but not Calabi-Yau) stacks which look like Fano manifolds with hypersurfaces of Z_2 orbifolds., 14 pages, LaTeX; v2: typos corrected

Following recent work on GLSM localization, we work out curvature couplings for rigidly supersymmetric nonlinear sigma models with superpotential for general target spaces, describing both ordinary and twisted chiral superfields on round two-sphere worldsheets. We briefly discuss why, unlike four-dimensional theories, there are no constraints on Kahler forms in these theories. We also briefly discuss general issues in topological twists of such theories., Comment: 17 pages; references added; typos fixed

In this paper, we apply recent methods of localized GLSMs to make predictions for Gromov-Witten invariants of noncommutative resolutions, as defined by e.g. Kontsevich, and use those predictions to examine the connectivity of the SCFT moduli space. Noncommutative spaces, in the present sense, are defined by their sheaves, their B-branes. Examples of abstract CFT's whose B-branes correspond with those defining noncommutative spaces arose in examples of abelian GLSMs describing branched double covers, in which the double cover structure arises nonperturbatively. This note will examine the GLSM for P^7[2,2,2,2], which realizes this phenomenon. Its Landau-Ginzburg point is a noncommutative resolution of a (singular) branched double cover of P^3. Regardless of the complex structure of the large-radius P^7[2,2,2,2], the Landau-Ginzburg point is always a noncommutative resolution of a singular space, which begs the question of whether the noncommutative resolution is connected in SCFT moduli space by a complex structure deformation to a smooth branched double cover. Using recent localization techniques, we make a prediction for the Gromov-Witten invariants of the noncommutative resolution, and find that they do not match those of a smooth branched double cover, telling us that these abstract CFT's are not continuously connected to sigma models on smooth branched double covers., 19 pages, LaTeX; v2: typos fixed, references added

This paper describes D-brane probes of theories arising in abelian gauged linear sigma models (GLSMs) describing branched double covers and noncommutative resolutions thereof, via nonperturbative effects rather than as the critical locus of a superpotential. As these theories can be described as IR limits of Landau-Ginzburg models, technically this paper is an exercise in utilizing (sheafy) matrix factorizations. For Landau-Ginzburg models which are believed to flow in the IR to smooth branched double covers, our D-brane probes recover the structure of the branched double cover (and flat nontrivial B fields), verifying previous results. In addition to smooth branched double covers, the same class of Landau-Ginzburg models is also believed to sometimes flow to `noncommutative resolutions' of singular spaces. These noncommutative resolutions are abstract conformal field theories without a global geometric description, but D-brane probes perceive them as non-Kahler small resolutions of a singular Calabi-Yau. We conjecture that such non-Kahler small resolutions are typical in D-brane probes of such theories., Comment: 61 pages, LaTeX

The purpose of this paper is to present a mathematical theory of the half-twisted $(0, 2)$ gauged linear sigma model and its correlation functions that agrees with and extends results from physics. The theory is associated to a smooth projective toric variety $X$ and a deformation $\mathcal{E}$ of its tangent bundle $T_X$. It gives a quantum deformation of the cohomology ring of the exterior algebra of $\mathcal{E}*$. We prove that in the general case, the correlation functions are independent of "nonlinear" deformations. We derive quantum sheaf cohomology relations that correctly specialize to the ordinary quantum cohomology relations described by Batyrev in the special case $\mathcal{E} = T_X$.

In this paper, we will outline computations of quantum sheaf cohomology for deformations of tangent bundles of toric varieties, for those deformations describable as deformations of toric Euler sequences. Quantum sheaf cohomology is a heterotic analogue of quantum cohomology, a quantum deformation of the classical product on sheaf cohomology groups, that computes nonperturbative corrections to analogues of (27*)^3 couplings in heterotic string computations. Previous computations have relied on either physics-based GLSM techniques or computation-intensive brute-force Cech cohomology techniques. This paper describes methods for greatly simplifying mathematical computations, and derives more general results than previously obtainable with GLSM techniques. We will outline recent results (rigorous proofs will appear elsewhere)., LaTeX, 39 pages; v2: references added

In this note we construct rigidly supersymmetric gauged sigma models and gauge theories on certain Einstein four-manifolds, and discuss constraints on these theories. In work elsewhere, it was recently shown that on some nontrivial Einstein four-manifolds such as AdS$_4$, N=1 rigidly supersymmetric sigma models are constrained to have target spaces with exact K\"ahler forms. Similarly, in gauged sigma models and gauge theories, we find that supersymmetry imposes constraints on Fayet-Iliopoulos parameters, which have the effect of enforcing that K\"ahler forms on quotient spaces be exact. We also discuss general aspects of universality classes of gauged sigma models, as encoded by stacks, and also discuss affine bundle structures implicit in these constructions., Comment: 23 pages; references added; more discussion added; v4: typos fixed

In this short note we discuss quantization of the Fayet-Iliopoulos parameter in supergravity theories. We argue that in supergravity, the Fayet-Iliopoulos parameter determines a lift of the group action to a line bundle, and such lifts are quantized. Just as D-terms in rigid N=1 supersymmetry are interpreted in terms of moment maps and symplectic reductions, we argue that in supergravity the quantization of the Fayet-Iliopoulos parameter has a natural understanding in terms of linearizations in geometric invariant theory (GIT) quotients, the algebro-geometric version of symplectic quotients., Comment: 21 pages, utarticle class; v2: typos and tex issue fixed

In this short note we discuss discrete torsion in orientifolds. In particular, we apply the physical understanding of discrete torsion worked out several years ago, as group actions on B fields, to the case of orientifolds, and recover some old results of Braun and Stefanski concerning group cohomology and twisted equivariant K theory. We also derive new results including phase factors for nonorientable worldsheets and analogues for C fields., 28 pages; v2: references added

In this short review, we outline three sets of developments in understanding heterotic string compactifications. First, we outline recent progress in heterotic analogues of quantum cohomology computations. Second, we discuss a potential swampland issue in heterotic strings, and new heterotic string constructions that can be used to fill in the naively missing theories. Third, we discuss recent developments in string compactifications on stacks and their applications, concluding with an outline of work-in-progress on heterotic string compactifications on gerbes., Comment: 24 pages, LaTeX, 2 figures. Contribution to the proceedings of the Virginia Tech Sowers workshop, May 2007

We review how both derived categories and stacks enter physics. The physical realization of each has many formal similarities. For example, in both the cases, equivalences are realized via renormalization group flow: in the case of derived categories, (boundary) renormalization group flow realizes the mathematical procedure of localization on quasi-isomorphisms and, in the case of stacks, worldsheet renormalization group flow realizes presentation-independence. For both, we outline current technical issues and applications.

In this paper we discuss correlation functions in certain A-twisted Landau-Ginzburg models. Although B-twisted Landau-Ginzburg models have been discussed extensively in the literature, virtually no work has been done on A-twisted theories. In particular, we study examples of Landau-Ginzburg models over topologically nontrivial spaces - not just vector spaces - away from large-radius limits, so that one expects nontrivial curve corrections. By studying examples of Landau-Ginzburg models in the same universality class as nonlinear sigma models on nontrivial Calabi-Yaus, we obtain nontrivial tests of our methods as well as a physical realization of some simple examples of virtual fundamental class computations., Comment: 64 Pages, LaTeX

In this paper we discuss some examples of abelian gauged linear sigma models realizing twisted derived equivalences between non-birational spaces, and realizing geometries in novel fashions. Examples of gauged linear sigma models with non-birational Kahler phases are a relatively new phenomenon. Most of our examples involve gauged linear sigma models for complete intersections of quadric hypersurfaces, though we also discuss some more general cases and their interpretation. We also propose a more general understanding of the relationship between Kahler phases of gauged linear sigma models, namely that they are related by (and realize) Kuznetsov's `homological projective duality.' Along the way, we shall see how `noncommutative spaces' (in Kontsevich's sense) are realized physically in gauged linear sigma models, providing examples of new types of conformal field theories. Throughout, the physical realization of stacks plays a key role in interpreting physical structures appearing in GLSMs, and we find that stacks are implicitly much more common in GLSMs than previously realized., 54 pages, LaTeX; v2: typo fixed

In this paper we study CFT's associated to gerbes. These theories suffer from a lack of cluster decomposition, but this problem can be resolved: the CFT's are the same as CFT's for disconnected targets. Such theories also lack cluster decomposition, but in that form, the lack is manifestly not very problematic. In particular, we shall see that this matching of CFT's, this duality between noneffective gaugings and sigma models on disconnected targets, is a worldsheet duality related to T-duality. We perform a wide variety of tests of this claim, ranging from checking partition functions at arbitrary genus to D-branes to mirror symmetry. We also discuss a number of applications of these results, including predictions for quantum cohomology and Gromov-Witten theory and additional physical understanding of the geometric Langlands program., 61 pages, LaTeX; v2,3: typos fixed; v4: writing improved in several sections; v5: typos fixed

We examine to what extent heterotic string worldsheets can describe arbitrary E8xE8 gauge fields. The traditional construction of heterotic strings builds each E8 via a Spin(16)/Z2 subgroup, typically realized as a current algebra by left-moving fermions, and as a result, only E8 gauge fields reducible to Spin(16)/Z2 gauge fields are directly realizable in standard constructions. However, there exist perturbatively consistent E8 gauge fields which can not be reduced to Spin(16)/Z2, and so cannot be described within standard heterotic worldsheet constructions. A natural question to then ask is whether there exists any (0,2) SCFT that can describe such E8 gauge fields. To answer this question, we first show how each ten-dimensional E8 partition function can be built up using other subgroups than Spin(16)/Z2, then construct ``fibered WZW models'' which allow us to explicitly couple current algebras for general groups and general levels to heterotic strings. This technology gives us a very general approach to handling heterotic compactifications with arbitrary principal bundles. It also gives us a physical realization of some elliptic genera constructed recently by Ando and Liu., 48 pages, LaTeX; v2: references added; v3: typos fixed

In this paper we shall describe some correlation function computations in perturbative heterotic strings that generalize B model computations. On the (2,2) locus, correlation functions in the B model receive no quantum corrections, but off the (2,2) locus, that can change. Classically, the (0,2) analogue of the B model is equivalent to the previously-discussed (0,2) analogue of the A model, but with the gauge bundle dualized -- our generalization of the A model, also simultaneously generalizes the B model. The A and B analogues sometimes have different regularizations, however, which distinguish them quantum-mechanically. We discuss how properties of the (2,2) B model, such as the lack of quantum corrections, are realized in (0,2) A model language. In an appendix, we also extensively discuss how the Calabi-Yau condition for the closed string B model (uncoupled to topological gravity) can be weakened slightly, a detail which does not seem to have been covered in the literature previously. That weakening also manifests in the description of the (2,2) B model as a (0,2) A model., Comment: 36 pages, LaTeX, no figures

In this paper we will discuss gauged linear sigma model descriptions of toric stacks. Toric stacks have a simple description in terms of (symplectic, GIT) ${\bf C}^{\times}$ quotients of homogeneous coordinates, in exactly the same form as toric varieties. We describe the physics of the gauged linear sigma models that formally coincide with the mathematical description of toric stacks, and check that physical predictions of those gauged linear sigma models exactly match the corresponding stacks. We also check in examples that when a given toric stack has multiple presentations in a form accessible as a gauged linear sigma model, that the IR physics of those different presentations matches, so that the IR physics is presentation-independent, making it reasonable to associate CFT's to stacks, not just presentations of stacks. We discuss mirror symmetry for stacks, using Morrison-Plesser-Hori-Vafa techniques to compute mirrors explicitly, and also find a natural generalization of Batyrev's mirror conjecture. In the process of studying mirror symmetry, we find some new abstract CFT's, involving fields valued in roots of unity., 43 pages, LaTeX, 3 figures; v2: typos fixed

In this paper we study sigma models in which a noneffective group action has been gauged. Such gauged sigma models turn out to be different from gauged sigma models in which an effectively-acting group is gauged, because of nonperturbative effects on the worldsheet. We concentrate on finite noneffectively-acting groups, though we also outline how analogous phenomena also happen in nonfinite noneffectively-acting groups. We find that understanding deformations along twisted sector moduli in these theories leads one to new presentations of CFT's, defined by fields valued in roots of unity., Comment: 37 pages, LaTeX, 3 figures; v2: typos fixed

In this note we shall review recent work on generalizing rational curve counting to perturbative heterotic theories., Comment: 12 pages, LaTeX, contribution to proceedings of Snowbird conference on string geometry, June 2004

In these notes we review recent work on describing D-branes with nonzero Higgs vevs in terms of sheaves, which gives a physical on-shell D-brane interpretation to more sheaves than previously understood as describing D-branes. The mathematical ansatz for this encoding is checked by comparing open string spectra between D-branes with nonzero Higgs vevs to Ext groups between the corresponding sheaves. We illustrate the general methods with a few examples., 7 pages, uses ws-procs9x6.cls, contribution to conference proceedings for QTS3

We continue our study of heterotic compactifications on non-Kahler complex manifolds with torsion. We give further evidence of the consistency of the six-dimensional manifold presented earlier and discuss the anomaly cancellation and possible supergravity description for a generic non-Kahler complex manifold using the newly proposed superpotential. The manifolds studied in our earlier papers had zero Euler characteristics. We construct new examples of non-Kahler complex manifolds with torsion in lower dimensions, that have non-zero Euler characteristics. Some of these examples are constructed from consistent backgrounds in F-theory and therefore are solutions to the string equations of motion. We discuss consistency conditions for compactifications of the heterotic string on smooth non-Kahler manifolds and illustrate how some results well known for Calabi-Yau compactifications, including counting the number of generations, apply to the non-Kahler case. We briefly address various issues regarding possible phenomenological applications., 106 pages, 8 .eps figures, Harvmac; v2: Some sections expanded, typos corrected and references updated; v3: More typos corrected, one section expanded and references added. Final version to appear in Nucl. Phys. B

These notes are a writeup of lectures given at the twelfth Oporto meeting on ``Geometry, Topology, and Physics,'' and at the Adelaide workshop ``Strings and Mathematics 2003,'' primarily geared towards a physics audience. We review current work relating boundary states in the open string B model on Calabi-Yau manifolds to sheaves. Such relationships provide us with a mechanism for counting open string states in situations where the physical spectrum calculation is nearly intractable -- after translating to mathematics, such calculations become easy. We describe several different approaches to these models, and also describe how these models are changed by varying physical circumstances -- flat B field backgrounds, orbifolds, and nonzero Higgs vevs. We also discuss mathematical interpretations of operator products, and how such mathematical interpretations can be checked physically. One of the motivations for this work is to understand the precise physical relationship between boundary states in the open string B model and derived categories in mathematics, and we outline what is currently known of the relationship., 87 pages, LaTeX, 1 figure; v2: material on Freed-Witten added

In this paper we make two observations related to discrete torsion. First, we observe that an old obscure degree of freedom (momentum/translation shifts) in (symmetric) string orbifolds is related to discrete torsion. We point out how our previous derivation of discrete torsion from orbifold group actions on B fields includes these momentum lattice shift phases, and discuss how they are realized in terms of orbifold group actions on D-branes. Second, we describe the M theory dual of IIA discrete torsion, a duality relation to our knowledge not previously understood. We show that IIA discrete torsion is encoded in analogues of the shift orbifolds above for the M theory C field., Comment: 28 pages, LaTeX, 3 figures; v2: references added

In this paper we extend previous work on calculating massless boundary Ramond sector spectra of open strings to include cases with nonzero flat B fields. In such cases, D-branes are no longer well-modelled precisely by sheaves, but rather they are replaced by `twisted' sheaves, reflecting the fact that gauge transformations of the B field act as affine translations of the Chan-Paton factors. As in previous work, we find that the massless boundary Ramond sector states are counted by Ext groups -- this time, Ext groups of twisted sheaves. As before, the computation of BRST cohomology relies on physically realizing some spectral sequences. Subtleties that cropped up in previous work also appear here., Comment: 23 pages, LaTeX; v2: typos fixed; v3: reference added