Badly approximable points on planar curves and a problem of Davenport

Let \({\mathcal {C}}\) be two times continuously differentiable curve in \({\mathbb {R}}^2\) with at least one point at which the curvature is non-zero. For any \(i,j \geqslant 0\) with \(i+j =1\) , let \({\mathbf {Bad}}(i,j)\) denote the set of points \((x,y) \in {\mathbb {R}}^2\) for which \( \max \{ \Vert qx\Vert ^{1/i}, \, \Vert qy\Vert ^{1/j} \} > c/q \) for all \( q \in {\mathbb {N}}\) . Here \(c = c(x,y)\) is a positive constant. Our main result implies that any finite intersection of such sets with \({\mathcal {C}}\) has full Hausdorff dimension. This provides a solution to a problem of Davenport dating back to the sixties.     

Shellability of the higher pinched Veronese posets

The pinched Veronese poset \({\mathcal {V}}^{\bullet }_n\) is the poset with ground set consisting of all nonnegative integer vectors of length \(n\) such that the sum of their coordinates is divisible by \(n\) with exception of the vector \((1,\ldots ,1)\) . For two vectors \(\mathbf {a}\) and \(\mathbf {b}\) in \({\mathcal {V}}^{\bullet }_n\) , we have \(\mathbf {a}\preceq \mathbf {b}\) if and only if \(\mathbf {b}- \mathbf {a}\) belongs to the ground set of \({\mathcal {V}}^{\bullet }_n\) . We show that every interval in \({\mathcal {V}}^{\bullet }_n\) is shellable for \(n \ge 4\) . In order to obtain the result, we develop a new method for showing that a poset is shellable. This method differs from classical lexicographic shellability. Shellability of intervals in \({\mathcal {V}}^{\bullet }_n\) has consequences in commutative algebra. As a corollary, we obtain a combinatorial proof of the fact that the pinched Veronese ring is Koszul for \(n \ge 4\) . (This also follows from a result by Conca, Herzog, Trung, and Valla.)     

The {\mathcal {A}}-Truncated K-Moment Problem

Let \({\mathcal {A}}\subseteq {\mathbb {N}}^n\) be a finite set, and \(K\subseteq {\mathbb {R}}^n\) be a compact semialgebraic set. An \({\mathcal {A}}\) -truncated multisequence ( \({\mathcal {A}}\) -tms) is a vector \(y=(y_{\alpha })\) indexed by elements in \({\mathcal {A}}\) . The \({\mathcal {A}}\) -truncated \(K\) -moment problem ( \({\mathcal {A}}\) -TKMP) concerns whether or not a given \({\mathcal {A}}\) -tms \(y\) admits a \(K\) -measure \(\mu \) , i.e., \(\mu \) is a nonnegative Borel measure supported in \(K\) such that \(y_\alpha = \int _K x^\alpha \mathtt {d}\mu \) for all \(\alpha \in {\mathcal {A}}\) . This paper proposes a numerical algorithm for solving \({\mathcal {A}}\) -TKMPs. It aims at finding a flat extension of \(y\) by solving a hierarchy of semidefinite relaxations \(\{(\mathtt {SDR})_k\}_{k=1}^\infty \) for a moment optimization problem, whose objective \(R\) is generated in a certain randomized way. If \(y\) admits no \(K\) -measures and \({\mathbb {R}}[x]_{{\mathcal {A}}}\) is \(K\) -full (there exists \(p \in {\mathbb {R}}[x]_{{\mathcal {A}}}\) that is positive on \(K\) ), then \((\mathtt {SDR})_k\) is infeasible for all \(k\) big enough, which gives a certificate for the nonexistence of representing measures. If \(y\) admits a \(K\) -measure, then for almost all generated \(R\) , this algorithm has the following properties: i) we can asymptotically get a flat extension of \(y\) by solving the hierarchy \(\{(\mathtt {SDR})_k\}_{k=1}^\infty \) ; ii) under a general condition that is almost sufficient and necessary, we can get a flat extension of \(y\) by solving \((\mathtt {SDR})_k\) for some \(k\) ; iii) the obtained flat extensions admit a \(r\) -atomic \(K\) -measure with \(r\le |{\mathcal {A}}|\) . The decomposition problems for completely positive matrices and sums of even powers of real linear forms, and the standard truncated \(K\) -moment problems, are special cases of \({\mathcal {A}}\) -TKMPs. They can be solved numerically by this algorithm.     

