Variance asymptotics for random polytopes in smooth convex bodies

Let $K \subset \mathbb R ^d$ be a smooth convex set and let $\mathcal{P }_{\lambda }$ be a Poisson point process on $\mathbb R ^d$ of intensity ${\lambda }$ . The convex hull of $\mathcal{P }_{\lambda }\cap K$ is a random convex polytope $K_{\lambda }$ . As ${\lambda }\rightarrow \infty $ , we show that the variance of the number of $k$ -dimensional faces of $K_{\lambda }$ , when properly scaled, converges to a scalar multiple of the affine surface area of $K$ . Similar asymptotics hold for the variance of the number of $k$ -dimensional faces for the convex hull of a binomial process in $K$ .     

The Set of Packing and Covering Densities of Convex Disks

For every convex disk $K$ (a convex compact subset of the plane, with non-void interior), the packing density $\delta (K)$ and covering density ${\vartheta (K)}$ form an ordered pair of real numbers, i.e., a point in $\mathbb{R }^2$ . The set $\varOmega $ consisting of points assigned this way to all convex disks is the subject of this article. A few known inequalities on $\delta (K)$ and ${\vartheta (K)}$ jointly outline a relatively small convex polygon $P$ that contains $\varOmega $ , while the exact shape of $\varOmega $ remains a mystery. Here we describe explicitly a leaf-shaped convex region $\Lambda $ contained in $\varOmega $ and occupying a good portion of $P$ . The sets $\varOmega _T$ and $\varOmega _L$ of translational packing and covering densities and lattice packing and covering densities are defined similarly, restricting the allowed arrangements of $K$ to translated copies or lattice arrangements, respectively. Due to affine invariance of the translative and lattice density functions, the sets $\varOmega _T$ and $\varOmega _L$ are compact. Furthermore, the sets $\varOmega , \,\varOmega _T$ and $\varOmega _L$ contain the subsets $\varOmega ^\star , \,\varOmega _T^\star $ and $\varOmega _L^\star $ respectively, corresponding to the centrally symmetric convex disks $K$ , and our leaf $\Lambda $ is contained in each of $\varOmega ^\star , \,\varOmega _T^\star $ and $\varOmega _L^\star $ .     

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.     

On Colmez’s product formula for periods of CM-abelian varieties

Colmez conjectured a product formula for periods of abelian varieties with complex multiplication by a field $K$ , analogous to the standard product formula in algebraic number theory. He proved this conjecture up to a rational power of 2 for $K/\mathbb{Q }$ abelian. In this paper, we complete the proof of Colmez for $K/\mathbb{Q }$ abelian by eliminating this power of 2. Our proof relies on analyzing the Galois action on the De Rham cohomology of Fermat curves in mixed characteristic $(0,2)$ , which in turn relies on understanding the stable reduction of $\mathbb Z /2^n$ -covers of the projective line, branched at three points.     

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.     

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

Structure Results for Multiple Tilings in 3D

We study multiple tilings of 3-dimensional Euclidean space by a convex body. In a multiple tiling, a convex body $P$ is translated with a discrete multiset $\Lambda $ in such a way that each point of ${\mathbb {R}}^d$ gets covered exactly $k$ times, except perhaps the translated copies of the boundary of $P$ . It is known that all possible multiple tilers in ${\mathbb {R}}^3$ are zonotopes. In ${\mathbb {R}}^2$ it was known by the work of Kolountzakis (Discrete Comput Geom 23(4):537–553, 2000) that, unless $P$ is a parallelogram, the multiset of translation vectors $\Lambda $ must be a finite union of translated lattices (also known as quasi periodic sets). In that work (Kolountzakis, Discrete Comput Geom 23(4):537–553, 2000) the author asked whether the same quasi-periodic structure on the translation vectors would be true in ${\mathbb {R}}^3$ . Here we prove that this conclusion is indeed true for ${\mathbb {R}}^3$ . Namely, we show that if $P$ is a convex multiple tiler in ${\mathbb {R}}^3$ , with a discrete multiset $\Lambda $ of translation vectors, then $\Lambda $ has to be a finite union of translated lattices, unless $P$ belongs to a special class of zonotopes. This exceptional class consists of two-flat zonotopes $P$ , defined by the Minkowski sum of two 2-dimensional symmetric polygons in ${\mathbb {R}}^3$ , one of which may degenerate into a single line segment. It turns out that rational two-flat zonotopes admit a multiple tiling with an aperiodic (nonquasi-periodic) set of translation vectors $\Lambda $ . We note that it may be quite difficult to offer a visualization of these 3-dimensional non-quasi-periodic tilings, and that we discovered them by using Fourier methods.     

