Fractional Sobolev metrics on spaces of immersed curves

Motivated by applications in the field of shape analysis, we study reparametrization invariant, fractional order Sobolev-type metrics on the space of smooth regular curves \(\mathrm {Imm}(\mathrm {S}^{1},\mathbb {R}^d)\) and on its Sobolev completions \({\mathcal {I}}^{q}(\mathrm {S}^{1},{\mathbb {R}}^{d})\). We prove local well-posedness of the geodesic equations both on the Banach manifold \({\mathcal {I}}^{q}(\mathrm {S}^{1},{\mathbb {R}}^{d})\) and on the Fréchet-manifold \(\mathrm {Imm}(\mathrm {S}^{1},\mathbb {R}^d)\) provided the order of the metric is greater or equal to one. In addition we show that the \(H^s\)-metric induces a strong Riemannian metric on the Banach manifold \({\mathcal {I}}^{s}(\mathrm {S}^{1},{\mathbb {R}}^{d})\) of the same order s, provided \(s>\frac{3}{2}\). These investigations can be also interpreted as a generalization of the analysis for right invariant metrics on the diffeomorphism group.     

Foreword

A hierarchy of topological Ramsey spaces \({\mathcal{R}_\alpha}\) (\({\alpha < \omega_1}\)), generalizing the Ellentuck space, were built by Dobrinen and Todorcevic in order to completely classify certain equivalent classes of ultrafilters Tukey (resp. Rudin–Keisler) below \({\mathcal{U}_\alpha}\) \({(\alpha < \omega_1)}\), where \({\mathcal{U}_\alpha}\) are ultrafilters constructed by Laflamme satisfying certain partition properties and have complete combinatorics over the Solovay model. We show that Nash–Williams, or Ramsey ultrafilters in these spaces are preserved under countable-support side-by-side Sacks forcing. This is achieved by proving a parametrized theorem for these spaces, and showing that Nash–Williams ultrafilters localizes the theorem. We also show that every Nash–Williams ultrafilter in \({\mathcal{R}_\alpha}\) is selective.     

On a new generalization of metric spaces

In this paper, we introduce the \({\mathcal {F}}\)-metric space concept, which generalizes the metric space notion. We define a natural topology \(\tau _{{\mathcal {F}}}\) in such spaces and we study their topological properties. Moreover, we establish a new version of the Banach contraction principle in the setting of \({\mathcal {F}}\)-metric spaces. Several examples are presented to illustrate our study.     

Gravitational Field Equations on Fefferman Space–Times

The total space \({\mathfrak M} \approx {\mathbb H}_1 \times S^1\) of the canonical circle bundle over the 3-dimensional Heisenberg group \({\mathbb H}_1\) is a space–time with the Lorentzian metric \(F_{\theta _0}\) (Fefferman’s metric) associated to the canonical Tanaka–Webster flat contact form \(\theta _0\) on \({\mathbb H}_1\). The matter and energy content of \(\mathfrak M\) is described by the energy-momentum tensor \({T}_{\mu \nu }\) (the trace-less Ricci tensor of \(F_{\theta _0}\)) as an effect of the non flat nature of Feferman’s metric \(F_{\theta _0}\). We study the gravitational field equations \(R_{\mu \nu } - (1/2) \, R \, g_{\mu \nu } = {T}_{\mu \nu }\) on \({\mathfrak M}\). We consider the first order perturbation \(g = F_{\theta _0} + \epsilon \, h\), \(\epsilon<< 1\), and linearize the field equations about \(F_{\theta _0}\). We determine a Lorentzian metric g on \({\mathfrak M}\) which solves the linearized field equations corresponding to a diagonal perturbation h.     

On the geometry of curves and conformal geodesics in the Möbius space

This article deals with the study of some properties of immersed curves in the conformal sphere \({\mathbb{Q}_n}\), viewed as a homogeneous space under the action of the Möbius group. After an overview on general well-known facts, we briefly focus on the links between Euclidean and conformal curvatures, in the spirit of F. Klein’s Erlangen program. The core of this article is the study of conformal geodesics, defined as the critical points of the conformal arclength functional. After writing down their Euler–Lagrange equations for any n, we prove an interesting codimension reduction, namely that every conformal geodesic in \({\mathbb{Q}_n}\) lies, in fact, in a totally umbilical 4-sphere \({\mathbb{Q}_4}\). We then extend and complete the work in Musso (Math Nachr 165:107–131, 1994) by solving the Euler–Lagrange equations for the curvatures and by providing an explicit expression even for those conformal geodesics not included in any conformal 3-sphere.     

