Complex homomorphisms on self-conjugate algebras of functions

Let X be a non-void set and A be a subalgebra of \({\mathbb{C}^{X}}\) . We call a \({\mathbb{C}}\) -linear functional \({\varphi}\) on A a 1-evaluation if \({\varphi(f) \in f(X) }\) for all \({f\in A}\) . From the classical Gleason–Kahane–?elazko theorem, it follows that if X in addition is a compact Hausdorff space then a mapping \({\varphi}\) of \({C_{\mathbb{C}}(X) }\) into \({\mathbb{C}}\) is a 1-evaluation if and only if \({\varphi}\) is a \({\mathbb{C}}\) -homomorphism. In this paper, we aim to investigate the extent to which this equivalence between 1-evaluations and \({\mathbb{C}}\) -homomorphisms can be generalized to a wider class of self-conjugate subalgebras of \({\mathbb{C}^{X}}\) . In this regards, we prove that a \({\mathbb{C}}\) -linear functional on a self-conjugate subalgebra A of \({\mathbb{C}^{X}}\) is a positive \({\mathbb{C}}\) -homomorphism if and only if \({\varphi}\) is a \({\overline{1}}\) -evaluation, that is, \({\varphi(f) \in\overline{f\left(X\right)}}\) for all \({f\in A}\) . As consequences of our general study, we prove that 1-evaluations and \({\mathbb{C}}\) -homomorphisms on \({C_{\mathbb{C}}\left( X\right)}\) coincide for any topological space X and we get a new characterization of realcompact topological spaces.     

Space of invariant bilinear forms

Let \({\mathbb {F}}\) be a field, V a vector space of dimension n over \({\mathbb {F}}\). Then the set of bilinear forms on V forms a vector space of dimension \(n^2\) over \({\mathbb {F}}\). For char \({\mathbb {F}}\ne 2\), if T is an invertible linear map from V onto V then the set of T-invariant bilinear forms, forms a subspace of this space of forms. In this paper, we compute the dimension of T-invariant bilinear forms over \({\mathbb {F}}\). Also we investigate similar type of questions for the infinitesimally T-invariant bilinear forms (T-skew symmetric forms). Moreover, we discuss the existence of nondegenerate invariant (resp. infinitesimally invariant) bilinear forms.     

Integer Decomposition Property of Free Sums of Convex Polytopes

Let \({\mathcal{P} \subset \mathbb{R}^{d}}\) and \({\mathcal{Q} \subset \mathbb{R}^{e}}\) be integral convex polytopes of dimension d and e which contain the origin of \({\mathbb{R}^{d}}\) and \({\mathbb{R}^{e}}\), respectively. We say that an integral convex polytope \({\mathcal{P}\subset \mathbb{R}^{d}}\) possesses the integer decomposition property if, for each \({n\geq1}\) and for each \({\gamma \in n\mathcal{P}\cap\mathbb{Z}^{d}}\), there exist \({\gamma^{(1)}, . . . , \gamma^{(n)}}\) belonging to \({\mathcal{P}\cap\mathbb{Z}^{d}}\) such that \({\gamma = \gamma^{(1)} +. . .+\gamma^{(n)}}\). In the present paper, under some assumptions, the necessary and sufficient condition for the free sum of \({\mathcal{P}}\) and \({\mathcal{Q}}\) to possess the integer decomposition property will be presented.     

Spectral properties of continuous representations of topological groups

Let \({\mathcal{L}(X)}\) be the algebra of all bounded operators on a Banach space X. \({\theta:G\rightarrow \mathcal{L}(X)}\) denotes a strongly continuous representation of a topological abelian group G on X. Set \({\sigma^1(\theta(g)):=\{\lambda/|\lambda|,\lambda\in\sigma(\theta(g))\}}\), where σ(θ(g)) is the spectrum of θ(g) and \({\Sigma:=\{g\in G/\enskip\text{there is no} \enskip P\in \mathcal{P}/P\subseteq \sigma^1(\theta(g))\}}\), where \({\mathcal{P}}\) is the set of regular polygons of \({\mathbb{T}}\) (we call polygon in \({\mathbb{T}}\) the image by a rotation of a closed subgroup of \({\mathbb{T}}\), the unit circle of \({\mathbb{C}}\)). We prove here that if G is a locally compact and second countable abelian group, then θ is uniformly continuous if and only if Σ is non-meager.     

Fourth-order Schrödinger type operator with singular potentials

