Small Gauge Transformations and Universal Geometry in Heterotic Theories

The first part of this paper describes in detail the action of small gauge transformations in heterotic supergravity. We show a convenient gauge fixing is 'holomorphic gauge' together with a condition on the holomorphic top form. This gauge fixing, combined with supersymmetry and the Bianchi identity, allows us to determine a set of non-linear PDEs for the terms in the Hodge decomposition. Although solving these in general is highly non-trivial, we give a prescription for their solution perturbatively in α and apply this to the moduli space metric. The second part of this paper relates small gauge transformations to a choice of connection on the moduli space. We show holomorphic gauge is related to a choice of holomorphic structure and Lee form on a 'universal bundle'. Connections on the moduli space have field strengths that appear in the second order deformation theory and we point out it is generically the case that higher order deformations do not commute.

The Weil Algebra and the Weil Model

This chapter evaluates the Weil algebra and the Weil model. The Weil algebra of a Lie algebra g is a g-differential graded algebra that in a definite sense models the total space EG of a universal bundle when g is the Lie algebra of a Lie group G. The Weil algebra of the Lie algebra g and the map f is called the Weil map. The Weil map f is a graded-algebra homomorphism. The chapter then shows that the Weil algebra W(g) is a g-differential graded algebra. The chapter then looks at the cohomology of the Weil algebra; studies algebraic models for the universal bundle and the homotopy quotient; and considers the functoriality of the Weil model.

A Universal Bundle for a Compact Lie Group

This chapter looks at a universal bundle for a compact Lie group. By Milnor's construction, every topological group has a universal bundle. Independently of Milnor's result, the chapter constructs a universal bundle for any compact Lie group G. This construction is based on the fact that every compact Lie group can be embedded as a subgroup of some orthogonal group O(k). The chapter first constructs a universal O(k)-bundle by finding a weakly contractible space on which O(k) acts freely. The infinite Stiefel variety V (k, ∞) is such a space. As a subgroup of O(k), the compact Lie group G will also act freely on V (k, ∞), thereby producing a universal G-bundle.

The universal n-pointed surface bundle only has n sections

The classifying space BDiff[Formula: see text] of the orientation-preserving diffeomorphism group of a surface [Formula: see text] of genus [Formula: see text] fixing [Formula: see text] points pointwise has a universal bundle [Formula: see text] The [Formula: see text] fixed points provide [Formula: see text] sections [Formula: see text] of [Formula: see text]. In this paper we prove a conjecture of R. Hain that any section of [Formula: see text] is homotopic to some [Formula: see text]. Let [Formula: see text] be the space of ordered [Formula: see text]-tuple of distinct points on [Formula: see text]. As part of the proof of Hain’s conjecture, we prove a result of independent interest: any surjective homomorphism [Formula: see text] is equal to one of the forgetful homomorphisms [Formula: see text], possibly post-composed with an automorphism of [Formula: see text]. We also classify sections of the universal hyperelliptic surface bundle.

Bundle Theory with Kinds

Is it possible to get by with just one ontological category? We evaluate L.A. Paul's attempt to do so: the mereological bundle theory. The upshot is that Paul's attempt to construct a one category ontology may be challenged with some of her own arguments. In the positive part of the paper we outline a two category ontology with property universals and kind universals. We will also examine Paul's arguments against a version of universal bundle theory that takes spatiotemporal co-location instead of compresence or coinstantiation as the feature by which we can identify genuine bundles. We compare this novel theory, bundle theory with kinds, and Paul's mereological bundle theory and apply them to a case study concerning entangled fermions and co-located bosons.

EVIDENCE TO SUBCANONICITY OF CODIMENSION TWO SUBVARIETIES OF 𝔾(1,4)

In this paper, we show that any smooth subvariety of codimension two in 𝔾(1,4) (the Grassmannian of lines of ℙ4) of degree at most 25 is subcanonical. Analogously, we prove that smooth subvarieties of codimension two in 𝔾(1,4) that are not of general type have degree ≤ 32 and we classify all of them. In both classifications, any subvariety in the final list is either a complete intersection or the zero locus of a section of a twist of the rank-two universal bundle on 𝔾(1,4).