• Keine Ergebnisse gefunden

Computation of half-BPS partition functions in the CHL model

where the subscript๐ฟ/๐‘…denotes the left- and right-part of the lattice vectors and ฮ›[โ„Ž]

6,6 =

ฮ›6,6+ โ„Ž 2 ๐›ฟ

(5.8) is the Narain lattice associated with๐‘‡6, depending on the value ofโ„Žshifted by half of the null vector ๐›ฟ=(06; 06โˆ’1,1)(i.e., vanishing momentum quantum numbers but a single unit of winding charge along the CHL circle). This in accordance with the CHL action on๐‘‡6, which is just a translation along the last circle in๐‘‡6 (the CHL circle) by half a period. We already use the symbol๐‘„ in the lattice summation since the momentum-winding vectors along the compact dimensions eventually give rise to electric charges of the four-dimensional BPS state (the remaining components of the electric charge being sourced by momentum in the๐ธ

8-directions). Thusโ„Ž =0 means summation over untwisted sector charges,๐‘„ โˆˆฮ›6,6 ๐‘ˆโŠ•6, the winding number along the CHL circle taking integral values.

On the other hand,โ„Ž=1 gives twisted sector charges๐‘„โˆˆฮ›

6,6+ ๐›ฟ

2 with the winding number along the CHL circle taking values inZ+ 1

2. The for๐‘” =1 inserted phase factor(โˆ’1)๐›ฟยท๐‘„then becomes (โˆ’1)for an odd number of momentum quanta along the CHL circle and(+1)for an even number of such quanta. Furthermore, in (5.6) we introduced the orbifold blocksZ

8

โ„Ž ๐‘”

for the 16 chiral bosons compactified on the๐ธ

8ร—๐ธ

8root lattice, where the orbifold involution exchanges the two๐ธ

8factors6 and one finds

Z8

0 0

= h

๐œƒ๐ธ

8(1)(๐œ)i2 ๐œ‚16(๐œ)

, Z

8

0 1

= ๐œƒ

๐ธ8(1)(2๐œ) ๐œ‚8(2๐œ)

, (5.9)

Z8

1 0

= ๐œƒ๐ธ

8(1)(๐œ

2) ๐œ‚8(๐œ

2) and Z

8

1 1

=๐‘’โˆ’2

๐œ‹ ๐‘–/3

๐œƒ๐ธ

8(1)(๐œ+1

2 ) ๐œ‚8(๐œ+1

2 )

. (5.10)

Especially, the ๐ธ

8theta series ๐œƒ

๐ธ8(1)(๐œ) = ร

๐‘ฃโˆˆ๐ธ 8(1)๐‘’

๐‘– ๐œ‹ ๐œ ๐‘ฃ2

= ๐ธ

4(๐œ) is the weight four Eisenstein series.

As a remark, the terms in the first line of (5.6) should arise for all heteroticZ๐‘ CHL orbifolds (including the trivial one), as the superconformal sector of the heterotic string is unaffected by the orbifold action. On the other hand, the terms in the second line of (5.6) are the orbifold blocks specific to the order๐‘ =2 shift along one of the circles of๐‘‡6and the order๐‘permutation on the left-moving chiral bosons.

Helicity supertraces can be obtained from the generating function (5.4) by taking appropriate derivatives with respect to the generalized chemical potentials๐‘ฃand ยฏ๐‘ฃcoupling to the left and right helicity, respectively:

๐ต๐‘›(๐‘ž,๐‘žยฏ) = 1

2๐œ‹๐‘–

๐œ•

๐œ• ๐‘ฃ + 1

2๐œ‹๐‘–

๐œ•

๐œ•๐‘ฃยฏ ๐‘›

Z(๐‘ž,๐‘žยฏ;๐‘ฃ ,๐‘ฃยฏ) ๐‘ฃ=0=๐‘ฃยฏ

. (5.11)

We now want to obtain the fourth helicity supertrace๐ต

4.7 The fermion terms in the first line of (5.6)

6Recall from chapter 2 that upon diagonalization this gives eight invariant chiral bosons and eight chiral bosons that pick up a minus sign under theZ2action.

