Hard Sard: Quantitative Implicit Function and Extension Theorems for Lipschitz Maps

We prove a global implicit function theorem. In particular we show that any Lipschitz map ${f : \mathbb{R}^{n} \times \mathbb{R}^{m} \rightarrow \mathbb{R}^{n}}$ (with n-dim. image) can be precomposed with a bi-Lipschitz map ${\bar{g} : \mathbb{R}^{n} \times \mathbb{R}^{m} \rightarrow \mathbb{R}^{n} \times \mathbb{R}^{m}}$ such that ${f \circ \bar{g}}$ will satisfy, when we restrict to a large portion of the domain ${E \subset \mathbb{R}^{n} \times \mathbb{R}^{m}}$ , that ${f \circ \bar{g}}$ is bi-Lipschitz in the first coordinate, and constant in the second coordinate. Geometrically speaking, the map ${\bar{g}}$ distorts ${\mathbb{R}^{n+m}}$ in a controlled manner so that the fibers of f are straightened out. Furthermore, our results stay valid when the target space is replaced by any metric space. A main point is that our results are quantitative: the size of the set E on which behavior is good is a significant part of the discussion. Our estimates are motivated by examples such as Kaufman’s 1979 construction of a C ¹ map from [0, 1]³ onto [0, 1]² with rank ≤ 1 everywhere. On route we prove an extension theorem which is of independent interest. We show that for any D ≥ n, any Lipschitz function ${f : [0,1]^{n} \rightarrow \mathbb{R}^{D}}$ gives rise to a large (in an appropriate sense) subset ${E \subset [0,1]^{n}}$ such that ${f|_E}$ is bi-Lipschitz and may be extended to a bi-Lipschitz function defined on all of ${\mathbb{R}^{n}}$ . This extends results of Jones and David, from 1988. As a simple corollary, we show that n-dimensional Ahlfors–David regular spaces lying in ${\mathbb{R}^{D}}$ having big pieces of bi-Lipschitz images also have big pieces of big pieces of Lipschitz graphs in ${\mathbb{R}^{D}}$ . This was previously known only for D ≥ 2n?+?1 by a result of David and Semmes.     

Constant Angle Property and Canonical Principal Directions for Surfaces in {\mathbb{M}^{2}(c) \times {\mathbb{R}_{1}}}

In this paper, we study surfaces in Lorentzian product spaces ${{\mathbb{M}^{2}(c) \times \mathbb{R}_1}}$ . We classify constant angle spacelike and timelike surfaces in ${{\mathbb{S}^{2} \times \mathbb{R}_1}}$ and ${{\mathbb{H}^{2} \times \mathbb{R}_1}}$ . Moreover, complete classifications of spacelike surfaces in ${{\mathbb{S}^{2} \times \mathbb{R}_1}}$ and ${{\mathbb{H}^{2} \times \mathbb{R}_1}}$ and timelike surfaces in ${{\mathbb{M}^{2}(c) \times \mathbb{R}_1}}$ with a canonical principal direction are obtained. Finally, a new characterization of the catenoid of the 3rd kind is established, as the only minimal timelike surface with a canonical principal direction in Minkowski 3–space.     

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.     

Isomorphic chain complexes of Hamiltonian dynamics on tori

In this work, for a given smooth, generic Hamiltonian ${H : \mathbb{S}^{1} \times \mathbb{T}^{2n} \rightarrow \mathbb{R}}$ on the torus ${\mathbb{T}^{2n} = \mathbb{R}^{2n}/\mathbb{Z}^{2n}}$ we construct a chain isomorphism ${\Phi_{*} : (C_{*}(H), \partial^{M}_{*}) \rightarrow (C_{*}(H), \partial^{F}_{*})}$ between the Morse complex of the Hamiltonian action AH on the free loop space of the torus ${\Lambda_{0}(\mathbb{T}^{2n})}$ and the Floer complex. Though both complexes are generated by the critical points of A _H , their boundary operators differ. Therefore, the construction of ${\Phi}$ is based on counting the moduli spaces of hybrid-type solutions which involves stating a new non-Lagrangian boundary value problem for Cauchy–Riemann type operators not yet studied in Floer theory. We finally want to note that the problem is completely symmetric. So we also could construct an isomorphism ${\Psi_{*} : (C_{*}(H), \partial^{F}_{*}) \rightarrow (C_{*}(H), \partial^{M}_{*})}$ .     

