Global injectivity conditions for planar maps

We prove that a planar $C^1$ -smooth map $f:D\longrightarrow \mathbb{R }^{2n}$ , where $D\subseteq \mathbb{R }^{2n}$ is a convex open set, is injective if $\mathbb{R }\cap \mathrm{Spec}(df)_z=\emptyset $ for all $z\in D$ . We continue by showing that the triangulability of the differentials $(df)_z$ , $z\in D$ , ensure the global injectivity as well.     

On the third gap for proper holomorphic maps between balls

Let $F$ be a proper rational map from the complex ball $\mathbb B ^n$ into $\mathbb B ^N$ with $n>7$ and $3n+1 \le N\le 4n-7$ . Then $F$ is equivalent to a map $(G, 0, \dots , 0)$ where $G$ is a proper holomorphic map from $\mathbb B ^n$ into $\mathbb B ^{3n}$ .     

p-Harmonic functions in the Heisenberg group: boundary behaviour in domains well-approximated by non-characteristic hyperplanes

In this paper we study, for given $p,~1<p<\infty $ , the boundary behaviour of non-negative $p$ -harmonic functions in the Heisenberg group $\mathbb{H }^n$ , i.e., we consider weak solutions to the non-linear and potentially degenerate partial differential equation $$\begin{aligned} \sum _{i=1}^{2n}X_i(|Xu|^{p-2}\,X_i u)=0 \end{aligned}$$ where the vector fields $X_1,\ldots ,X_{2n}$ form a basis for the space of left-invariant vector fields on $\mathbb{H }^n$ . In particular, we introduce a set of domains $\Omega \subset \mathbb{H }^n$ which we refer to as domains well-approximated by non-characteristic hyperplanes and in $\Omega $ we prove, for $2\le p<\infty $ , the boundary Harnack inequality as well as the Hölder continuity for ratios of positive $p$ -harmonic functions vanishing on a portion of $\partial \Omega $ .     

Spectral self-affine measures with prime determinant

The self-affine measure $\mu _{M,D}$ relating to an expanding matrix $M\in M_{n}(\mathbb Z )$ and a finite digit set $D\subset \mathbb Z ^n$ is a unique probability measure satisfying the self-affine identity with equal weight. In the present paper, we shall study the spectrality of $\mu _{M,D}$ in the case when $|\det (M)|=p$ is a prime. The main result shows that under certain mild conditions, if there are two points $s_{1}, s_{2}\in \mathbb R ^{n}, s_{1}-s_{2}\in \mathbb Z ^{n}$ such that the exponential functions $e_{s_{1}}(x), e_{s_{2}}(x)$ are orthogonal in $L^{2}(\mu _{M,D})$ , then the self-affine measure $\mu _{M,D}$ is a spectral measure with lattice spectrum. This gives some sufficient conditions for a self-affine measure to be a lattice spectral measure.     

Oka properties of ball complements

Let $n>1$ be an integer. We prove that holomorphic maps from Stein manifolds $X$ of dimension ${<}n$ to the complement $\mathbb {C}^n{\setminus } L$ of a compact convex set $L\subset \mathbb {C}^n$ satisfy the basic Oka property with approximation and interpolation. If $L$ is polynomially convex then the same holds when $2\dim X \le n$ . We also construct proper holomorphic maps, immersions and embeddings $X\rightarrow \mathbb {C}^n$ with additional control of the range, thereby extending classical results of Remmert, Bishop and Narasimhan.     

Sufficient conditions for Willmore immersions in \mathbb{R }^3 to be minimal surfaces