Necessary and sufficient conditions for the existence of Helmholtz decompositions in general domains

Consider a general domain \(\varOmega \subseteq {\mathbb {R}}^n, n\ge 2\) , and let \(1 < q <\infty \) . Our first result is based on the estimate for the gradient \(\nabla p \in G^q(\varOmega )\) in the form \(\Vert \nabla p\Vert _q \le C \,\sup |\langle \nabla p,\nabla v\rangle _{\varOmega }|/\Vert \nabla v\Vert _{q'}\) , \(\nabla v \in G^{q'}(\varOmega ), q' = \frac{q}{q-1}\) , with some constant \(C=C(\varOmega ,q)>0\) . This estimate was introduced by Simader and Sohr (Mathematical Problems Relating to the Navier–Stokes Equations. Series on Advances in Mathematics for Applied Sciences, vol. 11, pp. 1–35. World Scientific, Singapore, 1992) for smooth bounded and exterior domains. We show for general domains that the validity of this gradient estimate in \(G^q(\varOmega )\) and in \(G^{q'}(\varOmega )\) is necessary and sufficient for the validity of the Helmholtz decomposition in \(L^q(\varOmega )\) and in \(L^{q'}(\varOmega )\) . A new aspect concerns the estimate for divergence free functions \(f_0 \in L^q_{\sigma }(\varOmega )\) in the form \(\Vert f_0\Vert _q \le C \sup |\langle f_0,w\rangle _{\varOmega }|/ \Vert w\Vert _{q'}, w\in L^{q'}_{\sigma }(\varOmega )\) , for the second part of the Helmholtz decomposition. We show again for general domains that the validity of this estimate in \(L^q_{\sigma }(\varOmega )\) and in \(L^{q'}_{\sigma }(\varOmega )\) is necessary and sufficient for the validity of the Helmholtz decomposition in \(L^q(\varOmega )\) and in \(L^{q'}(\varOmega )\) .     

A canonical structure on the tangent bundle of a pseudo- or para-Kähler manifold

It is a classical fact that the cotangent bundle \(T^* {\mathcal {M}}\) of a differentiable manifold \({\mathcal {M}}\) enjoys a canonical symplectic form \(\Omega ^*\) . If \(({\mathcal {M}},\mathrm{J} ,g,\omega )\) is a pseudo-Kähler or para-Kähler \(2n\) -dimensional manifold, we prove that the tangent bundle \(T{\mathcal {M}}\) also enjoys a natural pseudo-Kähler or para-Kähler structure \(({\tilde{\hbox {J}}},\tilde{g},\Omega )\) , where \(\Omega \) is the pull-back by \(g\) of \(\Omega ^*\) and \(\tilde{g}\) is a pseudo-Riemannian metric with neutral signature \((2n,2n)\) . We investigate the curvature properties of the pair \(({\tilde{\hbox {J}}},\tilde{g})\) and prove that: \(\tilde{g}\) is scalar-flat, is not Einstein unless \(g\) is flat, has nonpositive (resp. nonnegative) Ricci curvature if and only if \(g\) has nonpositive (resp. nonnegative) Ricci curvature as well, and is locally conformally flat if and only if \(n=1\) and \(g\) has constant curvature, or \(n>2\) and \(g\) is flat. We also check that (i) the holomorphic sectional curvature of \(({\tilde{\hbox {J}}},\tilde{g})\) is not constant unless \(g\) is flat, and (ii) in \(n=1\) case, that \(\tilde{g}\) is never anti-self-dual, unless conformally flat.     

\mathcal {A}_{p, {\mathbb {E}}} Weights,Maximal Operators,and Hardy Spaces Associated with a Family of General Sets

Suppose that \({\mathbb {E}}:=\{E_r(x)\}_{r\in {\mathcal {I}}, x\in X}\) is a family of open subsets of a topological space \(X\) endowed with a nonnegative Borel measure \(\mu \) satisfying certain basic conditions. We establish an \(\mathcal {A}_{{\mathbb {E}}, p}\) weights theory with respect to \({\mathbb {E}}\) and get the characterization of weighted weak type (1,1) and strong type \((p,p)\) , \(1<p\le \infty \) , for the maximal operator \({\mathcal {M}}_{{\mathbb {E}}}\) associated with \({\mathbb {E}}\) . As applications, we introduce the weighted atomic Hardy space \(H^1_{{\mathbb {E}}, w}\) and its dual \(BMO_{{\mathbb {E}},w}\) , and give a maximal function characterization of \(H^1_{{\mathbb {E}},w}\) . Our results generalize several well-known results.     

A construction of nonabelian simple {\acute{\mathrm{e}}}tale fundamental groups

Under the assumption of the generalized Riemann hypothesis (GRH), we show that there is a real quadratic field \(K\) such that the \({\acute{\mathrm{e}}}\) tale fundamental group \(\pi ^{\acute{\mathrm{et}}}_1(\mathrm {Spec}\;\mathcal {O}_K)\) of the spectrum of the ring of integers \(\mathcal {O}_K\) of \(K\) is isomorphic to \(A_5\) . The proof uses standard methods involving Odlyzko bounds, as well as the proof of Serre’s modularity conjecture. To the best of the author’s knowledge, this is the first example of a number field \(K\) for which \(\pi ^{\acute{\mathrm{et}}}_1(\mathrm {Spec}\;\mathcal {O}_K)\) is finite, nonabelian and simple under the assumption of the GRH.     

Involutions on certain Banach algebras related to locally compact groups

Let \(\mathcal{{A}}\) be a Banach algebra and let \(\mathcal{{X}}\) be an introverted closed subspace of \(\mathcal{{A}}^*\) . Here, we give necessary and sufficient conditions for that the dual algebra \(\mathcal{{X}}^*\) of \(\mathcal{{X}}\) or the topological centers \({\mathfrak {Z}}_t^{(1)}(\mathcal{{X}}^{*})\) and \({\mathfrak {Z}}_t^{(2)}(\mathcal{{X}}^{*})\) of \(\mathcal{{X}}^*\) are Banach \(*\) -algebras. We finally apply these results to the Banach space \(L_0^\infty (G)\) of all equivalence classes of essentially bounded functions vanishing at infinity on a locally compact group \(G\) .     

Selmer groups over {\mathbb {Z}}_p^d-extensions

Consider an abelian variety \(A\) defined over a global field \(K\) and let \(L/K\) be a \({\mathbb {Z}}_p^d\) -extension, unramified outside a finite set of places of \(K\) , with \({{\mathrm{Gal}}}(L/K)=\Gamma \) . Let \(\Lambda (\Gamma ):={\mathbb {Z}}_p[[\Gamma ]]\) denote the Iwasawa algebra. In this paper, we study how the characteristic ideal of the \(\Lambda (\Gamma )\) -module \(X_L\) , the dual \(p\) -primary Selmer group, varies when \(L/K\) is replaced by a strict intermediate \({\mathbb {Z}}_p^e\) -extension.     

A Note on Spaces of Absolutely Convergent Fourier Transforms

Let \({\mathcal {F}}f\) be an abolutely convergent Fourier transform on the real line. We extend the following result of K. Karlander to \({\mathbf {R}^{n}}\) for \(n \ge 1\) : Any closed reflexive subspace \(\{ {\mathcal {F}}f \}\) of the space of continuous functions vanishing at infinity is of finite dimension.     

Additive maps preserving operators of inner local spectral radius zero

Let \({\mathcal {B}}(X)\) be the algebra of all bounded linear operators on an infinite dimensional complex Banach space \(X\) . We determine the form of surjective additive maps \(\varphi :{\mathcal {B}}(X)\rightarrow {{\mathcal {B}}(X)}\) which preserve operators of inner local spectral radius zero at points of \(X\) .     

The ring of evenly weighted points on the line

Let \(M_w = ({\mathbb {P}}^1)^n /\!/\hbox {SL}_2\) denote the geometric invariant theory quotient of \(({\mathbb {P}}^1)^n\) by the diagonal action of \(\hbox {SL}_2\) using the line bundle \(\mathcal {O}(w_1,w_2,\ldots ,w_n)\) on \(({\mathbb {P}}^1)^n\) . Let \(R_w\) be the coordinate ring of \(M_w\) . We give a closed formula for the Hilbert function of \(R_w\) , which allows us to compute the degree of \(M_w\) . The graded parts of \(R_w\) are certain Kostka numbers, so this Hilbert function computes stretched Kostka numbers. If all the weights \(w_i\) are even, we find a presentation of \(R_w\) so that the ideal \(I_w\) of this presentation has a quadratic Gröbner basis. In particular, \(R_w\) is Koszul. We obtain this result by studying the homogeneous coordinate ring of a projective toric variety arising as a degeneration of \(M_w\) .     

Sharp local estimates for the Szegö–Weinberger profile in Riemannian manifolds

We study the local Szegö–Weinberger profile in a geodesic ball \(B_g(y_0,r_0)\) centered at a point \(y_0\) in a Riemannian manifold \(({\mathcal {M}},g)\) . This profile is obtained by maximizing the first nontrivial Neumann eigenvalue \(\mu _2\) of the Laplace–Beltrami Operator \(\Delta _g\) on \({\mathcal {M}}\) among subdomains of \(B_g(y_0,r_0)\) with fixed volume. We derive a sharp asymptotic bounds of this profile in terms of the scalar curvature of \({\mathcal {M}}\) at \(y_0\) . As a corollary, we deduce a local comparison principle depending only on the scalar curvature. Our study is related to previous results on the profile corresponding to the minimization of the first Dirichlet eigenvalue of \(\Delta _g\) , but additional difficulties arise due to the fact that \(\mu _2\) is degenerate in the unit ball in \(\mathbb {R}^N\) and geodesic balls do not yield the optimal lower bound in the asymptotics we obtain.     

Commutative orders revisited

This article studies commutative orders, that is, commutative semigroups having a semigroup of quotients. In a commutative order \(S\) , the square-cancellable elements \(\mathcal {S}(S)\) constitute a well-behaved separable subsemigroup. Indeed, \(\mathcal {S}(S)\) is also an order and has a maximum semigroup of quotients \(R\) , which is Clifford. We present a new characterisation of commutative orders in terms of semilattice decompositions of \(\mathcal {S}(S)\) and families of ideals of \(S\) . We investigate the role of tensor products in constructing quotients, and show that all semigroups of quotients of \(S\) are homomorphic images of the tensor product \(R\otimes _{\mathcal {S}(S)} S\) . By introducing the notions of generalised order and semigroup of generalised quotients, we show that if \(S\) has a semigroup of generalised quotients, then it has a greatest one. For this we determine those semilattice congruences on \(\mathcal {S}(S)\) that are restrictions of congruences on \(S\) .     

Remark on the Helmholtz decomposition in domains with noncompact boundary

Let \(\varOmega \) be a domain in \(\mathbb {R}^{d+1}\) whose boundary is given as a uniform Lipschitz graph \(x_{d+1}=\eta (x)\) for \(x \in \mathbb {R}^d\) . For such a domain, it is known that the Helmholtz decomposition is not always valid in \(L^p(\varOmega )\) except for the energy space \(L^2 (\varOmega )\) . In this paper we show that the Helmholtz decomposition still holds in certain anisotropic spaces which include vector fields decaying slowly in the \(x_{d+1}\) variable. In particular, these classes include some infinite energy vector fields. For the purpose, we develop a new approach based on a factorization of divergence form elliptic operators whose coefficients are independent of one variable.     

{\mathfrak {sl}}_3-Web bases,intermediate crystal bases and categorification

We give an explicit graded cellular basis of the \({\mathfrak {sl}}_3\) -web algebra \(K_S\) . In order to do this, we identify Kuperberg’s basis for the \({\mathfrak {sl}}_3\) -web space \(W_S\) with a version of Leclerc–Toffin’s intermediate crystal basis and we identify Brundan, Kleshchev and Wang’s degree of tableaux with the weight of flows on webs and the \(q\) -degree of foams. We use these observations to give a “foamy” version of Hu and Mathas graded cellular basis of the cyclotomic Hecke algebra which turns out to be a graded cellular basis of the \({\mathfrak {sl}}_3\) -web algebra. We restrict ourselves to the \({\mathfrak {sl}}_3\) case over \(\mathbb {C}\) here, but our approach should, up to the combinatorics of \({\mathfrak {sl}}_N\) -webs, work for all \(N>1\) or over \(\mathbb {Z}\) .     

Classical limit of the tensor product of holomorphic discrete series representations

For three coadjoint orbits \(\mathcal {O}_1, \mathcal {O}_2\) and \(\mathcal {O}_3\) in \(\mathfrak {g}^*\) , the Corwin–Greenleaf function \(n(\mathcal {O}_1 \times \mathcal {O}_2, \mathcal {O}_3)\) is given by the number of \(G\) -orbits in \(\{(\lambda , \mu ) \in \mathcal {O}_1 \times \mathcal {O}_2 \, : \, \lambda + \mu \in \mathcal {O}_3 \}\) under the diagonal action. In the case where \(G\) is a simple Lie group of Hermitian type, we give an explicit formula of \(n(\mathcal {O}_1 \times \mathcal {O}_2, \mathcal {O}_3)\) for coadjoint orbits \(\mathcal {O}_1\) and \(\mathcal {O}_2\) that meet \(\left( [\mathfrak {k}, \mathfrak {k}] + \mathfrak {p}\right) ^{\perp }\) , and show that the formula is regarded as the ‘classical limit’ of a special case of Kobayashi’s multiplicity-free theorem (Progr. Math. 2007) in the branching law to symmetric pairs.     

Compactness and sequential completeness in some spaces of operators

Let \(X\) be a completely regular Hausdorff space and \(C_b(X)\) be the Banach lattice of all real-valued bounded continuous functions on \(X\) , endowed with the strict topologies \(\beta _\sigma ,\) \(\beta _\tau \) and \(\beta _t\) . Let \(\mathcal{L}_{\beta _z,\xi }(C_b(X),E)\) \((z=\sigma ,\tau ,t)\) stand for the space of all \((\beta _z,\xi )\) -continuous linear operators from \(C_b(X)\) to a locally convex Hausdorff space \((E,\xi ),\) provided with the topology \(\mathcal{T}_s\) of simple convergence. We characterize relative \(\mathcal{T}_s\) -compactness in \(\mathcal{L}_{\beta _z,\xi }(C_b(X),E)\) in terms of the representing Baire vector measures. It is shown that if \((E,\xi )\) is sequentially complete, then the spaces \((\mathcal{L}_{\beta _z,\xi }(C_b(X),E),\mathcal{T}_s)\) are sequentially complete whenever \(z=\sigma \) ; \(z=\tau \) and \(X\) is paracompact; \(z=t\) and \(X\) is paracompact and ?ech complete. Moreover, a Dieudonné–Grothendieck type theorem for operators on \(C_b(X)\) is given.     

On the Dynamics of WKB Wave Functions Whose Phase are Weak KAM Solutions of H–J Equation

In the framework of toroidal Pseudodifferential operators on the flat torus \({\mathbb {T}}^n := ({\mathbb {R}} / 2\pi {\mathbb {Z}})^n\) we begin by proving the closure under composition for the class of Weyl operators \(\mathrm {Op}^w_\hbar (b)\) with symbols \(b \in S^m (\mathbb {T}^n \times \mathbb {R}^n)\) . Subsequently, we consider \(\mathrm {Op}^w_\hbar (H)\) when \(H=\frac{1}{2} |\eta |^2 + V(x)\) where \(V \in C^\infty ({\mathbb {T}}^n)\) and we exhibit the toroidal version of the equation for the Wigner transform of the solution of the Schrödinger equation. Moreover, we prove the convergence (in a weak sense) of the Wigner transform of the solution of the Schrödinger equation to the solution of the Liouville equation on \(\mathbb {T}^n \times {\mathbb {R}}^n\) written in the measure sense. These results are applied to the study of some WKB type wave functions in the Sobolev space \(H^{1} (\mathbb {T}^n; {\mathbb {C}})\) with phase functions in the class of Lipschitz continuous weak KAM solutions (positive and negative type) of the Hamilton–Jacobi equation \(\frac{1}{2} |P+ \nabla _x v (P,x)|^2 + V(x) = \bar{H}(P)\) for \(P \in \ell {\mathbb {Z}}^n\) with \(\ell >0\) , and to the study of the backward and forward time propagation of the related Wigner measures supported on the graph of \(P+ \nabla _x v\) .