Pfaffian representations of cubic surfaces

Let $\mathbb{K }$ be a field of characteristic zero. We describe an algorithm which requires a homogeneous polynomial $F$ of degree three in $\mathbb{K }[x_{0},x_1,x_{2},x_{3}]$ and a zero ${\mathbf{a }}$ of $F$ in $\mathbb{P }^{3}_{\mathbb{K }}$ and ensures a linear Pfaffian representation of $\text{ V}(F)$ with entries in $\mathbb{K }[x_{0},x_{1},x_{2},x_{3}]$ , under mild assumptions on $F$ and ${\mathbf{a }}$ . We use this result to give an explicit construction of (and to prove the existence of) a linear Pfaffian representation of $\text{ V}(F)$ , with entries in $\mathbb{K }^{\prime }[x_{0},x_{1},x_{2},x_{3}]$ , being $\mathbb{K }^{\prime }$ an algebraic extension of $\mathbb{K }$ of degree at most six. An explicit example of such a construction is given.     

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

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.     

Boundedness and Compactness of Pseudodifferential Operators with Non-Regular Symbols on Weighted Lebesgue Spaces

Applying the boundedness on weighted Lebesgue spaces of the maximal singular integral operator S _* related to the Carleson?CHunt theorem on almost everywhere convergence, we study the boundedness and compactness of pseudodifferential operators a(x, D) with non-regular symbols in ${L^\infty(\mathbb{R}, V(\mathbb{R})), PC(\overline{\mathbb{R}}, V(\mathbb{R}))}$ and ${\Lambda_\gamma(\mathbb{R}, V_d(\mathbb{R}))}$ on the weighted Lebesgue spaces ${L^p(\mathbb{R},w)}$ , with 1?< p <? ?? and ${w\in A_p(\mathbb{R})}$ . The Banach algebras ${L^\infty(\mathbb{R}, V(\mathbb{R}))}$ and ${PC(\overline{\mathbb{R}}, V(\mathbb{R}))}$ consist, respectively, of all bounded measurable or piecewise continuous ${V(\mathbb{R})}$ -valued functions on ${\mathbb{R}}$ where ${V(\mathbb{R})}$ is the Banach algebra of all functions on ${\mathbb{R}}$ of bounded total variation, and the Banach algebra ${\Lambda_\gamma(\mathbb{R}, V_d(\mathbb{R}))}$ consists of all Lipschitz ${V_d(\mathbb{R})}$ -valued functions of exponent ${\gamma \in (0,1]}$ on ${\mathbb{R}}$ where ${V_d(\mathbb{R})}$ is the Banach algebra of all functions on ${\mathbb{R}}$ of bounded variation on dyadic shells. Finally, for the Banach algebra ${\mathfrak{A}_{p,w}}$ generated by all pseudodifferential operators a(x, D) with symbols ${a(x, \lambda) \in PC(\overline{\mathbb{R}}, V(\mathbb{R}))}$ on the space ${L^p(\mathbb{R}, w)}$ , we construct a non-commutative Fredholm symbol calculus and give a Fredholm criterion for the operators ${A \in \mathfrak{A}_{p,w}}$ .     

Convergence of the eigenvalues of the p-Laplace operator as p goes to 1

Let $(\lambda ^k_p)_k$ be the usual sequence of min-max eigenvalues for the $p$ -Laplace operator with $p\in (1,\infty )$ and let $(\lambda ^k_1)_k$ be the corresponding sequence of eigenvalues of the 1-Laplace operator. For bounded $\Omega \subseteq \mathbb{R }^n$ with Lipschitz boundary the convergence $\lambda ^k_p\rightarrow \lambda ^k_1$ as $p\rightarrow 1$ is shown for all $k\in \mathbb{N }$ . The proof uses an approximation of $BV(\Omega )$ -functions by $C_0^\infty (\Omega )$ -functions in the sense of strict convergence on $\mathbb{R }^n$ .     

Hurwitz-type bound, knot surgery, and smooth {\mathbb{S }}^1-four-manifolds

In this paper we prove several related results concerning smooth $\mathbb{Z }_p$ or $\mathbb{S }^1$ actions on $4$ -manifolds. We show that there exists an infinite sequence of smooth $4$ -manifolds $X_n$ , $n\ge 2$ , which have the same integral homology and intersection form and the same Seiberg-Witten invariant, such that each $X_n$ supports no smooth $\mathbb{S }^1$ -actions but admits a smooth $\mathbb{Z }_n$ -action. In order to construct such manifolds, we devise a method for annihilating smooth $\mathbb{S }^1$ -actions on $4$ -manifolds using Fintushel-Stern knot surgery, and apply it to the Kodaira-Thurston manifold in an equivariant setting. Finally, the method for annihilating smooth $\mathbb{S }^1$ -actions relies on a new obstruction we derived in this paper for existence of smooth $\mathbb{S }^1$ -actions on a $4$ -manifold: the fundamental group of a smooth $\mathbb{S }^1$ -four-manifold with nonzero Seiberg-Witten invariant must have infinite center. We also include a discussion on various analogous or related results in the literature, including locally linear actions or smooth actions in dimensions other than four.     

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

