Related papers: Machine $B_4$

We find conditions under which a non-orientable closed surface S embedded into an orientable closed 4-manifold X can be represented by a connected sum of an embedded closed surface in X and an unknotted projective plane in a 4-sphere. This…

The possibilities for new or unusual kinds of topological, locally linear periodic maps of non-prime order on closed, simply connected 4-manifolds with positive definite intersection pairings are explored. On the one hand, certain…

The goal of this paper is to announce there is a single orbit of the c.e. sets with inclusion, $\E$, such that the question of membership in this orbit is $\Sigma^1_1$-complete. This result and proof have a number of nice corollaries: the…

Given a reflection group $G$ acting on a complex vector space $V$, a reflection map is the composition of an embedding $X \hookrightarrow V$ with the orbit map $V\to\mathbb C^p$ that maps a $G$-orbit to a point. Reflection maps can be very…

The one-dimensional orbit set $\langle F : s \rangle$ is formed by the images of a number $s$ under the action of a semigroup generated by integer affine functions $f_i=a_i x+b_i$ taken from the set $F=\{f_1,\ldots,f_n\}$. P.Erd\H{o}s…

We formulate a strengthening of the Zariski dense orbit conjecture for birational maps of dynamical degree one. So, given a quasiprojective variety $X$ defined over an algebraically closed field $K$ of characteristic $0$, endowed with a…

We work in a class of Sobolev $W^{1,p}$ maps, with $p > d-1$, from a bounded open set $\Omega \subset \mathbb{R}^{d}$ to $\mathbb{R}^{d}$ that do not exhibit cavitation and whose trace on $\partial \Omega$ is also $W^{1,p}$. Under the…

In an earlier paper, we showed that a large class of fast recursive matrix multiplication algorithms is stable in a normwise sense, and that in fact if multiplication of $n$-by-$n$ matrices can be done by any algorithm in $O(n^{\omega +…

Let $G$ be a finite group acting linearly on $\mathbb{R}^n$. A celebrated Theorem of Procesi and Schwarz gives an explicit description of the orbit space $\mathbb{R}^n /\!/G$ as a basic closed semi-algebraic set. We give a new proof of this…

We construct infinitely many pairwise non-diffeomorphic smooth structures on a definite $4$-manifold with non-cyclic fundamental group $\mathbb{Z}/2\times \mathbb{Z}/2$.

We introduce a modification of Pillai's prime map: the prime-power map. This map fixes $1$, divides its argument by $p$ if it is a prime-power $p^k$, otherwise subtracts from its argument the largest prime-power not exceeding it. We study…

Let $f \colon X \to X$ be a surjective endomorphism of a normal projective surface. When $\operatorname{deg} f \geq 2$, applying an (iteration of) $f$-equivariant minimal model program (EMMP), we determine the geometric structure of $X$.…

Let $X$ be a connected compact 3-manifold with non-empty boundary. Consider the boundary $M$ of $X\times D^2$. $M$ is a 4-dimensional closed manifold and has the same fundamental group as $X$. Various examples of $X$ are known for which a…

Given an increasing odd homeomorphism $\sigma$ : R $\rightarrow$ R, the two bijective maps h $\sigma$ , v $\sigma$ : R 2 $\rightarrow$ R 2 dened by h $\sigma$ (x, y) = (x + $\sigma$ --1 (y), y) and v $\sigma$ (x, y) = (x, $\sigma$(x) + y).…

We show that any nonzero orbit under a noncompact, simple, irreducible linear group is dense in the Bohr compactification of the ambient space.

Let $X$ be a smooth projective variety of Albanese fiber dimension 1 and of general type. We prove that the translates through 0 of all components of $V^0(\omega_X)$ generate $\Pic^0(X)$. We then study the pluricanonical maps of $X$. We…

We prove that if $X$ is a compact, oriented, connected $4$-dimensional smooth manifold, possibly with boundary, satisfying $\chi(X)\neq 0$, then there exists an integer $C\geq 1$ such that any finite group $G$ acting smoothly and…

We prove that if $M\subset \mathbb{R}^n$ is a bounded subanalytic submanifold of $\mathbb{R}^n$ such that $B(x_0,\epsilon)\cap M$ is connected for every $x_0\in\overline{M}$ and $\epsilon>0$ small, then, for $p\in [1,\infty)$ sufficiently…

We isolate several classes of stationary sets of kappa^omega and investigate implications among them. Under a large cardinal assumption, we prove a structure theorem for stationary sets.

The period map for a smooth closed 4-manifold assigns to a Riemannian metric the space of self-dual harmonic 2-forms. This map is from the space of metrics to the Grassmannian of maximal positive subspaces in the second cohomology, where…