We provide two sharp sufficient conditions for immersed Willmore surfaces in $\mathbb{R }^3$ to be already minimal surfaces, i.e. to have vanishing mean curvature on their entire domains. These results turn out to be particularly suitable for applications to Willmore graphs. We can therefore show that Willmore graphs on bounded $C^4$ -domains $\overline{\varOmega }$ with vanishing mean curvature on the boundary $\partial \varOmega $ must already be minimal graphs, which in particular yields some Bernstein-type result for Willmore graphs on $\mathbb{R }^2$ . Our methods also prove the non-existence of Willmore graphs on bounded $C^4$ -domains $\overline{\varOmega }$ with mean curvature $H$ satisfying $H \ge c_0>0 \,{\text{ on }}\, \partial \varOmega $ if $\varOmega $ contains some closed disc of radius $\frac{1}{c_0} \in (0,\infty )$ , and they yield that any closed Willmore surface in $\mathbb{R }^3$ which can be represented as a smooth graph over $\mathbb{S }^2$ has to be a round sphere. Finally, we demonstrate that our results are sharp by means of an examination of some certain part of the Clifford torus in $\mathbb{R }^3$ .     

An illumination problem: optimal apex and optimal orientation for a cone of light

Let $\{a_i:i\in I\}$ be a finite set in $\mathbb R ^n$ . The illumination problem addressed in this work is about selecting an apex $z$ in a prescribed set $Z\subseteq \mathbb R ^n$ and a unit vector $y\in \mathbb R ^n$ so that the conic light beam $$\begin{aligned} C(z,y,s):= \{x \in \mathbb R ^n : s\,\Vert x-z\Vert - \langle y, x-z\rangle \le 0\} \end{aligned}$$ captures every $a_i$ and, at the same time, it has a sharpness coefficient $ s\in [0,1]$ as large as possible.     

On the stability of \varphi -uniform domains

We study two metrics, the quasihyperbolic metric and the distance ratio metric of a subdomain $G \subset {\mathbb R}^n$ . In the sequel, we investigate a class of domains, so called $\varphi $ -uniform domains, defined by the property that these two metrics are comparable with respect to a homeomorphism $\varphi $ from $[0,\infty )$ to itself. Finally, we discuss a number of stability properties of $\varphi $ -uniform domains. In particular, we show that the class of $\varphi $ -uniform domains is stable in the sense that removal of a geometric sequence of points from a $\varphi $ -uniform domain yields a $\varphi _1$ -uniform domain.     

On the singular set of minimizers of p(x)-energies

We treat the partial regularity of locally bounded local minimizers $u$ for the $p(x)$ -energy functional $$\begin{aligned} \mathcal{E }(v;\Omega ) = \int \left( g^{\alpha \beta }(x)h_{ij}(v) D_\alpha v^i (x) D_\beta v^j (x) \right) ^{p(x)/2} dx, \end{aligned}$$ defined for maps $v : \Omega (\subset \mathbb R ^m) \rightarrow \mathbb R ^n$ . Assuming the Lipschitz continuity of the exponent $p(x) \ge 2$ , we prove that $u \in C^{1,\alpha }(\Omega _0)$ for some $\alpha \in (0,1)$ and an open set $\Omega _0 \subset \Omega $ with $\dim _\mathcal{H }(\Omega \setminus \Omega _0) \le m-[\gamma _1]-1$ , where $\dim _\mathcal{H }$ stands for the Hausdorff dimension, $[\gamma _1]$ the integral part of $\gamma _1$ , and $\gamma _1 = \inf p(x)$ .     

A zoo of diffeomorphism groups on \mathbb{R }^{n}

We consider the groups ${\mathrm{Diff }}_\mathcal{B }(\mathbb{R }^n)$ , ${\mathrm{Diff }}_{H^\infty }(\mathbb{R }^n)$ , and ${\mathrm{Diff }}_{\mathcal{S }}(\mathbb{R }^n)$ of smooth diffeomorphisms on $\mathbb{R }^n$ which differ from the identity by a function which is in either $\mathcal{B }$ (bounded in all derivatives), $H^\infty = \bigcap _{k\ge 0}H^k$ , or $\mathcal{S }$ (rapidly decreasing). We show that all these groups are smooth regular Lie groups.     

On additive involutions and Hamel bases

We provide an example of a discontinuous involutory additive function ${a: \mathbb{R}\to \mathbb{R}}$ such that ${a(H) \setminus H \ne \emptyset}$ for every Hamel basis ${H \subset \mathbb{R}}$ and show that, in fact, the set of all such functions is dense in the topological vector space of all additive functions from ${\mathbb{R}}$ to ${\mathbb{R}}$ with the Tychonoff topology induced by ${\mathbb{R}^{\mathbb{R}}}$ .     

