相关论文: Maps to the projective plane
A Riemannian manifold is a called a good rational expander in dimension $i$ if every $i$-cycle bounds a rational $i+1$-chain of comparatively small volume. We construct 3-manifolds which are good expanders in all dimensions. On the other…
To understand the structure of an algebraic variety we often embed it in various projective spaces. This develops the notion of projective geometry which has been an invaluable tool in algebraic geometry. We develop a perfectoid analog of…
Relying on a recent criterion, due to A.~Petrunin [18], to check if a complete, non-compact, Riemannian manifold admits an isometric embedding into a Euclidean space with positive reach, we extend to manifolds with such property the…
We show that expansive maps from a dense subset of a compact metric space into the metric space itself are isometries
The notion of a regular operator with compact supports between function spaces is introduced. On that base we obtain a characterization of absolute extensors for zero-dimensional spaces in terms of regular extension operators having compact…
Let $X$ be a projective toric variety of dimension $n$ and let $L$ be a ample line bundle on $X$. For $k \geq 0$, it is in general difficult to determine whether $L^{\otimes k}$ is very ample and whether it additionally gives a projectively…
We study the isometric extension problem for H\"{o}lder maps from subsets of any Banach space into $c_0$ or into a space of continuous functions. For a Banach space $X$, we prove that any $\alpha$-H\"{o}lder map, with $0<\alpha\leq 1$, from…
Let $A$ be any plane set. It is known that a holomorphic motion $h: A \times \mathbb{D} \to \mathbb{C}$ always extends to a holomorphic motion of the entire plane. It was recently shown that any isotopy $h: X \times [0,1] \to \mathbb{C}$,…
Let A be a based subspace of Y. Under the assumptions that Y is path-connected and that the reduced diagonal map of A induces the zero map in all mod 2 reduced homology groups, we compute a formula for the mod 2 reduced Poincar\'{e} series…
Let $X$ be a projective manifold of dimension $n$. Suppose that $T_X$ contains an ample subsheaf. We show that $X$ is isomorphic to $\mathbb{P}^n$. As an application, we derive the classification of projective manifolds containing a…
Given $m \in \mathbb{N} \setminus \{0\}$ and a compact Riemannian manifold $\mathcal{N}$, we construct for every map $u$ in the critical Sobolev space $W^{m/(m + 1), m + 1} (\mathbb{S}^m, \mathcal{N})$, a map $U : \mathbb{B}^{m + 1} \to…
We consider generalized metric spaces taking distances in an arbitrary ordered commutative monoid, and investigate when a class $\mathcal{K}$ of finite generalized metric spaces satisfies the Hrushovski extension property: for any…
In this short note we observe that the higher topological complexity of an iterated connected sum of real projective spaces is maximal possible. Unlike the case of regular TC, the result is accessible through easy mod 2 zero-divisor…
In this paper we extend certain central results of zero dimensional systems to higher dimensions. The first main result shows that if (Y,f) is a finitely presented system, then there exists a Smale space (X,F) and a u-resolving factor map…
We consider 1-complemented subspaces (ranges of contractive projections) of vector-valued spaces $\ell_p(X)$, where $X$ is a Banach space with a 1-unconditional basis and $p \in (1,2)\cup (2,\infty)$. If the norm of $X$ is twice…
Given topological spaces X and Y, a fundamental problem of algebraic topology is understanding the structure of all continuous maps X -> Y . We consider a computational version, where X, Y are given as finite simplicial complexes, and the…
Arveson's extension theorem guarantees that every completely positive map defined on an operator system can be extended to a completely positive map defined on the whole C*-algebra containing it. An analogous statement where complete…
We describe the proper absolute (neighborhood) extensors for the class of at most $n$-dimensional spaces, notation $\rm{A(N)E}_p(n)$. For example, the unique locally compact $n$-dimensional separable metric space $X\in\rm{AE}_p(n)$…
For a nonempty convex subset $C$ of a Hadamard space $X$, it is proved that $u=P_Cx$ if and only if $\langle\overrightarrow{xu},\overrightarrow{uy}\rangle \geqslant0$ for all $y\in C$. As an application of this characterization, we prove…
An outstanding folklore conjecture asserts that, for any prime $p$, up to isomorphism the projective plane $PG(2,\mathbb{F}_p)$ over the field $\mathbb{F}_p := \mathbb{Z}/p\mathbb{Z}$ is the unique projective plane of order $p$. Let $\pi$…