7Strictly speaking, this is rather another generating function, not yet a helicity supertraceฮฉ4(๐‘„ ,0)for fixed charge (orbit).

can be rewritten using the Riemann identity to give ยฏ๐œƒ4

1(๐‘ฃยฏ/2). This implies that the only combination of๐‘ฃ- and ยฏ๐‘ฃ-derivatives that does not vanish when evaluated at๐‘ฃ =๐‘ฃยฏ =0 is taking four ยฏ๐‘ฃ-derivatives, since๐œƒ

1(0|๐œ) =0. Using further

๐œ•๐‘ฃหœ๐œƒยฏ h1/2

1/2

i (๐‘ฃหœ|๐œ)

๐‘ฃหœ=0

=2๐œ‹๐œ‚ยฏ(๐œ)3 (5.12)

and๐œ‰(0) =๐œ‰ยฏ(0)=1 we obtain8 ๐ต4(๐‘ž,๐‘žยฏ)= 3

2 1 ๐œ2

1 ๐œ‚2+6

ร—ยฉ

ยญ

ยซ 1 2

โˆ‘๏ธ1

๐‘”, โ„Ž=0

Z6,6

โ„Ž ๐‘”

Z

8

โ„Ž ๐‘”

ยช

ยฎ

ยฌ

. (5.13)

Inserting the identities (5.9) and (5.10) we can also write ๐ต4(๐‘ž,๐‘žยฏ) = 3

2๐œ

2

1 2

"

๐œƒ2

๐ธ8(1)(๐œ) ๐œ‚24(๐œ) Z

6,6

0 0

+ ๐œƒ๐ธ

8(1)(2๐œ) ๐œ‚8(๐œ)๐œ‚8(2๐œ)Z

6,6

0 1

+ ๐œƒ๐ธ

8(1)(๐œ

2) ๐œ‚8(๐œ)๐œ‚8(๐œ

2)Z

6,6

1 0

+๐‘’โˆ’2

๐œ‹ ๐‘–/3

๐œƒ๐ธ

8(1)(๐œ+1

2 ) ๐œ‚8(๐œ)๐œ‚8(๐œ+1

2 ) Z6,6

1 1

#

. (5.14)

Before interpreting the result (5.14), we interlude with a reminder of the unorbifolded case. The contribution withZ

6,6

0 0

corresponds (up to the factor 1/2) to helicity supertraces of perturbative states in the unorbifolded theory Het[๐‘‡6]:

๐ตunorb

4 (๐‘ž,๐‘žยฏ) = 1 ๐œ2

ร— Z6,6

0 0

(๐‘ž,๐‘žยฏ)๐œƒ2

๐ธ

8(1)(๐œ) ร— 3 2

1 ๐œ‚24(๐œ)

. (5.15)

Let us pause to recall the semantics of this factorization. We have a continuous degeneracy due to the momenta ๐‘

3, ๐‘

4 in the non-compact directions transverse to the light-cone, leading to a factor of 1/๐œ

2. Also we have the Narain lattice sum of vectors๐‘„ โˆˆฮ›22,6 ๐ธ

8(1)โŠ•2โŠ•๐‘ˆโŠ•6 and a factor ๐œ‚โˆ’24(๐œ) corresponding to oscillator modes of 24 chiral bosons (transverse to the light-cone). As seen from the four-dimensional spacetime perspective for each momentum(๐‘

3, ๐‘

4) and electric charge vector๐‘„โˆˆฮ›

22,6(momentum and winding) we have the full tower of DH states generated by allowing arbitrary left-moving oscillators while keeping the superconformal sector in the ground state. The latter is, due to the GSO projection, a Weyl spinor with 28/2 =16 components. Hence for fixed (๐‘

3, ๐‘

4)we can relate the fourth helicity supertrace of states with charge๐‘„to the absolute degeneracy of states with charge๐‘„as9

๐‘‘โ„Ž(๐‘„ ,0) = ฮฉ

4(๐‘„ ,0)= 3 32

ฮฉabs(๐‘„ ,0) = 3 2

๐‘24(๐‘) . (5.16)