The second order pullback equation

Let $f,g$ be two closed $k$ -forms over $\mathbb{R }^{n}.$ The pullback equation studies the existence of a diffeomorphism $\varphi :\mathbb{R }^{n} \rightarrow \mathbb{R }^{n}$ such that $$\begin{aligned} \varphi ^{*}(g)=f. \end{aligned}$$ We prove two types of results. The first one sharpens some of the existing regularity results. The second one discusses the possibility of choosing the map $\varphi $ as the gradient of a function $\Phi :\mathbb{R }^{n} \rightarrow \mathbb R .$ We show that this is a very rare event unless the two forms are constant.     

Traces, traceability, and lattices of traces under the set theoretic inclusion

Let a trace be a computably enumerable set of natural numbers such that ${V^{[m]} = \{n : \langle n, m\rangle \in V \}}$ V [ m ] = { n : 〈 n , m 〉 ∈ V } is finite for all m, where ${\langle^{.},^{.}\rangle}$ 〈 . , . 〉 denotes an appropriate pairing function. After looking at some basic properties of traces like that there is no uniform enumeration of all traces, we prove varied results on traceability and variants thereof, where a function ${f : \mathbb{N} \rightarrow \mathbb{N}}$ f : N → N is traceable via a trace V if for all ${m, \langle f(m), m\rangle \in V.}$ m , 〈 f ( m ) , m 〉 ∈ V . Then we turn to lattices $$\textit{\textbf{L}}_{tr}(V) = (\{W : V \subseteq W \, {\rm and} \, W \, {\rm a} \, {\rm trace}\}, \, \subseteq),$$ L t r ( V ) = ( { W : V ? W and W a trace } , ? ) , V a trace. Here, we study the close relationship to ${\mathcal{E} = (\{A : A \subseteq \mathbb{N} \quad c.e.\}, \subseteq)}$ E = ( { A : A ? N c . e . } , ? ) , automorphisms, isomorphisms, and isomorphic embeddings.     

Sets Computing the Symmetric Tensor Rank

Let ${\nu_{d} : \mathbb{P}^{r} \rightarrow \mathbb{P}^{N}, N := \left( \begin{array}{ll} r + d \\ \,\,\,\,\,\, r \end{array} \right)- 1,}$ denote the degree d Veronese embedding of ${\mathbb{P}^{r}}$ . For any ${P\, \in \, \mathbb{P}^{N}}$ , the symmetric tensor rank sr(P) is the minimal cardinality of a set ${\mathcal{S} \subset \nu_{d}(\mathbb{P}^{r})}$ spanning P. Let ${\mathcal{S}(P)}$ be the set of all ${A \subset \mathbb{P}^{r}}$ such that ${\nu_{d}(A)}$ computes sr(P). Here we classify all ${P \,\in\, \mathbb{P}^{n}}$ such that sr(P) <  3d/2 and sr(P) is computed by at least two subsets of ${\nu_{d}(\mathbb{P}^{r})}$ . For such tensors ${P\, \in\, \mathbb{P}^{N}}$ , we prove that ${\mathcal{S}(P)}$ has no isolated points.     

Uniqueness of integrable solutions to {\nabla \zeta=G \zeta, \zeta|_\Gamma = 0} for integrable tensor coefficients G and applications to elasticity

