Calabi Product Lagrangian Immersions in Complex Projective Space and Complex Hyperbolic Space

Starting from two Lagrangian immersions and a Legendre curve ${\tilde{\gamma}(t)}$ in ${\mathbb{S}^3(1)}$ $({\rm or\,in}\,{\mathbb{H}_1^3(-1)})$ , it is possible to construct a new Lagrangian immersion in ${\mathbb{CP}^n(4)}$ $({\rm or\,in}\,{\mathbb{CH}^n(-4)})$ , which is called a warped product Lagrangian immersion. When ${\tilde{\gamma}(t)=(r_1e^{i(\frac{r_2}{r_1}at)}, \;r_2e^{i(- \frac{r_1}{r_2}at)})}$ $({\rm or}\,{\tilde{\gamma}(t)=(r_1e^{i(\frac{r_2}{r_1}at)}, \;r_2e^{i( \frac{r_1}{r_2}at)})})$ , where r ₁, r ₂, and a are positive constants with ${r_1^2+r_2^2=1}$ $({\rm or}\,{-r_1^2+r_2^2=-1})$ , we call the new Lagrangian immersion a Calabi product Lagrangian immersion. In this paper, we study the inverse problem: how to determine from the properties of the second fundamental form whether a given Lagrangian immersion of ${\mathbb{CP}^n(4)}$ or ${\mathbb{CH}^n(-4)}$ is a Calabi product Lagrangian immersion. When the Calabi product is minimal, or is Hamiltonian minimal, or has parallel second fundamental form, we give some further characterizations.     

Homoclinic Solutions for a Class of Second Order Hamiltonian Systems

In this paper we consider the existence of homoclinic solutions for the following second order non-autonomous Hamiltonian system $${\ddot q}-L(t)q+\nabla W(t,q)=0, \quad\quad\quad\quad\quad\quad\quad (\rm HS)$$ where ${L\in C({\mathbb R},{\mathbb R}^{n^2})}$ is a symmetric and positive definite matrix for all ${t\in {\mathbb R}}$ , W(t, q)?=?a(t)U(q) with ${a\in C({\mathbb R},{\mathbb R}^+)}$ and ${U\in C^1({\mathbb R}^n,{\mathbb R})}$ . The novelty of this paper is that, assuming L is bounded from below in the sense that there is a constant M?>?0 such that (L(t)q, q)?≥ M |q|² for all ${(t,q)\in {\mathbb R}\times {\mathbb R}^n}$ , we establish one new compact embedding theorem. Subsequently, supposing that U satisfies the global Ambrosetti–Rabinowitz condition, we obtain a new criterion to guarantee that (HS) has one nontrivial homoclinic solution using the Mountain Pass Theorem, moreover, if U is even, then (HS) has infinitely many distinct homoclinic solutions. Recent results from the literature are generalized and significantly improved.     

Prescribed diagonal Schouten tensor in locally conformally flat manifolds

We consider the pseudo-euclidean space ${(\mathbb{R}^n, g)}$ , with n ≥  3 and ${g_{ij} = \delta_{ij} \varepsilon_i, \varepsilon_i = \pm 1}$ and tensors of the form ${T = \sum \nolimits_i \varepsilon_i f_i (x) dx_i^2}$ . In this paper, we obtain necessary and sufficient conditions for a diagonal tensor to admit a metric ${\bar{g}}$ , conformal to g, so that ${A_{\bar g}=T}$ , where ${A_{\bar g}}$ is the Schouten Tensor of the metric ${\bar g}$ . The solution to this problem is given explicitly for special cases for the tensor T, including a case where the metric ${\bar g}$ is complete on ${\mathbb{R}^n}$ . Similar problems are considered for locally conformally flat manifolds. As an application of these results we consider the problem of finding metrics ${\bar g}$ , conformal to g, such that ${\sigma_2 ({\bar g })}$ or ${\frac{\sigma_2 ({\bar g })}{\sigma_1 ({\bar g })}}$ is equal to a given function. We prove that for some functions, f ₁ and f ₂, there exist complete metrics ${\bar{g} = g/{\varphi^2}}$ , such that ${\sigma_2 ({\bar g }) = f_1}$ or ${\frac{\sigma_2 ({\bar g })}{\sigma_1 ({\bar g })} = f_2}$ .     

