Weighted Hardy inequality with higher dimensional singularity on the boundary

Let \(\Omega \) be a smooth bounded domain in \(\mathbb R ^N\) with \(N\ge 3\) and let \(\Sigma _k\) be a closed smooth submanifold of \(\partial \Omega \) of dimension \(1\le k\le N-2\) . In this paper we study the weighted Hardy inequality with weight function singular on \(\Sigma _k\) . In particular we provide necessary and sufficient conditions for existence of minimizers.     

On the rank of incidence matrices in projective Hjelmslev spaces

Let \(R\) be a finite chain ring with \(|R|=q^m\) , \(R/{{\mathrm{Rad}}}R\cong \mathbb {F}_q\) , and let \(\Omega ={{\mathrm{PHG}}}({}_RR^n)\) . Let \(\tau =(\tau _1,\ldots ,\tau _n)\) be an integer sequence satisfying \(m=\tau _1\ge \tau _2\ge \cdots \ge \tau _n\ge 0\) . We consider the incidence matrix of all shape \(\varvec{m}^s=(\underbrace{m,\ldots ,m}_s)\) versus all shape \(\tau \) subspaces of \(\Omega \) with \(\varvec{m}^s\preceq \tau \preceq \varvec{m}^{n-s}\) . We prove that the rank of \(M_{\varvec{m}^s,\tau }(\Omega )\) over \(\mathbb {Q}\) is equal to the number of shape \(\varvec{m}^s\) subspaces. This is a partial analog of Kantor’s result about the rank of the incidence matrix of all \(s\) dimensional versus all \(t\) dimensional subspaces of \({{\mathrm{PG}}}(n,q)\) . We construct an example for shapes \(\sigma \) and \(\tau \) for which the rank of \(M_{\sigma ,\tau }(\Omega )\) is not maximal.     

On Sharp Aperture-Weighted Estimates for Square Functions

Let \(S_{\alpha ,\psi }(f)\) be the square function defined by means of the cone in \({\mathbb R}^{n+1}_{+}\) of aperture \(\alpha \) , and a standard kernel \(\psi \) . Let \([w]_{A_p}\) denote the \(A_p\) characteristic of the weight \(w\) . We show that for any \(1<p<\infty \) and \(\alpha \ge 1\) , $$\begin{aligned} \Vert S_{\alpha ,\psi }\Vert _{L^p(w)}\lesssim \alpha ^n[w]_{A_p}^{\max \left( \frac{1}{2},\frac{1}{p-1}\right) }. \end{aligned}$$ For each fixed \(\alpha \) the dependence on \([w]_{A_p}\) is sharp. Also, on all class \(A_p\) the result is sharp in \(\alpha \) . Previously this estimate was proved in the case \(\alpha =1\) using the intrinsic square function. However, that approach does not allow to get the above estimate with sharp dependence on \(\alpha \) . Hence we give a different proof suitable for all \(\alpha \ge 1\) and avoiding the notion of the intrinsic square function.     

On the number of distinct prime factors of nj+a^hk

Let \(\omega (n)\) denote the number of distinct prime factors of \(n\) . Then for any given \(K\ge 2\) , small \(\epsilon >0\) and sufficiently large (only depending on \(K\) and \(\epsilon \) ) \(x\) , there exist at least \(x^{1-\epsilon }\) integers \(n\in [x,(1+K^{-1})x]\) such that \(\omega (nj\pm a^hk)\ge (\log \log \log x)^{\frac{1}{3}-\epsilon }\) for all \(2\le a\le K\) , \(1\le j,k\le K\) and \(0\le h\le K\log x\) .     

Differentiability in the Sobolev space W^{1,n-1}

Let \(\Omega \subset {\mathbb {R}}^{n}\) be a domain, \(n \ge 2\) . We show that a continuous, open and discrete mapping \(f \in W_{\mathrm{loc }}^{1,n-1}(\Omega , {\mathbb {R}}^{n})\) with integrable inner distortion is differentiable almost everywhere on \(\Omega \) . As a corollary we get that the branch set of such a mapping has measure zero.     

