English
Related papers

Related papers: Sober topological spaces valued in a quantale

200 papers

It is shown that background fields of a topological character usually introduced as such in compactified string theories correspond to quantum degrees of freedom which parametrise the freedom in choosing a representation of the zero mode…

High Energy Physics - Theory · Physics 2008-11-26 Jan Govaerts , Florian Payen

Spectrum constructions appear throughout mathematics as a way of constructing topological spaces from algebraic data. Given a commutative localic semiring R (the pointfree analogue of a topological semiring), we define a spectrum of R which…

Rings and Algebras · Mathematics 2022-01-19 Graham Manuell

It is shown how one can define vector topological charges for topological exitations of non-linear sigma-models on compact homogeneous spaces T_G and G/T_G (where G is a simple compact Lie group and T_G is its maximal commutative subgroup).…

High Energy Physics - Theory · Physics 2009-10-31 S. A. Bulgadaev

A test space is the set of outcome-sets associated with a collection of experiments. This notion provides a simple mathematical framework for the study of probabilistic theories -- notably, quantum mechanics -- in which one is faced with…

Quantum Physics · Physics 2009-11-10 Alexander Wilce

The collection of all topologies on a set X forms a complete lattice with respect to the inclusion order, which have been investigated by many researchers. Sobriety is one of the core and extensively studied properties in non-Hausdorff…

General Topology · Mathematics 2025-08-08 Xiangrui Li , Qingguo Li , Dongsheng Zhao

In this paper, we investigate the sobriety of weakly first-countable spaces and give some sufficient conditions that the Scott topologies of the open set lattices are sober. The main results are: (1) Let $P$ and $Q$ be two posets. If…

General Topology · Mathematics 2025-04-09 Zhengmao He

Conjugation spaces are equipped with an involution such that the fixed points have the same mod 2 cohomology (as a graded vector space, a ring, and even an unstable algebra) but with all degrees divided by 2, generalizing the classical…

Algebraic Topology · Mathematics 2021-02-10 Wolfgang Pitsch , Nicolas Ricka , Jerome Scherer

A co-valuation is, essentially, a minimal finite cover. We introduce a logic based on co-valuations, which play the role of valuations of free variables in classical first-order logic, and show that the fundamental tools of model theory --…

Logic · Mathematics 2026-01-06 Maciej Malicki

Topology of the spatial coherence function is considered in details. The phase singularity (coherence vortices) structures of coherence function are classified by Hopf index and Brouwer degree in topology. The coherence flux quantization…

Optics · Physics 2008-11-07 Ji-Rong Ren , Tao Zhu , Yi-Shi Duan

Since Hochster's work, spectral spaces have attracted increasing interest. Through this note we intend to show that the set of proper ideals of a ring endowed with coarse lower topology is a spectral space.

Commutative Algebra · Mathematics 2024-08-21 Amartya Goswami

In \cite{E_2018}, Ern\'e relaxed the concept of sobriety in order to extend the theory of sober spaces and locally hypercompact spaces to situations where directed joins were missing, and introduced three kinds of non-sober spaces: cut…

General Topology · Mathematics 2019-07-16 Xinpeng Wen , Xiaoquan Xu

The natural duality between "topological" and "regular," both considered as convergence space properties, extends naturally to p-regular convergence spaces, resulting in the new concept of a p-topological convergence space. Taking advantage…

General Topology · Mathematics 2007-05-23 Scott A. Wilde , D. C. Kent

We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory. In those papers, the main idea was to assign a sieve as a partial and contextual truth value to a proposition that the…

Quantum Physics · Physics 2007-05-23 J. Butterfield , C. J. Isham

For a collection of subcategories satisfying a fixed set of conditions, for example thick subcategories of a triangulated category, we define a topological space called classifying space of subcategories. We show that this space classifies…

Category Theory · Mathematics 2017-09-12 Yong Liu

The so-called topos approach provides a radical reformulation of quantum theory. Structurally, quantum theory in the topos formulation is very similar to classical physics. There is a state object, analogous to the state space of a…

Quantum Physics · Physics 2013-12-06 Andreas Doering , Rui Soares Barbosa

\emph{Scalable spaces} are simply connected compact manifolds or finite complexes whose real cohomology algebra embeds in their algebra of (flat) differential forms. This is a rational homotopy invariant property and all scalable spaces are…

Geometric Topology · Mathematics 2022-09-16 Aleksandr Berdnikov , Fedor Manin

Motivated by applications to duality theorems for $p$-adic pro-\'etale cohomology of rigid analytic spaces, we study the category of Topological Vector Spaces in the setting of condensed mathematics. We prove that it contains, as full…

Algebraic Geometry · Mathematics 2025-11-25 Pierre Colmez , Wiesława Nizioł

Topological order in strongly correlated systems, including quantum spin liquids, quantum Hall states in lattices and topological superconductivity is treated. Various metallic non-Fermi-liquid states are discussed, including fractionalized…

Strongly Correlated Electrons · Physics 2022-09-12 V. Yu. Irkhin , Yu. N. Skryabin

We investigate a tangent space at a point of a general metric space and metric space valued derivatives. The conditions under which two different subspace of a metric space have isometric tangent spaces in a common point of these subspaces…

Metric Geometry · Mathematics 2009-04-29 O. Dovgoshey

In a recent paper, a realizability technique has been used to give a semantics of a quantum lambda calculus. Such a technique gives rise to an infinite number of valid typing rules, without giving preference to any subset of those. In this…

Logic in Computer Science · Computer Science 2023-06-22 Alejandro Díaz-Caro , Octavio Malherbe