English
Related papers

Related papers: D-completion, well-filterification and sobrificati…

200 papers

We prove several results of the following type: given finite dimensional normed space V possessing certain geometric property there exists another space X having the same property and such that (1) log (dim X) = O(log (dim V)) and (2) every…

Functional Analysis · Mathematics 2007-05-23 Stanislaw J. Szarek , Nicole Tomczak-Jaegermann

Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind of spaces. In this new context, the down-set monad becomes…

Category Theory · Mathematics 2013-05-28 Dirk Hofmann

We show that any co-orientable foliation of dimension two on a closed orientable $3$-manifold with continuous tangent plane field can be $C^0$-approximated by both positive and negative contact structures unless all the leaves are simply…

Geometric Topology · Mathematics 2016-09-27 Jonathan Bowden

We studied the relationships between Collins-Roscoe mechanism and D-spaces, proved that well-ordered (F) spaces are D-spaces. This positively answered a question asked by D.Soukup and Y.Xu before.

General Topology · Mathematics 2012-09-11 Xu Yuming

We give a new completion for the quasi-uniform spaces. We call the whole procedure {\it $\tau$-completion} and the new space {\it $\tau$-complement of the given}. The basic result is that every $T_{_0}$ quasi-uniform space has a…

General Topology · Mathematics 2010-08-10 Athanasios Andrikopoulos , John Stabakis

A topological space $X$ is a $\Delta$-space (or $X \in \Delta$) if for any decreasing sequence $\{A_n : n < \omega\}$ of subsets of $X$ with empty intersection there is a (decreasing) sequence $\{U_n : n < \omega\}$ of open sets with empty…

General Topology · Mathematics 2025-10-07 I. Juhász , J. van Mill , L. Soukup , Z. Szentmiklóssy

We define a geometrically meaningful compactification of the moduli space of smooth plane curves, which can be calculated explicitly. The basic idea is to regard a plane curve D in P^2 as a pair (P^2,D) of a surface together with a divisor,…

Algebraic Geometry · Mathematics 2007-05-23 Paul Hacking

Given a compact basic semi-algebraic set $K\subset R^n\times R^m$, a simple set $B$ (box or ellipsoid), and some semi-algebraic function $f$, we consider sets defined with quantifiers, of the form $R_f:=\{x\in B: \mbox{$f(x,y)\leq 0$ for…

Optimization and Control · Mathematics 2014-10-28 Jean B. Lasserre

We classify 1-dimensional connected dually flat manifolds $M$ that are toric in the sense of [Molitor, arXiv:2109.04839], and show that the corresponding torifications are complex space forms. Special emphasis is put on the case where M is…

Differential Geometry · Mathematics 2023-09-22 Danuzia Figueirêdo , Mathieu Molitor

In this article we prove the following boundedness result: Fix a DCC set $I\subset [0, 1]$. Let $\mathfrak{D}$ be the set of all log pairs $(X, \Delta)$ satisfying the following properties: (i) $X$ is a projective surface defined over an…

Algebraic Geometry · Mathematics 2020-11-10 Omprokash Das

In this paper, we are concerned with the problem of counting the multiplicities of a zero-dimensional regular set's zeros. We generalize the squarefree decomposition of univariate polynomials to the so-called pseudo squarefree decomposition…

Symbolic Computation · Computer Science 2021-03-08 Xiaoliang Li , Wei Niu

We construct a compactification of the moduli space of twisted holomorphic maps with varying complex structure and bounded energy. For a given compact symplectic manifold $X$ with a compatible complex structure and a Hamiltonian action of…

Symplectic Geometry · Mathematics 2007-05-23 Ignasi Mundet i Riera , Gang Tian

We define a new class of completions of locally symmetric varieties of type IV which interpolates between the Baily-Borel compactification and Mumford's toric compactifications. An arithmetic arrangement in a locally symmetric variety of…

Algebraic Geometry · Mathematics 2007-05-23 Eduard Looijenga

This paper shows that for K a local field, k a subfield of K and X a variety over k, X is complete if and only if for every finite field extension K' of K, X(K') is compact in its strong topology.

Algebraic Geometry · Mathematics 2007-05-23 Oliver Lorscheid

We investigate the completeness and completions of the normed algebras $D^{(1)}(X)$ for perfect, compact plane sets $X$. In particular, we construct a radially self-absorbing, compact plane set $X$ such that the normed algebra $D^{(1)}(X)$…

Functional Analysis · Mathematics 2015-01-19 J. F. Feinstein , H. G. Dales

We study how to use smooth, compact toric varieties for supersymmetric $AdS_4$ flux compactifications using tools of SU(3) structures, similar to $CP3$ solution. A non-vanishing globally well defined complex 3-form plays a key role in such…

High Energy Physics - Theory · Physics 2013-07-23 Sujan P. Dabholkar

Matrix completion results deal with the question of when a partially specified symmetric matrix can be completed to a member of certain matrix cones. Results from positive semidefinite matrix completion and completely positive matrix…

General Mathematics · Mathematics 2025-09-25 Markus Gabl

S. Axelrod and I.M. Singer constructed a compactification of the configuration space of distinct points in a Riemannian manifold V. A similar compactification for the moduli space of configurations of distinct points in the plane (mod the…

High Energy Physics - Theory · Physics 2007-05-23 Martin Markl

In this note we study the resolution of conifold singularity by D-branes by considering compactification of D-branes on $\C^3/(\Z_2\times\Z_2)$. The resulting vacuum moduli space of D-branes is a toric variety which turns out to be a…

High Energy Physics - Theory · Physics 2009-10-30 Subir Mukhopadhyay , Koushik Ray

We begin to study classical dimension theory from the computable analysis (TTE) point of view. For computable metric spaces, several effectivisations of zero-dimensionality are shown to be equivalent. The part of this characterisation that…

Logic · Mathematics 2015-07-01 Robert Kenny
‹ Prev 1 3 4 5 6 7 10 Next ›