Let ${\Omega \subset \mathbb{R}^{N}}$ be a Lipschitz domain and Γ be a relatively open and non-empty subset of its boundary ${\partial\Omega}$ . We show that the solution to the linear first-order system $$\nabla \zeta = G\zeta, \, \, \zeta|_\Gamma = 0 \quad \quad \quad (1)$$ is unique if ${G \in \textsf{L}^{1}(\Omega; \mathbb{R}^{(N \times N) \times N})}$ and ${\zeta \in \textsf{W}^{1,1}(\Omega; \mathbb{R}^{N})}$ . As a consequence, we prove $$||| \cdot ||| : \textsf{C}_{o}^{\infty}(\Omega, \Gamma; \mathbb{R}^{3}) \rightarrow [0, \infty), \, \, u \mapsto \parallel {\rm sym}(\nabla uP^{-1})\parallel_{\textsf{L}^{2}(\Omega)}$$ to be a norm for ${P \in \textsf{L}^{\infty}(\Omega; \mathbb{R}^{3 \times 3})}$ with Curl ${P \in \textsf{L}^{p}(\Omega; \mathbb{R}^{3 \times 3})}$ , Curl ${P^{-1} \in \textsf{L}^{q}(\Omega; \mathbb{R}^{3 \times 3})}$ for some p, q > 1 with 1/p + 1/q = 1 as well as det ${P \geq c^+ > 0}$ . We also give a new and different proof for the so-called ‘infinitesimal rigid displacement lemma’ in curvilinear coordinates: Let ${\Phi \in \textsf{H}^{1}(\Omega; \mathbb{R}^{3})}$ satisfy sym ${(\nabla\Phi^\top\nabla\Psi) = 0}$ for some ${\Psi \in \textsf{W}^{1,\infty}(\Omega; \mathbb{R}^{3}) \cap \textsf{H}^{2}(\Omega; \mathbb{R}^{3})}$ with det ${\nabla\Psi \geq c^+ > 0}$ . Then, there exist a constant translation vector ${a \in \mathbb{R}^{3}}$ and a constant skew-symmetric matrix ${A \in \mathfrak{so}(3)}$ , such that ${\Phi = A\Psi + a}$ .     

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}}}$ .     

On the Linear Dependence of a Finite Set of Additive Functions

In this note we prove the following: Let n?≥ 2 be a fixed integer. A system of additive functions ${A_{1},A_{2},\ldots,A_{n}:\mathbb{R} \to\mathbb{R}}$ is linearly dependent (as elements of the ${\mathbb{R}}$ vector space ${\mathbb{R}^{\mathbb{R}}}$ ), if and only if, there exists an indefinite quadratic form ${Q:\mathbb{R}^{n}\to\mathbb{R} }$ such that ${Q(A_{1}(x),A_{2}(x),\ldots,A_{n}(x))\geq 0}$ or ${Q(A_{1}(x),A_{2}(x),\ldots,A_{n}(x))\leq 0}$ holds for all ${x\in\mathbb{R}}$ .     

The Lagrangian Radon Transform and the Weil Representation

We consider the operator $\mathcal {R}$ , which sends a function on ${\mathbb {R}}^{2n}$ to its integrals over all affine Lagrangian subspaces in ${\mathbb {R}}^{2n}$ . We discuss properties of the operator $\mathcal {R}$ and of the representation of the affine symplectic group in several function spaces on ${\mathbb {R}}^{2n}$ .     

Solution of the Propeller Conjecture in \mathbb R ^3