Young measures generated by sequences in Morrey spaces

Let ${\Omega\subset\mathbb{R}^n}$ be open and bounded. For 1 ≤ p < ∞ and 0 ≤ λ < n, we give a characterization of Young measures generated by sequences of functions ${\{{\bf f}_j\}_{j=1}^\infty}$ uniformly bounded in the Morrey space ${L^{p,\lambda}(\Omega;\mathbb{R}^N)}$ with ${\{\left|{{\bf f}_j}\right|^p\}_{j=1}^\infty}$ equiintegrable. We then treat the case that each f _j = ? u _j for some ${{\bf u}_j\in W^{1,p}(\Omega;\mathbb{R}^N)}$ . As an application of our results, we consider the functional $${\bf u} \mapsto \int\limits_{\Omega}f({\bf x}, {\bf u}({\bf x}), {\bf {\nabla}}{\bf u}({\bf x})){\rm d}{\bf x},$$ and provide conditions that guarantee the existence of a minimizing sequence with gradients uniformly bounded in ${L^{p,\lambda}(\Omega;\mathbb{R}^{N\times n})}$ .     

Value-sets of polynomials at p-adic integers

In this paper we are concerned with the classification of the subsets A of ${\mathbb{Z}_p}$ which occur as images ${f(\mathbb{Z}_p^r)}$ of polynomial functions ${f:\mathbb{Z}_p^r\to \mathbb{Z}_p}$ , limiting ourselves to compact-open subsets (i.e. finite unions of open balls). We shall prove three main results: (i) Every compact-open ${A\subset \mathbb{Z}_p}$ is of the shape ${A=f(\mathbb{Z}_p^r)}$ for suitable r and ${f\in\mathbb{Z}_p[X_1,\ldots ,X_r]}$ . (ii) For each r ₀ there is a compact-open A such that in (i) we cannot take r < r ₀. (iii) For any compact-open set ${A\subset \mathbb{Z}_p}$ there exists a polynomial ${f\in\mathbb{Q}_p[X]}$ such that ${f(\mathbb{Z}_p)=A}$ . We shall also discuss in more detail which sets A can be represented as ${f(\mathbb{Z}_p)}$ for a polynomial ${f\in\mathbb{Z}_p[X]}$ in a single variable.     

On The Structure of A Commutative Banach Algebra Generated By Toeplitz Operators With Quasi-Radial Quasi-Homogeneous Symbols

Let ${\mathcal{A}_{\lambda}^2(\mathbb{B}^n)}$ denote the standard weighted Bergman space over the unit ball ${\mathbb{B}^n}$ in ${\mathbb{C}^n}$ . New classes of commutative Banach algebras ${\mathcal{T}(\lambda)}$ which are generated by Toeplitz operators on ${\mathcal{A}_{\lambda}^2(\mathbb{B}^n)}$ have been recently discovered in Vasilevski (Integr Equ Oper Theory 66(1):141?C152, 2010). These algebras are induced by the action of the quasi-elliptic group of biholomorphisms of ${\mathbb{B}^n}$ . In the present paper we analyze in detail the internal structure of such an algebra in the lowest dimensional case n?=?2. We explicitly describe the maximal ideal space and the Gelfand map of ${\mathcal{T}(\lambda)}$ . Since ${\mathcal{T}(\lambda)}$ is not invariant under the *-operation of ${\mathcal{L}(\mathcal{A}_{\lambda}^2(\mathbb{B}^n))}$ its inverse closedness is not obvious and is proved. We remark that the algebra ${\mathcal{T}(\lambda)}$ is not semi-simple and we derive its radical. Several applications of our results are given and, in particular, we conclude that the essential spectrum of elements in ${\mathcal{T}(\lambda)}$ is always connected.     

Homotopy Groups of Spheres and Lipschitz Homotopy Groups of Heisenberg Groups

