Search

For a locally compact Hausdorff space $L$, we denote by $C_0(L,\mathbb{R})$ the Banach space of all continuous real-valued functions on $L$ vanishing at infinity equipped with the supremum norm. We prove that every surjective phase-isometry $T\colon C_0^+(X,\mathbb{R}) \to C_0^+(Y,\mathbb{R})$ between the positive cones of $C_0(X,\mathbb{R})$ and $C_0(Y,\mathbb{R})$ is a composition operator induced by a homeomorphism between $X$ and $Y$. Furthermore, we show that any surjective phase-isometry $T\colon C_0^+(X,\mathbb{R}) \to C_0^+(Y,\mathbb{R})$ extends to a surjective linear isometry from $C_0(X,\mathbb{R})$ onto $C_0(Y,\mathbb{R})$.

We developed a time-resolved force microscopy technique by integrating atomic force microscopy using a tuning-fork-type cantilever with the delay time modulation method for optical pump-probe light. We successfully measured the dynamics of surface recombination and diffusion of photoexcited carriers in bulk WSe2, which is challenging owing to the effect of tunneling current in time-resolved scanning tunneling microscopy. The obtained results were comprehensively explained with the model based on the dipole-dipole interaction induced by photo illumination., Comment: 13 pages, 4 figures

In 2022, Hatori gave a sufficient condition for complex Banach spaces to have the complex Mazur--Ulam property. In this paper, we introduce a class of complex Banach spaces $B$ that do not satisfy the condition but enjoy the property that every surjective isometry on the unit sphere of such $B$ admits an extension to a surjective real linear isometry on the whole space $B$. Typical examples of Banach spaces studied in this note are the spaces ${\rm Lip}([0,1])$ of all Lipschitz complex-valued functions on $[0,1]$ and $C^1([0,1])$ of all continuously differentiable complex-valued functions on $[0,1]$ equipped with the norm $|f(0)|+\|f'\|_\infty$.

Natural decomposition of organic matter is essential in food systems, and compost is used worldwide as an organic fermented fertilizer. However, as a feature of the ecosystem, its effects on the animals are poorly understood. Here we show that oral administration of compost and/or its derived thermophilic Bacillaceae, i.e., Caldibacillus hisashii and Weizmannia coagulans, can modulate the prophylactic activities of various industrial animals. The fecal omics analyses in the modulatory process showed an improving trend dependent upon animal species, environmental conditions, and administration. However, structural equation modeling (SEM) estimated the grouping candidates of bacteria and metabolites as standard key components beyond the animal species. In particular, the SEM model implied a strong relationship among partly digesting fecal amino acids, increasing genus Lactobacillus as inhabitant beneficial bacteria and 2-aminoisobutyric acid involved in lantibiotics. These results highlight the potential role of compost for sustainable protective control in agriculture, fishery, and livestock industries.

We prove that every commutative JB$^*$-triple satisfies the complex Mazur--Ulam property. Thanks to the representation theory, we can identify commutative JB$^*$-triples as spaces of complex-valued continuous functions on a principal $\mathbb{T}$-bundle $L$ in the form $$C_0^\mathbb{T}(L):=\{a\in C_0(L):a(\lambda t)=\lambda a(t)\text{ for every } (\lambda,t)\in\mathbb{T}\times L\}.$$ We prove that every surjective isometry from the unit sphere of $C_0^\mathbb{T}(L)$ onto the unit sphere of any complex Banach space admits an extension to a surjective real linear isometry between the spaces.

In this note we present two new positive answers to Tingley's problem in certain subspaces of function algebras. In the first result we prove that every surjective isometry between the unit spheres, $S(A)$ and $S(B)$, of two uniformly closed function algebras $A$ and $B$ on locally compact Hausdorff spaces can be extended to a surjective real linear isometry from $A$ onto $B$. In a second goal we study surjective isometries between the unit spheres of two abelian JB$^*$-triples represented as spaces of continuous functions of the form $$C^{\mathbb{T}}_0 (X) := \{ a \in C_0(X) : a (\lambda t) = \lambda a(t) \hbox{ for every } (\lambda, t) \in \mathbb{T}\times X\},$$ where $X$ is a (locally compact Hausdorff) principal $\mathbb{T}$-bundle. We establish that every surjective isometry $\Delta: S(C_0^{\mathbb{T}}(X))\to S(C_0^{\mathbb{T}}(Y))$ admits an extension to a surjective real linear isometry between these two abelian JB$^*$-triples.