It is shown that every measurable partition $\{A_1,\ldots , A_k\}$ { A 1 , … , A k } of $\mathbb R ^3$ R 3 satisfies 1 $$\begin{aligned} \sum _{i=1}^k\big \Vert \int _{A_i} x\mathrm{{e}}^{-\frac{1}{2}\Vert x\Vert _2^2}\mathrm{{d}}x\big \Vert _2^2\leqslant 9\pi ^2. \end{aligned}$$ ∑ i = 1 k ‖ ∫ A i x e - 1 2 ‖ x ‖ 2 2 d x ‖ 2 2 ? 9 π 2 . Let $\{P_1,P_2,P_3\}$ { P 1 , P 2 , P 3 } be the partition of $\mathbb R ^2$ R 2 into $120^{\circ }$ 120 ° sectors centered at the origin. The bound (1) is sharp, with equality holding if $A_i=P_i\times \mathbb R $ A i = P i × R for $i\in \{1,2,3\}$ i ∈ { 1 , 2 , 3 } and $A_i=\emptyset $ A i = ? for $i\in \{4,\ldots ,k\}$ i ∈ { 4 , … , k } . This settles positively the $3$ 3 -dimensional Propeller Conjecture of Khot and Naor [(Mathematika 55(1-2):129–165, 2009 (FOCS 2008)]. The proof of (1) reduces the problem to a finite set of numerical inequalities which are then verified with full rigor in a computer-assisted fashion. The main consequence (and motivation) of (1) is complexity-theoretic: the unique games hardness threshold of the kernel clustering problem with $4\times 4$ 4 × 4 centered and spherical hypothesis matrix equals $\frac{2\pi }{3}$ 2 π 3 .     

*-Quantizations of Fourier–Mukai Transforms

We study deformations of Fourier–Mukai transforms in general complex analytic settings. Suppose X and Y are complex manifolds, and let P be a coherent sheaf on X ×  Y. Suppose that the Fourier–Mukai transform ${\Phi}$ Φ given by the kernel P is an equivalence between the coherent derived categories of X and of Y. Suppose also that we are given a formal *-quantization ${\mathbb{X}}$ X of X. Our main result is that ${\mathbb{X}}$ X gives rise to a unique formal *-quantization ${\mathbb{Y}}$ Y of Y. For the statement to hold, *-quantizations must be understood in the framework of stacks of algebroids. The quantization ${\mathbb{Y}}$ Y is uniquely determined by the condition that ${\Phi}$ Φ deforms to an equivalence between the derived categories of ${\mathbb{X}}$ X and ${\mathbb{Y}}$ Y . Equivalently, the condition is that P deforms to a coherent sheaf ${\tilde{P}}$ P ~ on the formal *-quantization ${\mathbb{X} \times\mathbb{Y}^{op}}$ X × Y o p of X × Y; here ${\mathbb{Y}^{op}}$ Y o p is the opposite of the quantization ${\mathbb{Y}}$ Y .     

On the fast Khintchine spectrum in continued fractions

For $x\in [0,1)$ x ∈ [ 0 , 1 ) , let $x=[a_1(x), a_2(x),\ldots ]$ x = [ a 1 ( x ) , a 2 ( x ) , ... ] be its continued fraction expansion with partial quotients $\{a_n(x), n\ge 1\}$ { a n ( x ) , n ≥ 1 } . Let $\psi : \mathbb{N } \rightarrow \mathbb{N }$ ψ : N → N be a function with $\psi (n)/n\rightarrow \infty $ ψ ( n ) / n → ∞ as $n\rightarrow \infty $ n → ∞ . In this note, the fast Khintchine spectrum, i.e., the Hausdorff dimension of the set $$\begin{aligned} E(\psi ):=\left\{ x\in [0,1): \lim _{n\rightarrow \infty }\frac{1}{\psi (n)}\sum _{j=1}^n\log a_j(x)=1\right\} \end{aligned}$$ E ( ψ ) : = x ∈ [ 0 , 1 ) : lim n → ∞ 1 ψ ( n ) ∑ j = 1 n log a j ( x ) = 1 is completely determined without any extra condition on $\psi $ ψ . This fills a gap of the former work in Fan et al. (Ergod Theor Dyn Syst 29:73–109, 2009).     

Harmonic mappings and conformal minimal immersions of Riemann surfaces into {\mathbb {R}^{\rm N}}

We prove that for any open Riemann surface ${\mathcal{N}}$ , natural number N ≥ 3, non-constant harmonic map ${h:\mathcal{N} \to \mathbb{R}}$ ^N?2 and holomorphic 2-form ${\mathfrak{H}}$ on ${\mathcal{N}}$ , there exists a weakly complete harmonic map ${X=(X_j)_{j=1,\ldots,{\sc N}}:\mathcal{N} \to \mathbb{R}^{\sc N}}$ with Hopf differential ${\mathfrak{H}}$ and ${(X_j)_{j=3,\ldots,{\sc N}}=h.}$ In particular, there exists a complete conformal minimal immersion ${Y=(Y_j)_{j=1,\ldots,{\sc N}}:\mathcal{N} \to \mathbb{R}^{\sc N}}$ such that ${(Y_j)_{j=3,\ldots,{\sc N}}=h}$ . As some consequences of these results (1) there exist complete full non-decomposable minimal surfaces with arbitrary conformal structure and whose generalized Gauss map is non-degenerate and fails to intersect N hyperplanes of ${\mathbb{CP}^{{\sc N}-1}}$ in general position. (2) There exist complete non-proper embedded minimal surfaces in ${\mathbb{R}^{\sc N},}$ ${\forall\,{\sc N} >3 .}$      

Growth estimates for orbits of self-adjoint groups

Let $G$ denote a closed, connected, self-adjoint, noncompact subgroup of $GL(n,\mathbb R )$ , and let $d_{R}$ and $d_{L}$ denote respectively the right and left invariant Riemannian metrics defined by the canonical inner product on $M(n,\mathbb R ) = T_{I} GL(n,\mathbb R )$ . Let $v$ be a nonzero vector of $\mathbb R ^{n}$ such that the orbit $G(v)$ is unbounded in $\mathbb R ^{n}$ . Then the function $g \rightarrow d_{R}(g, G_{v})$ is unbounded, where $G_{v} = \{g \in G : g(v) = v \}$ , and we obtain algebraically defined upper and lower bounds $\lambda ^{+}(v)$ and $\lambda ^{-}(v)$ for the asymptotic behavior of the function $\frac{log|g(v)|}{d_{R}(g, G_{v})}$ as $d_{R}(g, G_{v}) \rightarrow \infty $ . The upper bound $\lambda ^{+}(v)$ is at most 1. The orbit $G(v)$ is closed in $\mathbb R ^{n} \Leftrightarrow \lambda ^{-}(w)$ is positive for some w $\in G(v)$ . If $G_{v}$ is compact, then $g \rightarrow |d_{R}(g,I) - d_{L}(g,I)|$ is uniformly bounded in $G$ , and the exponents $\lambda ^{+}(v)$ and $\lambda ^{-}(v)$ are sharp upper and lower asymptotic bounds for the functions $\frac{log|g(v)|}{d_{R}(g,I)}$ and $\frac{log|g(v)|}{d_{L}(g,I)}$ as $d_{R}(g,I) \rightarrow \infty $ or as $d_{L}(g,I) \rightarrow \infty $ . However, we show by example that if $G_{v}$ is noncompact, then there need not exist asymptotic upper and lower bounds for the function $\frac{log|g(v)|}{d_{L}(g, G_{v})}$ as $d_{L}(g, G_{v}) \rightarrow \infty $ . The results apply to representations of noncompact semisimple Lie groups $G$ on finite dimensional real vector spaces. We compute $\lambda ^{+}$ and $\lambda ^{-}$ for the irreducible, real representations of $SL(2,\mathbb R )$ , and we show that if the dimension of the $SL(2,\mathbb R )$ -module $V$ is odd, then $\lambda ^{+} = \lambda ^{-}$ on a nonempty open subset of $V$ . We show that the function $\lambda ^{-}$ is $K$ -invariant, where $K = O(n,\mathbb R ) \cap G$ . We do not know if $\lambda ^{-}$ is $G$ -invariant.     

Metrization of Weighted Graphs

We find a set of necessary and sufficient conditions under which the weight ${w: E \rightarrow \mathbb{R}^{+}}$ on the graph G = (V, E) can be extended to a pseudometric ${d : V \times V \rightarrow \mathbb{R}^{+}}$ . We describe the structure of graphs G for which the set ${\mathfrak{M}_{w}}$ of all such extensions contains a metric whenever w is strictly positive. Ordering ${\mathfrak{M}_{w}}$ by the pointwise order, we have found that the posets $({\mathfrak{M}_{w}, \leqslant)}$ contain the least elements ρ _0,w if and only if G is a complete k-partite graph with ${k \, \geqslant \, 2}$ . In this case the symmetric functions ${f : V \times V \rightarrow \mathbb{R}^{+}}$ , lying between ρ _0,w and the shortest-path pseudometric, belong to ${\mathfrak{M}_{w}}$ for every metrizable w if and only if the cardinality of all parts in the partition of V is at most two.     

A Reduction Theorem for the Kripke–Joyal Semantics: Forcing Over an Arbitrary Category can Always be Replaced by Forcing Over a Complete Heyting Algebra

It is assumed that a Kripke–Joyal semantics ${\mathcal{A} = \left\langle \mathbb{C},{\rm Cov}, {\it F},\Vdash \right\rangle}$ A = C , Cov , F , ? has been defined for a first-order language ${\mathcal{L}}$ L . To transform ${\mathbb{C}}$ C into a Heyting algebra ${\overline{\mathbb{C}}}$ C ¯ on which the forcing relation is preserved, a standard construction is used to obtain a complete Heyting algebra made up of cribles of ${\mathbb{C}}$ C . A pretopology ${\overline{{\rm Cov}}}$ Cov ¯ is defined on ${\overline{\mathbb{C}}}$ C ¯ using the pretopology on ${\mathbb{C}}$ C . A sheaf ${\overline{{\it F}}}$ F ¯ is made up of sections of F that obey functoriality. A forcing relation ${\overline{\Vdash}}$ ? ¯ is defined and it is shown that ${\overline{\mathcal{A}} = \left\langle \overline{\mathbb{C}},\overline{\rm{Cov}},\overline{{\it F}}, \overline{\Vdash} \right\rangle }$ A ¯ = C ¯ , Cov ¯ , F ¯ , ? ¯ is a Kripke–Joyal semantics that faithfully preserves the notion of forcing of ${\mathcal{A}}$ A . That is to say, an object a of ${\mathbb{C}Ob}$ C O b forces a sentence with respect to ${\mathcal{A}}$ A if and only if the maximal a-crible forces it with respect to ${\overline{\mathcal{A}}}$ A ¯ . This reduces a Kripke–Joyal semantics defined over an arbitrary site to a Kripke–Joyal semantics defined over a site which is based on a complete Heyting algebra.     

The Left Hilbert BVP for h-Regular Functions in Clifford Analysis

Consider the real Clifford algebra ${\mathbb{R}_{0,n}}$ generated by e ₁, e ₂, . . . , e _n satisfying ${e_{i}e_{j} + e_{j}e_{i} = -2\delta_{ij} , i, j = 1, 2, . . . , n, e_{0}}$ is the unit element. Let ${\Omega}$ be an open set in ${\mathbb{R}^{n+1}}$ . u(x) is called an h-regular function in ${\Omega}$ if $$D_{x}u(x) + \widehat{u}(x)h = 0, \quad\quad (0.1)$$ where ${D_x = \sum\limits_{i=0}^{n} e_{i}\partial_{xi}}$ is the Dirac operator in ${\mathbb{R}^{n+1}}$ , and ${\widehat{u}(x) = \sum \limits_{A} (-1)^{\#A}u_{A}(x)e_{A}, \#A}$ denotes the cardinality of A and ${h = \sum\limits_{k=0}^{n} h_{k}e_{k}}$ is a constant paravector. In this paper, we mainly consider the Hilbert boundary value problem (BVP) for h-regular functions in ${\mathbb{R}_{+}^{n+1}}$ .