8The factor 3/2 arises as 24ร— (1/2)4coming from the 4!=24 permutations of ยฏ๐‘ฃ-derivatives and the inner derivative, c.f.

the argument หœ๐‘ฃ=๐‘ฃยฏ/2.

9Recall that๐‘

24(๐‘)is the number of ways of writing the non-negative integer๐‘as a sum of 24 non-negative integers.

This is also the Fourier coefficient of๐‘ž๐‘โˆ’1in๐œ‚โˆ’24(๐œ). For any๐œโˆˆHthe Fourier series of the latter converges, so there is no ambiguity, i.e., no wall-crossing for these half-BPS states and no moduli dependence inฮฉ4.

The (left-moving) level number๐‘ (not to be confused with the order of the CHL orbifold group) is related to the charge๐‘„ โˆˆฮ›

22,6via the level matching condition ๐‘โˆ’1= 1

2

๐‘„2

๐‘…โˆ’๐‘„2

๐ฟ

= 1 2

๐‘„2. (5.17)

Note that the result (5.16) has the structure demanded by (3.24).

As another remark, we recall that in the unorbifolded case the discriminant functionฮ”(๐œŽ)=๐œ‚24(๐œŽ) appears in the diagonal divisor limit๐‘ง โ†’0 of๐œ’โˆ’1

10(๐‘), which is the (complete๐ผ =1) quarter-BPS partition function of heterotic strings on๐‘‡6(c. f. the discussion of poles in 4.4):

๐œ’โˆ’1

10(๐œ, ๐œŽ, ๐‘ง) โˆ

ฮ”(๐œŽ)โˆ’1ฮ”(๐œ)โˆ’1 ๐‘งโˆ’2+ O ๐‘ง0

. (5.18)

Historically the appearance of this perturbative half-BPS partition function and its magnetic counterpart, together with manifest electric-magnetic (S-)duality between them, was a crucial point in the proposal of [21].

We return to the CHL orbifold and apply a similar logic to๐ต

4(๐‘ž,๐‘žยฏ)in eq. (5.14), which we split into the untwisted and twisted sector contribution,

๐ต4=๐ตuntw

4 +๐ตtw

4 . (5.19)

Untwisted sector. To read off the degeneracies of DH states with fixed electric charge, the Narain lattice vectors(๐‘ƒ

1, ๐‘ƒ

2) โˆˆ๐ธ

8(1)โŠ•2are decomposed10with respect to their sum โ€” which is invariant underZ2and hence a physical charge โ€” and their difference. That is,

๐‘ƒ1ยฑ๐‘ƒ

2 =2๐‘ƒ

ยฑยฑ P (5.20)

for some root lattice vectors ๐‘ƒ

+, ๐‘ƒ

โˆ’ โˆˆ ๐ธ

8(1) and a shift vectorP โˆˆ ๐ธ

8(1)/(2๐ธ

8(1)). The latter represents an element of a finite group of rank 28, which is by a simple rescaling by 1/โˆš

2 isomorphic to the residue component from๐ธ

8(1/2)/๐ธ

8(2) in eq. (2.52). In terms of๐ธ

8(2) theta functions with characteristicsP, defined as

๐œƒ๐ธ

8(2),P(๐œ) B

โˆ‘๏ธ

ฮ”โˆˆ๐ธ8(1)

exp

"

๐œ‹๐‘– ๐œ โˆš

2ฮ”โˆ’ P

โˆš 2

2#

, (5.21)

the theta function for๐ธ

8(1)โŠ•2may be expressed as ๐œƒ2

๐ธ

8(1) =๐œƒ2

๐ธ

8(2),1+120๐œƒ2

๐ธ

8(2),248+135๐œƒ2

๐ธ

8(2),3875. (5.22) Here it has been used that๐œƒ

๐ธ8(2),P only depends on the orbitOโˆ—ofPunder the Weyl group of๐ธ

8. There are three such orbits, namely the orbit of the fundamental weight of the trivial, of the adjoint and of the 3875 representation of respective lengths 1+120+135=28, i.e.,

๐ธ8(1) 2๐ธ

8(1) =O

1โˆช O

248โˆช O

3875, (5.23)

10Also see [78] for a relation to numerators of affine characters of ห†๐ธ

