We provide a refinement of the Poincaré inequality on the torus $\mathbb{T}^{d}$ : there exists a set $\mathcal{B} \subset \mathbb{T} ^{d}$ of directions such that for every $\alpha \in \mathcal{B}$ there is a $c_{\alpha } > 0$ with $$\begin{aligned} \|\nabla f\|_{L^{2}(\mathbb{T}^{d})}^{d-1} \| \langle \nabla f, \alpha \rangle \|_{L^{2}(\mathbb{T}^{d})} \geq c_{\alpha }\|f\| _{L^{2}(\mathbb{T}^{d})}^{d} \quad \mbox{for all}~f\in H^{1}\bigl( \mathbb{T}^{d}\bigr)~ \mbox{with mean 0.} \end{aligned}$$ The derivative $\langle \nabla f, \alpha \rangle $ does not detect any oscillation in directions orthogonal to $\alpha $ , however, for certain $\alpha $ the geodesic flow in direction $\alpha $ is sufficiently mixing to compensate for that defect. On the two-dimensional torus $\mathbb{T}^{2}$ the inequality holds for $\alpha = (1, \sqrt{2})$ but is not true for $\alpha = (1,e)$ . Similar results should hold at a great level of generality on very general domains.

A Schubert class  in the Grassmannian G(k, n) is rigid if the only proper subvarieties representing that class are Schubert varieties . We prove that a Schubert class  is rigid if and only if it is defined by a partition  satisfying a simple numerical criterion. If  fails this criterion, then there is a corresponding hyperplane class in another Grassmannian G(k0, n0) such that the deformations of the hyperplane in G(k0, n0) yield non-trivial deformations of the Schubert variety . We also prove that, if a partition  contains a sub-partition defining a rigid and singular Schubert class in another Grassmannian G(k0, n0), then there does not exist a smooth subvariety of G(k, n) representing .

In this paper, we prove some analogues of Payne-Polya-Weinberger, Hile-Protter and Yang's inequalities for Dirichlet (discrete) Laplace eigenvalues on any subset in the integer lattice $\Z^n.$ This partially answers a question posed by Chung and Oden.

We introduce and study an approximate solution of the p-Laplace equation, and a linearlization L_{ε} of a perturbed p-Laplace operator. By deriving an L_{ε}-type Bochner's formula and Kato type inequalities, we prove a Liouville type theorem for weakly p-harmonic functions with finite p-energy on a complete noncompact manifold M which supports a weighted Poincaré inequality and satisfies a curvature assumption. This nonexistence result, when combined with an existence theorem, yields in turn some information on topology, i.e. such an M has at most one p-hyperbolic end. Moreover, we prove a Liouville type theorem for strongly p-harmonic functions with finite q-energy on Riemannian manifolds. As an application, we extend this theorem to some p-harmonic maps such as p-harmonic morphisms and conformal maps between Riemannian manifolds. In particular, we obtain a Picard-type Theorem for p-harmonic morphisms.

The definition of quasi-local mass for a bounded space-like region in space-time is essential in several major unsettled roblems in general relativity. The quasi-local mass is expected to be a type of flux integral on the boundary two-surface $ \sum = \partial \Omega $ and should be independent of whichever space-like region $\sum $ bounds. An important idea which is related to the Hamiltonian formulation of general relativity is to consider a reference surface in a flat ambient space with the same first fundamental form and derive the quasi-local mass from the difference of the extrinsic geometries. This approach has be taken by Brown-York [4][5] and Liu-Yau [16][17] (see also related works [12], [15], [6], [14], [3], [9], [28], [32]) to define such notions using the isometric embedding theorem into the Euclidean three space. However, there exist surfaces in the Minkowski space whose quasilocal mass is strictly positive [19]. It appears that the momentum information needs to accounted for to reconcile the difference. In order to fully capture this information, we use isometric embeddings into the Minkowski space as references. In this article, we first prove an existence and uniqueness theorem for such isometric embeddings. We then solve the boundary value problem for Jang’s [13] equation as a procedure to recognize such a surface in the Minkowski space. In doing so, we discover new expression of quasi-local mass for a large class of “admissible” surfaces (see Theorem A and Remark 1.1). The new mass is positive when the ambient space-time satisfies the dominant energy condition and vanishes on surfaces in the Minkowski space. It also has the nice asymptotic behavior at spatial infinity and null infinity. Some of these results were announced in [29].