Planar Beurling Transform and Bergman Type Spaces

In this paper we describe the actions of the operator $S_\mathbb{D }$ or its adjoint $S_\mathbb{D }^*$ on the poly-Bergman spaces of the unit disk $\mathbb{D }.$ Let $k$ and $j$ be positive integers. We prove that $(S_\mathbb{D })^{j}$ is an isometric isomorphism between the true poly-Bergman subspace $\mathcal{A }_{(k)}^2(\mathbb{D })\ominus N_{(k),j}$ onto the true poly-Bergman space $\mathcal{A }_{(j+k)}^2(\mathbb{D }),$ where the linear space $N_{(k),j}$ have finite dimension $j.$ The action of $(S_\mathbb{D })^{j-1}$ on the canonical Hilbert base for the Bergman subspace $\mathcal{A }^2(\mathbb{D })\ominus \mathcal{P }_{j-1},$ gives a Hilbert base $\{ \phi _{ j , k } \}_{ k }$ for $\mathcal{A }_{(j)}^2(\mathbb{D }).$ It is shown that $\{ \phi _{ j , k } \}_{ j, k }$ is a Hilbert base for $L^2(\mathbb{D },d A)$ such that whenever $j$ and $k$ remain constant we obtain a Hilbert base for the true poly-Bergman space $\mathcal{A }_{(j)}^2(\mathbb{D })$ and $\mathcal{A }_{(-k)}^2(\mathbb{D }),$ respectively. The functions $\phi _{ j , k }$ are polynomials in $z$ and $\overline{z}$ and are explicitly given in terms of the $(2,1)$ -hypergeometric polynomials. We prove explicit representations for the true poly-Bergman kernels and the Koshelev representation for the poly-Bergman kernels of $\mathbb{D }.$ The action of $S_\Pi $ on the true poly-Bergman spaces of the upper half-plane $\Pi $ allows one to introduce Hilbert bases for the true poly-Bergman spaces, and to give explicit representations of the true poly-Bergman and poly-Bergman kernels.     

A Question from a Famous Paper of Erdős

Given a convex body $K$ K , consider the smallest number $N$ N so that there is a point $P\in \partial K$ P ∈ ? K such that every circle centred at $P$ P intersects $\partial K$ ? K in at most $N$ N points. In 1946 Erd?s conjectured that $N=2$ N = 2 for all $K$ K , but there are convex bodies for which this is not the case. As far as we know there is no known global upper bound. We show that no convex body has $N=\infty $ N = ∞ and that there are convex bodies for which $N = 6$ N = 6 .     

A generalization of a theorem of Imai and its applications to Iwasawa theory

It is proved that, if $K$ is a complete discrete valuation field of mixed characteristic $(0,p)$ with residue field satisfying a mild condition, then any abelian variety over $K$ with potentially good reduction has finite $K(K^{1/p^\infty })$ -rational torsion subgroup. This can be used to remove certain conditions assumed in some theorems in Iwasawa theory.     

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

On the existence of Evans potentials

It is shown that, for every noncompact parabolic Riemannian manifold $X$ and every nonpolar compact $K$ in  $X$ , there exists a positive harmonic function on $X\setminus K$ which tends to $\infty $ at infinity. (This is trivial for $\mathbb{R }$ , easy for  $\mathbb{R }^2$ , and known for parabolic Riemann surfaces.) In fact, the statement is proven, more generally, for any noncompact connected Brelot harmonic space  $X$ , where constants are the only positive superharmonic functions and, for every nonpolar compact set  $K$ , there is a symmetric (positive) Green function for $X\setminus K$ . This includes the case of parabolic Riemannian manifolds. Without symmetry, however, the statement may fail. This is shown by an example, where the underlying space is a graph (the union of the parallel half-lines $\left[0,\infty \right)\times \{0\}, \left[0,\infty \right)\times \{1\}$ , and the line segments $\{n\}\times [0,1], n=0,1,2,\dots $ ).     

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.     

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.     

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

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