Pith. sign in

REVIEW 2 major objections 3 minor 55 references

Orientifolds for F-theory on K3 Surfaces

T0 review · 2 major / 3 minor · reviewed 2026-08-09 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Three real deformations of one K3 family realize all three type IIB orientifold charge spectra, with O-plane signs read off from the number of real sections.

desk verdict The new real-structure construction on this K3 family is worth having, but the O-plane charge read-off is heuristic and internally inconsistent. read the letter →

arxiv 2501.18767 v1 pith:HUXFR424 submitted 2025-01-30 hep-th math.AG

Charles Doran , Andreas Malmendier , Stefan Mendez-Diez , Jonathan Rosenberg This is my paper · ORCID
classification hep-thmath.AG MSC 81T3014J2814J3319L5019E08
keywords orientifoldT-dualityK3surfacerealstructureKR-theoryF-theoryellipticfibrationKummer
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper tries to establish that for a concrete family of elliptically fibered K3 surfaces, the physical data of a type IIB orientifold—in particular the signs of the O7-plane charges (charges of the orientifold fixed loci)—is encoded in real algebraic geometry. The family is the double-quadric normal form $y^2 = a(u,v)x^4 + b(u,v)x^2z^2 + a(u,v)z^4$ with $a$ and $b$ palindromic quartics; it is a rank-17 lattice-polarized family that degenerates to the Kummer surface of a product of two non-isogenous elliptic curves. The authors construct three real deformations $X_\varepsilon$ that stay nonsingular with twelve $I_2$ singular fibers and degenerate at $\varepsilon=0$ to $\operatorname{Kum}(E_1\times E_2)$; in the string limit these three families give the three inequivalent type IIB orientifolds on $\mathbb{P}^1$ with four $I_0^*$ fibers, with charge spectra $(+,+,+,+)$, $(+,+,-,-)$, and $(+,+,+,-)$. Along the way they identify the charge signs with the number of real sections of the elliptic fibration over the real base. If this correspondence holds, counting real sections becomes a geometric way to compute orientifold charge spectra in F-theory.

What carries the argument

The load-bearing object is the explicit normal form (5.1)/(6.3): a double cover of $\mathbb{P}^1\times\mathbb{P}^1$ branched along a $(4,4)$ curve, equivalently an elliptic fibration $X\to\mathbb{P}^1$ with $a(u,v)=\rho u^4+\kappa u^2v^2+\rho v^4$ and $b(u,v)=\mu u^4+\lambda u^2v^2+\mu v^4$. This family is lattice polarized by $\langle 8\rangle \oplus 2D_8(-1)$, has a distinguished elliptic fibration with 12 $I_2$ fibers, and carries three commuting antisymplectic involutions. The real structures are antiholomorphic lifts of the base involution $[u:v]\mapsto[\bar{u}:\bar{v}]$; choosing $\omega_2$, $\omega_{4,1}$, $\omega_{4,2}$ in $\{\pm1\}$ selects which real form one is on, and the discriminant $a^2(a+\omega_{4,2}b)^2(a-\omega_{4,2}b)^2$ locates the 12 $I_2$ fibers. The $\varepsilon$-deformations then move three $I_2$ fibers together until they coalesce into one $I_0^*$ fiber, giving four O7-planes; the sign of each O-plane is inferred from how many of the real sections survive over $\mathbb{R}$.

What would settle it

Take the $(+,+,+,-)$ family of Proposition 6.17 with, for example, $\kappa=-3$, $\mu=-3$, $\lambda=10$, and compute the O-plane charges from the D7-brane tadpole or, equivalently, from the twisted KR-theory class of the real bundle stack; if the direct charge computation yields any sign assignment other than $(+,+,+,-)$, the real-section criterion is refuted.

Watch

Extended reading notes

Core claim

