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

Puzzles for Matrix Models of Chiral Field Theories

We summarize the field-theory/matrix model correspondence for a chiral N=1 model with matter in the adjoint, antisymmetric and conjugate symmetric representations as well as eight fundamentals to cancel the chiral anomaly. The associated holomorphic matrix model is consistent only for two fundamental fields, which requires a modification of the original Dijkgraaf-Vafa conjecture. The modified correspondence holds in spite of this mismatch.Comment: Contribution to the proceedings of the 36th International Symposium Ahrenshoop, Berlin, August 26-30, 2003; 6 Page

Higher-dimensional study of extensions via torsors

Let S be a site. First we define the 3-category of torsors under a Picard S-2-stack and we compute its homotopy groups. Using calculus of fractions we define also a pure algebraic analogue of the 3-category of torsors under a Picard S-2-stack. Then we describe extensions of Picard S-2-stacks as torsors endowed with a group law on the fibers. As a consequence of such a description, we show that any Picard S-2-stack admits a canonical free partial left resolution that we compute explicitly. Moreover we get an explicit right resolution of the 3-category of extensions of Picard S-2-stacks in terms of 3-categories of torsors. Using the homological interpretation of Picard S-2-stacks, we rewrite this three categorical dimensions higher right resolution in the derived category of abelian sheaves on S.Comment: We change the title and we add new result

GUT theories from Calabi-Yau 4-folds with SO(10) Singularities

We consider an SO(10) GUT model from F-theory compactified on an elliptically fibered Calabi-Yau with a D5 singularity. To obtain the matter curves and the Yukawa couplings, we use a global description to resolve the singularity. We identify the vector and spinor matter representations and their Yukawa couplings and we explicitly build the G-fluxes in the global model and check the agreement with the semi-local results. As our bundle is of type SU(2k), some extra conditions need to be applied to match the fluxes.Comment: 27 page

Compact F-theory GUTs with U(1)_PQ

We construct semi-local and global realizations of SU(5) GUTs in F-theory that utilize a U(1)_PQ symmetry to protect against dimension four proton decay. Symmetries of this type, which assign charges to H_u and H_d that forbid a tree level \mu term, play an important role in scenarios for neutrino physics and gauge mediation that have been proposed in local F-theory model building. As demonstrated in arXiv:0906.4672, the presence of such a symmetry implies the existence of non-GUT exotics in the spectrum, when hypercharge flux is used to break the GUT group and to give rise to doublet-triplet splitting. These exotics are of precisely the right type to solve the unification problem in such F-theory models and might also comprise a non-standard messenger sector for gauge mediation. We present a detailed description of models with U(1)_PQ in the semi-local regime, which does not depend on details of any specific Calabi-Yau four-fold, and then specialize to the geometry of arXiv:0904.3932 to construct three-generation examples with the minimal allowed number of non-GUT exotics. Among these, we find a handful of models in which the D3-tadpole constraint can be satisfied without requiring the introduction of anti-D3-branes. Finally, because SU(5) singlets that carry U(1)_PQ charge may serve as candidate right-handed neutrinos or can be used to lift the exotics, we study their origin in compact models and motivate a conjecture for how to count their zero modes in a semi-local setting.Comment: 73 pages, 5 figures, v2: minor corrections to 4.3 and 6.3.1, reference adde

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

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

Meta-Stable Brane Configurations by Adding an Orientifold-Plane to Giveon-Kutasov

In hep-th/0703135, they have found the type IIA intersecting brane configuration where there exist three NS5-branes, D4-branes and anti-D4-branes. By analyzing the gravitational interaction for the D4-branes in the background of the NS5-branes, the phase structures in different regions of the parameter space were studied in the context of classical string theory. In this paper, by adding the orientifold 4-plane and 6-plane to the above brane configuration, we describe the intersecting brane configurations of type IIA string theory corresponding to the meta-stable nonsupersymmetric vacua of these gauge theories.Comment: 21 pp, 6 figures; reduced bytes of figures, DBI action analysis added and to appear in JHE