We prove that a deformation of a hypersurface in an (n + 1)-dimensional real space form \({{\mathbb S}^{n+1}_{p,1}}\) induces a Hamiltonian variation of the normal congruence in the space \({{\mathbb L}({\mathbb S}^{n+1}_{p,1})}\) of oriented geodesics. As an application, we show that every Hamiltonian minimal submanifold in \({{\mathbb L}({\mathbb S}^{n+1})}\) (resp. \({{\mathbb L}({\mathbb H}^{n+1})}\)) with respect to the (para-)Kähler Einstein structure is locally the normal congruence of a hypersurface \({\Sigma}\) in \({{\mathbb S}^{n+1}}\) (resp. \({{\mathbb H}^{n+1}}\)) that is a critical point of the functional \({{\mathcal W}(\Sigma) = \int_\Sigma\left(\Pi_{i=1}^n|\epsilon+k_i^2|\right)^{1/2}}\), where k_i denote the principal curvatures of \({\Sigma}\) and \({\epsilon \in \{-1, 1\}}\). In addition, for \({n = 2}\), we prove that every Hamiltonian minimal surface in \({{\mathbb L}({\mathbb S}^{3})}\) (resp. \({{\mathbb L}({\mathbb H}^{3})}\)), with respect to the (para-)Kähler conformally flat structure, is the normal congruence of a surface in \({{\mathbb S}^{3}}\) (resp. \({{\mathbb H}^{3}}\)) that is a critical point of the functional \({{\mathcal W}\prime(\Sigma) = \int_\Sigma\sqrt{H^2-K+1}}\) (resp. \({{\mathcal W}\prime(\Sigma) = \int_\Sigma\sqrt{H^2-K-1}}\)), where H and K denote, respectively, the mean and Gaussian curvature of \({\Sigma}\).     

Coherent trees that are not Countryman

First, we show that every coherent tree that contains a Countryman suborder is \({\mathbb {R}}\)-embeddable when restricted to a club. Then for a linear order O that can not be embedded into \(\omega \), there exists (consistently) an \({{\mathbb {R}}}\)-embeddable O-ranging coherent tree which is not Countryman. And for a linear order \(O'\) that can not be embedded into \({\mathbb {Z}}\), there exists (consistently) an \({\mathbb {R}}\)-embeddable \(O'\)-ranging coherent tree which contains no Countryman suborder. Finally, we will see that this is the best we can do.     

Qualitative properties of ideal convergent subsequences and rearrangements

We investigate the Baire category of \({\mathcal{I}}\)-convergent subsequences and rearrangements of a divergent sequence s = (s_n) of reals if \({\mathcal{I}}\) is an ideal on \({\mathbb{N}}\) having the Baire property. We also discuss the measure of the set of \({\mathcal{I}}\)-convergent subsequences for some classes of ideals on \({\mathbb{N}}\). Our results generalize theorems due to H. Miller and C. Orhan [16].     

A multidimensional Birkhoff theorem for time-dependent Tonelli Hamiltonians

Let M be a closed and connected manifold, \(H:T^*M\times {{\mathbb {R}}}/\mathbb {Z}\rightarrow \mathbb {R}\) a Tonelli 1-periodic Hamiltonian and \({\mathscr {L}}\subset T^*M\) a Lagrangian submanifold Hamiltonianly isotopic to the zero section. We prove that if \({\mathscr {L}}\) is invariant by the time-one map of H, then \({\mathscr {L}}\) is a graph over M. An interesting consequence in the autonomous case is that in this case, \({\mathscr {L}}\) is invariant by all the time t maps of the Hamiltonian flow of H.     

Local derivations of full matrix rings

Let \({\mathcal{R}}\) be a unital commutative ring and \({\mathcal{M}}\) be a 2-torsion free central \({\mathcal{R}}\) -bimodule. In this paper, for \({n \geqq 3}\), we show that every local derivation from M _n (\({\mathcal{R}}\)) into M _n (\({\mathcal{M}}\)) is a derivation.     

A Unified Framework for Linear Dimensionality Reduction in L1

For a family of interpolation norms \({\| \cdot \|_{1,2,s}}\) on \({\mathbb{R}^{n}}\), we provide a distribution over random matrices \({\Phi_s \in \mathbb{R}^{m \times n}}\) parametrized by sparsity level s such that for a fixed set X of K points in \({\mathbb{R}^{n}}\), if \({m \geq C s \log(K)}\) then with high probability, \({\frac{1}{2}\| \varvec{x} \|_{1,2,s} \leq \| \Phi_s (\varvec{x}) \|_1 \leq 2 \| \varvec{x} \|_{1,2,s}}\) for all \({\varvec{x} \in X}\). Several existing results in the literature roughly reduce to special cases of this result at different values of s: For s = n, \({\| \varvec{x} \|_{1,2,n}\equiv \| \varvec{x} \|_{1}}\) and we recover that dimension reducing linear maps can preserve the ?₁-norm up to a distortion proportional to the dimension reduction factor, which is known to be the best possible such result. For s = 1, \({\| \varvec{x} \|_{1,2,1}\equiv \| \varvec{x} \|_{2}}\), and we recover an ?₂/?₁ variant of the Johnson–Lindenstrauss Lemma for Gaussian random matrices. Finally, if \({\varvec{x}}\) is s- sparse, then \({\| \varvec{x} \|_{1,2,s} = \| \varvec{x} \|_1}\) and we recover that s-sparse vectors in \({\ell_1^n}\) embed into \({\ell_1^{\mathcal{O}(s \log(n))}}\) via sparse random matrix constructions.     