Postulation of Disjoint Unions of Lines and Double Lines in {\mathbb{P}^3}

A double line ${C \subset \mathbb{P}^3}$ is a connected divisor of type (2, 0) on a smooth quadric surface. Fix ${(a, c) \in \mathbb{N}^2\ \backslash\ \{(0, 0)\}}$ . Let ${X \subset \mathbb{P}^3}$ be a general disjoint union of a lines and c double lines. Then X has maximal rank, i.e. for each ${t \in \mathbb{Z}}$ either ${h^1(\mathcal{I}_X(t)) = 0}$ or ${h^0(\mathcal{I}_X(t)) = 0}$ .     

Inductive topological Hausdorff dimensions and fibers of generic continuous functions

In an earlier paper Buczolich, Elekes and the author introduced a new concept of dimension for metric spaces, the so called topological Hausdorff dimension. They proved that it is precisely the right notion to describe the Hausdorff dimension of the level sets of the generic real-valued continuous function (in the sense of Baire category) defined on a compact metric space $K$ . The goal of this paper is to determine the Hausdorff dimension of the fibers of the generic continuous function from $K$ to $\mathbb {R}^n$ . In order to do so, we define the $n$ th inductive topological Hausdorff dimension, $\dim _{t^nH} K$ . Let $\dim _H K,\,\dim _t K$ and $C_n(K)$ denote the Hausdorff and topological dimension of $K$ and the Banach space of the continuous functions from $K$ to $\mathbb {R}^n$ . We show that $\sup _{y\in \mathbb {R}^n} \dim _{H}f^{-1}(y) = \dim _{t^nH} K -n$ for the generic $f \in C_n(K)$ , provided that $\dim _t K\ge n$ , otherwise every fiber is finite. In order to prove the above theorem we give some equivalent definitions for the inductive topological Hausdorff dimensions, which can be interesting in their own right. Here we use techniques coming from the theory of topological dimension. We show that the supremum is actually attained on the left hand side of the above equation. We characterize those compact metric spaces $K$ for which $\dim _{H} f^{-1}(y)=\dim _{t^nH}K-n$ for the generic $f\in C_n(K)$ and the generic $y\in f(K)$ . We also generalize a result of Kirchheim by showing that if $K$ is self-similar and $\dim _t K\ge n$ then $\dim _{H} f^{-1}(y)=\dim _{t^nH}K-n$ for the generic $f\in C_n(K)$ for every $y\in {{\mathrm{int}}}f(K)$ .     

On the topology of semi-algebraic functions on closed semi-algebraic sets

We consider a closed semi-algebraic set ${X \subset \mathbb{R}^n}$ and a C ² semi-algebraic function ${f : \mathbb{R}^n \rightarrow\mathbb{R}}$ such that ${f_{\vert X}}$ has a finite number of critical points. We relate the topology of X to the topology of the sets ${X \cap \{ f * \alpha \}}$ , where ${* \in \{\le,=,\ge \}}$ and ${\alpha \in \mathbb{R}}$ , and the indices of the critical points of ${f_{\vert X}}$ and ${-f_{\vert X}}$ . We also relate the topology of X to the topology of the links at infinity of the sets ${X \cap \{ f * \alpha\}}$ and the indices of these critical points. We give applications when ${X=\mathbb{R}^n}$ and when f is a generic linear function.     

Global symplectic coordinates on gradient Kähler–Ricci solitons

A classical result of McDuff [14] asserts that a simply connected complete Kähler manifold $(M,g,\omega )$ with non positive sectional curvature admits global symplectic coordinates through a symplectomorphism $\Psi \ : M \rightarrow \mathbb{R }^{2n}$ (where $n$ is the complex dimension of $M$ ), satisfying the following property (proved by E. Ciriza in [4]): the image $\Psi (T)$ of any complex totally geodesic submanifold $T\subset M$ through the point $p$ such that $\Psi (p)=0$ , is a complex linear subspace of $\mathbb C ^n\simeq \mathbb{R }^{2n}$ . The aim of this paper is to exhibit, for all positive integers $n$ , examples of $n$ -dimensional complete Kähler manifolds with non-negative sectional curvature globally symplectomorphic to $\mathbb{R }^{2n}$ through a symplectomorphism satisfying Ciriza’s property.     

