Anomaly Cancelation in Field Theory and F-theory on a Circle

We study the manifestation of local gauge anomalies of four- and six-dimensional field theories in the lower-dimensional Kaluza-Klein theory obtained after circle compactification. We identify a convenient set of transformations acting on the whole tower of massless and massive states and investigate their action on the low-energy effective theories in the Coulomb branch. The maps employ higher-dimensional large gauge transformations and precisely yield the anomaly cancelation conditions when acting on the one-loop induced Chern-Simons terms in the three- and five-dimensional effective theory. The arising symmetries are argued to play a key role in the study of the M-theory to F-theory limit on Calabi-Yau manifolds. For example, using the fact that all fully resolved F-theory geometries inducing multiple Abelian gauge groups or non-Abelian groups admit a certain set of symmetries, we are able to generally show the cancelation of pure Abelian or pure non-Abelian anomalies in these models.Comment: 48 pages, 2 figures; v2: typos corrected, comments on circle fluxes adde

On Flux Quantization in F-Theory II: Unitary and Symplectic Gauge Groups

We study the quantization of the M-theory G-flux on elliptically fibered Calabi-Yau fourfolds with singularities giving rise to unitary and symplectic gauge groups. We seek and find its relation to the Freed-Witten quantization of worldvolume fluxes on 7-branes in type IIB orientifold compactifications on Calabi-Yau threefolds. By explicitly constructing the appropriate four-cycles on which to calculate the periods of the second Chern class of the fourfolds, we find that there is a half-integral shift in the quantization of G-flux whenever the corresponding dual 7-brane is wrapped on a non-spin submanifold. This correspondence of quantizations holds for all unitary and symplectic gauge groups, except for SU(3), which behaves mysteriously. We also perform our analysis in the case where, in addition to the aforementioned gauge groups, there is also a 'flavor' U(1)-gauge group.Comment: 33 pages, 4 figure

Old stones’ song—second verse: use-wear analysis of rhyolite and fenetized andesite artifacts from the Oldowan lithic industry of Kanjera South, Kenya

This paper investigates Oldowan hominin behavioral ecology through use-wear analysis of artifacts from Kanjera South, Western Kenya. It extends development of our experimental use-wear reference collection and analysis of use-wear on the well preserved and unweathered Oldowan tools from this site to include rhyolite, a non-local material of similar durability to previously studied quartz and quartzite tools, and fenetized andesite, a local material with considerably less durability. Variability in rhyolite and fenetized andesite texture, inclusions, and matrix required enhancement of previous methods so we combine the use of stereoscopic, metallographic, and scanning electron microscopy in this study. This study allows us to begin exploration of the links between specific artifactual raw materials and the materials they were used to process. Data assembled so far suggest that tools fashioned from non-local and local stone were, with one possible exception, used to process similar materials. Additionally, experiments carried out with replicas of tools made of rhyolite and fenetized andesite confirm interpretation of reduction sequences that tools made of less durable local material had a shorter use-life and were used expediently compared to the more durable non-local quartz, quartzite, and rhyolite. These new data improve our understanding, of the functional needs, behavioral solutions, and cognitive capacities of Oldowan hominins. Finally, these data show how use-wear analysis, combined with lithic raw material and lithic technology, can be a powerful means for evaluating two key points for human evolution: long-term memory, and planning

Fluxes and Warping for Gauge Couplings in F-theory

We compute flux-dependent corrections in the four-dimensional F-theory effective action using the M-theory dual description. In M-theory the 7-brane fluxes are encoded by four-form flux and modify the background geometry and Kaluza-Klein reduction ansatz. In particular, the flux sources a warp factor which also depends on the torus directions of the compactification fourfold. This dependence is crucial in the derivation of the four-dimensional action, although the torus fiber is auxiliary in F-theory. In M-theory the 7-branes are described by an infinite array of Taub-NUT spaces. We use the explicit metric on this geometry to derive the locally corrected warp factor and M-theory three-from as closed expressions. We focus on contributions to the 7-brane gauge coupling function from this M-theory back-reaction and show that terms quadratic in the internal seven-brane flux are induced. The real part of the gauge coupling function is modified by the M-theory warp factor while the imaginary part is corrected due to a modified M-theory three-form potential. The obtained contributions match the known weak string coupling result, but also yield additional terms suppressed at weak coupling. This shows that the completion of the M-theory reduction opens the way to compute various corrections in a genuine F-theory setting away from the weak string coupling limit.Comment: 46 page

G-flux and Spectral Divisors

