arXiv subjects

Eric Sharpe

Publications and source records attributed to Eric Sharpe.

49 records · Page 3Linked to original sources

arXiv2011

A Mathematical Theory of Quantum Sheaf Cohomology

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 $\sheaf E$ of its tangent bundle $T_X$. It gives a quantum deformation of the cohomology ring of the exterior algebra of $\sheaf 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 $\sheaf E = T_X$.

math.AG↗

arXiv2011

On marginal deformations of (0,2) non-linear sigma models

An N=1, d=4 supersymmetric compactification of the perturbative heterotic string is described by a d=2 (0,2) superconformal field theory. The first-order marginal deformations of the internal (0,2) SCFT are in 1 to 1 correspondence with massless gauge-neutral scalars in the spacetime theory. Working at tree-level in the alpha' expansion, we describe these first order deformations for SCFTs with a (0,2) non-linear sigma model description. Our results clarify the structure of deformations of heterotic Calabi-Yau compactifications and more general heterotic flux vacua.

hep-th↗

arXiv2011

Quantization of Fayet-Iliopoulos Parameters in Supergravity

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.

hep-th↗

arXiv2008

Recent developments in heterotic compactifications

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.

hep-th↗

arXiv2008

A-twisted heterotic Landau-Ginzburg models

In this paper, we apply the methods developed in recent work for constructing A-twisted (2,2) Landau-Ginzburg models to analogous (0,2) models. In particular, we study (0,2) Landau-Ginzburg models on topologically non-trivial spaces away from large-radius limits, where one expects to find correlation function contributions akin to (2,2) curve corrections. Such heterotic theories admit A- and B-model twists, and exhibit a duality that simultaneously exchanges the twists and dualizes the gauge bundle. We explore how this duality operates in heterotic Landau-Ginzburg models, as well as other properties of these theories, using examples which RG flow to heterotic nonlinear sigma models as checks on our methods.

hep-th↗

arXiv2008

A-twisted Landau-Ginzburg models

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.

hep-th↗

arXiv2003

D-branes, open string vertex operators, and Ext groups

In this paper we explicitly work out the precise relationship between Ext groups and massless modes of D-branes wrapped on complex submanifolds of Calabi-Yau manifolds. Specifically, we explicitly compute the boundary vertex operators for massless Ramond sector states, in open string B models describing Calabi-Yau manifolds at large radius, directly in BCFT using standard methods. Naively these vertex operators are in one-to-one correspondence with certain sheaf cohomology groups (as is typical for such vertex operator calculations), which are related to the desired Ext groups via spectral sequences. However, a subtlety in the physics of the open string B model has the effect of physically realizing those spectral sequences in BRST cohomology, so that the vertex operators are actually in one-to-one correspondence with Ext group elements. This gives an extremely concrete physical test of recent proposals regarding the relationship between derived categories and D-branes. We check these results extensively in numerous examples, and comment on several related issues.

hep-th↗

arXiv2003

The Taming of Closed Time-like Curves

We consider a $R^{1,d}/Z_2$ orbifold, where $Z_2$ acts by time and space reversal, also known as the embedding space of the elliptic de Sitter space. The background has two potentially dangerous problems: time-nonorientability and the existence of closed time-like curves. We first show that closed causal curves disappear after a proper definition of the time function. We then consider the one-loop vacuum expectation value of the stress tensor. A naive QFT analysis yields a divergent result. We then analyze the stress tensor in bosonic string theory, and find the same result as if the target space would be just the Minkowski space $R^{1,d}$, suggesting a zero result for the superstring. This leads us to propose a proper reformulation of QFT, and recalculate the stress tensor. We find almost the same result as in Minkowski space, except for a potential divergence at the initial time slice of the orbifold, analogous to a spacelike Big Bang singularity. Finally, we argue that it is possible to define local S-matrices, even if the spacetime is globally time-nonorientable.

hep-th↗

arXiv2003

Compactifications of Heterotic Strings on Non-Kahler Complex Manifolds: II

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.

hep-th↗

arXiv2001

Quotient Stacks and String Orbifolds

In this short review we outline some recent developments in understanding string orbifolds. In particular, we outline the recent observation that string orbifolds do not precisely describe string propagation on quotient spaces, but rather are literally sigma models on objects called quotient stacks, which are closely related to (but not quite the same as) quotient spaces. We show how this is an immediate consequence of definitions, and also how this explains a number of features of string orbifolds, from the fact that the CFT is well-behaved to orbifold Euler characteristics. Put another way, many features of string orbifolds previously considered ``stringy'' are now understood as coming from the target-space geometry; one merely needs to identify the correct target-space geometry.

hep-th↗

arXiv2001

Discrete Torsion, Quotient Stacks, and String Orbifolds

This is the writeup of a lecture given at the May Wisconsin workshop on mathematical aspects of orbifold string theory. In the first part of this lecture, we review recent work on discrete torsion, and outline how it is currently understood in terms of the B field. In the second part of this lecture, we discuss the relationship between quotient stacks and string orbifolds.

math.DG↗

arXiv2001

String Orbifolds and Quotient Stacks

In this note we observe that, contrary to the usual lore, string orbifolds do not describe strings on quotient spaces, but rather seem to describe strings on objects called quotient stacks, a result that follows from simply unraveling definitions, and is further justified by a number of results. Quotient stacks are very closely related to quotient spaces; for example, when the orbifold group acts freely, the quotient space and the quotient stack are homeomorphic. We explain how sigma models on quotient stacks naturally have twisted sectors, and why a sigma model on a quotient stack would be a nonsingular CFT even when the associated quotient space is singular. We also show how to understand twist fields in this language, and outline the derivation of the orbifold Euler characteristic purely in terms of stacks. We also outline why there is a sense in which one naturally finds B nonzero on exceptional divisors of resolutions. These insights are not limited to merely understanding existing string orbifolds: we also point out how this technology enables us to understand orbifolds in M-theory, as well as how this means that string orbifolds provide the first example of an entirely new class of string compactifications. As quotient stacks are not a staple of the physics literature, we include a lengthy tutorial on quotient stacks.

hep-th↗

arXiv2001

Stacks and D-Brane Bundles

In this paper we describe explicitly how the twisted ``bundles'' on a D-brane worldvolume in the presence of a nontrivial B field, can be understood in terms of sheaves on stacks. We also take this opportunity to provide the physics community with a readable introduction to stacks and generalized spaces.

hep-th↗