Related papers: Set-Theoretic Geology
In this paper, we unify various approaches to generalized covering space theory by introducing a categorical framework in which coverings are defined purely in terms of unique lifting properties. For each category $\mathcal{C}$ of…
We consider hyperbolic structures on the compression body C with genus 2 positive boundary and genus 1 negative boundary. Note that C deformation retracts to the union of the torus boundary and a single arc with its endpoints on the torus.…
In this paper, we investigate connections between structures present in every generic extension of the universe $V$ and computability theory. We introduce the notion of {\em generic Muchnik reducibility} that can be used to to compare the…
Elimination of the fibre coordinate dependence from the connection form transformation rule for a bundle with a coset manifold standard fibre reduces the structure group. The nonlinear SU(4) action on an $S^7$ bundle is applied to the…
Distributions, i.e., subsets of tangent bundles formed by piecing together subspaces of tangent spaces, are commonly encountered in the theory and application of differential geometry. Indeed, the theory of distributions is a fundamental…
F-theory admits 7-branes with exceptional gauge symmetries, which can be compactified to give phenomenological four-dimensional GUT models. Here we study general supersymmetric compactifications of eight-dimensional Yang-Mills theory. They…
In this talk we shall show a perfect fluid cosmological model and its properties. The model possesses an orthogonally transitive abelian two-dimensional group of isometries that corresponds to cylindrical symmetry. The matter content is a…
Wick's theorem, known for yielding normal ordered from time-ordered bosonic fields may be generalized for a simple relationship between any two orderings that we define over canonical variables, in a broader sense than before. In this broad…
For a general cubic fourfold $X\subset\mathbb{P}^5$ with Fano scheme of lines $F$, we prove a number of properties of the universal family of lines $I\to F$ and various subloci. We first describe the moduli and ramification theory of the…
The purpose of this work is to demonstrate how an arbitrarily chosen background of the Universe can be made a solution of a simple geometric sigma model. Geometric sigma models are purely geometric theories in which spacetime coordinates…
This paper presents a generalization of symplectic geometry to a principal bundle over the configuration space of a classical field. This bundle, the vertically adapted linear frame bundle, is obtained by breaking the symmetry of the full…
In this work we present the foundations of generalized scalar-tensor theories arising from vector bundle constructions, and we study the kinematic, dynamical and cosmological consequences. In particular, over a pseudo-Riemannian space-time…
Motivated by the theory of Inoue-type varieties, we give a structure theorem for projective manifolds $W_0$ with the property of admitting a 1-parameter deformation where $W_t$ is a hypersurface in a projective smooth manifold $Z_t$. Their…
Homotopy type theory (HoTT) can be seen as a generalisation of structural set theory, in the sense that 0-types represent structural sets within the more general notion of types. For material set theory, we also have concrete models as…
We analyze a gauge-Higgs unification model which is based on a gauge theory defined on a six-dimensional spacetime with an $S^2$ extra-space. We impose a symmetry condition for a gauge field and non-trivial boundary conditions of the $S^2$.…
When working in Homotopy Type Theory and Univalent Foundations, the traditional role of the category of sets, Set, is replaced by the category hSet of homotopy sets (h-sets); types with h-propositional identity types. Many of the properties…
Let $V$ be a real or complex vector space. The finite topology of $V$ consists of all the subsets $U$ for which the intersection $U \cap F$ is closed in $F$ for every finite-dimensional linear subspace of $V$. It is known that if $V$ has…
We introduce a framework for constructing fractal trees via analytic generator fields, replacing discrete affine transformations and symbolic rewriting rules by the integration of smooth vector fields in an internal state space. In this…
Traversable wormholes have traditionally been viewed as intrinsically topological entities in some multiply connected spacetime. Here, we show that topology is too limited a tool to accurately characterize a generic traversable wormhole: in…
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…