Related papers: A Thom Isotopy Theorem for nonproper semialgebraic…
We give a natural construction and a direct proof of the Adams isomorphism for equivariant orthogonal spectra. More precisely, for any finite group G, any normal subgroup N of G, and any orthogonal G-spectrum X, we construct a natural map A…
The well-known Reifenberg theorem states that if a subset of $\mathbb{R}^n$ can be well approximated by $k$-planes at every point and every scale, then it is biH\"older homeomorphic to a $k$-disk. This article concerns a subset $S$ of…
In this paper, based on the homotopy continuation method and the interval Newton method, an efficient algorithm is introduced to isolate the real roots of semi-algebraic system. Tests on some random examples and a variety of problems…
We consider convex maps f:R^n -> R^n that are monotone (i.e., that preserve the product ordering of R^n), and nonexpansive for the sup-norm. This includes convex monotone maps that are additively homogeneous (i.e., that commute with the…
We consider minimal maps $f:M\to N$ between Riemannian manifolds $(M,\mathrm{g}_M)$ and $(N,\mathrm{g}_N)$, where $M$ is compact and where the sectional curvatures satisfy $\sec_N\le \sigma\le \sec_M$ for some $\sigma>0$. Under certain…
We establish axiomatic characterizations of $K$-theory and $KK$-theory for real C*-algebras. In particular, let $F$ be an abelian group-valued functor on separable real C*-algebras. We prove that if $F$ is homotopy invariant, stable, and…
Finding necessary and sufficient conditions for isomorphism between two semigroups of order-preserving transformations over an infinite domain with restricted range was an open problem in \cite{FHQS}. In this paper, we show a proof strategy…
Given a semialgebraic set-valued map $F \colon \mathbb{R}^n \rightrightarrows \mathbb{R}^m$ with closed graph, we show that the map $F$ is Holder metrically subregular and that the following conditions are equivalent: (i) $F$ is an open map…
The space of non-resultant systems of bounded multiplicity for a toric variety X is a generalization of the space of rational curves on it. In our earlier work we proved a homotopy stability theorem and determined explicitly the homotopy…
A T-graph (a special case of a chordal graph) is the intersection graph of connected subtrees of a suitable subdivision of a fixed tree T . We deal with the isomorphism problem for T-graphs which is GI-complete in general - when T is a part…
An isovariant map is an equivariant map between $G$-spaces which strictly preserves isotropy groups. In this paper, we lay the groundwork for the study of isovariant stable homotopy theory. We prove an isovariant Blakers--Massey theorem and…
We study a second order differential equation corresponding to rotationally symmetric $F$-harmonic maps between certain noncompact manifolds. We show unique continuation and Liouville's type theorems for positive solutions. Asymptotic…
It is proved that each of compact linear groups of one special type admits a semialgebraic continuous factorization map onto a real vector space.
A semialgebraic map $f:X\to Y$ between two real algebraic sets is called blow-Nash if it can be made Nash (i.e. semialgebraic and real analytic) by composing with finitely many blowings-up with non-singular centers. We prove that if a…
Working jointly in the equivalent categories of MV-al\-ge\-bras and lattice-ordered abelian groups with strong order unit (for short, unital $\ell$-groups), we prove that isomorphism is a sufficient condition for a separating subalgebra $A$…
In this work we prove that the set of points at infinity $S_\infty:={\rm Cl}_{{\mathbb R}{\mathbb P}^m}(S)\cap\mathsf{H}_\infty$ of a semialgebraic set $S\subset{\mathbb R}^m$ which is the image of a polynomial map $f:{\mathbb…
We establish a half-space theorem \`a la Hoffman and Meeks for nonlocal minimal surfaces. Differently from the classical case, our result holds in every dimension.
The Fundamental Morphism Theorem is a categorical version of the First Noether Isomorphism Theorem for categories that do not have kernels or cokernels. We consider two categories of graphs. Both categories will admit graphs with multiple…
We present an abstract KAM theorem, adapted to space-multidimensional hamiltonian PDEs with smoothing non-linearities. The main novelties of this theorem are that: $\bullet$ the integrable part of the hamiltonian may contain a hyperbolic…
Let $X$ be a nonempty set and $\mathcal{P}=\{X_i\colon i\in I\}$ a partition of $X$. Denote by $T(X)$ the full transformation semigroup on $X$, and $T(X, \mathcal{P})$ the subsemigroup of $T(X)$ consisting of all transformations that…