8at level two.

where the subscript labels the dimension of the respective representation. In general, any vector๐‘„0in ๐ธ8(1

2) = โˆš1

2

๐ธ8(1)decomposes as

๐‘„0= 1

โˆš 2

(2๐‘„00+ P) (5.24)

for appropriate elements๐‘„00โˆˆ๐ธ

8(1)andP โˆˆ ๐ธ

8(1)/(2๐ธ

8(1)), and therefore one also has ๐ธ8(1

2) = ๐ธ

8(2) โˆช ๐ธ

8(2) + O

248

โˆช ๐ธ

8(2) + O

3875

(5.25)

๐œƒ

๐ธ

8(12) (๐œ) = ๐œƒ

๐ธ

8(2),1 + 120๐œƒ

๐ธ

8(2),248 + 135๐œƒ

๐ธ

8(2),3875. (5.26) Both (5.22) and (5.26) are easily checked by writing๐œƒ

๐ธ

8(2),P(๐œ) in terms of theta constants (see appendix A). Note that under๐œโ†ฆโ†’๐œ+1 only the sign of the term corresponding to the 248-orbit in (5.26) flips, sinceP2โ‰ก2(mod 4) for this orbit, whileP2 โ‰ก0(mod 4) for the other two orbits.

The untwisted sector contribution reads in terms of the๐œƒ

๐ธ

8(2),P(๐œ)functions11 ๐ตuntw

4 (๐‘ž,๐‘žยฏ) = 3 2๐œ

2

ร— โˆ‘๏ธ

๐œ–โˆˆ {+1,โˆ’1}

Z6,6

0 0

+๐œ–Z

6,6

0 1

2

"

๐œƒ๐ธ

8(2),1ร— 1 2

๐œƒ๐ธ 8(2),1

๐œ‚24

+๐œ– 1

๐œ‚8(๐œ)๐œ‚8(2๐œ)

!

+120๐œƒ

๐ธ8(2),248ร— ๐œƒ๐ธ

8(2),248

2๐œ‚24

!

+135๐œƒ

๐ธ8(2),3875ร— ๐œƒ๐ธ

8(2),3875

2๐œ‚24

! #

. (5.27)

In this form๐ตuntw

4 corresponds to the non-orbifold counterpart (5.15), with the modular form on the right-hand side of each โ€œร—โ€-sign playing the role of๐œ‚โˆ’24. The๐ธ

8theta series inside the parentheses sums only over the unphysical charge(๐‘ƒ1โˆ’๐‘ƒ2

2 )2. The sign๐œ– corresponds to two kinds of DH states in the untwisted sector. It specifies the sign picked up by the oscillator monomial under Z2 (c.f.

section 2.2). This goes along with an even (+1) or odd (โˆ’1) number of momentum quanta along the CHL circle, such that the two phases coming from the (left-moving) oscillators and the (left-moving) zero-mode cancel out to give an invariant state. As can be seen, e.g., from the explicit form of the T-transformations on charges in [11], this โ€œmomentum parityโ€ along the CHL circle is also invariant under T-transformations, so we have a splitting into two disjoint T-orbits. Correspondingly, we find that untwisted sectorP=0 DH states with odd (even) momentum parity possess a separate half-BPS partition function

1 2

๐œƒ๐ธ 8(2)

๐œ‚24

+๐œ– 1

๐œ‚8(๐œ)๐œ‚8(2๐œ)

!

(5.28) with๐œ– =โˆ’1 (๐œ– =+1), as was implicitly used in writing down [22, eq. (6.5.12)]. For untwisted sector states withPโ‰ 0 the parity of the CHL momentum does not play a role in the counting, as seen from eq. (5.27).

To get the half-BPS index for states with fixed electric charge from these partition functions we reformulate the level matching condition (5.17), as the quantity๐‘„ โˆˆฮ›

22,6in (5.17) is no longer the physical electric charge in the orbifold theory. In the untwisted sector we introduce the modified level

11This corrects a typo in [26, eq. (3.42)], where 2

4 ๐œƒ4

2๐œ‚12 = ๐œƒ

4 3๐œƒ4

4

