Instantons on Eguchi-Hanson spaces provide explicit examples of stable bundles on non-compact four dimensional C^2/Z_n orbifold resolutions with non-Abelian structure groups. With this at hand, we can consider compactifications of ten dimensional SO(32) supergravity (arising as the low energy limit of the heterotic string) on the resolved spaces in the presence of non-Abelian bundles. We provide explicit examples in the resolved C^2/Z_3 case, and give a complete classification of all possible effective six dimensional models where the instantons are combined with Abelian gauge fluxes in order to fulfil the local Bianchi identity constraint. We compare these models with the corresponding C^2/Z_3 orbifold models, and find that all of these gauge backgrounds can be related to configurations of vacuum expectation values (VEV's) of twisted and sometimes untwisted states. Gauge groups and spectra are identical from both the orbifold and the smooth bundle perspectives.
Heterotic orbifold models are promising candidates for models with MSSM like spectra. But orbifolds only correspond to a special place in moduli space, the bigger picture is described by the moduli space of Calabi-Yau spaces. In this talk we will make explicit connections between both points of view. To this end we study blowups of orbifold singularities using both explicit constructions and toric geometry techniques. We show that matching of all orbifold models in blowups are possible.
We investigate asymmetric orbifold models constructed from non-supersymmetric heterotic strings. We systematically classify the asymmetric orbifold models with standard embeddings and present a list of asymmetric orbifolds which are geometrically interpreted as toroidal compactifications of non-supersymmetric heterotic strings. By studying non-standard embedding models, we also construct examples of the {\em supersymmetric} asymmetric orbifold models based on non-supersymmetric heterotic strings.
Heterotic orbifolds provide promising constructions of MSSM-like models in string theory. We investigate the connection of such orbifold models with smooth Calabi-Yau compactifications by examining resolutions of the T^6/Z6-II orbifold (which are far from unique) with Abelian gauge fluxes. These gauge backgrounds are topologically characterized by weight vectors of twisted states; one per fixed point or fixed line. The VEV's of these states generate the blowup from the orbifold perspective, and they reappear as axions on the blowup. We explain methods to solve the 24 resolution dependent Bianc…
Following the recent exploration of smooth heterotic compactifications with unitary bundles, orbifold compactifications in six dimensions can be shown to correspond in the blow-up to compactifications with U(1) gauge backgrounds. A powerful tool is the comparison of anomaly polynomials. The presentation here focuses on heterotic SO(32) compactifications in six dimensions including five-branes. Four dimensional and E8 x E8 models are briefly commented on.
We obtain the spectrum of heterotic strings compactified on orbifolds, focusing on its algebraic structure. Affine Lie algebra provides its current algebra and representations. In particular the twisted spectrum and the Abelian charge are understood. The twisted version of algebra is used in the homomorphism from the orbifold action to the group action. The relation between the conformal weight and the mass gives a handy rule.
I consider the construction of heterotic orbifold models based on a toroidal orbifold with non Abelian point group. I construct an explicit model based on the point group $S_3$ and calculate the spectrum and remnant symmetries. This model provides a simple example of rank reduction of the Yang--Mills gauge group directly in the string theory rather than in the effective field theory.
We analyze the structure of heterotic M-theory on K3 orbifolds by presenting a comprehensive sequence of M-theoretic models constructed on the basis of local anomaly cancellation. This is facilitated by extending the technology developed in our previous papers to allow one to determine "twisted" sector states in non-prime orbifolds. These methods should naturally generalize to four-dimensional models, which are of potential phenomenological interest.
We study the bulk effective theory of a class of orbifolds of the type IIB string with D5-branes, compactified to four dimensions. These constructions are connected, in a region of their moduli space, to some orbifolds of the type I and heterotic string. We compare the effective actions through the coupling of the R^2 term, and we argue that these orbifolds provide non-perturbative deformations of the latter, in which the gauge group is entirely non-perturbative.
We consider toroidal asymmetric orbifolds of the heterotic string preserving all 16 supercharges, developing a general formalism to study components of the moduli space characterized by rank reduction of the gauge group. In particular we construct six- and four-dimensional heterotic islands with no massless moduli other than the dilaton. The formalism involves the Leech lattice, its automorphisms and their corresponding invariant and normal, or coinvariant, sublattices.
We investigate resolutions of heterotic orbifolds using toric geometry. Our starting point is provided by the recently constructed heterotic models on explicit blowup of C^n/Z_n singularities. We show that the values of the relevant integrals, computed there, can be obtained as integrals of divisors (complex codimension one hypersurfaces) interpreted as (1,1)-forms in toric geometry. Motivated by this we give a self contained introduction to toric geometry for non-experts, focusing on those issues relevant for the construction of heterotic models on toric orbifold resolutions. We illustrate th…
By studying phase transitions in supersymmetric gauge theories with Green-Schwarz anomaly cancellation, a natural relation is found between sigma models on certain non-Kahler manifolds with intrinsic torsion and asymmetric Landau-Ginzburg orbifolds. In these orbifold limits, a quantum anomaly of the orbifold action is cancelled by discrete phases in the partition function. These intrinsic torsion phases are derived by blowing down cycles supporting non-trivial H-flux in the linear model. This correspondence extends the CY-LG correspondence to special non-Kahler manifolds and provides computati…
By fibering the duality between the $E_{8}\times E_{8}$ heterotic string on $T^{3}$ and M-theory on K3, we study heterotic duals of M-theory compactified on $G_{2}$ orbifolds of the form $T^{7}/\mathbb{Z}_{2}^{3}$. While the heterotic compactification space is straightforward, the description of the gauge bundle is subtle, involving the physics of point-like instantons on orbifold singularities. By comparing the gauge groups of the dual theories, we deduce behavior of a "half-$G_{2}$" limit, which is the M-theory analog of the stable degeneration limit of F-theory. The heterotic backgrounds ex…
We show how the level matching condition in six dimensional, abelian and supersymmetric orbifolds of the E_8 x E_8 heterotic string can be given equivalently in terms of fractional gauge and gravitational instanton numbers. This relation is used to restate the classification of the orbifolds in terms of flat bundles away from the orbifold singularities under the constraint of the level matching condition. In an outlook these results are applied to Kaluza-Klein monopoles of the heterotic string on S^1 in Wilson line backgrounds.
We review recent results on string coupling selection rules for heterotic orbifolds, derived using conformal field theory. Such rules are the first step towards understanding the viability of the recently obtained compactifications with potentially realistic particle spectra. They arise from the properties of the worldsheet instantons that mediate the couplings, and include stringy effects that would seem 'miraculous' to an effective field theory observer.
We provide a new class of Z_N x Z_M heterotic orbifolds on non-factorisable tori, whose boundary conditions are defined by Lie lattices. Generally, point groups of these orbifolds are generated by Weyl reflections and outer automorphisms of the lattices. We classify abelian orbifolds with and without discrete torsion. Then we find that some of these models have smaller Euler numbers than those of models on factorisable tori T^2 x T^2 x T^2. There is a possibility that these orbifolds provide smaller generation numbers of N=1 chiral matter fields than factorisable models.
To obtain a unified framework for symmetric and asymmetric heterotic orbifold constructions we provide a systematic study of Narain compactifications orbifolded by finite order T-duality subgroups. We review the generalized vielbein that parametrizes the Narain moduli space (i.e. the metric, the B-field and the Wilson lines) and introduce a convenient basis of generators of the heterotic T-duality group. Using this we generalize the space group description of orbifolds to Narain orbifolds. This yields a unified, crystallographic description of the orbifold twists, shifts as well as Narain modu…
We study compactification of heterotic strings to three dimensions on orbifolds of G_2 holonomy. We consider the standard embedding and show that the gauge group is broken from E_8 x E_8 or SO(32) to F_4 x E_8 or SO(25) respectively. We also compute the spectrum of massless states and compare with the results obtained from reduction of the 10-dimensional fields. Non-standard embeddings are discussed briefly. For type II compactifications we verify that IIB and IIA have equal massless spectrum.
We explore a ``fertile patch'' of the heterotic landscape based on a Z_6-II orbifold with SO(10) and E_6 local GUT structures. We search for models allowing for the exact MSSM spectrum. Our result is that of order 100 out of a total 3\times 10^4 inequivalent models satisfy this requirement.
We derive the precise relation between level matching condition and fractional instanton numbers in six dimensional, abelian and supersymmetric orbifolds of E8 x E8 heterotic string theory. The fractional part of the two E8 instanton numbers is explicitly calculated in terms of the gauge twist. This relation is then used to show that the classification of these orbifolds can be given in terms of flat bundles away from the orbifold singularities under the only constraint that the sum of the fractional parts of the gauge instanton numbers match the fractional part of the gravitational instanton …
We calculate the moduli dependent part of string one-loop threshold corrections to gauge couplings for the heterotic string theory compactified on abelian toroidal orbifolds, allowing for arbitrary discrete Wilson lines. We show that the knowledge of threshold corrections for any such compactification is equivalent to solving a class of integrals. We solve a sub-class of these integrals and show how any model can be mapped onto this class by fractional linear transformations of its fixed plane moduli. Modular symmetries of the final expression are discussed.
The existence of multiple anomalous U(1)s is demonstrated explicitly in a blow-up version of a heterotic Z_3 orbifold. Another blow-up of the same orbifold supports further evidence for the type-I/heterotic duality in four dimensions. It has a single anomalous U(1) which does not factorize universally. As multiple anomalous U(1)s as well as non-universal factorization have never been established on heterotic orbifolds explicitely, these findings might appear contradictory at first sight. Possible inconsistencies are avoided by reinterpreting a charged twisted state as a second non-universal lo…
Asymmetric heterotic orbifolds are discussed from the worldsheet perspective. Starting from Buscher's gauging of a theory of D compact bosons the duality covariant description of Tseytlin is obtained after a non-Lorentz invariant gauge fixing. A left-over of the gauge symmetry can be used to removed the doubled constant zero modes so that D physical target space coordinate remain. This can be thought of as the worldsheet realization of the strong constraint of double field theory. The extension of this description to the heterotic theory is straightforward as all results are written in terms o…
An explicit orbifold example of the non-zero correlation functions related to the additional contribution to the induced mass term for Higgs particles at low energies is given. We verify that they form finite dimensional representations of the target space modular transformation $SL_2(Z)$. This action of the modular group is shown to be consistent with its action on the fixed points set defining the twisted fields.
Aiming at improving our knowledge of the low-energy limit of heterotic orbifold compactifications, we determine at lowest order the Kahler potential of matter fields in the case where more than three bulk Kahler moduli appear. Interestingly, bulk matter fields couple to more than one Kahler modulus, a subtle difference with models with only three Kahler moduli that may provide a tool to address the question of moduli stabilization in these models.
We complete our search for MSSM vacua in the Z_6-II heterotic orbifold by including models with 3 Wilson lines. We estimate the total number of inequivalent models in this orbifold to be 10^7. Out of these, we find almost 300 models with the exact MSSM spectrum, gauge coupling unification and a heavy top quark. Models with these features originate predominantly from local GUTs. The scale of gaugino condensation in the hidden sector is correlated with properties of the observable sector such that soft masses in the TeV range are preferred.
We present several examples of T^8/P orbifolds with $P \subset SU(4)$. We compute their Hodge numbers and consider turning on discrete torsion. We then study supersymmetric compactifications of type II, heterotic, and type I strings on these orbifolds. Heterotic compactifications to D=2 have a B-field tadpole with coefficient given by that of the anomaly polynomial. In the SO(32) heterotic with standard embedding the tadpole is absent provided the internal space has a precise value of the Euler number. Guided by their relation to type I, we find tadpole-free SO(32) heterotic orbifolds with non…
The moduli space of the maximally supersymmetric heterotic string in d-dimensional Minkowski space contains various components characterized by the rank of the gauge symmetries of the vacua they parametrize. We develop an approach for describing in a unified way continuous Wilson lines which parametrize a component of the moduli space, together with discrete deformations responsible for the switch from one component to the other. Applied to a component that contains vacua with SO(2n+1) gauge-symmetry factors, our approach yields a description of all backgrounds of the component in terms of fre…
We study the global structure of vacua of heterotic strings compactified on orbifolds $T^4/Z_N$ (N=2,3) in the presence of heterotic 5-branes. Gauge symmetry breaking associated with orbifold is described by instantons in the field theory. Phase transition between small instantons and heterotic 5-branes provides top-down, stringy account to the spectrum and modular invariance condition. Also it takes us from one vacuum to another by emitting and absorbing instantons. This means that many vacua with different gauge theory are in fact connected and are inherited from perturbative vacua. It follo…
We consider compactification of the SO(32) heterotic string on a 6-dimensional Z_3 orbifold with one discrete Wilson line. A complete set of all possible embeddings is given, 159 in all. The unbroken subgroups of SO(32) are tabulated. The extended gauge symmetry SU(3)^3, recently discussed by J. E. Kim [hep-th/0301177] for semi-realistic E_8 x E_8 heterotic string models, occurs for several embeddings, as well as other groups that may be of interest in unified string models. The extent to which extra gauge group factors can be hidden is discussed and compared to the E_8 x E_8 case. Along flat …
We investigate under which conditions the cosmological constant vanishes perturbatively at the one-loop level for heterotic strings on non-supersymmetric toroidal orbifolds. To obtain model-independent results, which do not rely on the gauge embedding details, we require that the right-moving fermionic partition function vanishes identically in every orbifold sector. This means that each sector preserves at least one, but not always the same Killing spinor. The existence of such Killing spinors is related to the representation theory of finite groups, i.e. of the point group that underlies the…
We study the relation between a heterotic T^6/Z6 orbifold model and a compactification on a smooth Voisin-Borcea Calabi-Yau three-fold with non-trivial line bundles. This orbifold can be seen as a Z2 quotient of T^4/Z3 x T^2. We consider a two-step resolution, whose intermediate step is (K3 x T^2)/Z2. This allows us to identify the massless twisted states which correspond to the geometric Kaehler and complex structure moduli. We work out the match of the two models when non-zero expectation values are given to all twisted geometric moduli. We find that even though the orbifold gauge group cont…
We construct an MSSM with three generations from the heterotic string compactified on a smooth 6D internal manifold using Abelian gauge fluxes only. The compactification space is obtained as a resolution of the T6/Z2xZ2xZ2-free orbifold. The Z2-free involution of such a resolution breaks the SU(5) GUT group down to the SM gauge group using a suitably chosen (freely acting) Wilson line. Surprisingly, the spectrum on a given resolution is larger than the one on the corresponding orbifold taking into account the branching and Higgsing due to the blow-up modes. The existence of extra resolution st…
We investigate anomalies on heterotic orbifolds and their blowups. We give a simple example of an orbifold blowup which contains anomalous U(1) symmetries that are canceled by axions which couple non-universally to the different gauge groups, thus clarifying some confusion which recently arose in the literature concerning anomaly universality. We argue that non-universal axionic couplings are the general case, and that the couplings are only universal in the case of orbifolds. We comment on the consequences of this non-universality for discrete R symmetries. We furthermore investigate the orig…
We clarify the relation between six-dimensional Abelian orbifold compactifications of the heterotic string and smooth heterotic K3 compactifications with line bundles for both SO(32) and E_8 x E_8 gauge groups. The T^4/Z_N cases for N=2,3,4 are treated exhaustively, and for N=6 some examples are given. While all T^4/Z_2 and nearly all T^4/Z_3 models have a simple smooth match involving one line bundle only, this is only true for some T^4/Z_4 and T^4/Z_6 cases. We comment on possible matchings with more than one line bundle for the remaining cases. The matching is provided by comparisons of the…
We describe blowups of C^n/Z_n orbifolds as complex line bundles over CP^{n-1}. We construct some gauge bundles on these resolutions. Apart from the standard embedding, we describe U(1) bundles and an SU(n-1) bundle. Both blowups and their gauge bundles are given explicitly. We investigate ten dimensional SO(32) super Yang-Mills theory coupled to supergravity on these backgrounds. The integrated Bianchi identity implies that there are only a finite number of U(1) bundle models. We describe how the orbifold gauge shift vector can be read off from the gauge background. In this way we can assert …
In this work we attempt to bridge the gap between heterotic orbifold models and Calabi-Yau compactifications using gauged linear sigma models (GLSMs) with (2,0) worldsheet supersymmetry. We associate a specific GLSM to a heterotic orbifold model with twisted states that have non-vanishing vacuum expectation values (VEVs): The charges of the GLSM superfields are essentially determined by the shifted momenta of these states. When a twisted state contains an oscillator excitation, a fermionic gauging is introduced on the worldsheet inducing a non-Abelian gauge bundle, e.g. the standard embedding.…
We study discrete R-symmetries, which appear in 4D low energy effective field theory derived from hetetoric orbifold models. We derive the R-symmetries directly from geometrical symmetries of orbifolds. In particular, we obtain the corresponding R-charges by requiring that the couplings be invariant under these symmetries. This allows for a more general treatment than the explicit computations of correlation functions made previously by the authors, including models with discrete Wilson lines, and orbifold symmetries beyond plane-by-plane rotational invariance. Surprisingly, for the cases cove…
We calculate couplings of arbitrary order from correlation functions among twisted strings, using conformal field theory. Twisted strings arise in heterotic string compactified on orbifolds yielding matter fields in the low energy limit. We calculate completely the classical and the quantum amplitude including normalization, up to a contribution from Kahler potential. The classical action has saddle points which are interpreted as worldsheet instantons described by metastable untwisted strings, formed by twisted strings distributed at certain fixed points. This understanding generalizes the ar…
We study heterotic asymmetric orbifold models. By utilizing the lattice engineering technique, we classify (22,6)-dimensional Narain lattices with right-moving non-Abelian group factors which can be starting points for Z3 asymmetric orbifold construction. We also calculate gauge symmetry breaking patterns.
We study ${\cal N}=2$ compactifications of heterotic string theory on the CHL orbifold $(K3\times T^2)/\mathbb{Z}_N$ with $N= 2, 3, 5, 7$. $\mathbb{Z}_N$ acts as an involution on $K3$ together with a shift of $1/N$ along one of the circles of $T^2$. These compactifications generalize the example of the heterotic string on $K3\times T^2$ studied in the context of dualities in ${\cal N}=2$ string theories. We evaluate the new supersymmetric index for these theories and show that their expansion can written in terms of the McKay-Thompson series associated with the $\mathbb{Z}_N$ involution embedd…
We consider the heterotic E8 X E8 string theory, which gives rise to four-dimensional Standard-like Models and allows for their SO(10) embedding. We investigate two different schemes of compactification: the free fermionic formulation and the orbifold construction. In the examples presented in the free fermionic formulation we explore the removal of the extra Higgs representations by using the free fermion boundary conditions directly at the string level, rather than in the effective low energy field theory. Moreover, by employing the standard analysis of flat directions we present a quasi-rea…
We present a complete string theory analysis of all mixed gauge, gravitational and target-space anomalies potentially arising in the simplest heterotic Z_N orbifold models, with N odd and standard embedding. These anomalies turn out to be encoded in an elliptic index, which can be easily computed; they are found to cancel through a universal GS mechanism induced by the dilaton multiplet. The target-space symmetry is then shown to have a nice geometric interpretation in terms of torsion, and the target-space dependence of the four-dimensional GS couplings can be alternatively rederived from the…
Localization properties of fields in compact extra dimensions are crucial ingredients for string model building, particularly in the framework of orbifold compactifications. Realistic models often require a slight deviation from the orbifold point, that can be analyzed using field theoretic methods considering (singlet) fields with nontrivial vacuum expectation values. Some of these fields correspond to blow-up modes that represent the resolution of orbifold singularities. Improving on previous analyses we give here an explicit example of the blow-up of a model from the heterotic Mini-landscap…
Many heterotic orbifold models have massless twisted-sector particles with simultaneous E8_1 and E8_2 charges. In the strong-coupling M-theory dual of the heterotic string this poses a paradox: Since the E8_1 and E8_2 live at opposite ends of the x^10 dimension, where could a massless particle with both types of charges possible live? To key to this question are the 5D SCFTs living at the orbifold fixed planes going through the bulk of the M theory. We use dimensional deconstruction to understand how such a 5D SCFT (specifically, the E_0 SCFT at the Z_3 fixed point) works at the superconformal…
We construct the heterotic dual theory in four dimensions of eleven dimensional supergravity compactified on a particular Joyce manifold, $J$. In particular, $J$ is constructed from resolving fixed point singularities of orbifolds of the seven torus in such a way that one is forced to consider a generalised orbifold on the heterotic side. We conjecture that a heterotic dual exists for all the compact 7-manifolds of $G_{2}$ holonomy constructed by Joyce.
We study kinetic mixing between massless U(1) gauge symmetries in the bosonic formulation of heterotic orbifold compactifications. For non-prime Z_N factorisable orbifolds, we find a simple expression of the mixing in terms of the properties of the N=2 subsectors, which helps understand under what conditions mixing can occur. With this tool, we analyse Z_6-II heterotic orbifolds and find non-vanishing mixing even without including Wilson lines. We show that some semi-realistic models of the Mini-Landscape admit supersymmetric vacua with mixing between the hypercharge and an additional U(1), wh…
We investigate orbifold compactifications of the heterotic string, addressing in detail their construction, classification and phenomenological potential. We present a strategy to search for models resembling the minimal supersymmetric extension of the standard model (MSSM) in Z_6-II orbifold compactifications. We find several MSSM candidates with the gauge group and the exact spectrum of the MSSM, and supersymmetric vacua below the compactification scale. They also exhibit the following realistic features: R-parity, seesaw suppressed neutrino masses, and intermediate scale of supersymmetry br…
We study compact non-supersymmetric Z_N orbifolds in various dimensions. We compute the spectrum of several tachyonic type II and heterotic examples and partially classify tachyon-free heterotic models. We also discuss the relation to compactification on K3 and Calabi-Yau manifolds.
We study F-theory duals of singular heterotic K3 models that correspond to abelian toroidal orbifolds $T^4/Z_N$. While our focus is on the standard embedding, we also comment on models with Wilson lines and more general gauge embeddings. In the process of constructing the duals, we work out a Weierstrass description of the heterotic toroidal orbifold models, which exhibit singularities of Kodaira type $I_0^*, IV^*, III^*$, and $II^*$. This construction unveils properties like the instanton number per fixed point and a correlation between the orbifold order and the multiplicities in the Dynkin …
M(atrix) theory on an orbifold and classical two-branes therein are studied with particular emphasis to heterotic M(atrix) theory on $S_1/Z_2$ relevant to strongly coupled heterotic and dual Type IA string theories. By analyzing orbifold condition on Chan-Paton factors, we show that three choice of gauge group are possible for heterotic M(atrix) theory: SO(2N), SO(2N+1) or USp(2N). By examining area-preserving diffeomorphism that underlies the M(atrix) theory, we find that each choices of gauge group restricts possible topologies of two-branes. The result suggests that only the choice of SO(2N…
We consider properties of the CKM phase in the heterotic orbifold models. We find that at the renormalizable level the CKM phase vanishes identically for the prime orbifolds, whereas it can be non-zero for some non-prime orbifolds. In particular, we study in detail the Z_6-I orbifold which allows for a non-trivial CKM phase and analyze the modular properties of the corresponding Jarlskog invariant. The CKM phase is shown to vanish if the moduli fields are stabilized at Im T_i=\pm 1/2.
We consider six and four dimensional ${\cal N}=1$ supersymmetric orientifolds of Type IIB compactified on orbifolds. We give the conditions under which the perturbative world-sheet orientifold approach is adequate, and list the four dimensional ${\cal N}=1$ orientifolds (which are rather constrained) that satisfy these conditions. We argue that in most cases orientifolds contain non-perturbative sectors that are missing in the world-sheet approach. These non-perturbative sectors can be thought of as arising from D-branes wrapping various collapsed 2-cycles in the orbifold. Using these observat…
Horava--Witten M theory -- heterotic string duality poses special problems for the twisted sectors of heterotic orbifolds. In [1] we explained how in M theory the twisted states couple to gauge fields apparently living on M9 branes at both ends of the eleventh dimension at the same time. The resolution involves 7D gauge fields which live on fixed planes of the (T^4/Z_N) x (S^1/Z_2) x R^{5,1} orbifold and lock onto the 10D gauge fields along the intersection planes. The physics of such intersection planes does not follow directly from the M theory but there are stringent kinematic constraints d…
New heterotic torsional geometries are constructed as orbifolds of T^2 bundles over K3. The discrete symmetries considered can be freely-acting or have fixed points and/or fixed curves. We give explicit constructions when the base K3 is Kummer or algebraic. The orbifold geometries can preserve N=1,2 supersymmetry in four dimensions or be non-supersymmetric.
We study spontaneous gauge symmetry breaking in the framework of orbifold compactifcations of heterotic string theory. In particular we investigate the electroweak symmetry breakdown via the Higgs mechanism. Such a breakdown can be achieved by continuous Wilson lines. Exploiting the geometrical properties of this scheme we develop a new technique which simplifies the analysis used in previous discussions.