This paper is, in a first stage, devoted to establish a topological--algebraic characterization of the principal component, $\mathcal{U}^0 (M)$, of the set of unitary elements, $\mathcal{U} (M)$, in a unital JB$^*$-algebra $M$. We arrive to the conclusion that, as in the case of unital C$^*$-algebras, $$\begin{aligned}\mathcal{U}^0(M) &= M^{-1}_{\textbf{1}}\cap\mathcal{U} (M) =\left\lbrace U_{e^{i h_n}}\cdots U_{e^{i h_1}}(\textbf{1}) \colon \begin{array}{c} n\in \mathbb{N}, \ h_j\in M_{sa} \forall\ 1\leq j \leq n \end{array} \right\rbrace \end{aligned}$$ is analytically arcwise connected. Our second goal is to provide a complete description of the surjective isometries between the principal components of two unital JB$^*$-algebras $M$ and $N$. Contrary to the case of unital C$^*$-algebras, we shall deduce the existence of connected components in $\mathcal{U} (M)$ which are not isometric as metric spaces. We shall also establish necessary and sufficient conditions to guarantee that a surjective isometry $\Delta: \mathcal{U}(M)\to \mathcal{U} (N)$ admits an extension to a surjective linear isometry between $M$ and $N$, a conclusion which is not always true. Among the consequences it is proved that $M$ and $N$ are Jordan $^*$-isomorphic if, and only if, their principal components are isometric as metric spaces if, and only if, there exists a surjective isometry $\Delta: \mathcal{U}(M)\to \mathcal{U}(N)$ mapping the unit of $M$ to an element in $\mathcal{U}^0(N)$. These results provide an extension to the setting of unital JB$^*$-algebras of the results obtained by O. Hatori for unital C$^*$-algebras.

Let $H(\mathbb{D})$ be the linear space of all analytic functions on the open unit disc $\mathbb{D}$ and $H^p(\mathbb{D})$ the Hardy space on $\mathbb{D}$. The characterization of complex linear isometries on $\mathcal{S}^p=\{f\in H(\mathbb{D}):f'\in H^p(\mathbb{D})\}$ was given for $1\leq p<\infty$ by Novinger and Oberlin in 1985. Here, we characterize surjective, not necessarily linear, isometries on $\mathcal{S}^\infty$.

Let $A$ and $B$ be unital semi-simple commutative Banach algebras. In this paper we study two-variable polynomials $p$ which satisfy the following property: a map $T$ from $A$ onto $B$ such that the equality \[ \sigma (p(Tf,Tg))=\sigma (p(f,g)), \quad f,g \in A \] holds is an algebra isomorphism., Comment: 14pages

Let $A$ and $B$ be unital semisimple commutative Banach algebras and $T$ a map from the invertible group $A^{-1}$ onto $B^{-1}$. Linearity and multiplicativity of the map are not assumed. We consider the hypotheses on $T$: (1) $\sigma (TfTg)=\sigma (fg)$; (2) $\sigma_{\pi}(TfTg-\alpha)\cap \sigma_{\pi}(fg-\alpha)\ne \emptyset$; (3) $\mathrm{r} (TfTg-\alpha )=\mathrm{r}(fg-\alpha)$ hold for some non-zero complex number $\alpha$ and for every $f, g\in A^{-1}$, where $\sigma (\cdot)$ (resp. $\sigma_{\pi}(\cdot)$) denotes the (resp. peripheral) spectrum and $\rr(\cdot)$ denotes the spectral radius. Under each of the hypotheses we show representations for $T$ and under additional assumptions we show that $T$ is extended to an algebra isomorphism. In particular, if $T$ is a surjective group homomorphism such that $T$ preserves the spectrum or $T$ is a surjective isometry with respect to the spectral radius, then $T$ is extended to an algebra isomorphism. Similar results holds for maps from $A$ onto $B$., Comment: 48pages

We study equivalence classes of boundary conditions in gauge theory on the orbifold $T^2/Z_3$. Orbifold conditions and those gauge transformation properties are given and the gauge equivalence is understood by the Hosotani mechanism. Mode expansions are carried out for six-dimensional $Z_3$ singlet fields and a $Z_3$ triplet field, and the one-loop effective potential for Wilson line phases is calculated., Comment: PTPTEX,17 pages