๐œ‚24 = 1

๐œ‚8(๐œ)๐œ‚8(2๐œ) .

number

๐‘0B ๐‘โˆ’ (๐‘ƒ

1โˆ’๐‘ƒ

2)2

4 = ๐‘โˆ’

๐‘ƒโˆ’โˆ’ P 2

2

(5.29) and with a physical electric charge๐‘„โˆˆ๐ธ

8(1

2) โŠ•๐‘ˆโŠ•๐‘ˆโŠ•5we find again๐‘0โˆ’1= 1

2

๐‘„2. Thus, when expanding eq. (5.28) in terms of๐‘ž=๐‘’2

๐œ‹ ๐‘– ๐œ

, the exponent of๐‘ž

๐‘0โˆ’1

in each term gives

๐‘„2

2 , while the coefficient gives the desired indexฮฉ

4(๐‘„ ,0)for๐‘„in the respective charge sector (re-installing the universal factor 3/2). In the example of (5.28) the charge sector is๐‘„โˆˆ ๐ธ

8(2) โŠ•๐‘ˆ(2) โŠ•๐‘ˆโŠ•5for๐œ– =+1 and๐‘„ โˆˆ๐ธ

8(2) โŠ• (๐‘ˆ\๐‘ˆ(2)) โŠ•๐‘ˆโŠ•5for๐œ– =โˆ’1. Here we have identified๐‘ˆ(2) โŠ‚๐‘ˆas the (non-shifted) momentum-winding vectors with an even number of momentum quanta along the CHL circle.

Twisted sector. The twisted sector part of๐ต

4is ๐ตtw

4 (๐‘ž,๐‘žยฏ) = 3 2๐œ

2

ร— โˆ‘๏ธ

๐œ–โˆˆ {+1,โˆ’1}

Z6,6

1 0

+๐œ–Z

6,6

1 1

2

"

๐œƒ๐ธ

8(2),1ร— 1 2

1 ๐œ‚8(๐œ)๐œ‚8(๐œ

2) +๐œ–

๐‘’โˆ’2

๐œ‹ ๐‘–/3

๐œ‚8(๐œ)๐œ‚8(๐œ+1

2 )

!

+120๐œƒ

๐ธ

8(2),248ร— 1 ๐œ‚8(๐œ)๐œ‚8(๐œ

2) โˆ’๐œ– ๐‘’โˆ’2

๐œ‹ ๐‘–/3

๐œ‚8(๐œ)๐œ‚8(๐œ+1

2 )

!

+135๐œƒ

๐ธ

8(2),3875ร— 1 ๐œ‚8(๐œ)๐œ‚8(๐œ

2) +๐œ–

๐‘’โˆ’2๐œ‹ ๐‘–/3 ๐œ‚8(๐œ)๐œ‚8(๐œ+1

2 )

! #

. (5.30)

Note that the relative sign between the two terms in each pair of parentheses is that of (โˆ’1)๐‘„2 = (โˆ’1)P2/2(โˆ’1)๐‘„ยท๐›ฟ with(โˆ’1)๐‘„ยท๐›ฟ =๐œ–. The twisted sector level-matching equates the exponents in the ๐‘ž-expansion of the functions in parentheses in (5.30) to the value of 12(๐‘„2

8+๐‘„2

1+๐‘„2

5) โˆˆ 1

2Z, where (๐‘„

8, ๐‘„

1, ๐‘„

5) โˆˆ๐ธ

8(1

2) โŠ• (๐‘ˆ+ ๐›ฟ

2) โŠ•๐‘ˆโŠ•5is a physical electric charge vector in the twisted sector.

Comparison of the sectors. In accordance with the analysis of the perturbative spectrum in [32]

(see also [33]), the degeneracies for certain subsectors of the untwisted sector agree with twisted sector degeneracies. This is due to the modular identities

1 2

๐œƒ๐ธ 8(2),1

๐œ‚24

+ 1

๐œ‚8(๐œ)๐œ‚8(2๐œ)

!

= 1 2

1 ๐œ‚8(๐œ)๐œ‚8(๐œ

2)

+ ๐‘’โˆ’2

๐œ‹ ๐‘–/3