The \bar{\partial }-Equation on an Annulus Between Two Strictly q-Convex Domains with Smooth Boundaries

In this paper, we study the global boundary regularity of the \(\bar{\partial }\) - equation on an annulus domain \(\Omega \) between two strictly \(q\) -convex domains with smooth boundaries in \(\mathbb{C }^n\) for some bidegree. To this finish, we first show that the \(\bar{\partial }\) -operator has closed range on \(L^{2}_{r, s}(\Omega )\) and the \(\bar{\partial }\) -Neumann operator exists and is compact on \(L^{2}_{r,s}(\Omega )\) for all \(r\ge 0\) , \(q\le s\le n-q- 1\) . We also prove that the \(\bar{\partial }\) -Neumann operator and the Bergman projection operator are continuous on the Sobolev space \(W^{k}_{r,s}(\Omega )\) , \(k\ge 0\) , \(r\ge 0\) , and \(q\le s\le n-q-1\) . Consequently, the \(L^{2}\) -existence theorem for the \(\bar{\partial }\) -equation on such domain is established. As an application, we obtain a global solution for the \(\bar{\partial }\) equation with Hölder and \(L^p\) -estimates on strictly \(q\) -concave domain with smooth \(\mathcal C ^2\) boundary in \(\mathbb{C }^n\) , by using the local solutions and applying the pushing out method of Kerzman (Commun Pure Appl Math 24:301–380, 1971).     

A study of saturated tensor cone for symmetrizable Kac–Moody algebras

Let \(\mathfrak {g}\) be a symmetrizable Kac-Moody Lie algebra with the standard Cartan subalgebra \(\mathfrak {h}\) and the Weyl group \(W\) . Let \(P_+\) be the set of dominant integral weights. For \(\lambda \in P_+\) , let \(L(\lambda )\) be the integrable, highest weight (irreducible) representation of \(\mathfrak {g}\) with highest weight \(\lambda \) . For a positive integer \(s\) , define the saturated tensor semigroup as $$\begin{aligned} \Gamma _s:= \{(\lambda _1, \dots , \lambda _s,\mu )\in P_+^{s+1}: \exists \, N\ge 1 \,\text {with}\,L(N\mu )\subset L(N\lambda _1)\otimes \dots \otimes L(N\lambda _s)\}. \end{aligned}$$ The aim of this paper is to begin a systematic study of \(\Gamma _s\) in the infinite dimensional symmetrizable Kac-Moody case. In this paper, we produce a set of necessary inequalities satisfied by \(\Gamma _s\) . These inequalities are indexed by products in \(H^*(G^{\mathrm{min }}/B; \mathbb {Z})\) for \(B\) the standard Borel subgroup, where \(G^{\mathrm{min }}\) is the ‘minimal’ Kac-Moody group with Lie algebra \(\mathfrak {g}\) . The proof relies on the Kac-Moody analogue of the Borel-Weil theorem and Geometric Invariant Theory (specifically the Hilbert-Mumford index). In the case that \(\mathfrak {g}\) is affine of rank 2, we show that these inequalities are necessary and sufficient. We further prove that any integer \(d>0\) is a saturation factor for \(A^{(1)}_1\) and 4 is a saturation factor for \(A^{(2)}_2\) .     

Stationary and invariant densities and disintegration kernels