Interpolation of sum and intersection spaces of <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>-type and applications to the Stokes problem in general unbounded domains

In a general unbounded uniform C ²-domain \({\Omega \subset \mathbb{R}^n, n \geq 3}\) , and \({1\leq q\leq \infty}\) consider the spaces \({\tilde{L}^q(\Omega)}\) defined by \({\tilde{L^q}(\Omega) := \left\{\begin{array}{ll}L^q(\Omega)+L^2(\Omega),\quad q < 2, \\ L^q(\Omega)\cap L^2(\Omega),\quad q\geq 2, \end{array}\right.}\) and corresponding subspaces of solenoidal vector fields, \({\tilde{L}^q_\sigma(\Omega)}\) . By studying the complex and real interpolation spaces of these we derive embedding properties for fractional order spaces related to the Stokes problem and L ^p ? L ^q -type estimates for the corresponding semigroup.     

Bumpy metrics on spheres and minimal index growth

The existence of two geometrically distinct closed geodesics on an n-dimensional sphere \(S^n\) with a non-reversible and bumpy Finsler metric was shown independently by Duan and Long [7] and the author [25]. We simplify the proof of this statement by the following observation: If for some \(N \in \mathbb {N}\) all closed geodesics of index \(\le \)N of a non-reversible and bumpy Finsler metric on \(S^n\) are geometrically equivalent to the closed geodesic c, then there is a covering \(c^r\) of minimal index growth, i.e.,

$$\begin{aligned} \mathrm{ind}(c^\mathrm{rm})=m \,\mathrm{ind}(c^r)-(m-1)(n-1), \end{aligned}$$

for all \(m \ge 1\) with \(\mathrm{ind}\left( c^\mathrm{rm}\right) \le N.\) But this leads to a contradiction for \(N =\infty \) as pointed out by Goresky and Hingston [13]. We also discuss perturbations of Katok metrics on spheres of even dimension carrying only finitely many closed geodesics. For arbitrarily large \(L>0\), we obtain on \(S^2\) a metric of positive flag curvature carrying only two closed geodesics of length \(<L\) which do not intersect.

     

Centralizing traces with automorphisms on triangular algebras

Let \({\mathcal{T}}\) be a triangular algebra over a commutative ring \({\mathcal{R}}\), \({\xi}\) be an automorphism of \({\mathcal{T}}\) and \({\mathcal{Z}_{\xi}(\mathcal{T})}\) be the \({\xi}\)-center of \({\mathcal{T}}\). Suppose that \({\mathfrak{q}\colon \mathcal{T}\times \mathcal{T}\longrightarrow \mathcal{T}}\) is an \({\mathcal{R}}\)-bilinear mapping and that \({\mathfrak{T}_{\mathfrak{q}}\colon \mathcal{T}\longrightarrow \mathcal{T}}\) is a trace of \({\mathfrak{q}}\). The aim of this article is to describe the form of \({\mathfrak{T}_{\mathfrak{q}}}\) satisfying the commuting condition \({[\mathfrak{T}_{\mathfrak{q}}(x), x]_{\xi}=0}\) (resp. the centralizing condition \({[\mathfrak{T}_{\mathfrak{q}}(x), x]_{\xi}\in \mathcal{Z}_\xi(\mathcal{T})}\)) for all \({x\in \mathcal{T}}\). More precisely, we will consider the question of when \({\mathfrak{T}_{\mathfrak{q}}}\) satisfying the previous condition has the so-called proper form.     

A Categorification of $\displaystyle {\mathfrak q} (2)$-Crystals

We provide a categorification of \(\mathfrak {q}(2)\)-crystals on the singular \(\mathfrak {gl}_{n}\)-category \({\mathcal O}_{n}\). Our result extends the \(\mathfrak {gl}_{2}\)-crystal structure on \(\text {Irr} ({\mathcal O}_{n})\) induced from the work of Bernstein-Frenkel-Khovanov. Further properties of the \({\mathfrak q}(2)\)-crystal \(\text {Irr} ({\mathcal O}_{n})\) are also discussed.     

Weakly compact weighted composition operators on spaces of Lipschitz functions

We prove that if X is a compact metric space and \({\text {lip}}(X,d)\) has the uniform separation property, then weakly compact weighted composition operators on spaces of Lipschitz functions \({\text {Lip}}(X,d)\) and \({\text {lip}}(X,d)\) are compact.     

Locally algebraic vectors in the Breuil–Herzig ordinary part

For a fairly general reductive group \({G_{/\mathbb{Q}_p}}\), we explicitly compute the space of locally algebraic vectors in the Breuil–Herzig construction \({\Pi(\rho)^{ord}}\), for a potentially semistable Borel-valued representation \({\rho}\) of \({Gal(\bar{\mathbb{Q}}_p/\mathbb{Q}_p)}\). The point being we deal with the whole representation, not just its socle—and we go beyond \({GL_n(\mathbb{Q}_p)}\). In the case of \({GL_2(\mathbb{Q}_p)}\), this relation is one of the key properties of the \({p}\)-adic local Langlands correspondence. We give an application to \({p}\)-adic local-global compatibility for \({\Pi(\rho)^{ord}}\) for modular representations, but with no indecomposability assumptions.     

The characterization of Hermitian surfaces by the number of points

The nonsingular Hermitian surface of degree \({\sqrt{q} +1}\) is characterized by its number of \({\mathbb{F}_q}\) -points among the surfaces over \({\mathbb{F}_q}\) of degree \({\sqrt{q} +1}\) in the projective 3-space without \({\mathbb{F}_q}\) -plane components.     

Conjugations on 6-manifolds

Conjugation spaces are spaces with an involution such that the fixed point set of the involution has \({\mathbb{Z} _2}\)-cohomology ring isomorphic to the \({\mathbb{Z} _2}\)-cohomology of the space itself, with the difference that all degrees are divided by two (e.g. \({\mathbb{C} {\rm P}^n}\) with the complex conjugation has \({\mathbb{R} {\rm P}^n}\) as fixed point set). One also requires that a certain conjugation equation is fulfilled. We give a new characterisation of conjugation spaces and apply it to the following realization problem: given M, a closed orientable 3-manifold, does there exist a simply connected 6-manifold X and a conjugation on X with fixed point set M? We give an affirmative answer.     

Maximal Operator in Variable Exponent Generalized Morrey Spaces on Quasi-metric Measure Space

We consider generalized Morrey spaces \({\mathcal{L}^{p(\cdot),\varphi(\cdot)}( X )}\) on quasi-metric measure spaces \({X,d,\mu}\), in general unbounded, with variable exponent p(x) and a general function \({\varphi(x,r)}\) defining the Morrey-type norm. No linear structure of the underlying space X is assumed. The admission of unbounded X generates problems known in variable exponent analysis. We prove the boundedness results for maximal operator known earlier only for the case of bounded sets X. The conditions for the boundedness are given in terms of the so called supremal inequalities imposed on the function \({\varphi(x,r)}\), which are weaker than Zygmund-type integral inequalities often used for characterization of admissible functions \({\varphi}\). Our conditions do not suppose any assumption on monotonicity of \({\varphi(x,r)}\) in r.     

Complete spacelike submanifolds with parallel mean curvature vector in a semi-Euclidean space

Our aim in this article is to study the geometry of n-dimensional complete spacelike submanifolds immersed in a semi-Euclidean space \({\mathbb{R}^{n+p}_{q}}\) of index q, with \({1\leq q\leq p}\). Under suitable constraints on the Ricci curvature and on the second fundamental form, we establish sufficient conditions to a complete maximal spacelike submanifold of \({\mathbb{R}^{n+p}_{q}}\) be totally geodesic. Furthermore, we obtain a nonexistence result concerning complete spacelike submanifolds with nonzero parallel mean curvature vector in \({\mathbb{R}^{n+p}_{p}}\) and, as a consequence, we get a rigidity result for complete constant mean curvature spacelike hypersurfaces immersed in the Lorentz–Minkowski space \({\mathbb{R}^{n+1}_{1}}\).     

Codes with a pomset metric and constructions

Brualdi’s introduction to the concept of poset metric on codes over \(\mathbb {F}_{q}\) paved a way for studying various metrics on \(\mathbb {F}_{q}^{n}\). As the support of vector x in \(\mathbb {F}_{q}^{n}\) is a set and hence induces order ideals and metrics on \(\mathbb {F}_{q}^{n}\), the poset metric codes could not accommodate Lee metric structure due to the fact that the support of a vector with respect to Lee weight is not a set but rather a multiset. This leads the authors to generalize the poset metric structure on to a pomset (partially ordered multiset) metric structure. This paper introduces pomset metric and initializes the study of codes equipped with pomset metric. The concept of order ideals is enhanced and pomset metric is defined. Construction of pomset codes are obtained and their metric properties like minimum distance and covering radius are determined.     

On countably {\mu}-paracompact spaces

A topological space X is countably paracompact if and only if X satisfies the condition (A): For any decreasing sequence {F_i} of non-empty closed sets with \({\bigcap_{i=1}^{\infty} F_{i} = \emptyset}\) there exists a sequence {G_i} of open sets such that \({\bigcap_{i=1}^{\infty}\overline{G_{i}}=\emptyset}\) and \({F_{i} \subset G_{i}}\) for every i. We will show, by an example, that this is not true in generalized topological spaces. In fact there is a \({\mu}\)-normal generalized topological space satisfying the analogue of A which is not even countably \({\mu}\)-metacompact. Then we study the relationships between countably \({\mu}\)-paracompactness, countably \({\mu}\)-metacompactness and the condition corresponding to condition A in generalized topological spaces.     

A characterization of Weingarten surfaces in hyperbolic 3-space

We study 2-dimensional submanifolds of the space \({\mathbb{L}}({\mathbb{H}}^{3})\) of oriented geodesics of hyperbolic 3-space, endowed with the canonical neutral Kähler structure. Such a surface is Lagrangian iff there exists a surface in ?³ orthogonal to the geodesics of Σ.We prove that the induced metric on a Lagrangian surface in \({\mathbb{L}}({\mathbb{H}}^{3})\) has zero Gauss curvature iff the orthogonal surfaces in ?³ are Weingarten: the eigenvalues of the second fundamental form are functionally related. We then classify the totally null surfaces in \({\mathbb{L}}({\mathbb{H}}^{3})\) and recover the well-known holomorphic constructions of flat and CMC 1 surfaces in ?³.     

Spherically Balanced Hilbert Spaces of Formal Power Series in Several Variables-II

We continue the study of spherically balanced Hilbert spaces initiated in the first part of this paper. Recall that the complex Hilbert space \(H^2(\beta )\) of formal power series in the variables \(z_1, \ldots , z_m\) is spherically balanced if and only if there exist a Reinhardt measure \(\mu \) supported on the unit sphere \(\partial {\mathbb {B}}\) and a Hilbert space \(H^2(\gamma )\) of formal power series in the variable \(t\) such that

$$\begin{aligned} \Vert f\Vert ^2_{H^2(\beta )} = \int _{\partial {\mathbb {B}}}\Vert {f_z}\Vert ^2_{H^2(\gamma )}~d\mu (z)~(f \in H^2(\beta )), \end{aligned}$$

where \(f_z(t)=f(t z)\) is a formal power series in the variable \(t\). In the first half of this paper, we discuss operator theory in spherically balanced Hilbert spaces. The first main result in this part describes quasi-similarity orbit of multiplication tuple \(M_z\) on a spherically balanced space \(H^2(\beta ).\) We also observe that all spherical contractive multi-shifts on spherically balanced spaces admit the classical von Neumann’s inequality. In the second half, we introduce and study a class of Hilbert spaces, to be referred to as \({\mathcal {G}}\)-balanced Hilbert spaces, where \({\mathcal {G}}={\mathcal {U}}(r_1) \times {\mathcal {U}}(r_2) \times \cdots \times {\mathcal {U}}(r_k)\) is a subgroup of \({\mathcal {U}}(m)\) with \(r_1 + \cdots + r_k=m.\) In the case in which \({\mathcal {G}}={\mathcal {U}}(m),\) \({\mathcal {G}}\)-balanced spaces are precisely spherically balanced Hilbert spaces.

     

Joins and subdirect products of varieties

We generalise in three different directions two well-known results in universal algebra. Grätzer, Lakser and P?onka proved that independent subvarieties \({\mathcal{V}_{1}, \mathcal{V}_{2}}\) of a variety \({\mathcal{V}}\) are disjoint and such that their join \({\mathcal{V}_{1} \vee \mathcal{V}_{2}}\) (in the lattice of subvarieties of \({\mathcal{V}}\)) is their direct product \({\mathcal{V}_{1} \times \mathcal{V}_{2}}\) . Jónsson and Tsinakis provided a partial converse to this result: if \({\mathcal{V}}\) is congruence permutable and \({\mathcal{V}_{1}, \mathcal{V}_{2}}\) are disjoint, then they are independent (and so \({\mathcal{V}_{1} \vee \mathcal{V}_{2} = \mathcal{V}_{1} \times \mathcal{V}_{2}}\)). We show that (i) if \({\mathcal{V}}\) is subtractive, then Jónsson’s and Tsinakis’ result holds under some minimal assumptions; (ii) if \({\mathcal{V}}\) satisfies some weakened permutability conditions, then disjointness implies a generalised notion of independence and \({\mathcal{V}_{1} \vee \mathcal{V}_{2}}\) is the subdirect product of \({\mathcal{V}_{1}}\) and \({\mathcal{V}_2}\) ; (iii) the same holds if \({\mathcal{V}}\) is congruence 3-permutable.