๐œ‚8(๐œ)๐œ‚8(๐œ+1

2 )

!

+ 1

๐œ‚8(๐œ)๐œ‚8(2๐œ) (5.31) 1

2 ๐œƒ๐ธ

8(2),1

๐œ‚24

โˆ’ 1

๐œ‚8(๐œ)๐œ‚8(2๐œ)

!

= 1 2

1 ๐œ‚8(๐œ)๐œ‚8(๐œ

2)

+ ๐‘’โˆ’2

๐œ‹ ๐‘–/3

๐œ‚8(๐œ)๐œ‚8(๐œ+1

2 )

!

(5.32) ๐œƒ๐ธ

8(2),248

2๐œ‚24

= 1 2

1 ๐œ‚8(๐œ)๐œ‚8(๐œ

2) โˆ’ ๐‘’โˆ’2

๐œ‹ ๐‘–/3

๐œ‚8(๐œ)๐œ‚8(๐œ+1

2 )

!

(5.33) ๐œƒ๐ธ

8(2),3875

2๐œ‚24

= 1 2

1 ๐œ‚8(๐œ)๐œ‚8(๐œ

2)

+ ๐‘’โˆ’2

๐œ‹ ๐‘–/3

๐œ‚8(๐œ)๐œ‚8(๐œ+1

2 )

!

. (5.34)

Note that on the right-hand-side of eqs. (5.32) to (5.34) the second term is, up to sign, the first term shifted by๐œโ†ฆโ†’๐œ+1, which is

1 ๐œ‚8(๐œ)๐œ‚8(๐œ

2)

= 1

โˆš ๐‘ž

+8+52

โˆš

๐‘ž+256๐‘ž+1122๐‘ž3/2+4352๐‘ž2+15640๐‘ž5/2+๐‘‚

๐‘ž3

. (5.35) Hence, adding the second term to the first projects to terms with even (eqs. (5.32) and (5.34)) or odd (eq. (5.33)) exponents of

โˆš ๐‘ž=๐‘’2

๐œ‹ ๐‘– ๐œ

2. The parity of this exponent modulo two matches the parity of ๐‘„2/2 and due to this one might simply regard๐œ‚โˆ’8(๐œ)๐œ‚โˆ’8(๐œ

2) as the half-BPS partition function for twisted sector DH states โ€” and in fact as the half-BPS partition function for DH states with charge in any of the sectors listed in eqs. (5.32) to (5.34). The only charge sector that is not covered by this is that of even momentumP =0 untwisted states with๐œ– =+1 in (5.28), i.e., electric charges ๐‘„โˆˆ๐ธ

8(2) โŠ•๐‘ˆ(2) โŠ•๐‘ˆโŠ•5= ฮ›๐‘š โŠ‚ฮ›๐‘’. Their degeneracy is not just given by the coefficient of๐‘ž

๐‘„2/2

in๐œ‚โˆ’8(๐œ)๐œ‚โˆ’8(๐œ

2)but gets an extra contribution from the coefficient of๐‘ž

๐‘„2/2

in๐œ‚โˆ’8(๐œ)๐œ‚โˆ’8(2๐œ), as also observed in [27]. Another way to arrive at the same conclusion is via the following identity. Since the exchange of the two๐ธ

8factors alone without the shift along a circle of the torus gives back an equivalent theory, there is an equality between the partition functions of the two theories [5, app. B]:

๐ธ4(๐œ)2 ๐œ‚16(๐œ) = 1

2 ๐ธ4(๐œ)2 ๐œ‚16(๐œ) + 1

2 ๐ธ4(2๐œ) ๐œ‚8(2๐œ) + 1

2 ๐ธ4(๐œ

2) ๐œ‚8(๐œ

2) + ๐‘’โˆ’2

๐œ‹ ๐‘–/3

2

๐ธ4(๐œ+1

2 ) ๐œ‚8(๐œ+1

2 )

. (5.36)

Using this observation eq. (5.14) can be re-expressed as ๐ต4(๐‘ž,๐‘žยฏ) = 3

2๐œ

2

๏ฃฎ

๏ฃฏ

๏ฃฏ