We propose a construction of G-flux in singular elliptic Calabi-Yau fourfold compactifications of F-theory, which in the local limit allow a spectral cover description. The main tool of construction is the so-called spectral divisor in the resolved Calabi-Yau geometry, which in the local limit reduces to the Higgs bundle spectral cover. We exemplify the workings of this in the case of an E_6 singularity by constructing the resolved geometry, the spectral divisor and in the local limit, the spectral cover. The G-flux constructed with the spectral divisor is shown to be equivalent to the direct construction from suitably quantized linear combinations of holomorphic surfaces in the resolved geometry, and in the local limit reduces to the spectral cover flux.Comment: 30 page

Gauge Fluxes in F-theory and Type IIB Orientifolds

We provide a detailed correspondence between G_4 gauge fluxes in F-theory compactifications with SU(n) and SU(n)x(1) gauge symmetry and their Type IIB orientifold limit. Based on the resolution of the relevant F-theory Tate models we classify the factorisable G_4-fluxes and match them with the set of universal D5-tadpole free U(1)-fluxes in Type IIB. Where available, the global version of the universal spectral cover flux corresponds to Type IIB gauge flux associated with a massive diagonal U(1). In U(1)-restricted Tate models extra massless abelian fluxes exist which are associated with specific linear combinations of Type IIB fluxes. Key to a quantitative match between F-theory and Type IIB is a proper treatment of the conifold singularity encountered in the Sen limit of generic F-theory models. We also shed further light on the brane recombination process relating generic and U(1)-restricted Tate models.Comment: 53 pages, 3 figures; v2: Refs added; v3: minor corrections to match version published in JHE

Massive Abelian Gauge Symmetries and Fluxes in F-theory

F-theory compactified on a Calabi-Yau fourfold naturally describes non-Abelian gauge symmetries through the singularity structure of the elliptic fibration. In contrast Abelian symmetries are more difficult to study because of their inherently global nature. We argue that in general F-theory compactifications there are massive Abelian symmetries, such as the uplift of the Abelian part of the U(N) gauge group on D7-branes, that arise from non-Kahler resolutions of the dual M-theory setup. The four-dimensional F-theory vacuum with vanishing expectation values for the gauge fields corresponds to the Calabi-Yau limit. We propose that fluxes that are turned on along these U(1)s are uplifted to non-harmonic four-form fluxes. We derive the effective four-dimensional gauged supergravity resulting from F-theory compactifications in the presence of the Abelian gauge factors including the effects of possible fluxes on the gauging, tadpoles and matter spectrum.Comment: 49 page

Oldest evidence of tool making hominins in a grassland-dominated ecosystem.

BACKGROUND: Major biological and cultural innovations in late Pliocene hominin evolution are frequently linked to the spread or fluctuating presence of C(4) grass in African ecosystems. Whereas the deep sea record of global climatic change provides indirect evidence for an increase in C(4) vegetation with a shift towards a cooler, drier and more variable global climatic regime beginning approximately 3 million years ago (Ma), evidence for grassland-dominated ecosystems in continental Africa and hominin activities within such ecosystems have been lacking. METHODOLOGY/PRINCIPAL FINDINGS: We report stable isotopic analyses of pedogenic carbonates and ungulate enamel, as well as faunal data from approximately 2.0 Ma archeological occurrences at Kanjera South, Kenya. These document repeated hominin activities within a grassland-dominated ecosystem. CONCLUSIONS/SIGNIFICANCE: These data demonstrate what hitherto had been speculated based on indirect evidence: that grassland-dominated ecosystems did in fact exist during the Plio-Pleistocene, and that early Homo was active in open settings. Comparison with other Oldowan occurrences indicates that by 2.0 Ma hominins, almost certainly of the genus Homo, used a broad spectrum of habitats in East Africa, from open grassland to riparian forest. This strongly contrasts with the habitat usage of Australopithecus, and may signal an important shift in hominin landscape usage

A Global SU(5) F-theory model with Wilson line breaking

We engineer compact SU(5) Grand Unified Theories in F-theory in which GUT-breaking is achieved by a discrete Wilson line. Because the internal gauge field is flat, these models avoid the high scale threshold corrections associated with hypercharge flux. Along the way, we exemplify the `local-to-global' approach in F-theory model building and demonstrate how the Tate divisor formalism can be used to address several challenges of extending local models to global ones. These include in particular the construction of G-fluxes that extend non-inherited bundles and the engineering of U(1) symmetries. We go beyond chirality computations and determine the precise (charged) massless spectrum, finding exactly three families of quarks and leptons but excessive doublet and/or triplet pairs in the Higgs sector (depending on the example) and vector-like exotics descending from the adjoint of SU(5)_{GUT}. Understanding why vector-like pairs persist in the Higgs sector without an obvious symmetry to protect them may shed light on new solutions to the mu problem in F-theory GUTs.Comment: 95 pages (71 pages + 1 Appendix); v2 references added, minor correction