English
Related papers

Related papers: Semi-linear stars are contractible

200 papers

There are two natural simplicial complexes associated to the noncrossing partition lattice: the order complex of the full lattice and the order complex of the lattice with its bounding elements removed. The latter is a complex that we call…

Combinatorics · Mathematics 2017-07-21 Michael Dougherty , Jon McCammond

For L a finite lattice, let C(L) denote the set of pairs g = (g_0,g_1) such that g_0 is a lower cover of g_1 and order it as follows: g <= d iff g_0 <= d_0, g_1 <= d_1, but not g_1 <= d_0. Let C(L,g) denote the connected component of g in…

Logic · Mathematics 2008-07-22 Luigi Santocanale

The semistable minimal model program is a special case of the minimal model program concerning 3-folds fibred over a curve and birational morphisms preserving this structure. We classify semistable divisorial contractions which contract the…

Algebraic Geometry · Mathematics 2010-03-16 Paul Hacking

A map between operator spaces is called completely coarse if the sequence of its amplifications is equi-coarse. We prove that all completely coarse maps must be $\mathbb R$-linear. On the opposite direction of this result, we introduce a…

Operator Algebras · Mathematics 2020-06-02 Bruno M. Braga , Javier Alejandro Chávez-Domínguez

Let X be a definable sub-set of some o-minimal structure. We study the spectrum of X, in relation with the definability of types.

Logic · Mathematics 2007-05-23 Antongiulio Fornasiero

We prove that all cubulated groups are semistable at infinity. In doing so we prove two further results about cubulations of groups. The first of these states that any one-ended cubulated group has a cubulation for which all halfspaces are…

Group Theory · Mathematics 2022-10-17 Sam Shepherd

Let M be an o-minimal structure with elimination of imaginaries, N an unstable structure definable in M. Then there exists X, interpretable in N, such that X with all the structure induced from N is o-minimal. In particular X is linearly…

Logic · Mathematics 2007-05-23 Assaf Hasson , Alf Onshuus

Let K be an expansion of either an ordered field or a valued field. Given a definable set X $\subseteq$ K<sup>m</sup> let C(X) be the ring of continuous definable functions from X to K. Under very mild assumptions on the geometry of X and…

Logic · Mathematics 2018-10-31 Luck Darnière , Marcus Tressl

In this note, we propose a straightforward method to produce an straight-line embedding of a planar graph where one face of a graph is fixed in the plane as a star-shaped polygon. It is based on minimizing discrete Dirichlet energies,…

Computational Geometry · Computer Science 2022-04-25 Yanwen Luo

It is known that families of graphs with a semialgebraic edge relation of bounded complexity satisfy much stronger regularity properties than arbitrary graphs, and that they can be decomposed into very homogeneous semialgebraic pieces up to…

Logic · Mathematics 2016-02-25 Artem Chernikov , Sergei Starchenko

In this paper, we show that a partitioned formula \phi is dependent if and only if \phi has uniform definability of types over finite partial order indiscernibles. This generalizes our result from a previous paper [1]. We show this by…

Logic · Mathematics 2011-08-12 Vincent Guingona

A topological space is nonseparably connected if it is connected but all of its connected separable subspaces are singletons. We show that each connected sequential topological space X is the image of a nonseparably connected complete…

General Topology · Mathematics 2011-10-11 T. Banakh , M. Vovk , M. R. Wójcik

A subset $E$ of a metric space $X$ is said to be starlike-equivalent if it has a neighbourhood which is mapped homeomorphically into $\mathbb{R}^n$ for some $n$, sending $E$ to a starlike set. A subset $E\subset X$ is said to be recursively…

Geometric Topology · Mathematics 2024-05-13 Jeffrey Meier , Patrick Orson , Arunima Ray

We show that for some classes of groups $G$, the homotopy fiber $E_{\mathrm{com}} G$ of the inclusion of the classifying space for commutativity $E_{\mathrm{com}} G$ into the classifying space $BG$, is contractible if and only if $G$ is…

Algebraic Topology · Mathematics 2019-09-20 Omar Antolín-Camarena , Bernardo Villarreal

Given a smooth affine curve X over a field k of positive characteristic, and an overconvergent F-isocrystal on X, we prove after replacing k by a finite purely inseparable extension, there exists a finite separable cover of X, the pullback…

Number Theory · Mathematics 2007-05-23 Kiran S. Kedlaya

A boundedly compact (boundedly weakly compact) m-connected (Menger-connected) set is shown to be monotone path-\allowbreak connected and is a sun in a broad class of Banach spaces (in particular, in separable spaces). Further, the…

Classical Analysis and ODEs · Mathematics 2014-11-03 Alexey R. Alimov

A note connecting arguments scattered in the extant literature proving that, in any o-minimal expansion of the real field, a definable family of sets has the property that the set of parameters corresponding to finite-volume fibers is…

Logic · Mathematics 2025-08-14 L. C. Brown

Let $G$ be a $3$-connected graph with a $3$-connected (or sufficiently small) simple minor $H$. We establish that $G$ has a forest $F$ with at least $\left\lceil(|G|-|H|+1)/2\right\rceil$ edges such that $G/e$ is $3$-connected with an…

Combinatorics · Mathematics 2021-01-14 João Paulo Costalonga

Let $R$ be a unital $*$-ring. For any $a,w,b\in R$, we apply the defined $w$-core inverse to define a new class of partial orders in $R$, called the $w$-core partial order. Suppose $a,b\in R$ are $w$-core invertible. We say that $a$ is…

Rings and Algebras · Mathematics 2023-09-26 Huihui Zhu , Liyun Wu

We investigate the relationship between coseparable and semisimple corings. In particular we prove that a coring over a separable algebra is coseparable if and only if it is absolutely semisimple.

Rings and Algebras · Mathematics 2007-05-23 J. Gomez-Torrecillas , A. Louly