A Note on Derivations on the Algebra of Operators in Hilbert <Emphasis Type="Italic">C</Emphasis>*-Modules

Let \({\mathfrak{M}}\) be a Hilbert C*-module on a C*-algebra \({\mathfrak{A}}\) and let \({End_\mathfrak{A}(\mathfrak{M})}\) be the algebra of all operators on \({\mathfrak{M}}\). In this paper, first the continuity of \({\mathfrak{A}}\)-module homomorphism derivations on \({End_\mathfrak{A}(\mathfrak{M})}\) is investigated. We give some sufficient conditions on which every derivation on \({End_\mathfrak{A}(\mathfrak{M})}\) is inner. Next, we study approximately innerness of derivations on \({End_\mathfrak{A}(\mathfrak{M})}\) for a σ-unital C*-algebra \({\mathfrak{A}}\) and full Hilbert \({\mathfrak{A}}\)-module \({\mathfrak{M}}\). Finally, we show that every bounded linear mapping on \({End_\mathfrak{A}(\mathfrak{M})}\) which behave like a derivation when acting on pairs of elements with unit product, is a Jordan derivation.     

Gauge functions,Eikonal equations and Bôcher’s theorem on stratified Lie groups

Let \({\mathcal{L} = \sum_{i=1}^m X_i^2}\) be a real sub-Laplacian on a Carnot group \({\mathbb{G}}\) and denote by \({\nabla_\mathcal{L} = (X_1,\ldots,X_m)}\) the intrinsic gradient related to \({\mathcal{L}}\). Our aim in this present paper is to analyze some features of the \({\mathcal{L}}\)-gauge functions on \({\mathbb{G}}\), i.e., the homogeneous functions d such that \({\mathcal{L}(d^\gamma) = 0}\) in \({\mathbb{G} \setminus \{0\}}\) , for some \({\gamma \in \mathbb{R} \setminus \{0\}}\). We consider the relation of \({\mathcal{L}}\)-gauge functions with: the \({\mathcal{L}}\)-Eikonal equation \({|\nabla_\mathcal{L} u| = 1}\) in \({\mathbb{G}}\); the Mean Value Formulas for the \({\mathcal{L}}\)-harmonic functions; the fundamental solution for \({\mathcal{L}}\); the Bôcher-type theorems for nonnegative \({\mathcal{L}}\)-harmonic functions in “punctured” open sets \({\dot \Omega:= \Omega \setminus \{x_0\}}\).     

Normes cyclotomiques naïves et unités logarithmiques

We compute the \({\mathbb {Z}}\)-rank of the subgroup \(\widetilde{E}_K =\bigcap _{n\in {\mathbb {N}}} N_{K_n/K}(K_n^\times )\) of elements of the multiplicative group of a number field K that are norms from every finite level of the cyclotomic \({\mathbb {Z}}_\ell \)-extension \(K^c\) of K. Thus we compare its \(\ell \)-adification \({\mathbb {Z}}_\ell \otimes _{\mathbb {Z}}\widetilde{E}_K\) with the group of logarithmic units \(\widetilde{\varepsilon }_K\). By the way we point out an easy proof of the Gross–Kuz’min conjecture for \(\ell \)-undecomposed extensions of abelian fields.     

Weighted $${{L^p}}$$-Liouville theorems for hypoelliptic partial differential operators on Lie groups

We prove weighted \({L^p}\)-Liouville theorems for a class of second-order hypoelliptic partial differential operators \({\mathcal{L}}\) on Lie groups \({\mathbb{G}}\) whose underlying manifold is \({n}\)-dimensional space. We show that a natural weight is the right-invariant measure \(\check{H}\) of \({\mathbb{G}}\). We also prove Liouville-type theorems for \({C^{2}}\) subsolutions in \({L^{p}(\mathbb{G},\check{H})}\). We provide examples of operators to which our results apply, jointly with an application to the uniqueness for the Cauchy problem for the evolution operator \({\mathcal{L}-\partial_{t}}\).     

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}}\).     