We provide a sufficient condition for the nontriviality of the Lipschitz homotopy group of the Heisenberg group, ${\pi_m^{\rm Lip}(\mathbb{H}_n)}$ , in terms of properties of the classical homotopy group of the sphere, ${\pi_m(\mathbb{S}^n)}$ . As an application we provide a new simplified proof of the fact that ${\pi_n^{\rm Lip}(\mathbb{H}_n)\neq \{0\}, n=1,2,\ldots}$ , and we prove a new result that ${\pi_{4n-1}^{\rm Lip}(\mathbb{H}_{2n})\neq \{0\}}$ for n = 1,2,… The last result is based on a new generalization of the Hopf invariant. We also prove that Lipschitz mappings are not dense in the Sobolev space ${W^{1,p}(\mathcal{M},\mathbb{H}_{2n})}$ when ${\dim \mathcal{M} \geq 4n}$ and 4n?1 ≤  p < 4n.     

On the characterization of the compact embedding of Sobolev spaces

For every positive regular Borel measure, possibly infinite valued, vanishing on all sets of p-capacity zero, we characterize the compactness of the embedding ${W^{1,p}({\mathbb R}^N)\cap L^p ({\mathbb R}^N,\mu)\hookrightarrow L^q({\mathbb R}^N)}$ in terms of the qualitative behavior of some characteristic PDE. This question is related to the well posedness of a class of geometric inequalities involving the torsional rigidity and the spectrum of the Dirichlet Laplacian introduced by Pólya and Szeg? (Isoperimetric inequalities in mathematical physics, Annals of mathematics studies, 1951). In particular, we prove that finite torsional rigidity of an arbitrary domain (possibly with infinite measure), implies the compactness of the resolvent of the Laplacian.     

Estimates in Beurling-Helson type theorems: Multidimensional case

We consider the spaces A _p ( $\mathbb{T}^m $ ) of functions f on the m-dimensional torus $\mathbb{T}^m $ such that the sequence of Fourier coefficients $\hat f = \{ \hat f(k),k \in \mathbb{Z}^m \} $ belongs to l ^p (? ^m ), 1 ≤ p < 2. The norm on A _p ( $\mathbb{T}^m $ ) is defined by $\left\| f \right\|_{A_p (\mathbb{T}^m )} = \left\| {\hat f} \right\|_{l^p (\mathbb{Z}^m )} $ . We study the rate of growth of the norms $\left\| {e^{i\lambda \phi } } \right\|_{A_p (\mathbb{T}^m )} $ as |λ| → ∞, λ ∈ ?, for C ¹-smooth real functions φ on $\mathbb{T}^m $ (the one-dimensional case was investigated by the author earlier). The lower estimates that we obtain have direct analogs for the spaces A _p (? ^m ).     

Sets Computing the Symmetric Tensor Rank

Let ${\nu_{d} : \mathbb{P}^{r} \rightarrow \mathbb{P}^{N}, N := \left( \begin{array}{ll} r + d \\ \,\,\,\,\,\, r \end{array} \right)- 1,}$ denote the degree d Veronese embedding of ${\mathbb{P}^{r}}$ . For any ${P\, \in \, \mathbb{P}^{N}}$ , the symmetric tensor rank sr(P) is the minimal cardinality of a set ${\mathcal{S} \subset \nu_{d}(\mathbb{P}^{r})}$ spanning P. Let ${\mathcal{S}(P)}$ be the set of all ${A \subset \mathbb{P}^{r}}$ such that ${\nu_{d}(A)}$ computes sr(P). Here we classify all ${P \,\in\, \mathbb{P}^{n}}$ such that sr(P) <  3d/2 and sr(P) is computed by at least two subsets of ${\nu_{d}(\mathbb{P}^{r})}$ . For such tensors ${P\, \in\, \mathbb{P}^{N}}$ , we prove that ${\mathcal{S}(P)}$ has no isolated points.     

Derived semidistributive lattices