Let \(G\) be a locally compact topological group, acting measurably on some Borel spaces \(S\) and \(T\) , and consider some jointly stationary random measures \(\xi \) on \(S\times T\) and \(\eta \) on \(S\) such that \(\xi (\cdot \times T)\ll \eta \) a.s. Then there exists a stationary random kernel \(\zeta \) from \(S\) to \(T\) such that \(\xi =\eta \otimes \zeta \) a.s. This follows from the existence of an invariant kernel \(\varphi \) from \(S\times {\mathcal {M}}_{S\times T}\times {\mathcal {M}}_S\) to \(T\) such that \(\mu =\nu \otimes \varphi (\cdot ,\mu ,\nu )\) whenever \(\mu (\cdot \times T)\ll \nu \) . Also included are some related results on stationary integration, absolute continuity, and ergodic decomposition.     

Uniqueness of generalized p-area minimizers and integrability of a horizontal normal in the Heisenberg group

We study the uniqueness of generalized \(p\) -minimal surfaces in the Heisenberg group. The generalized \(p\) -area of a graph defined by \(u\) reads \(\int |\nabla u+\vec {F}|+Hu.\) If \(u\) and \(v\) are two minimizers for the generalized \(p\) -area satisfying the same Dirichlet boundary condition, then we can only get \(N_{\vec {F}}(u) = N_{\vec {F}}(v)\) (on the nonsingular set) where \(N_{\vec {F}}(w) := \frac{\nabla w+\vec {F}}{|\nabla w+\vec {F}|}.\) To conclude \(u = v\) (or \(\nabla u = \nabla v)\) , it is not straightforward as in the Riemannian case, but requires some special argument in general. In this paper, we prove that \(N_{\vec {F}}(u) = N_{ \vec {F}}(v)\) implies \(\nabla u = \nabla v\) in dimension \(\ge \) 3 under some rank condition on derivatives of \(\vec {F}\) or the nonintegrability condition of contact form associated to \(u\) or \(v\) . Note that in dimension 2 ( \(n=1),\) the above statement is no longer true. Inspired by an equation for the horizontal normal \(N_{\vec {F}}(u),\) we study the integrability for a unit vector to be the horizontal normal of a graph. We find a Codazzi-like equation together with this equation to form an integrability condition.     

Some totally geodesic submanifolds of the nonlinear Grassmannian of a compact symmetric space

Let \(M\) and \(N\) be two connected smooth manifolds, where \(M\) is compact and oriented and \(N\) is Riemannian. Let \(\mathcal {E}\) be the Fréchet manifold of all embeddings of \(M\) in \(N\) , endowed with the canonical weak Riemannian metric. Let \(\sim \) be the equivalence relation on \(\mathcal {E}\) defined by \(f\sim g\) if and only if \(f=g\circ \phi \) for some orientation preserving diffeomorphism \(\phi \) of \(M\) . The Fréchet manifold \(\mathcal {S}= \mathcal {E}/_{\sim }\) of equivalence classes, which may be thought of as the set of submanifolds of \(N\) diffeomorphic to \(M\) and is called the nonlinear Grassmannian (or Chow manifold) of \(N\) of type \(M\) , inherits from \( \mathcal {E}\) a weak Riemannian structure. We consider the following particular case: \(N\) is a compact irreducible symmetric space and \(M\) is a reflective submanifold of \(N\) (that is, a connected component of the set of fixed points of an involutive isometry of \( N\) ). Let \(\mathcal {C}\) be the set of submanifolds of \(N\) which are congruent to \(M\) . We prove that the natural inclusion of \(\mathcal {C}\) in \(\mathcal {S}\) is totally geodesic.     

L^2-properties of the \overline{\partial } and the \overline{\partial }-Neumann operator on spaces with isolated singularities

Let \(X\) be a Hermitian complex space of pure dimension with only isolated singularities and \(\pi : M\rightarrow X\) a resolution of singularities. Let \(\Omega \subset \subset X\) be a domain with no singularities in the boundary, \(\Omega ^*=\Omega {\setminus }\!{{\mathrm{Sing}}}X\) and \(\Omega '=\pi ^{-1}(\Omega )\) . We relate \(L^2\) -properties of the \(\overline{\partial }\) and the \(\overline{\partial }\) -Neumann operator on \(\Omega ^*\) to properties of the corresponding operators on \(\Omega '\) (where the situation is classically well understood). Outside some middle degrees, there are compact solution operators for the \(\overline{\partial }\) -equation on \(\Omega ^*\) exactly if there are such operators on the resolution \(\Omega '\) , and the \(\overline{\partial }\) -Neumann operator is compact on \(\Omega ^*\) exactly if it is compact on \(\Omega '\) .     

