Extensions of Picard 2-Stacks and the cohomology groups Ext^i of length 3 complexes

The aim of this paper is to define and study the 3-category of extensions of Picard 2-stacks over a site S and to furnish a geometrical description of the cohomology groups Ext^i of length 3 complexes of abelian sheaves. More precisely, our main Theorem furnishes (1) a parametrization of the equivalence classes of objects, 1-arrows, 2-arrows, and 3-arrows of the 3-category of extensions of Picard 2-stacks by the cohomology groups Ext^i, and (2) a geometrical description of the cohomology groups Ext^i of length 3 complexes of abelian sheaves via extensions of Picard 2-stacks. To this end, we use the triequivalence between the 3-category of Picard 2-stacks and the tricategory T^[-2,0](S) of length 3 complexes of abelian sheaves over S introduced by the second author in arXiv:0906.2393, and we define the notion of extension in this tricategory T^[-2,0](S), getting a pure algebraic analogue of the 3-category of extensions of Picard 2-stacks. The calculus of fractions that we use to define extensions in the tricategory T^[-2,0](S) plays a central role in the proof of our Main Theorem.Comment: 2 New Appendix: in the first Appendix we compute a long exact sequence involving the homotopy groups of an extension of Picard 2-stacks, and in the second Appendix we sketch the proof that the fibered sum of Picard 2-stacks satisfies the universal propert

The evolution of bits and bottlenecks in a scientific workflow trying to keep up with technology: Accelerating 4D image segmentation applied to nasa data

In 2016, a team of earth scientists directly engaged a team of computer scientists to identify cyberinfrastructure (CI) approaches that would speed up an earth science workflow. This paper describes the evolution of that workflow as the two teams bridged CI and an image segmentation algorithm to do large scale earth science research. The Pacific Research Platform (PRP) and The Cognitive Hardware and Software Ecosystem Community Infrastructure (CHASE-CI) resources were used to significantly decreased the earth science workflow's wall-clock time from 19.5 days to 53 minutes. The improvement in wall-clock time comes from the use of network appliances, improved image segmentation, deployment of a containerized workflow, and the increase in CI experience and training for the earth scientists. This paper presents a description of the evolving innovations used to improve the workflow, bottlenecks identified within each workflow version, and improvements made within each version of the workflow, over a three-year time period

Flavor Structure in F-theory Compactifications

F-theory is one of frameworks in string theory where supersymmetric grand unification is accommodated, and all the Yukawa couplings and Majorana masses of right-handed neutrinos are generated. Yukawa couplings of charged fermions are generated at codimension-3 singularities, and a contribution from a given singularity point is known to be approximately rank 1. Thus, the approximate rank of Yukawa matrices in low-energy effective theory of generic F-theory compactifications are minimum of either the number of generations N_gen = 3 or the number of singularity points of certain types. If there is a geometry with only one E_6 type point and one D_6 type point over the entire 7-brane for SU(5) gauge fields, F-theory compactified on such a geometry would reproduce approximately rank-1 Yukawa matrices in the real world. We found, however, that there is no such geometry. Thus, it is a problem how to generate hierarchical Yukawa eigenvalues in F-theory compactifications. A solution in the literature so far is to take an appropriate factorization limit. In this article, we propose an alternative solution to the hierarchical structure problem (which requires to tune some parameters) by studying how zero mode wavefunctions depend on complex structure moduli. In this solution, the N_gen x N_gen CKM matrix is predicted to have only N_gen entries of order unity without an extra tuning of parameters, and the lepton flavor anarchy is predicted for the lepton mixing matrix. We also obtained a precise description of zero mode wavefunctions near the E_6 type singularity points, where the up-type Yukawa couplings are generated.Comment: 148 page

SO/Sp Monopoles and Branes with Orientifold 3 Plane

We study BPS monopoles in 4 dimensional N=4 SO(N) and $Sp(N)$ super Yang-Mills theories realized as the low energy effective theory of $N$ (physical and its mirror) parallel D3 branes and an {\it Orientifold 3 plane} with D1 branes stretched between them in type IIB string theory. Monopoles on D3 branes give the natural understanding by embedding in SU(N) through the constraints on both the asymptotic Higgs field (corresponding to the horizontal positions of D3 branes) and the magnetic charges (corresponding to the number of D1 branes) imposed by the O3 plane. The compatibility conditions of Nahm data for monopoles for these groups can be interpreted very naturally through the D1 branes in the presence of O3 plane.Comment: 18 pages, Latex with RevTex, 1 table, 4 figures, v2: Clarified the introduction and improved on the supersymmetric theory on D1 branes in page 7 and 8 and this final version to appear in Phys.Rev.

Phase Structure of a Brane/Anti-Brane System at Large N

We further analyze a class of recently studied metastable string vacua obtained by wrapping D5-branes and anti-D5-branes over rigid homologous S^2's of a non-compact Calabi-Yau threefold. The large N dual description is characterized by a potential for the glueball fields which is determined by an auxiliary matrix model. The higher order corrections to this potential produce a suprisingly rich phase structure. In particular, at sufficiently large 't Hooft coupling the metastable vacua present at weak coupling cease to exist. This instability can already be seen by an open string two loop contribution to the glueball potential. The glueball potential also lifts some of the degeneracy in the vacua characterized by the phases of the glueball fields. This generates an exactly computable non-vanishing axion potential at large N.Comment: v3: 55 pages, 11 figures, typos correcte

Stability of the Minimal Heterotic Standard Model Bundle

The observable sector of the "minimal heterotic standard model" has precisely the matter spectrum of the MSSM: three families of quarks and leptons, each with a right-handed neutrino, and one Higgs-Higgs conjugate pair. In this paper, it is explicitly proven that the SU(4) holomorphic vector bundle leading to the MSSM spectrum in the observable sector is slope-stable.Comment: LaTeX, 19 page

U(n) Spectral Covers from Decomposition

We construct decomposed spectral covers for bundles on elliptically fibered Calabi-Yau threefolds whose structure groups are S(U(1) x U(4)), S(U(2) x U(3)) and S(U(1) x U(1) x U(3)) in heterotic string compactifications. The decomposition requires not only the tuning of the SU(5) spectral covers but also the tuning of the complex structure moduli of the Calabi-Yau threefolds. This configuration is translated to geometric data on F-theory side. We find that the monodromy locus for two-cycles in K3 fibered Calabi-Yau fourfolds in a stable degeneration limit is globally factorized with squared factors under the decomposition conditions. This signals that the monodromy group is reduced and there is a U(1) symmetry in a low energy effective field theory. To support that, we explicitly check the reduction of a monodromy group in an appreciable region of the moduli space for an $E_6$ gauge theory with (1+2) decomposition. This may provide a systematic way for constructing F-theory models with U(1) symmetries.Comment: 41 pages, 14 figures; v2: minor improvements and a reference adde

Gauge Theories with Tensors from Branes and Orientifolds

We present brane constructions in Type IIA string theory for N=1 supersymmetric SO and Sp gauge theories with tensor representations using an orientifold 6-plane. One limit of these set-ups corresponds to N=2 theories previously constructed by Landsteiner and Lopez, while a different limit yields N=1 SO or Sp theories with a massless tensor and no superpotential. For the Sp-type orientifold projection comparison with the field theory moduli space leads us to postulate two new rules governing the stability of configurations of D-branes intersecting the orientifold. Lifting one of our configurations to M-theory by finding the corresponding curves, we re-derive the N=1 dualities for SO and Sp groups using semi-infinite D4 branes.Comment: Discussion on duality in U(N) with a symmetric or antisymmetric flavor added to Section 4. Typos fixe