For L a finite lattice, let ${\mathbb {C}(L) \subseteq L^2}$ denote the set of pairs γ = (γ ₀, γ ₁) such that ${\gamma_0 \prec \gamma_1}$ and order it as followsγ ≤ δ iff γ ₀ ≤ δ ₀, ${\gamma_{1} \nleq \delta_0,}$ and γ ₁ ≤ δ ₁. Let ${\mathbb {C}(L, \gamma)}$ denote the connected component of γ in this poset. Our main result states that, for any ${\gamma, \mathbb {C}(L, \gamma)}$ is a semidistributive lattice if L is semidistributive, and that ${\mathbb {C}(L, \gamma)}$ is a bounded lattice if L is bounded. Let ${\mathcal{S}_{n}}$ be the Permutohedron on n letters and let ${\mathcal{T}_{n}}$ be the Associahedron on n + 1 letters. Explicit computations show that ${\mathbb {C}(\mathcal{S}_{n}, \alpha) = \mathcal{S}_{n-1}}$ and ${\mathbb {C}(\mathcal {T}_n, \alpha) = \mathcal {T}_{n-1}}$ , up to isomorphism, whenever α1 is an atom of ${\mathcal{S}_{n}}$ or ${\mathcal{T}_{n}}$ . These results are consequences of new characterizations of finite join-semidistributive and of finite lower bounded lattices: (i) a finite lattice is join-semidistributive if and only if the projection sending ${\gamma \in \mathbb {C}(L)}$ to ${\gamma_0 \in L}$ creates pullbacks, (ii) a finite join-semidistributive lattice is lower bounded if and only if it has a strict facet labelling. Strict facet labellings, as defined here, are a generalization of the tools used by Caspard et al. to prove that lattices of finite Coxeter groups are bounded.     

On p-tuples of the Grassmann manifolds

We provide a matrix invariant for isometry classes of p-tuples of points in the Grassmann manifold ${G_{n}\left(\mathbb{K}^{d}\right) }$ ( ${\mathbb{K=\mathbb{R}}}$ or ${\mathbb{C}}$ ). This invariant fully characterizes the p-tuple. We use it to classify the regular p-tuples of ${G_{2}\left(\mathbb{R}^{d}\right) }$ , ${G_{3}\left( \mathbb{R}^{d}\right) }$ and ${G_{2}\left( \mathbb{C}^{d}\right) }$ .     

On the fundamental group of {{\rm Hom}({\mathbb Z}^k,G)}

Let G be a compact Lie group. Consider the variety ${{\rm Hom}({\mathbb Z}^{k},G)}$ of representations of ${{\mathbb Z}^k}$ into G. We can see this as a based space by taking as base point the trivial representation . The goal of this paper is to prove that ${\pi_1({\rm Hom}({\mathbb Z}^k,G))}$ is naturally isomorphic to π ₁(G) ^k .     

Prolongations of valuations to finite extensions

Let ${K=\mathbb{Q}(\theta)}$ be an algebraic number field with θ in the ring A _K of algebraic integers of K and f(x) be the minimal polynomial of θ over the field ${\mathbb{Q}}$ of rational numbers. For a rational prime p, let ${\bar{f}(x)\,=\,\bar{g}_{1}(x)^{e_{1}}....\bar{g}_{r}(x)^{e_{r}}}$ be the factorization of the polynomial ${\bar{f}(x)}$ obtained by reducing coefficients of f(x) modulo p into a product of powers of distinct irreducible polynomials over ${\mathbb{Z}/p\mathbb{Z}}$ with g _i (x) monic. Dedekind proved that if p does not divide [ ${A_{K}:\mathbb{Z}}$ [θ]], then ${pA_{K}=\wp_{1}^{e_{1}}\ldots\wp_{r}^{e_{r}}}$ , where ${\wp_{1},\ldots,\wp_{r}}$ are distinct prime ideals of A _K , ${\wp_{i}=pA_{K}+g_{i}(\theta)A_{K}}$ having residual degree equal to the degree of ${\bar{g}_{i}(x)}$ . He also proved that p does not divide [ ${A_{K}:\mathbb{Z}}$ [θ]] if and only if for each i, either e _i  = 1 or ${\bar{g}_{i}(x)}$ does not divide ${\bar{M}(x)}$ where ${M(x)=\frac{1}{p}(f(x)-g_{1}(x)^{e_{1}}....g_{r}(x)^{e_{r}})}$ . Our aim is to give a weaker condition than the one given by Dedekind which ensures that if the polynomial ${\bar{f}(x)}$ factors as above over ${\mathbb{Z}/p\mathbb{Z}}$ , then there are exactly r prime ideals of A _K lying over p, with respective residual degrees ${\deg \bar {g}_{1}(x),...,\deg \bar {g}_{r}(x)}$ and ramification indices e ₁, ..., e _r . In this paper, the above problem has been dealt with in a more general situation when the base field is a valued field (K, v) of arbitrary rank and K(θ) is any finite extension of K.     