Growth in solvable subgroups of {{\mathrm{GL}}}_r({\mathbb {Z}}/p{\mathbb {Z}})

Let \(K={\mathbb {Z}}/p{\mathbb {Z}}\) and let \(A\) be a subset of \({{\mathrm{GL}}}_r(K)\) such that \(\langle A \rangle \) is solvable. We reduce the study of the growth of \(A\) under the group operation to the nilpotent setting. Fix a positive number \(C\ge 1\) ; we prove that either \(A\) grows (meaning \(|A_3|\ge C|A|\) ), or else there are groups \(U_R\) and \(S\) , with \(U_R\unlhd S \unlhd \langle A\rangle \) , such that \(S/U_R\) is nilpotent, \(A_k\cap S\) is large and \(U_R\subseteq A_k\) , where \(k\) depends only on the rank \(r\) of \({{\mathrm{GL}}}_r(K)\) . Here \(A_k = \{x_1 x_2 \cdots x_k : x_i \in A \cup A^{-1} \cup \{1\}\}\) . When combined with recent work by Pyber and Szabó, the main result of this paper implies that it is possible to draw the same conclusions without supposing that \(\langle A \rangle \) is solvable.     

Measure of Self-Affine Sets and Associated Densities

Let \(B\) be an \(n\times n\) real expanding matrix and \(\mathcal {D}\) be a finite subset of \(\mathbb {R}^n\) with \(0\in \mathcal {D}\) . The self-affine set \(K=K(B,\mathcal {D})\) is the unique compact set satisfying the set-valued equation \(BK=\bigcup _{d\in \mathcal {D}}(K+d)\) . In the case where \(\#\mathcal D=|\det B|,\) we relate the Lebesgue measure of \(K(B,\mathcal {D})\) to the upper Beurling density of the associated measure \(\mu =\lim _{s\rightarrow \infty }\sum _{\ell _0, \ldots ,\ell _{s-1}\in \mathcal {D}}\delta _{\ell _0+B\ell _1+\cdots +B^{s-1}\ell _{s-1}}.\) If, on the other hand, \(\#\mathcal D<|\det B|\) and \(B\) is a similarity matrix, we relate the Hausdorff measure \(\mathcal {H}^s(K)\) , where \(s\) is the similarity dimension of \(K\) , to a corresponding notion of upper density for the measure \(\mu \) .     

The theme of a vanishing period

Consider a multivalued formal function of the type 1 $$\begin{aligned} \varphi (s) : = \sum _{j=0}^k\,c_j(s).s^{\lambda + m_j}.(\mathrm{Log}\,s)^j, \end{aligned}$$ where \(\lambda \) is a positive rational number, \(c_j\) is in \({{\mathrm{\mathbb {C}}}}[[s]]\) and \(m_j \in \mathbb {N}\) for \(j \in [0,k-1]\) . The theme associated with such a \(\varphi \) is the “minimal filtered integral equation” satisfied by \(\varphi \) , in a sense which is made precise in this article. We study such objects and show that their isomorphism classes may be characterized by a finite set of complex numbers, when we assume the Bernstein polynomial of \(\varphi \) to be fixed. For a given \(\lambda \) , to fix the Bernstein polynomial is equivalent to fix a finite set of integers associated with the logarithm of the monodromy in the geometric situation described below. Our aim is to construct some analytic invariants, for instance in the following situation, let \(f : X \rightarrow D\) be a proper holomorphic function defined on a complex manifold \(X\) with values in a disc \(D\) . We assume that the only critical value is \(0 \in D\) and we consider this situation as a degenerating family of compact complex manifolds to a singular compact complex space \(f^{-1}(0)\) . To a smooth \((p+1)\) -form \(\omega \) on \(X\) such that \(\mathrm{d}\omega = 0 = \mathrm{d}f \wedge \omega \) and to a vanishing \(p\) -cycle \(\gamma \) chosen in the generic fiber \(f^{-1}(s_0), s_0 \in D \setminus \{0\}\) , we associated a “vanishing period” \(F_{\gamma }(s) : = \int _{\gamma _s} \omega \big /\mathrm{d}f \) which has an asymptotic expansion at \(0\) of the form \((1)\) above, when \(\gamma \) is chosen in the spectral subspace of \(H_p(f^{-1}(s_0), {{\mathrm{\mathbb {C}}}})\) for the eigenvalue \(\mathrm{e}^{2i\pi .\lambda }\) of the monodromy of \(f\) . Here \((\gamma _s)_{s \in D^*}\) is the horizontal multivalued family of \(p\) -cycles in the fibers of \(f\) obtained from the choice of \(\gamma \) . The aim of this article was to study the module generated by such a \(\varphi \) over the algebra \(\tilde{\mathcal {A}}\) , which is the \(b\) -completion of the algebra \(\mathcal {A}\) generated by the operators \(\mathrm{a} : = \times s\) and \(\mathrm{b} : = \int _{0}^{s}\) .     

Regularity of minimal hypersurfaces with a common free boundary

Let \(N\) be a Riemannian manifold and consider a stationary union of three or more \(C^{1,\mu }\) hypersurfaces-with-boundary \(M_k \subset N\) with a common boundary \(\Gamma \) . We show that if \(N\) is smooth, then \(\Gamma \) is smooth and each \(M_k\) is smooth up to \(\Gamma \) (real analytic in the case \(N\) is real analytic). Consequently we strengthen a result of Wickramasekera for stable codimension 1 integral varifolds regularity to conclude that under the stronger hypothesis that \(V\) is a stationary, stable, integral \(n\) -varifold in an \((n+1)\) -dimensional, smooth (real analytic) Riemannian manifold such that the support of \(\Vert V\Vert \) is nowhere locally the union of three or more smooth (real analytic) hypersurfaces-with-boundary meeting along a common boundary, the singular set of \(V\) is empty if \(n \le 6\) , is discrete if \(n = 7\) , and has Hausdorff dimension at most \(n-7\) if \(n \ge 8\) .     

Noether–Lefschetz theory with base locus

Let \(Z\) be a closed subscheme of a smooth complex projective variety \(Y\subseteq \mathbb {P}^N\) , with \(\dim \,Y=2r+1\ge 3\) . We describe the intermediate Néron–Severi group (i.e. the image of the cycle map \(A_r(X)\rightarrow H_{2r}(X;\mathbb {Z})\) ) of a general smooth hypersurface \(X\subset Y\) of sufficiently large degree containing \(Z\) .     

Large collections of curves pairwise intersecting exactly once

Let \(\Omega =(\omega _{j})_{j\in I}\) be a maximum size collection of pairwise non-isotopic simple closed curves on the closed, orientable, genus \(g\) surface \(S_{g}\) , such that \(\omega _{i}\) and \(\omega _{j}\) intersect exactly once for \(i\ne j\) . We show that for \(g\ge 3\) , there exists atleast two such collections up to the action of the mapping class group, answering a question posed by Malestein, Rivin and Theran. As a consequence, we show that the automorphism group of the systole graph for \(S_{g}, g\ge 3\) (whose vertices are isotopy classes of simple closed curves, and whose edges correspond to pairs of curve intersecting once) does not act transitively on maximal complete subgraphs.     

Sur un problème de capitulation du corps ℚ\sqrt {p_1 p_2 } , i dont le 2-groupe de classes est élémentaire

Let p ₁ ≡ p ₂ ≡ 1 (mod 8) be primes such that \(\left( {\tfrac{{p_1 }} {{p_2 }}} \right) = - 1\) and \(\left( {\tfrac{2} {{a + b}}} \right) = - 1\) , where p ₁ p ₂ = a ²+b ². Let \(i = \sqrt { - 1} \) , d = p ₁ p ₂, \(\Bbbk = \mathbb{Q}(\sqrt {d,} i),\Bbbk _2^{(1)} \) be the Hilbert 2-class field and \(\Bbbk ^{(*)} = \mathbb{Q}(\sqrt {p_1 } ,\sqrt {p_2 } ,i)\) be the genus field of \(\Bbbk \) . The 2-part \(C_{\Bbbk ,2} \) of the class group of \(\Bbbk \) is of type (2, 2, 2), so \(\Bbbk _2^{(1)} \) contains seven unramified quadratic extensions \(\mathbb{K}_j /\Bbbk \) and seven unramified biquadratic extensions \(\mathbb{L}_j /\Bbbk \) . Our goal is to determine the fourteen extensions, the group \(C_{\Bbbk ,2} \) and to study the capitulation problem of the 2-classes of \(\Bbbk \) .     

On a subsemigroup of the universal covering of Lie semigroups

Let \(G\) be a connected Lie group and \(S\) a generating Lie semigroup. An important fact is that generating Lie semigroups admit simply connected covering semigroups. Denote by \(\widetilde{S}\) the simply connected universal covering semigroup of \(S\) . In connection with the problem of identifying the semigroup \(\Gamma (S)\) of monotonic homotopy with a certain subsemigroup of the simply connected covering semigroup \(\widetilde{S}\) we consider in this paper the following subsemigroup $$\begin{aligned} \widetilde{S}_{L}=\overline{\left\langle \mathrm {Exp}(\mathbb {L} (S))\right\rangle } \subset \widetilde{S}, \end{aligned}$$ where \(\mathrm {Exp}:\mathbb {L}(S)\rightarrow S\) is the lifting to \( \widetilde{S}\) of the exponential mapping \(\exp :\mathbb {L}(S)\rightarrow S\) . We prove that \(\widetilde{S}_{L}\) is also simply connected under the assumption that the Lie semigroup \(S\) is right reversible. We further comment how this result should be related to the identification problem mentioned above.     

Mean Squared Error Minimization for Inverse Moment Problems

We consider the problem of approximating the unknown density \(u\in L^2(\Omega ,\lambda )\) of a measure \(\mu \) on \(\Omega \subset \mathbb {R}^n\) , absolutely continuous with respect to some given reference measure \(\lambda \) , only from the knowledge of finitely many moments of \(\mu \) . Given \(d\in \mathbb {N}\) and moments of order \(d\) , we provide a polynomial \(p_d\) which minimizes the mean square error \(\int (u-p)^2d\lambda \) over all polynomials \(p\) of degree at most \(d\) . If there is no additional requirement, \(p_d\) is obtained as solution of a linear system. In addition, if \(p_d\) is expressed in the basis of polynomials that are orthonormal with respect to \(\lambda \) , its vector of coefficients is just the vector of given moments and no computation is needed. Moreover \(p_d\rightarrow u\) in \(L^2(\Omega ,\lambda )\) as \(d\rightarrow \infty \) . In general nonnegativity of \(p_d\) is not guaranteed even though \(u\) is nonnegative. However, with this additional nonnegativity requirement one obtains analogous results but computing \(p_d\ge 0\) that minimizes \(\int (u-p)^2d\lambda \) now requires solving an appropriate semidefinite program. We have tested the approach on some applications arising from the reconstruction of geometrical objects and the approximation of solutions of nonlinear differential equations. In all cases our results are significantly better than those obtained with the maximum entropy technique for estimating \(u\) .