The paper's central claim is that the three possible sign assignments for four O7-planes in the type IIB orientifold on $(S^{1,1})^2$ are realized by three distinct real structures on one and the same family of lattice-polarized K3 surfaces. Starting from the normal form $X: y^2 = a(u,v)x^4 + b(u,v)x^2z^2 + a(u,v)z^4$ with $a(u,v)=\rho u^4+\kappa u^2v^2+\rho v^4$ and $b(u,v)=\mu u^4+\lambda u^2v^2+\mu v^4$, the paper proves that the general member has Néron–Severi lattice $\langle 8\rangle \oplus 2D_8(-1)$, twelve $I_2$ singular fibers, and Mordell–Weil group $(\mathbb{Z}/2\mathbb{Z})^2$ together with a rank-three Mordell–Weil lattice. Under the three real forms specified by signs of $\omega_2$, $\omega_{4,1}$, $\omega_{4,2}$, the $\varepsilon$-deformations $X_\varepsilon$ are nonsingular K3 surfaces with 12 $I_2$ fibers that limit to the isotrivial Kummer surface $\operatorname{Kum}(E_1\times E_2)$ with four $I_0^*$ fibers; the corresponding string limits are the type IIB orientifolds with charge spectra $(+,+,+,+)$, $(+,+,-,-)$, and $(+,+,+,-)$. The charge assignment is read off from the number of real sections over $\mathbb{R}$: twelve pairs, none, or two pairs of real sections in the deformed family, and four, zero, or two real sections in the isotrivial limit.

Load-bearing premise

The load-bearing premise is that the signs of the O-plane charges can be read off from the number of real sections over $\mathbb{R}$: the paper assigns the sign spectra $(+,+,+,+)$, $(+,+,-,-)$, and $(+,+,+,-)$ to families whose isotrivial limits have, respectively, four, zero, and two real sections, and the whole physical identification rests on that correspondence.

Editorial extensions

If this is right

  • The three families $X_\varepsilon$ give explicit smooth K3 models that interpolate from the product elliptic-curve orientifold to the Kummer degeneration for each of the three charge spectra $(+,+,+,+)$, $(+,+,-,-)$, and $(+,+,+,-)$.
  • If the real-section count is the charge criterion, then the O-plane signs are determined by real geometry alone, so the KR-theory index shift used to classify D-brane charges is fixed by the real structure without any additional coordinate choices, as in Physical Assertions 2.1–2.3.
  • The construction separates the two twisting effects: the B-field ($B=0$ for $\omega_{4,2}=1$, $B=1/2$ for $\omega_{4,2}=-1$) and the 2-torsion Brauer class of the Jacobian fibration, realized as an Azumaya algebra; the $(+,+,-,-)$ family is the Brauer-twisted one and the $(+,+,+,-)$ family is the B-field-twisted one.
  • In the $\varepsilon\to0$ isotrivial limit, the three real families recover exactly the orientifold theories on $(S^{1,1})^2$ with the four $I_0^*$ fibers and sign choices studied in the earlier orientifold literature, connecting the K-theoretic charge classification with the F-theory description.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same real-section count may predict O-plane signs for other elliptically fibered K3 orientifolds whose singular fibers are $I_2$ fibers merging into $I_0^*$ fibers; applying it to families with different polarizations would give a testable general rule.
  • The wall-crossing in the number of real sections for $\varepsilon>0$ (Corollary 6.18) has no counterpart in the isotrivial limit, so either the charge spectrum is genuinely constant across real moduli walls or the real-section criterion needs refinement; a direct KR-theory computation on both sides of the wall would decide.
  • If the correspondence with real sections survives, the real locus itself selects the index shift for D-brane charge classification, which may extend to M-theory or heterotic duals where real structures also control charge spectra.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper studies F-theory orientifolds on a family of lattice-polarized K3 surfaces with Néron-Severi lattice ⟨8⟩⊕2D8(−1), introduced as a generalization of Kummer surfaces of products of two elliptic curves. It gives a detailed algebraic-geometric description of this family, including a normal form (5.1), a modular parametrization via genus-two theta constants, the action of commuting involutions, and the invariant lattice. In Section 6, the paper constructs real structures on these K3 surfaces, analyzes their Jacobian fibrations and Brauer twists, and proposes three real families whose string limits are claimed to reproduce the type IIB orientifolds on P1 with four I0* fibers carrying charge spectra (+,+,+,+), (+,+,-,-), and (+,+,+,-). The main physical claim is that these three charge spectra are determined by the number of real sections over R, via the heuristic stated in Sections 6.3.3 and 6.3.4.

Significance. The algebraic geometry of the paper is substantial and carefully executed: Propositions 6.9, 6.11, and 6.12 construct explicit nonsingular real deformations with 12 I2 fibers degenerating to Kum(E1×E2), and the lattice computations in Section 5.5 are detailed and appear sound. If the charge identification were established, the paper would provide a useful bridge between real structures on K3 surfaces and O-plane charge spectra in F-theory. However, the physical identification rests on an unproved and, as stated, internally inconsistent correspondence between the number of real sections and O-plane charges. The paper does not derive the charge spectra from KR-theory or from the Brauer twist; it assumes the Physical Assertions 2.1--2.3 and 4.1 and relies on the earlier papers [20,21] for the target charge spectra. The geometric core is a genuine contribution, but the central physical claim, as written, is not established.