Boundedness of Generalized Riesz Transforms on Orlicz–Hardy Spaces Associated to Operators

Let ${\Phi}$ be a continuous, strictly increasing and concave function on (0, ∞) of critical lower type index ${p_\Phi^- \in(0,\,1]}$ . Let L be an injective operator of type ω having a bounded H _∞ functional calculus and satisfying the k-Davies–Gaffney estimates with ${k \in {\mathbb Z}_+}$ . In this paper, the authors first introduce an Orlicz–Hardy space ${H^{\Phi}_{L}(\mathbb{R}^n)}$ in terms of the non-tangential L-adapted square function and then establish its molecular characterization. As applications, the authors prove that the generalized Riesz transform ${D_{\gamma}L^{-\delta/(2k)}}$ is bounded from the Orlicz–Hardy space ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the Orlicz space ${L^{\widetilde{\Phi}}(\mathbb{R}^n)}$ when ${p_\Phi^- \in (0, \frac{n}{n+ \delta - \gamma}]}$ , ${0 < \gamma \le \delta < \infty}$ and ${\delta- \gamma < n (\frac{1}{p_-(L)}-\frac{1}{p_+(L)})}$ , or from ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the Orlicz–Hardy space ${H^{\widetilde \Phi}(\mathbb{R}^n)}$ when ${p_\Phi^-\in (\frac{n}{n + \delta+ \lfloor \gamma \rfloor- \gamma},\,\frac{n}{n+ \delta- \gamma}]}$ , ${1\le \gamma \le \delta < \infty}$ and ${\delta- \gamma < n (\frac{1}{p_-(L)}-\frac{1}{p_+(L)})}$ , or from ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the weak Orlicz–Hardy space ${WH^\Phi(\mathbb{R}^n)}$ when ${\gamma = \delta}$ and ${p_\Phi=n/(n + \lfloor \gamma \rfloor)}$ or ${p_\Phi^-=n/(n + \lfloor \gamma \rfloor)}$ with ${p_\Phi^-}$ attainable, where ${\widetilde{\Phi}}$ is an Orlicz function whose inverse function ${\widetilde{\Phi}^{-1}}$ is defined by ${\widetilde{\Phi}^{-1}(t):=\Phi^{-1}(t)t^{\frac{1}{n}(\gamma- \delta)}}$ for all ${t \in (0,\,\infty)}$ , ${p_\Phi}$ denotes the strictly critical lower type index of ${\Phi}$ , ${\lfloor \gamma \rfloor}$ the maximal integer not more than ${\gamma}$ and ${(p_-(L),\,p_+(L))}$ the range of exponents ${p \in[1,\, \infty]}$ for which the semigroup ${\{e^{-tL}\}_{t >0 }}$ is bounded on ${L^p(\mathbb{R}^n)}$ .     

Cohomology of Some Complex Laminations

In this paper we solve the ${\overline{\partial }}$ -problem along the leaves for two types of laminations: (i) Some open sets Ω of ${{\mathbb C}\times B}$ (where B is any differentiable manifold) endowed with the canonical foliation that is, the foliation whose leaves are the sections ${\Omega ^t=\{ z\in {\mathbb C}:(z,t)\in \Omega \}}$ . We construct a solution to the equation ${\overline{\partial }h=fd\overline z}$ for any function ${f:\Omega\longrightarrow {\mathbb C}}$ of class ${C^{s}\,(s\in \mathbb{N}\cup\{ \infty \}),\,C^\infty}$ along the leaves and satisfies some growth conditions near the singularities. (ii) A complex lamination by Riemann surfaces obtained by suspending a homeomorphism of a closed set of the Euclidean space ${\mathbb{C}\times \mathbb{R}}$ .     

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.     

Donsker-type theorems for nonparametric maximum likelihood estimators

