Related papers: Combinatorial local convexity implies convexity in…

In many cases the convexity of the image of a linear map with range is $R^n$ is automatic because of the facial structure of the domain of the map. We develop a four step procedure for proving this kind of ``automatic convexity''. To make…

We prove that each non-separable completely metrizable convex subset of a Frechet space is homeomorphic to a Hilbert space. This resolves an old (more than 30 years) problem of infinite-dimensional topology. Combined with the topological…

We discuss some notions of compactness and convergence relative to a specified family F of subsets of some topological space X. The two most interesting particular cases of our construction appear to be the following ones. (1) The case in…

It is shown that, given any $k$-dimensional lattice $\Lambda$, there is a lattice sequence $\Lambda_w$, $w\in \mathbb Z$, with sub-orthogonal lattice $\Lambda_o \subset \Lambda$, converging to $\Lambda$ (unless equivalence), also we discuss…

We consider geodesically convex optimization problems involving distances to a finite set of points $A$ in a CAT(0) cubical complex. Examples include the minimum enclosing ball problem, the weighted mean and median problems, and the…

Quantum states that remain separable (i.e., not entangled) under any global unitary transformation are known as absolutely separable and form a convex set. Despite extensive efforts, the complete characterization of this set remains largely…

We provide a systematic description of the automorphism groups of specially cocompact CAT(0) cube complexes. We show that these groups are topologically finitely generated, present a method to explicitly obtain generating sets, and prove a…

Let $X$ be a cubic fourfold in $P^5_{C}$. We prove that, assuming the Hodge conjecture for the product $S \times S$, where $S$ is a complex surface, and the finite dimensionality of the Chow motive $h(S)$, there are at most a countable…

A family of compact n-manifolds is locally combinatorially defined (LCD) if it can be specified by a finite number of local triangulations. We show that LCD is equivalent to the existence of a compact branched n-manifold W, such that the…

We study the geometric structure of compact convex sets in 2-dimensional asymmetric normed lattices. We prove that every q-compact convex set is strongly q-compact and we give a complete geometric description of the compact convex sets with…

Let $H$ be a group acting on a simply-connected diagrammatically reducible combinatorial 2-complex $X$ with fine 1-skeleton. If the fixed point set $X^ H$ is non-empty, then it is contractible. Having fine 1-skeleton is a weaker version of…

Strongly convex sets in Hilbert spaces are characterized by local properties. One quantity which is used for this purpose is a generalization of the modulus of convexity \delta_\Omega of a set \Omega. We also show that \lim_{\epsilon \to 0}…

We prove that every pointed closed convex set in $\mathbb{R}^n$ is the intersection of all the rational closed halfspaces that contain it. This generalizes a previous result by the authors for compact convex sets.

An open convex set in real projective space is called divisible if there exists a discrete group of projective automorphisms which acts co-compactly. There are many examples of such sets and a theorem of Benoist implies that many of these…

We prove several exact quantitative versions of Helly's and Tverberg's theorems, which guarantee that a finite family of convex sets in $R^d$ has a large intersection. Our results characterize conditions that are sufficient for the…

We prove existence of extension dimension for paracompact spaces. Here is the main result of the paper: \proclaim{Theorem} Suppose X is a paracompact space. There is a CW complex K such that {a.} K is an absolute extensor of X up to…

An w-limit set of a continuous self-mapping of a compact metric space X is said to be totally periodic if all of its points are periodic. We say that X has the w-FTP property provided that for each continuous self-mapping f of X, every…

A complex projective manifold is rationally connected, resp. rationally simply connected, if finite subsets are connected by a rational curve, resp. the spaces parameterizing these connecting rational curves are themselves rationally…

We show that the Kakimizu complex of a knot may be locally infinite, answering a question of Przytycki--Schultens. We then prove that if a link $L$ only has connected Seifert surfaces and has a locally infinite Kakimizu complex then $L$ is…

We develop the foundations of the theory of relatively geometric actions of relatively hyperbolic groups on CAT(0) cube complexes, a notion introduced in our previous work [5]. In the relatively geometric setting we prove: full relatively…