major comments (2)
  1. [Sections 6.3.3 and 6.3.4, Proposition 6.12 and Corollary 6.18(1)] The proposed charge assignment by number of real sections is internally inconsistent. Proposition 6.12, for ω2=1 and ω2_4,1=ω2_4,2=-1, concludes that there is "one set of four real sections" (two pairs) and assigns the string limit charges (+,+,+,-). Corollary 6.18(1), for ω2=ω2_4,1=1 and ω2_4,2=-1 with κ<-2, finds "6 pairs" of real sections and is also presented as a (+,+,+,-) string limit. If the number of real sections over R determined the charges, these two families would have to carry different charge spectra. Moreover, the "half as much" inference in Section 6.3.4 compares 12 pairs in the (+,+,+,+) case with 6 pairs in the (+,+,+,-) case, whereas Proposition 6.12 attaches the same (+,+,+,-) pattern to only 2 pairs; the inferred charge would then differ by a factor of three, not two. The geometric constructions may be correct, but the central identification of the three geometric families with the three charge spectra rests on an unstable heuristic rather than on a computed charge invariant.
  2. [Sections 6.3.3--6.3.4 and Section 6.2] The real-section-to-charge correspondence is asserted, not derived. The paper does not compute any invariant that connects the number of real sections in Equation (6.20) to the sign of the O-plane charge at a given I0* fiber. The available machinery, including the Brauer twist class ν∈Br2(R(JX)) in Section 6.2 and the conic bundle/Azumaya algebra construction, is not used to fix the signs; instead Section 6.3.4 states that the charge choices "appear more directly determined by the number of real sections over R." Since the Physical Assertions 2.1--2.3 and 4.1 are assumed rather than proved, the paper needs either a derivation of the charge spectra from the real structure and twisting data, or an explicit statement that the charge assignment is a conjecture consistent with [20,21].
minor comments (3)
  1. [Section 6.3.2, Proposition 6.11] The definition of ε0 contains a typo: "(κ−2)(µ2)" should presumably read "(κ−2)(µ−2)" in both the statement and the proof.
  2. [Section 6.3.3, proof of Proposition 6.12] The word "Propsition" in the proof should read "Proposition."
  3. [Table 2 and Section 6.3] The table and text speak of the "charge" of individual I2 fibers without defining this notion; since O-plane charge is normally associated with the merged I0* fibers, a sentence explaining the assignment of signs to the constituent I2 fibers would improve clarity.

Circularity Check

0 steps flagged · score 2.0 of 10

No construction-level circularity; the charge-spectrum identification rests on an unproved heuristic, but no prediction reduces to its input by construction.

full rationale

The geometric derivation is self-contained: the family (5.1), the real normal forms (6.3), and the smoothness/fiber-type conclusions in Propositions 6.9, 6.11, 6.12 and Corollary 6.18 are obtained from explicit equations, discriminant computations, and lattice arguments, not from the charge spectra. The KR-theory classification and the three charge spectra (+,+,+,+), (+,+,-,-), (+,+,+,-) are imported from the authors' earlier published papers [20,21]; those are independent, checkable computations used as benchmarks, so citing them is not circular. The one load-bearing soft spot is Section 6.3.4, where the paper says 'the charge choices appear more directly determined by the number of real sections over R' and infers that a family with half as many real sections 'should' have half the O-plane charge. This is an unproved heuristic, not a derived invariant, and it is internally unstable: Proposition 6.12 attaches the (+,+,+,-) spectrum to a family with two pairs of real sections, while Corollary 6.18(1) attaches the same spectrum to a family with six pairs. That inconsistency is a correctness/rigor concern, but it is not circularity: the paper does not define O-plane charge as a function of the real-section count, nor does it fit a parameter to the target spectra and then rename it a prediction. The claimed real-structure analysis is a new application of the prior KR-theory framework, not a restatement of it. Accordingly, there are no circular steps of the kind defined in the analysis, and the score reflects only the presence of self-citations in the supporting framework.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central claim depends on physical assumptions about KR-theory classification, T-duality, and the merging rule for I2 fibers into I0* fibers, plus background theorems from algebraic geometry. No free parameters are fitted; the coefficients are moduli. No invented entities are introduced.