Let ${\mathcal{P}}$ be a nonparametric probability model consisting of smooth probability densities and let ${\hat{p}_{n}}$ be the corresponding maximum likelihood estimator based on n independent observations each distributed according to the law ${\mathbb{P}}$ . With $\hat{\mathbb{P}}_{n}$ denoting the measure induced by the density ${\hat{p}_{n}}$ , define the stochastic process ${\hat{\nu}}_{n}: f\longmapsto \sqrt{n} \int fd({\hat{\mathbb{P}}}_{n} -\mathbb{P})$ where f ranges over some function class ${\mathcal{F}}$ . We give a general condition for Donsker classes ${\mathcal{F}}$ implying that the stochastic process $\hat{\nu}_{n}$ is asymptotically equivalent to the empirical process in the space ${\ell ^{\infty }(\mathcal{F})}$ of bounded functions on ${ \mathcal{F}}$ . This implies in particular that $\hat{\nu}_{n}$ converges in law in ${\ell ^{\infty }(\mathcal{F})}$ to a mean zero Gaussian process. We verify the general condition for a large family of Donsker classes ${\mathcal{ F}}$ . We give a number of applications: convergence of the probability measure ${\hat{\mathbb{P}}_{n}}$ to ${\mathbb{P}}$ at rate ${\sqrt{n}}$ in certain metrics metrizing the topology of weak(-star) convergence; a unified treatment of convergence rates of the MLE in a continuous scale of Sobolev-norms; ${\sqrt{n}}$ -efficient estimation of nonlinear functionals defined on ${\mathcal{P}}$ ; limit theorems at rate ${\sqrt{n}}$ for the maximum likelihood estimator of the convolution product ${\mathbb{P\ast P}}$ .     

2-Nilpotent real section conjecture

We show a $2$ -nilpotent section conjecture over $\mathbb{R }$ : for a geometrically connected curve $X$ over $\mathbb{R }$ such that each irreducible component of its normalization has $\mathbb{R }$ -points, $\pi _0(X(\mathbb{R }))$ is determined by the maximal $2$ -nilpotent quotient of the fundamental group with its Galois action, as the kernel of an obstruction of Jordan Ellenberg. This implies that for $X$ smooth and proper, $X(\mathbb{R })^{\pm }$ is determined by the maximal $2$ -nilpotent quotient of $\mathrm{Gal }(\mathbb{C }(X))$ with its $\mathrm{Gal }(\mathbb{R })$ action, where $X(\mathbb{R })^{\pm }$ denotes the set of real points equipped with a real tangent direction, showing a $2$ -nilpotent birational real section conjecture.     

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

Hausdorff measures of subgroups of \mathbb{R }/\mathbb{Z } and \mathbb{R }

For a sequence $\underline{u}=(u_n)_{n\in \mathbb{N }}$ of integers, let $t_{\underline{u}}(\mathbb{T })$ be the group of all topologically $\underline{u}$ -torsion elements of the circle group $\mathbb{T }:=\mathbb{R }/\mathbb{Z }$ . We show that for any $s\in ]0,1[$ and $m\in \{0,+\infty \}$ there exists $\underline{u}$ such that $t_{\underline{u}}(\mathbb{T })$ has Hausdorff dimension $s$ and $s$ -dimensional Hausdorff measure equal to $m$ (no other values for $m$ are possible). More generally, for dimension functions $f,g$ with $f(t)\prec g(t), f(t)\prec \!\!\!\prec t$ and $g(t)\prec \!\!\!\prec t$ we find $\underline{u}$ such that $t_{\underline{u}}(\mathbb{T })$ has at the same time infinite $f$ -measure and null $g$ -measure.     

Uniqueness of \mathbb{C}^{ * } - and \mathbb{C}_{{\text{ + }}} -actions on Gizatullin Surfaces

A Gizatullin surface is a normal affine surface V over $ \mathbb{C} $ , which can be completed by a zigzag; that is, by a linear chain of smooth rational curves. In this paper we deal with the question of uniqueness of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations on such a surface V up to automorphisms. The latter fibrations are in one to one correspondence with $ \mathbb{C}_{{\text{ + }}} $ -actions on V considered up to a “speed change”. Non-Gizatullin surfaces are known to admit at most one $ \mathbb{A}^{1} $ -fibration V → S up to an isomorphism of the base S. Moreover, an effective $ \mathbb{C}^{ * } $ -action on them, if it does exist, is unique up to conjugation and inversion t $ \mapsto $ t ^?1 of $ \mathbb{C}^{ * } $ . Obviously, uniqueness of $ \mathbb{C}^{ * } $ -actions fails for affine toric surfaces. There is a further interesting family of nontoric Gizatullin surfaces, called the Danilov-Gizatullin surfaces, where there are in general several conjugacy classes of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations, see, e.g., [FKZ1]. In the present paper we obtain a criterion as to when $ \mathbb{A}^{{\text{1}}} $ -fibrations of Gizatullin surfaces are conjugate up to an automorphism of V and the base $ S \cong \mathbb{A}^{{\text{1}}} $ . We exhibit as well large subclasses of Gizatullin $ \mathbb{C}^{ * } $ -surfaces for which a $ \mathbb{C}^{ * } $ -action is essentially unique and for which there are at most two conjugacy classes of $ \mathbb{A}^{{\text{1}}} $ -fibrations over $ \mathbb{A}^{{\text{1}}} $ .