๏ฃฏ

๏ฃฏ

๏ฃฐ

ฮ“ฮ›โˆ—

๐‘’

๐œ‚8(๐œ)๐œ‚8(2๐œ) +1 2

ฮ“ฮ›

๐‘’

๐œ‚8(๐œ)๐œ‚8(๐œ

2) + 1 2

ฮ“ฮ›

๐‘’

[(โˆ’1)๐‘„2] ๐‘’2

๐œ‹ ๐‘–/3๐œ‚8(๐œ)๐œ‚8(๐œ+1

2 )

๏ฃน

๏ฃบ

๏ฃบ

๏ฃบ

๏ฃบ

๏ฃป

, (5.37)

where the notation [27]

ฮ“ฮ›

0

[X] = โˆ‘๏ธ

๐‘„โˆˆฮ›0

X ๐‘ž

1 2๐‘„2

๐ฟ๐‘žยฏ

1 2๐‘„2

๐‘… (5.38)

was introduced. Pairs of (Narain) theta functions multiplying the same eta-quotient have been recast into a single lattice sum for the electric latticeฮ›๐‘’or the magnetic latticeฮ›โˆ—๐‘’ โŠ‚ฮ›๐‘’, as defined in (2.40).

An equivalent representation is ๐ต4(๐‘ž,๐‘žยฏ) = 3

2๐œ

2

โˆ‘๏ธ

๐‘„โˆˆฮ›๐‘’

๐‘ž

๐‘„2 2

"

๐›ฟ๐‘„โˆˆฮ›โˆ—๐‘’

๐œ‚8(๐œ)๐œ‚8(2๐œ) +1

2 1 ๐œ‚8(๐œ)๐œ‚8(๐œ

2) + 1

2

(โˆ’1)๐‘„2 ๐‘’2

๐œ‹ ๐‘–/3๐œ‚8(๐œ)๐œ‚8(๐œ+1

2 )

#

, (5.39)

where(โˆ’1)๐‘„2=(โˆ’1)P

2

2 (โˆ’1)โ„Ž ๐‘„ยท๐›ฟwithโ„Žas in (5.8). This also nicely fits the assertion that the DH states are electrically charged with respect toฮ›๐‘’as given in (2.40). In chapter 6 a genus two analog of the identity (5.36) will become important.

Quarter-BPS spectra from genus two partition function in the Z

2 model

Our analysis in chapter 4 mostly concerned generic quarter-BPS partition functions. We now turn specifically to unit-torsion quarter-BPS dyons in theZ2CHL model, the prime interest being dyons whose electric charge in the heterotic frame belongs to the untwisted sector. The goal of this chapter1 is to obtain closed expressions for the relevant partition functions by relating them to a genus two chiral partition function for the four-dimensional heteroticZ2CHL model.2 Properties of the candidate dyon partition functions thus obtained will be addressed in chapter 7.

6.1 From string webs to heterotic strings

According to [4, 5, 79, 80] quarter-BPS dyons can be represented as string webs [81, 82], which via an M-theory lift are related to a chiral genus two partition function of the heterotic string. As was argued in [6], the genus๐‘”of the M-theory lift of the string web is actually given by๐‘” =๐ผ +1, so the genus two partition function is expected to only capture unit-torsion dyons (๐ผ =1). Indeed, in [5] thetwisted sector dyon partition function of [1, 83] was re-derived by identifying appropriate contributions to the genus two orbifold partition function that can be interpreted as arising from states of the relevant charge type.3 Ouruntwistedsector quarter-BPS partition functions should in a similar fashion be found in this heterotic genus two partition function. The latter was recently revisited in [2, section B.2], expanding the results of [5] by, for instance, also writing down the remaining orbifold blocks.

For the sake of a clear and coherent presentation, we will first reproduce the orbifold partition function of [2] and collect the relevant formulae that are needed in our subsequent analysis.

1This chapter appeared as section 4 in the publication [35].

2Left- and right-moving partition function should be understood as in [5, f. n. 2].

3The contour prescription and wall-crossing phenomenon can also be studied in the genus two picture [80, 84], though the analysis was mostly spelled out for the maximal rank theory.