assumptions (6)
  • domain assumption D-brane charges in orientifold theories are classified by twisted Real K-theory KR^{-i}(X, ι), with the index determined by the number of reflected coordinates or the O-plane dimension.
    Stated as Physical Assertions 2.1-2.3 in Section 2. The paper does not prove these; they are imported from prior physics literature and used to interpret all charge spectra.
  • domain assumption The type I string on T^4 is T-dual to the type IIB orientifold on T^4/Z2 with reflection.
    Physical Assertion 4.1 in Section 4. This duality is the bridge from Kummer surfaces to orientifolds and is assumed, not derived.
  • domain assumption The merging of three I2 fibers into an I0* fiber in the isotrivial limit preserves the O-plane charge sign of the resulting I0* fiber.
    Used in Sections 6.3.1-6.3.3 to read off charges of O7-planes from the real sections of the I2 fibers. This is a physical consistency assumption imported from [20,21].
  • standard math Mehran's classification: rational double covers of Kummer surfaces branched on even eights correspond to degree-two isogenies of abelian surfaces.
    Invoked in Section 5.3 to construct the family via even eights and isogenies.
  • standard math Hermite's theorem expressing the branch locus of the Jacobian of a genus-1 quartic via a symmetric 3x3 matrix.
    Used in Section 6.2.1 to construct the Azumaya algebra representative for the Brauer twist.
  • domain assumption For real coefficients and a real section, the Brauer twisting class ν over R(J_X) is trivial and X is isomorphic to its Jacobian over R.
    The criteria in Corollaries 6.7 and 6.8 and the family analysis in Section 6.3 rely on this correspondence between existence of real sections and trivial Brauer class.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Orientifolds for F-theory on K3 Surfaces." pith.science (2026). https://pith.science/paper/HUXFR424

@misc{pith2026250118767,
  author       = {Pith},
  title        = {Pith review of: Orientifolds for F-theory on K3 Surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HUXFR424}},
  note         = {Machine review of arXiv:2501.18767}
}
abstract

We study F-theory orientifolds, starting with products of two elliptic curves, but focusing mostly on a family of K3 surfaces, lattice polarized by the rank-17 lattice $\langle 8 \rangle \oplus 2D_8(-1)$, generalizing the family (to which it degenerates) of Kummer surfaces of products of two non-isogenous elliptic curves. After a thorough study of the complex geometry of this family and its elliptic fibrations, we proceed to study real structures on the K3 surfaces in the family which are equivariant with respect to an elliptic fibration. We also study the physics of the associated F-theory orientifolds with a particular focus on the impact of the real structure on the charge spectrum. We also study how these orientifolds degenerate to the case of isotrivial Kummer surface fibrations.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

55 extracted references · 55 canonical work pages

  1. [1]

    Zadeh, Heterotic strings on T3/Z2, Nikulin involutions and M-theory , J

    Bobby Samir Acharya, Gerardo Aldazabal, Anamar ´ ıa Font, Kuma r Narain, and Ida G. Zadeh, Heterotic strings on T3/Z2, Nikulin involutions and M-theory , J. High Energy Phys. 2022 (2022), no. 11, Paper 209, 68 pages. MR 4490544

    work page 2022

  2. [2]

    Sahak yan, Little string theory and heterotic/type II duality , Nuclear Phys

    Ofer Aharony, Bartomeu Fiol, David Kutasov, and David A. Sahak yan, Little string theory and heterotic/type II duality , Nuclear Phys. B 679 (2004), no. 1-2, 3–65. MR 2033773

    work page 2004

  3. [3]

    M. F. Atiyah, K-theory and reality , Quart. J. Math. Oxford Ser. (2) 17 (1966), 367–386. MR 0206940

    work page 1966

  4. [4]

    Wolf Barth, Abelian surfaces with (1, 2)-polarization, Algebraic geometry, Sendai, 1985, Adv. Stud. Pure Math., vol. 10, North-Holland, Amsterdam, 1987, pp. 4 1–84. MR 946234

    work page 1985

  5. [5]

    Bastianelli, G

    F. Bastianelli, G. P. Pirola, and L. Stoppino, Galois closure and Lagrangian varieties , Adv. Math. 225 (2010), no. 6, 3463–3501. MR 2729013

    work page 2010

  6. [6]

    Gimon, and Petr Hoˇ rava, Brane transfer operations and T -duality of non-BPS states , J

    Oren Bergman, Eric G. Gimon, and Petr Hoˇ rava, Brane transfer operations and T -duality of non-BPS states , J. High Energy Phys. 1999 (1999), no. 4, Paper 10, 25 pp. (electronic). MR 1697703

    work page 1999

  7. [7]

    Jean-Beno ˆ ıt Bost and Jean-Fran¸ cois Mestre,Moyenne arithm´ etico-g´ eom´ etrique et p´ eriodes des courbes de genre 1 et 2, Gaz. Math. (1988), no. 38, 36–64. MR 970659

    work page 1988

  8. [8]

    Noah Braeger, Adrian Clingher, Andreas Malmendier, and Shante l Spatig, Isogenies of cer- tain K3 surfaces of rank 18 , Res. Math. Sci. 8 (2021), no. 4, Paper No. 57, 60. MR 4323344

    work page 2021