How large dimension guarantees a given angle?

We study the following two problems: (1) Given $n\ge 2$ and $0\le \alpha \le 180^\circ $ , how large Hausdorff dimension can a compact set $A\subset \mathbb{R }^n$ have if $A$ does not contain three points that form an angle $\alpha $ ? (2) Given $\alpha $ and $\delta $ , how large Hausdorff dimension can a subset $A$ of a Euclidean space have if $A$ does not contain three points that form an angle in the $\delta $ -neighborhood of $\alpha $ ? An interesting phenomenon is that different angles show different behaviour in the above problems. Apart from the clearly special extreme angles $0$ and $180^\circ $ , the angles $60^\circ , 90^\circ $ and $120^\circ $ also play special role in problem (2): the maximal dimension is smaller for these angles than for the other angles. In problem (1) the angle $90^\circ $ seems to behave differently from other angles.     

Euclidean hypersurfaces with genuine deformations in codimension two

We classify hypersurfaces of rank two of Euclidean space ${\mathbb{R}^{n+1}}$ that admit genuine isometric deformations in ${\mathbb{R}^{n+2}}$ . That an isometric immersion ${\hat{f}\colon M^n \to \mathbb{R}^{n+2}}$ is a genuine isometric deformation of a hypersurface ${f\colon M^n\to\mathbb{R}^{n+1}}$ means that ${\hat f}$ is nowhere a composition ${\hat f=\hat F\circ f}$ , where ${\hat{F} \colon V\subset \mathbb{R}^{n+1} \to\mathbb{R}^{n+2}}$ is an isometric immersion of an open subset V containing the hypersurface.     

Linearity and Second Fundamental Forms for Proper Holomorphic Maps from \mathbb{B}^{n+1} to \mathbb{B}^{4n-3}

For a holomorphic proper map F from the ball $\mathbb{B}^{n+1}$ into $\mathbb{B}^{N+1}$ that is C ³ smooth up to the boundary, the image $M=F(\partial\mathbb{B}^{n})$ is an immersed CR submanifold in the sphere $\partial \mathbb{B}^{N+1}$ on which some second fundamental forms II _M and $\mathit{II}^{CR}_{M}$ can be defined. It is shown that when 4??n+1<N+1??4n?3, F is linear fractional if and only if $\mathit{II}_{M} - \mathit{II}_{M}^{CR} \equiv 0$ .     

Local maximal function and weights in a general setting

For a proper open set $\Omega $ immersed in a metric space with the weak homogeneity property, and given a measure $\mu $ doubling on a certain family of balls lying “well inside” of $\Omega $ , we introduce a local maximal function and characterize the weights $w$ for which it is bounded on $L^p(\Omega ,w d\mu )$ when $1<p<\infty $ and of weak type $(1,1)$ . We generalize previous known results and we also present an application to interior Sobolev’s type estimates for appropriate solutions of the differential equation $\Delta ^m u=f$ , satisfied in an open proper subset $\Omega $ of $\mathbb R ^n$ . Here, the data $f$ belongs to some weighted $L^p$ space that could allow functions to increase polynomially when approaching the boundary of $\Omega $ .     

The equidistribution of small points for strongly regular pairs of polynomial maps

In this paper, we prove the equidistribution of periodic points of a regular polynomial automorphism $f : \mathbb{A }^n \rightarrow \mathbb{A }^n$ defined over a number field $K$ : let $f$ be a regular polynomial automorphism defined over a number field $K$ and let $v\in M_K$ . Then there exists an $f$ -invariant probability measure $\mu _{f,v}$ on $\mathrm{Berk }\bigl ( \mathbb{P }^n_\mathbb{C _v} \bigr )$ such that the set of periodic points of $f$ is equidistributed with respect to $\mu _{f,v}$ .