Related papers: Fibrewise nullification and the cube theorem

This is a first stab at a mathematical framework in which one can study quantum field theories on spacetimes with quite general geometries. We will study these theories via their factorization algebras. The aim is to identify a minimalist…

Let $X$ be a discrete metric space with bounded geometry. We show that if $X$ admits an "A-by-CE coarse fibration", then the canonical quotient map $\lambda: C^*_{\max}(X)\to C^*(X)$ from the maximal Roe algebra to the Roe algebra of $X$,…

Given a fibration of simply connected CW complexes of finite type, we study the evaluation subgroup of the fibre inclusion as an invariant of fibre-homotopy type. For spherical fibrations, we show the evaluation subgroup may be expressed as…

In this paper we introduce a new kind of topological space, called 'structured space', which locally resembles various kinds of algebraic structures. This can be useful, for instance, to locally study a space that cannot be globally endowed…

We propose a framework for treating F-theory directly, without resolving or deforming its singularities. This allows us to explore new sectors of gauge theories, including exotic bound states such as T-branes, in a global context. We use…

We investigate the representation theory of a large class of pointed Hopf algebras, extending results of Lusztig and others. We classify all simple modules in a suitable category and determine the weight multiplicities; we establish a…

We investigate topological properties of Calabi-Yau fourfolds and consider a wide class of explicit constructions in weighted projective spaces and, more generally, toric varieties. Divisors which lead to a non-perturbative superpotential…

We continue our study of compactifications of F-theory on Calabi--Yau threefolds. We gain more insight into F-theory duals of heterotic strings and provide a recipe for building F-theory duals for arbitrary heterotic compactifications on…

Neural networks excel at pattern recognition but struggle with reliable logical reasoning, often violating basic logical principles during inference. We address this limitation by developing a categorical framework that systematically…

We introduce the notion of metric semilattice on the metric space and prove the criterion of $\R$-tree as connected geodesic metric space $X$ admitting the partial order, such that $X$ is semilinear metric semilattice. Also we state the…

We introduce a notion of coarse embedding at infinity into Hilbert space for metric spaces, which is a weakening of the notion of fibred coarse embedding and a far generalization of Gromov's concept of coarse embedding. It turns out that a…

In the paper we construct and develop a fiber strong shape theory for arbitrary spaces over fixed metrizable space $\Bo$. Our approach is based on the method of Marde\v{s}i\'{c}-Lisica and instead of resolutions, introduced by…

In a type-theoretic fibration category in the sense of Shulman (representing a dependent type theory with at least 1, Sigma, Pi, and identity types), we define the type of constant functions from A to B. This involves an infinite tower of…

We develop a strategy to classify the components of the space of sections of a del Pezzo fibration over $\mathbb{P}^{1}$. In particular, we prove the Movable Bend and Break lemma for del Pezzo fibrations. Our approach is motivated by…

We investigate fibrancy conditions in the Thomason model structure on the category of small categories. In particular, we show that the category of weak equivalences of a partial model category is fibrant. Furthermore, we describe…

This paper provides an overview of Lawvere's Fixed-Point Theorem in category theory and aims to detail the universal framework underlying self-reference and recursive structures. First, we rigorously define fundamental concepts - such as…

In this paper we generalize Tannakian formalism to fiber functors over general tensor categories. We will show that (under some technical conditions) if the fiber functor has a section, then the source category is equivalent to the category…

We construct a general class of Calabi--Yau threefolds from fiber products of rational elliptic surfaces with section, generalizing a construction of Schoen to include all Kodaira fiber types. The resulting threefolds each have two elliptic…

In equivariant geometry, a localization (a.k.a., concentration) theorem is typically interpreted as a relationship between the equivariant geometry of a space with a group action and the geometry of its fixed locus. We take a different…

We give a sufficient condition for a model theoretic structure $B$ to 'inherit' quantifier elimination from another structure $A$. This yields an alternative proof of one of the main result from \cite{kle}, namely quantifier elimination for…