Related papers: Directions in Type I spaces
Every end of an infinite graph $ G $ defines a tangle of infinite order in $ G $. These tangles indicate a highly cohesive substructure in the graph if and only if they are closed in some natural topology. We characterize, for every finite…
A topology is defined on the mapping class group of a compact connected orientable surface. It is shown that a notion of "genericity" on subsets of the mapping class group arises from this definition. Many plausible results follow from this…
Given a closed manifold $M$ and a closed regular submanifold $L$, consider the corresponding locally convex space $I=I(M,L)$ of conormal distributions, with its natural topology, and the strong dual $I'=I'(M,L)=I(M,L;\Omega)'$ of the space…
A topological space ${\mathcal X}$ is reversible iff each continuous bijection (condensation) $f: {\mathcal X} \rightarrow {\mathcal X}$ is a homeomorphism; weakly reversible iff whenever ${\mathcal Y}$ is a space and there are…
After introducing the different boundary geometries of rank one symmetric spaces, we state and prove Fried's theorem in the general setting of all those geometries: a closed manifold with a similarity structure is either complete or the…
A space is called linearly H-closed iff any chain cover possesses a dense member. This property lies strictly between feeble compactness and H-closedness. While regular H-closed spaces are compact, there are linearly H-closed spaces which…
This paper extends sliding-mode control theory to nonlinear systems evolving on smooth manifolds. Building on differential geometric methods, we reformulate Filippov's notion of solutions, characterize well-defined vector fields on quotient…
We introduce a novel decidable fragment of first-order logic. The fragment is one-dimensional in the sense that quantification is limited to applications of blocks of existential (universal) quantifiers such that at most one variable…
We study the properties of topological spaces $(X,\tau)$, where $X$ is a definable set in an o-minimal structure and the topology $\tau$ on $X$ has a basis that is (uniformly) definable. Examples of such spaces include the canonical…
We define categories of stratified manifolds (s-manifolds) and stratified manifolds with corners (s-manifolds with corners). An s-manifold $\bf X$ of dimension $n$ is a Hausdorff, locally compact topological space $X$ with a stratification…
The orientable cover of the moduli space of real genus zero algebraic curves with marked points is a compact aspherical manifold tiled by associahedra, which resolves the singularities of the space of phylogenetic trees. The resolution maps…
One-dimensional fragment of first-order logic is obtained by restricting quantification to blocks of existential (universal) quantifiers that leave at most one variable free. We investigate this fragment over words and trees, presenting a…
A Moebius structure (on a set X) is a class of metrics having the same cross-ratios. A Moebius structure is ptolemaic if it is invariant under inversion operations. The boundary at infinity of a CAT(-1) space is in a natural way a Moebius…
We study codimension one (transversally oriented) foliations $\fa$ on oriented closed manifolds $M$ having non-empty compact singular set $\sing(\fa)$ which is locally defined by Bott-Morse functions. We prove that if the transverse type of…
Suppose $(X,\omega)$ is a compact K\"ahler manifold of dimension $n$, and $\theta$ is closed $(1,1)$-form representing a big cohomology class. We introduce a metric $d_1$ on the finite energy space $\mathcal{E}^1(X,\theta)$, making it a…
In a former paper the first and third authors introduced the notion of direction set for a subset of R^n, and showed that the dimension of the common direction set of two subanalytic subsets, called directional dimension, is preserved by a…
Work of Linnell shows that the space of left-orderings of a group is either finite or uncountable, and in the case that the space is finite, the isomorphism type of the group is known---it is what is known as a Tararin group. By defining…
In this paper, we characterize and classify all surfaces endowed with canonical principal direction relative to a space-like and light-like, constant direction in Minkowski 3-spaces.
Infinite graphs are finitary in the sense that their points are connected via finite paths. So what would an infinitary generalization of finite graphs look like? Usually this question is answered with the aid of topology, e.g. in the case…
We say that a (countably dimensional) topological vector space $X$ is orbital if there is $T\in L(X)$ and a vector $x\in X$ such that $X$ is the linear span of the orbit ${T^nx:n=0,1,...}$. We say that $X$ is strongly orbital if,…