Show all 55 references
  1. [9]

    Chiara Camere and Alice Garbagnati, On certain isogenies between K3 surfaces , Trans. Amer. Math. Soc. 373 (2020), no. 4, 2913–2931. MR 4069236

    2020

  2. [10]

    J. W. S. Cassels and E. V. Flynn, Prolegomena to a middlebrow arithmetic of curves of genus 2, London Mathematical Society Lecture Note Series, vol. 230, Ca mbridge University Press, Cambridge, 1996. MR 1406090

    1996

  3. [11]

    Chernousov and V

    V. Chernousov and V. Guletski ˘ ı,2-torsion of the Brauer group of an elliptic curve: generato rs and relations, Proceedings of the Conference on Quadratic Forms and Related T opics (Baton Rouge, LA, 2001), no. Extra Vol., 2001, pp. 85–120. MR 1869390 54 C. DORAN, A. MALMENDIE...

    2001

  4. [12]

    Doran, Modular invariants for lattice polarized K3 surfaces, Michigan Math

    Adrian Clingher and Charles F. Doran, Modular invariants for lattice polarized K3 surfaces, Michigan Math. J. 55 (2007), no. 2, 355–393. MR 2369941

    2007

  5. [13]

    Adrian Clingher and Andreas Malmendier, Nikulin involutions and the CHL string , Comm. Math. Phys. 370 (2019), no. 3, 959–994. MR 3995925

    2019

  6. [14]

    , Normal forms for Kummer surfaces , Integrable systems and algebraic geometry. Vol. 2, London Math. Soc. Lecture Note Ser., vol. 459, Cambridge U niv. Press, Cambridge, 2020, pp. 119–174. MR 4421430

    2020

  7. [15]

    , On the duality of F-theory and the CHL string in seven dimensi ons, Comm. Math. Phys. 393 (2022), no. 2, 631–667. MR 4444083

    2022

  8. [16]

    Adrian Clingher, Andreas Malmendier, and Tony Shaska, Geometry of Prym varieties for certain bielliptic curves of genus three and five , Pure Appl. Math. Q. 17 (2021), no. 5, 1739–1784. MR 4376094

    2021

  9. [17]

    , On isogenies among certain Abelian surfaces , Michigan Math. J. 71 (2022), no. 2, 227–269. MR 4484238

    2022

  10. [18]

    Dolgachev, Classical algebraic geometry , Cambridge University Press, Cambridge, 2012, A modern view

    Igor V. Dolgachev, Classical algebraic geometry , Cambridge University Press, Cambridge, 2012, A modern view. MR 2964027

    2012

  11. [19]

    Donaldson, Calabi-Yau metrics on Kummer surfaces as a model gluing prob lem, Advances in geometric analysis, Adv

    Simon K. Donaldson, Calabi-Yau metrics on Kummer surfaces as a model gluing prob lem, Advances in geometric analysis, Adv. Lect. Math. (ALM), vol. 21, I nt. Press, Somerville, MA, 2012, pp. 109–118. MR 3077251

    2012

  12. [20]

    Charles Doran, Stefan M´ endez-Diez, and Jonathan Rosenbe rg, T-duality for orientifolds and twisted KR-theory, Lett. Math. Phys. 104 (2014), no. 11, 1333–1364. MR 3267662

    2014

  13. [21]

    , String theory on elliptic curve orientifolds and KR-theory, Comm. Math. Phys. 335 (2015), no. 2, 955–1001. MR 3316647

    2015

  14. [22]

    Dedicata 145 (2010), 219–232

    Alice Garbagnati, Symplectic automorphisms on Kummer surfaces , Geom. Dedicata 145 (2010), 219–232. MR 2600955

    2010

  15. [23]

    Alice Garbagnati and Alessandra Sarti, On symplectic and non-symplectic automorphisms of K3 surfaces , Rev. Mat. Iberoam. 29 (2013), no. 1, 135–162. MR 3010125

    2013

  16. [24]

    Klaus Hulek and Matthias Sch¨ utt,Enriques surfaces and Jacobian elliptic K3 surfaces , Math. Z. 268 (2011), no. 3-4, 1025–1056. MR 2818742

    2011

  17. [25]

    158, Cambridge University Press, Cambridge, 2016

    Daniel Huybrechts, Lectures on K3 surfaces , Cambridge Studies in Advanced Mathematics, vol. 158, Cambridge University Press, Cambridge, 2016. MR 358637 2

    2016

  18. [26]

    Jun-ichi Igusa, On Siegel modular forms of genus two , Amer. J. Math. 84 (1962), 175–200. MR 141643

    1962

  19. [27]

    II , Amer

    , On Siegel modular forms genus two. II , Amer. J. Math. 86 (1964), 392–412. MR 168805

    1964

  20. [28]

    1, 2 (Z¨ urich, 1994), Birkh¨ auser, Basel, 1995, pp

    Maxim Kontsevich, Homological algebra of mirror symmetry , Proceedings of the Interna- tional Congress of Mathematicians, Vol. 1, 2 (Z¨ urich, 1994), Birkh¨ auser, Basel, 1995, pp. 120–

    1994

  21. [29]

    Kutasov, Orbifolds and solitons , Phys

    D. Kutasov, Orbifolds and solitons , Phys. Lett. B 383 (1996), no. 1, 48–53. MR 1402865

    1996

  22. [30]

    I , Duke Math

    Keiji Matsumoto, Takeshi Sasaki, Nobuki Takayama, and Mas aaki Yoshida, Monodromy of the hypergeometric differential equation of type (3, 6). I , Duke Math. J. 71 (1993), no. 2, 403–426. MR 1233442

    1993

  23. [31]

    , Monodromy of the hypergeometric differential equation of ty pe (3, 6). II. The unitary reflection group of order 29· 37· 5· 7, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 20 (1993), no. 4, 617–631. MR 1267602

    1993

  24. [32]

    Afsaneh Mehran, Kummer surfaces associated to (1, 2)-polarized abelian surfaces , Nagoya Math. J. 202 (2011), 127–143. MR 2804549

    2011

  25. [33]

    Stefan Mendez-Diez and Jonathan Rosenberg, K-theoretic matching of brane charges in S- and U-duality , Adv. Theor. Math. Phys. 16 (2012), no. 6, 1591–1618. MR 3065080 K3 ORIENTIFOLDS 55

    2012

  26. [34]

    High Energy Phys

    Ruben Minasian and Gregory Moore, K-theory and Ramond-Ramond charge , J. High Energy Phys. 1997 (1997), no. 11, Paper 2, 7 pages. MR 1606278

    1997

  27. [35]

    Rick Miranda, The basic theory of elliptic surfaces , Lecture notes, available at http://www.math.colostate.edu/~miranda/BTES-Miranda.pdf, 1989

    1989

  28. [36]

    D. R. Morrison, On K3 surfaces with large Picard number , Invent. Math. 75 (1984), no. 1, 105–121. MR 728142

    1984

  29. [37]

    5, Published for the Tata Institute of Fundamental R esearch, Bombay; by Hin- dustan Book Agency, New Delhi, 2008, With appendices by C

    David Mumford, Abelian varieties, Tata Institute of Fundamental Research Studies in Math- ematics, vol. 5, Published for the Tata Institute of Fundamental R esearch, Bombay; by Hin- dustan Book Agency, New Delhi, 2008, With appendices by C. P. Rama nujam and Yuri Manin, Correc...

    1974

  30. [38]

    Nikulin and Sachiko Saito, RealK3 surfaces with non-symplectic involution and applications, Proc

    Viacheslav V. Nikulin and Sachiko Saito, RealK3 surfaces with non-symplectic involution and applications, Proc. London Math. Soc. (3) 90 (2005), no. 3, 591–654. MR 2137825

    2005

  31. [39]

    II , Proc

    , RealK3 surfaces with non-symplectic involution and applications . II , Proc. Lond. Math. Soc. (3) 95 (2007), no. 1, 20–48. MR 2329547

    2007

  32. [40]

    Keiji Oguiso and Tetsuji Shioda, The Mordell-Weil lattice of a rational elliptic surface , Com- ment. Math. Univ. St. Paul. 40 (1991), no. 1, 83–99. MR 1104782

    1991

  33. [41]

    Szabo, Constructing D-branes from K-theory, Adv

    Kasper Olsen and Richard J. Szabo, Constructing D-branes from K-theory, Adv. Theor. Math. Phys. 3 (1999), no. 4, 889–1025. MR MR1797287 (2001k:81251)

    1999

  34. [42]

    Alexander Polishchuk and Eric Zaslow, Categorical mirror symmetry: the elliptic curve , Adv. Theor. Math. Phys. 2 (1998), no. 2, 443–470. MR 1633036

    1998

  35. [43]

    Previato, T

    E. Previato, T. Shaska, and G. S. Wijesiri, Thetanulls of cyclic curves of small genus , Alba- nian J. Math. 1 (2007), no. 4, 253–270. MR 2367218

    2007

  36. [44]

    Niranjan Ramachandran and Jonathan Rosenberg, Derived categories of curves of genus one and torsors over abelian varieties , Math. Res. Lett. (2025), to appear, available at https://arxiv.org/abs/2212.14497

    2025 arXiv

  37. [45]

    Fried. Jul. Richelot, De transformatione integralium Abelianorum primi ordinis commentatio. Caput secundum. De computatione integralium Abelianorum p rimi ordinis, J. Reine Angew. Math. 16 (1837), 285–341. MR 1578135

  38. [46]

    Jonathan Rosenberg, Real Baum-Connes assembly and T-duality for torus orientif olds, J. Geom. Phys. 89 (2015), 24–31. MR 3305978

    2015

  39. [47]

    Pure Appl

    , AlgebraicK-theory and derived equivalences suggested by T-duality fo r torus orien- tifolds, J. Pure Appl. Algebra 221 (2017), no. 7, 1717–1728. MR 3614975

    2017

  40. [48]

    Justin Sawon, Isotrivial elliptic K3 surfaces and Lagrangian fibrations , preprint, arXiv:1406.1233, 2014

    2014 arXiv

  41. [49]

    Sen, An introduction to duality symmetries in string theory , Unity from duality: gravity, gauge theory and strings (Les Houches, 2001), NATO Adv

    A. Sen, An introduction to duality symmetries in string theory , Unity from duality: gravity, gauge theory and strings (Les Houches, 2001), NATO Adv. Study Inst., EDP Sci., Les Ulis, 2003, pp. 241–322. MR MR2010972 (2004i:81208)

    2001

  42. [50]

    B 474 (1996), no

    Ashoke Sen, Duality and orbifolds , Nuclear Phys. B 474 (1996), no. 2, 361–375. MR 1408165

    1996

  43. [51]

    B 475 (1996), no

    ,F -theory and orientifolds , Nuclear Phys. B 475 (1996), no. 3, 562–578. MR 1408388

    1996

  44. [52]

    Bert van Geemen, Some remarks on Brauer groups of K3 surfaces, Adv. Math. 197 (2005), no. 1, 222–247. MR 2166182

    2005

  45. [53]

    Bert van Geemen and Alessandra Sarti, Nikulin involutions on K3 surfaces, Math. Z. 255 (2007), no. 4, 731–753. MR 2274533

    2007

  46. [54]

    High Energy Phys

    Edward Witten, D-branes and K-theory, J. High Energy Phys. 1998 (1998), no. 12, paper 019, 40 pages. MR 1674715 (2000e:81151)

    1998

  47. [55]

    High Energy Phys

    , Toroidal compactification without vector structure , J. High Energy Phys. 1998 (1998), no. 2, Paper 6, 43 pp. (electronic). MR 1615617 (99e:812 14) 56 C. DORAN, A. MALMENDIER, S. M ´ENDEZ-DIEZ, AND J. ROSENBERG Department of Mathematical and Statistical Sciences, Univ ersity ...

    1998

Pith tools

Reviewed August 9, 2026 · model on record in the stance chip above.