English
Related papers

Related papers: Pregeometric Spaces from Wolfram Model Rewriting S…

200 papers

We classify topological phases of non-Hermitian systems in the Altland-Zirnbauer classes with an additional reflection symmetry in all dimensions. By mapping the non-Hermitian system into an enlarged Hermitian Hamiltonian with an enforced…

Mesoscale and Nanoscale Physics · Physics 2019-03-13 Chun-Hui Liu , Hui Jiang , Shu Chen

Classical higher-derivative gravity is investigated in the context of the holographic renormalization group (RG). We parametrize the Euclidean time such that one step of time evolution in (d+1)-dimensional bulk gravity can be directly…

High Energy Physics - Theory · Physics 2009-11-07 Masafumi Fukuma , So Matsuura

We present a precise definition of extended homotopy quantum field theories and develop an orbifold construction for these theories when the target space is the classifying space of a finite group $G$, i.e. for $G$-equivariant topological…

Quantum Algebra · Mathematics 2019-08-16 Christoph Schweigert , Lukas Woike

The questions of global topological, smooth and holomorphic classifications of the differential systems, defined by covering foliations, are considered. The received results are applied to nonautonomous linear differential systems and…

Dynamical Systems · Mathematics 2011-01-06 V. N. Gorbuzov , V. Yu. Tyshchenko

Let V be a cofibrantly generated closed symmetric monoidal model category and M a model V-category. We say that a weighted colimit W*D of a diagram D weighted by W is a homotopy weighted colimit if the diagram D is pointwise cofibrant and…

Category Theory · Mathematics 2012-01-17 Lukáš Vokřínek

In this survey article, given a smooth closed manifold M we study the space of Riemannian metrics of positive scalar curvature on M. A long-standing question is: when is this space non-empty (i.e. when does M admit a metric of positive…

Geometric Topology · Mathematics 2015-07-16 Thomas Schick

For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…

Category Theory · Mathematics 2018-03-07 Ged Corob Cook

Higher-dimensional automata, i.e., pointed labeled precubical sets, are a powerful combinatorial-topological model for concurrent systems. In this paper, we show that for every (nonempty) connected polyhedron there exists a shared-variable…

Formal Languages and Automata Theory · Computer Science 2024-04-26 Catarina Faustino , Thomas Kahl , Rodrigo Lopes

Configuration space integrals have in recent years been used for studying the cohomology of spaces of (string) knots and links in $\mathbb{R}^n$ for $n>3$ since they provide a map from a certain differential algebra of diagrams to the…

Algebraic Topology · Mathematics 2017-11-16 Robin Koytcheff , Brian A. Munson , Ismar Volic

Homotopy Type Theory may be seen as an internal language for the $\infty$-category of weak $\infty$-groupoids which in particular models the univalence axiom. Voevodsky proposes this language for weak $\infty$-groupoids as a new foundation…

Category Theory · Mathematics 2019-02-20 Egbert Rijke , Bas Spitters

Wheeler emphasized the study of Superspace - the space of 3-geometries on a spatial manifold of fixed topology. This is a configuration space for GR; knowledge of configuration spaces is useful as regards dynamics and QM.In this Article I…

General Relativity and Quantum Cosmology · Physics 2015-05-15 Edward Anderson

We define and develop the infrastructure of homotopical inverse diagrams in categories with attributes. Specifically, given a category with attributes $C$ and an ordered homotopical inverse category $I$, we construct the category with…

Logic · Mathematics 2026-02-06 Chris Kapulkin , Peter LeFanu Lumsdaine

We describe a construction of the modular class associated to a representation up to homotopy of a Lie groupoid. In the case of the adjoint representation up to homotopy, this class is the obstruction to the existence of a volume form, in…

Differential Geometry · Mathematics 2015-07-28 Rajan Amit Mehta

The structure of topological spaces is analysed here through the lenses of fibrous preorders. Each topological space has an associated fibrous preorder and those fibrous preorders which return a topological space are called spacial. A…

General Topology · Mathematics 2021-02-22 Nelson Martins-Ferreira

We formalize the notion of limit of an inverse system of metric spaces with $1$-Lipschitz projections having unbounded fibers. The purpose is to use sub-Riemannian groups for metrizing the space of signatures of rectifiable paths in…

Metric Geometry · Mathematics 2019-10-11 Enrico Le Donne , Roger Züst

We construct a rational homotopy pullback decomposition for variants of the classifying space of the group of homeomorphisms for a large class of manifolds. This has various applications, including a rational section of the stabilisation…

Algebraic Topology · Mathematics 2025-07-11 Manuel Krannich , Alexander Kupers

It is known that a single mapping defined on one term of a differential graded vector space extends to a strongly homotopy Lie algebra structure on the graded space when that mapping satisfies two conditions. This strongly homotopy Lie…

Rings and Algebras · Mathematics 2007-05-23 Samer Al-Ashhab

In this paper, we explore a connection between binary hierarchical models, their marginal polytopes and codeword polytopes, the convex hulls of linear codes. The class of linear codes that are realizable by hierarchical models is…

Statistics Theory · Mathematics 2016-04-08 Thomas Kahle , Walter Wenzel , Nihat Ay

We provide a general construction procedure for antilinearly invariant complex root spaces. The proposed method is generic and may be applied to any Weyl group allowing to take any element of the group as a starting point for the…

High Energy Physics - Theory · Physics 2012-04-13 Andreas Fring , Monique Smith

We present a construction of a 2-Hilbert space of sections of a bundle gerbe, a suitable candidate for a prequantum 2-Hilbert space in higher geometric quantisation. We introduce a direct sum on the morphism categories in the 2-category of…

Mathematical Physics · Physics 2017-09-20 Severin Bunk