Heat kernel approach for sup-norm bounds for cusp forms of integral and half-integral weight

In this article, using the heat kernel approach from Bouche (Asymptotic results for Hermitian line bundles over complex manifolds: The heat kernel approach, Higher-dimensional complex varieties, pp 67–81, de Gruyter, Berlin, 1996), we derive sup-norm bounds for cusp forms of integral and half-integral weight. Let \({\Gamma\subset \mathrm{PSL}_{2}(\mathbb{R})}\) be a cocompact Fuchsian subgroup of first kind. For \({k \in \frac{1}{2} \mathbb{Z}}\) (or \({k \in 2\mathbb{Z}}\)), let \({S^{k}_{\nu}(\Gamma)}\) denote the complex vector space of cusp forms of weight-k and nebentypus \({\nu^{2k}}\) (\({\nu^{k\slash 2}}\), if \({k \in 2\mathbb{Z}}\)) with respect to \({\Gamma}\), where \({\nu}\) is a unitary character. Let \({\lbrace f_{1},\ldots,f_{j_{k}} \rbrace}\) denote an orthonormal basis of \({S^{k}_{\nu}(\Gamma)}\). In this article, we show that as \({k \rightarrow \infty,}\) the sup-norm for \({\sum_{i=1}^{j_{k}}y^{k}|f_{i}(z)|^{2}}\) is bounded by O(k), where the implied constant is independent of \({\Gamma}\). Furthermore, using results from Berman (Math. Z. 248:325–344, 2004), we extend these results to the case when \({\Gamma}\) is cofinite.     

On permutable meromorphic functions

We study the class \({\mathcal{M}}\) of functions meromorphic outside a countable closed set of essential singularities. We show that if a function in \({\mathcal{M}}\), with at least one essential singularity, permutes with a non-constant rational map g, then g is a Möbius map that is not conjugate to an irrational rotation. For a given function \({f \in\mathcal{M}}\) which is not a Möbius map, we show that the set of functions in \({\mathcal{M}}\) that permute with f is countably infinite. Finally, we show that there exist transcendental meromorphic functions \({f : \mathbb{C} \to \mathbb{C}}\) such that, among functions meromorphic in the plane, f permutes only with itself and with the identity map.     

On polynomial congruences

We deal with functions which fulfil the condition \({\Delta_h^{n+1} \varphi(x)\in\mathbb{Z}}\) for all x, h taken from some linear space V. We derive necessary and sufficient conditions for such a function to be decent in the following sense: there exist functions \({f\colon V\rightarrow \mathbb{R},\ g\colon V \rightarrow \mathbb{Z}}\) such that \({\varphi = f + g}\) and \({\Delta_h^{n+1}f(x)=0}\) for all \({x, h\in V}\).     

Partially isometric immersions and free maps

In this paper we investigate the existence of “partially” isometric immersions. These are maps \({f:M\rightarrow \mathbb{R}^q}\) which, for a given Riemannian manifold M, are isometries on some sub-bundle \({\mathcal{H}\subset TM}\). The concept of free maps, which is essential in the Nash–Gromov theory of isometric immersions, is replaced here by that of \({\mathcal{H}}\) –free maps, i.e. maps whose restriction to \({\mathcal{H}}\) is free. We prove, under suitable conditions on the dimension q of the Euclidean space, that \({\mathcal{H}}\) –free maps are generic and we provide, for the smallest possible value of q, explicit expressions for \({\mathcal{H}}\) –free maps in the following three settings: 1–dimensional distributions in \({\mathbb{R}^2}\), Lagrangian distributions of completely integrable systems, Hamiltonian distributions of a particular kind of Poisson Bracket.     

Number fields in fibers: the geometrically abelian case with rational critical values

Let X be an algebraic curve over \({\mathbb {Q}}\) and \({t\in {\mathbb {Q}}(X)}\) a non-constant rational function such that \({{\mathbb {Q}}(X)\ne {\mathbb {Q}}(t)}\). For every \({ n \in {\mathbb {Z}}}\) pick \({P_ n \in X(\bar{{\mathbb {Q}}})}\) such that \({t(P_n)=n}\). We conjecture that, for large N, among the number fields \({\mathbb {Q}}(P_1), \ldots , {\mathbb {Q}}(P_N)\) there are at least cN distinct. We prove this conjecture in the special case when \(\bar{{\mathbb {Q}}}(X)/\bar{{\mathbb {Q}}}(t)\) is an abelian field extension and the critical values of t are all rational. This implies, in particular, that our conjecture follows from a more famous conjecture of Schinzel.