Related papers: Set-Theoretic Geology
The two main theorems proved here are as follows: If $A$ is a finite dimensional algebra over an algebraically closed field, the identity component of the algebraic group of outer automorphisms of $A$ is invariant under derived equivalence.…
An overview of unified theory models that extend the standard model is given. A scenario describing the physics beyond the standard model is developed based on a finite quantum field theory (FQFT) and the group G=$SO(3,1)\otimes…
The main theorem of this article is that every countable model of set theory M, including every well-founded model, is isomorphic to a submodel of its own constructible universe. In other words, there is an embedding $j:M\to L^M$ that is…
We construct a three-dimensional topological sigma model which is induced from a generalized complex structure on a target generalized complex manifold. This model is constructed from maps from a three-dimensional manifold $X$ to an…
The technique of symmetric extensions is derived from forcing and it is one of the most important tools for studying models without the Axiom of Choice. Despite being incredibly successful since the 1960s, our understanding of the technique…
It was realized early on that topologies can model constructive systems, as the open sets form a Heyting algebra. After the development of forcing, in the form of Boolean-valued models, it became clear that, just as over ZF any…
We investigate the thermodynamics of a spatially flat Friedmann-Robertson-Walker (FRW) universe within the framework of Generalized Proca (GP) theory, a comprehensive vector-tensor theory. By adopting two distinct dark energy models in GP,…
As experiment charts new territory at the electroweak scale, the enterprise to characterise all possible theories becomes all the more necessary. In the absence of new particles, this ambitious enterprise is attainable and has led to the…
We classify the allowed structures of the discrete 1-form gauge sector in six-dimensional supergravity theories realized as F-theory compactifications. This provides upper bounds on the 1-form gauge factors $\mathbb{Z}_m$ and in particular…
A class of vector-tensor theories arises naturally in the framework of quadratic gravity in spacetimes with linear vector distortion. Requiring the absence of ghosts for the vector field imposes an interesting condition on the allowed…
We discuss ways of adjoining perfect sets of mutually generic random reals. In particular, we show that if V \sub W are models of ZFC and W contains a dominating real over V, then W[r], where r is random over W, contains a perfect tree of…
In this article we present a technique for selecting models of set theory that are complete in a model-theoretic sense. Specifically, we will apply Robinson infinite forcing to the collections of models of ZFC obtained by Cohen forcing.…
The purpose of this paper is twofold: 1. we prove the triangulability of smooth orbifolds with corners, generalizing the same statement for orbifolds. 2. based on 1, we propose a new homology theory. We call it geometric homology theory…
Let E and F be vector bundles over a complex projective smooth curve X, and suppose that 0 -> E -> W -> F -> 0 is a nontrivial extension. Let G be a subbundle of F, and D an effective divisor on X. We give a criterion for the subsheaf G(-D)…
A {\it wrinkled embedding} $f:V^n\to W^m$ is a topological embedding which is a smooth embedding everywhere on $V$ except a set of $(n-1)$-dimensional spheres, where $f$ has cuspidal corners. In this paper we prove that any rotation of the…
We take advantage of the principal bundle geometry of the space of connections to obtain general results on the presymplectic structure of two classes of (pure) gauge theories: invariant theories, and non-invariant theories satisfying two…
The first main result is a topological rigidity theorem for complete immersed hypersurfaces of spherical space forms which extends similar results due to do Carmo/Warner, Wang/Xia and Longa/Ripoll. Under certain sharp conditions on the…
We develop a generic spacetime model in General Relativity which can be used to build any gravitational model within General Relativity. The generic model uses two types of assumptions: (a) Geometric assumptions additional to the inherent…
The subject of the paper is the geometry and topology of cosmological spacetimes and vector bundles thereon, which are used to model physical fields propagating in the universe. Global hyperbolicity and factorization properties of the…
Within dependent type theory, we provide a topological counterpart of well-founded trees (for short, W-types) by using a proof-relevant version of the notion of inductively generated suplattices introduced in the context of formal topology…