Related papers: Regular Points of a Subcartesian Space
We define an interesting sub-category of the category of simplicial sets, $\Sr$, whose objects are called regular. Both it and the subcategory ${\cal S}_{f-{\rm reg}}$ of finite regular simplicial sets have good stability properties under…
In this work we compare the semialgebraic subsets that are images of regulous maps with those that are images of regular maps. Recall that a map f : R n $\rightarrow$ R m is regulous if it is a rational map that admits a continuous…
Let G be a group definable in an o-minimal structure M. We prove that the union of the Cartan subgroups of G is a dense subset of G. When M is an expansion of a real closed field we give a characterization of Cartan subgroups of G via their…
We show that every henselian valued field $L$ of residue characteristic 0 admits a proper subfield $K$ which is dense in $L$. We present conditions under which this can be taken such that $L|K$ is transcendental and $K$ is henselian. These…
This paper introduces a novel class of topological spaces, termed SC*-regular spaces, which are defined using SC*-open sets. We explore their fundamental properties and examine their connections with existing regularity concepts, such as…
A positive answer is given to the existence of Sasakian structures on the tangent sphere bundle of some Riemannian manifold whose sectional curvature is not constant. Among other results, it is proved that the tangent sphere bundle Tr(G/K),…
We investigate the question of whether or not the orbit of a point in A/Q, under the natural action of a subset S of Q, is dense in A/Q. We prove that if the set S is a multiplicative semigroup which contains at least two multiplicatively…
We prove results related to robust transitivity and density of periodic points of Partially Hyperbolic Diffeomorphisms under conditions involving Accessibility and a property in the tangent bundle .
We define a graph to be $S$-regular if it contains an equitable partition given by a matrix $S$. These graphs are generalizations of both regular and bipartite, biregular graphs. An $S$-regular matrix is defined then as a matrix on an…
Let $\mathcal{L}$ be a line bundle on a smooth and proper scheme $X$ over $S$. We compute, in the case where $S$ is smooth over a field of characteristic $0$, the virtual fundamental class of the closed subset of $S$ consisting of those…
We prove that the spatial coagulation equation with bounded coagulation rate is well-posed for all times in a given class of kernels if the convection term of the underlying particle dynamics has divergence bounded below by a positive…
Let $X\subset \mathbb R^n$ be a connected locally closed definable set in an o-minimal structure. We prove that the following three statements are equivalent: (i) $X$ is a $C^1$ manifold, (ii) the tangent cone and the paratangent cone of…
We construct a consistent example of a topological space $Y=X \cup \{\infty\}$ such that: 1) $Y$ is regular. 2) Every $G_\delta$ subset of $Y$ is open. 3) The point $\infty$ is not isolated, but it is not in the closure of any discrete…
Given an arbitrary topological complex vector space $A$, a quotient vector bundle for $A$ is a quotient of a trivial vector bundle $\pi_2:A\times X\to X$ by a fiberwise linear continuous open surjection. We show that this notion subsumes…
We prove that Axiom A is open and dense in the space of $C^1$ area contracting orientation-preserving embeddings on compact orientable surfaces with boundary. This settles the area contracting version of the {\em Smale's conjecture}…
We give a survey of the known connections between regularity conditions and amenability conditions in the setting of uniform algebras. For a uniform algebra $A$ we consider the set, $A_{lc}$, of functions in $A$ which are locally constant…
For $G$ a split semi-simple group scheme and $P$ a principal $G$-bundle on a relative curve $X\to S$, we study a natural obstruction for the triviality of $P$ on the complement of a relatively ample Cartier divisor $D \subset X$. We show,…
We use the structure lattice, introduced in Part I, to undertake a systematic study of the class $\mathscr S$ consisting of compactly generated, topologically simple, totally disconnected locally compact groups that are non-discrete. Given…
We obtain a characterization of the proximal normal cone to a prox-regular subset of a Riemannian manifold. Moreover, some properties of Bouligand tangent cones to prox-regular sets are described. We prove that for a prox-regular subset S…
The (.)_reg construction was introduced in order to make an arbitrary semigroup S divide a regular semigroup (S)_reg which shares some important properties with S (e.g., finiteness, subgroups, torsion bounds, J-order structure). We show…