Об аппроксимации свермками и баэисах иэ сдвигов функции

For 2π-periodic functions f ∈ L ^p ( $ \mathbb{T} $ ), 1 ≤ p < ∞, σ ∈ V ( $ \mathbb{T} $ ) and g ∈ L( $ \mathbb{T} $ ), we consider the convolutions $$ (f*d\sigma )_T (x) = \int_0^{2\pi } {f(x - t)d\sigma (t), } (f*g)_T (x) = \int_0^{2\pi } {f(x - t)g(t)dt.} $$ For fixed functions σ ∈ V ( $ \mathbb{T} $ ) and g ∈ L( $ \mathbb{T} $ ), necessary and sufficient conditions are obtained for the density of the ranges of these operators in L ^p . Similar result is proved for the dyadic convolution $$ (f*g)_2 (x) = \int_0^1 {f(x \oplus t)g(t)dt,} $$ where ⊕ is the operation of dyadic addition on [0, 1). Moreover, it is proved that in the spaces L ^p ( $ \mathbb{T} $ ), 1 ≤ p ∞, and C( $ \mathbb{T} $ ) there exist no bases of shifts of a function. Similar results are obtained for the spaces L ^p [0, 1]*, 1 ≤ p < ∞, and C[0, 1]* relative to dyadic shifts, where [0, 1]* is the modified segment [0, 1]. It is also proved that in the space L(?₊) there exists no basis of dyadic shifts of a function.     

A decomposition of the universal embedding space for the near polygon {{\mathbb H}_n}

Let ${{\mathbb H}_n, n \geq 1}$ , be the near 2n-gon defined on the 1-factors of the complete graph on 2n?+?2 vertices, and let e denote the absolutely universal embedding of ${{\mathbb H}_n}$ into PG(W), where W is a ${\frac{1}{n+2} \left(\begin{array}{c}2n+2 \\ n+1\end{array}\right)}$ -dimensional vector space over the field ${{\mathbb F}_2}$ with two elements. For every point z of ${{\mathbb H}_n}$ and every ${i \in {\mathbb N}}$ , let Δ _i (z) denote the set of points of ${{\mathbb H}_n}$ at distance i from z. We show that for every pair {x, y} of mutually opposite points of ${{\mathbb H}_n, W}$ can be written as a direct sum ${W_0 \oplus W_1 \oplus \cdots \oplus W_n}$ such that the following four properties hold for every ${i \in \{0,\ldots,n \}}$ : (1) ${\langle e(\Delta_i(x) \cap \Delta_{n-i}(y)) \rangle = {\rm PG}(W_i)}$ ; (2) ${\left\langle e \left( \bigcup_{j \leq i} \Delta_j(x) \right) \right\rangle = {\rm PG}(W_0 \oplus W_1 \oplus \cdots \oplus W_i)}$ ; (3) ${\left\langle e \left( \bigcup_{j \leq i} \Delta_j(y) \right) \right\rangle = {\rm PG}(W_{n-i}\oplus W_{n-i+1} \oplus \cdots \oplus W_n)}$ ; (4) ${\dim(W_i) = |\Delta_i(x) \cap \Delta_{n-i}(y)| = \left(\begin{array}{c}n \\ i\end{array}\right)^2 - \left(\begin{array}{c}n \\ i-1\end{array}\right) \cdot \left(\begin{array}{c}n \\ i+1\end{array}\right)}$ .