Conditional Reducibility of Certain Unbounded Nonnegative Hamiltonian Operator Functions

Let J and ${{\mathfrak{J}}}$ be operators on a Hilbert space ${{\mathcal{H}}}$ which are both self-adjoint and unitary and satisfy ${J{\mathfrak{J}}=-{\mathfrak{J}}J}$ . We consider an operator function ${{\mathfrak{A}}}$ on [0, 1] of the form ${{\mathfrak{A}}(t)={\mathfrak{S}}+{\mathfrak{B}}(t)}$ , ${t \in [0, 1]}$ , where ${\mathfrak{S}}$ is a closed densely defined Hamiltonian ( ${={\mathfrak{J}}}$ -skew-self-adjoint) operator on ${{\mathcal{H}}}$ with ${i {\mathbb{R}} \subset \rho ({\mathfrak{S}})}$ and ${{\mathfrak{B}}}$ is a function on [0, 1] whose values are bounded operators on ${{\mathcal{H}}}$ and which is continuous in the uniform operator topology. We assume that for each ${t \in [0,1] \,{\mathfrak{A}}(t)}$ is a closed densely defined nonnegative (=J-accretive) Hamiltonian operator with ${i {\mathbb{R}} \subset \rho({\mathfrak{A}}(t))}$ . In this paper we give sufficient conditions on ${{\mathfrak{S}}}$ under which ${{\mathfrak{A}}}$ is conditionally reducible, which means that, with respect to a natural decomposition of ${{\mathcal{H}}}$ , ${{\mathfrak{A}}}$ is diagonalizable in a 2×2 block operator matrix function such that the spectra of the two operator functions on the diagonal are contained in the right and left open half planes of the complex plane. The sufficient conditions involve bounds on the resolvent of ${{\mathfrak{S}}}$ and interpolation of Hilbert spaces.     

Uniqueness of \mathbb{C}^{ * } - and \mathbb{C}_{{\text{ + }}} -actions on Gizatullin Surfaces

A Gizatullin surface is a normal affine surface V over $ \mathbb{C} $ , which can be completed by a zigzag; that is, by a linear chain of smooth rational curves. In this paper we deal with the question of uniqueness of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations on such a surface V up to automorphisms. The latter fibrations are in one to one correspondence with $ \mathbb{C}_{{\text{ + }}} $ -actions on V considered up to a “speed change”. Non-Gizatullin surfaces are known to admit at most one $ \mathbb{A}^{1} $ -fibration V → S up to an isomorphism of the base S. Moreover, an effective $ \mathbb{C}^{ * } $ -action on them, if it does exist, is unique up to conjugation and inversion t $ \mapsto $ t ^?1 of $ \mathbb{C}^{ * } $ . Obviously, uniqueness of $ \mathbb{C}^{ * } $ -actions fails for affine toric surfaces. There is a further interesting family of nontoric Gizatullin surfaces, called the Danilov-Gizatullin surfaces, where there are in general several conjugacy classes of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations, see, e.g., [FKZ1]. In the present paper we obtain a criterion as to when $ \mathbb{A}^{{\text{1}}} $ -fibrations of Gizatullin surfaces are conjugate up to an automorphism of V and the base $ S \cong \mathbb{A}^{{\text{1}}} $ . We exhibit as well large subclasses of Gizatullin $ \mathbb{C}^{ * } $ -surfaces for which a $ \mathbb{C}^{ * } $ -action is essentially unique and for which there are at most two conjugacy classes of $ \mathbb{A}^{{\text{1}}} $ -fibrations over $ \mathbb{A}^{{\text{1}}} $ .     

Weighted Composition Operators from the Minimal Möbius Invariant Space into the Bloch Space

Let ${{\varphi}}$ be an analytic self-map of the open unit disk ${{\mathbb{D}}}$ in the complex plane ${{\mathbb{C}, H(\mathbb{D})}}$ the space of complex-valued analytic functions on ${{\mathbb{D}}}$ , and let u be a fixed function in ${{H(\mathbb{D})}}$ . The weighted composition operator is defined by $$(uC_{\varphi}f)(z) = u(z)f({\varphi}(z)), \quad z \in \mathbb{D}, f \in H(\mathbb{D}).$$ In this paper, we study the boundedness and the compactness of the weighted composition operators from the minimal Möbius invariant space into the Bloch space and the little Bloch space.     

Central limit theorems for moving average processes*

Let $ {{\left( {{\xi_n}} \right)}_{{n\in \mathbb{Z}}}} $ be a stationary sequence of real random variables with E ξ ₀ = 0 and infinite variance. Furthermore, assume that $ {{\left( {{c_n}} \right)}_{{n\in \mathbb{Z}}}} $ is a sequence of real numbers and $ {X_n}=\sum {_{{j\in \mathbb{Z}}}{c_j}{\xi_{n-j }}} $ is a moving average processes driven by $ {{\left( {{\xi_n}} \right)}_{{n\in \mathbb{Z}}}} $ . By using a decomposition of the moving average processes, a central limit theorem for the partial sums $ \sum\nolimits_{k=1}^n {{X_k}} $ is established. As applications, we obtain some central limit theorems for stationary dependent sequences $ {{\left( {{\xi_n}} \right)}_{{n\in \mathbb{Z}}}} $ , such as associated sequence, martingale difference, and so on.     

Uniqueness of minimal surfaces whose boundary is a horizontal graph and some Bernstein problems in {{\mathbb{H}^{2}\times \mathbb{R}}}

We deduce that a connected compact immersed minimal surface in ${{\mathbb{H}^{2}\times \mathbb{R}}}$ whose boundary has an injective horizontal projection on an admissible convex curve in ${\partial_\infty{\mathbb{H}^{2}\times \mathbb{R}}}$ , and satisfies an admissible bounded slope condition, is the Morrey’s solution of the Plateau problem and is a horizontal minimal graph. We prove that there is no entire horizontal minimal graph in ${{\mathbb{H}^{2}\times \mathbb{R}}}$ .     

On Quadratic Differentials and Twisted Normal Maps of Surfaces in {\mathbb{S}^{2} \times\mathbb{R}} and {\mathbb{H}^{2} \times\mathbb{R}}

Given a Lie group G with a bi-invariant metric and a compact Lie subgroup K, Bittencourt and Ripoll used the homogeneous structure of quotient spaces to define a Gauss map ${\mathcal{N}:M^{n}\rightarrow{\mathbb{S}}}$ on any hypersupersurface ${M^{n}\looparrowright G/K}$ , where ${{\mathbb{S}}}$ is the unit sphere of the Lie algebra of G. It is proved in Bittencourt and Ripoll (Pacific J Math 224:45–64, 2006) that M ⁿ having constant mean curvature (CMC) is equivalent to ${\mathcal{N}}$ being harmonic, a generalization of a Ruh–Vilms theorem for submanifolds in the Euclidean space. In particular, when n = 2, the induced quadratic differential ${\mathcal{Q}_{\mathcal{N}}:=(\mathcal{N}^{\ast}g)^{2,0}}$ is holomorphic on CMC surfaces of G/K. In this paper, we take ${G/K={\mathbb{S}}^{2}\times{\mathbb{R}}}$ and compare ${\mathcal{Q}_{\mathcal{N}}}$ with the Abresch–Rosenberg differential ${\mathcal{Q}}$ , also holomorphic for CMC surfaces. It is proved that ${\mathcal{Q}=\mathcal{Q}_{\mathcal{N}}}$ , after showing that ${\mathcal{N}}$ is the twisted normal given by (1.5) herein. Then we define the twisted normal for surfaces in ${{\mathbb{H}}^{2}\times{\mathbb{R}}}$ and prove that ${\mathcal{Q}=\mathcal{Q}_{\mathcal{N}}}$ as well. Within the unified model for the two product spaces, we compute the tension field of ${\mathcal{N}}$ and extend to surfaces in ${{\mathbb{H}}^{2}\times{\mathbb{R}}}$ the equivalence between the CMC property and the harmonicity of ${\mathcal{N}.}$      

On uniformly bounded spherical functions in Hilbert space

Let G be a commutative group, written additively, with a neutral element 0, and let K be a finite group. Suppose that K acts on G via group automorphisms ${G \ni a \mapsto ka \in G}$ , ${k \in K}$ . Let ${{\mathfrak{H}}}$ be a complex Hilbert space and let ${{\mathcal L}({\mathfrak{H}})}$ be the algebra of all bounded linear operators on ${{\mathfrak{H}}}$ . A mapping ${u \colon G \to {\mathcal L}({\mathfrak{H}})}$ is termed a K-spherical function if it satisfies (1) ${|K|^{-1} \sum_{k\in K} u (a+kb)=u (a) u (b)}$ for any ${a,b\in G}$ , where |K| denotes the cardinality of K, and (2) ${u (0) = {\rm id}_{\mathfrak {H}},}$ where ${{\rm id}_{\mathfrak {H}}}$ designates the identity operator on ${{\mathfrak{H}}}$ . The main result of the paper is that for each K-spherical function ${u \colon G \to {\mathcal {L}}({\mathfrak {H}})}$ such that ${\| u \|_{\infty} = \sup_{a\in G} \| u (a)\|_{{\mathcal L}({\mathfrak{H}})} < \infty,}$ there is an invertible operator S in ${{\mathcal L}({\mathfrak{H}})}$ with ${\| S \| \, \| S^{-1}\| \leq |K| \, \| u \|_{\infty}^2}$ such that the K-spherical function ${{\tilde{u}} \colon G \to {\mathcal L}({\mathfrak{H}})}$ defined by ${{\tilde{u}}(a) = S u (a) S^{-1},\,a \in G,}$ satisfies ${{\tilde{u}}(-a) = {\tilde{u}}(a)^*}$ for each ${a \in G}$ . It is shown that this last condition is equivalent to insisting that ${{\tilde{u}}(a)}$ be normal for each ${a \in G}$ .     

On the Topology of Kac–Moody groups

We study the topology of spaces related to Kac–Moody groups. Given a Kac–Moody group over $\mathbb C $ , let $\text {K}$ denote the unitary form with maximal torus ${{\mathrm{T}}}$ having normalizer ${{\mathrm{N}}}({{\mathrm{T}}})$ . In this article we study the cohomology of the flag manifold $\text {K}/{{{\mathrm{T}}}}$ as a module over the Nil-Hecke algebra, as well as the (co)homology of $\text {K}$ as a Hopf algebra. In particular, if $\mathbb F $ has positive characteristic, we show that $\text {H}_*(\text {K},\mathbb F )$ is a finitely generated algebra, and that $\text {H}^*(\text {K},\mathbb F )$ is finitely generated only if $\text {K}$ is a compact Lie group . We also study the stable homotopy type of the classifying space $\text {BK}$ and show that it is a retract of the classifying space $\text {BN(T)}$ of ${{\mathrm{N}}}({{\mathrm{T}}})$ . We illustrate our results with the example of rank two Kac–Moody groups.     

On Suborbital Graphs for the Extended Modular Group {\hat{\Gamma}}

In this paper, we show that the extended modular group ${\hat{\Gamma}}$ acts on ${\hat{\mathbb{Q}}}$ transitively and imprimitively. Then the number of orbits of ${\hat{\Gamma} _{0}(N)}$ on ${\hat{\mathbb{Q}}}$ is calculated and compared with the number of orbits of ${\Gamma _{0}(N)}$ on ${\hat{\mathbb{Q}}}$ . Especially, we obtain the graphs ${\hat{G}_{u, N}}$ of ${\hat{\Gamma}_{0}(N)}$ on ${\hat{\mathbb{Q}}}$ , for each ${N\in\mathbb{N}}$ and each unit ${u \in U_{N} }$ , then we determine the suborbital graph ${\hat{F}_{u,N}}$ . We also give the edge conditions in ${\hat{G}_{u, N}}$ and the necessary and sufficient conditions for a circuit to be triangle in ${\hat{F}_{u, N}.}$      

A Reduction Theorem for the Kripke–Joyal Semantics: Forcing Over an Arbitrary Category can Always be Replaced by Forcing Over a Complete Heyting Algebra

It is assumed that a Kripke–Joyal semantics ${\mathcal{A} = \left\langle \mathbb{C},{\rm Cov}, {\it F},\Vdash \right\rangle}$ A = C , Cov , F , ? has been defined for a first-order language ${\mathcal{L}}$ L . To transform ${\mathbb{C}}$ C into a Heyting algebra ${\overline{\mathbb{C}}}$ C ¯ on which the forcing relation is preserved, a standard construction is used to obtain a complete Heyting algebra made up of cribles of ${\mathbb{C}}$ C . A pretopology ${\overline{{\rm Cov}}}$ Cov ¯ is defined on ${\overline{\mathbb{C}}}$ C ¯ using the pretopology on ${\mathbb{C}}$ C . A sheaf ${\overline{{\it F}}}$ F ¯ is made up of sections of F that obey functoriality. A forcing relation ${\overline{\Vdash}}$ ? ¯ is defined and it is shown that ${\overline{\mathcal{A}} = \left\langle \overline{\mathbb{C}},\overline{\rm{Cov}},\overline{{\it F}}, \overline{\Vdash} \right\rangle }$ A ¯ = C ¯ , Cov ¯ , F ¯ , ? ¯ is a Kripke–Joyal semantics that faithfully preserves the notion of forcing of ${\mathcal{A}}$ A . That is to say, an object a of ${\mathbb{C}Ob}$ C O b forces a sentence with respect to ${\mathcal{A}}$ A if and only if the maximal a-crible forces it with respect to ${\overline{\mathcal{A}}}$ A ¯ . This reduces a Kripke–Joyal semantics defined over an arbitrary site to a Kripke–Joyal semantics defined over a site which is based on a complete Heyting algebra.     

Unbounded Induced Representations of ∗-Algebras

Induced representations of *-algebras by unbounded operators in Hilbert space are investigated. Conditional expectations of a *-algebra ${{\mathcal{A}}}$ onto a unital *-subalgebra ${{\mathcal{B}}}$ are introduced and used to define inner products on the corresponding induced modules. The main part of the paper is concerned with group graded *-algebras ${{\mathcal{A}}}=\oplus_{g\in G}{{\mathcal{A}}}_g$ for which the *-subalgebra ${{\mathcal{B}}}:={{\mathcal{A}}}_e$ is commutative. Then the canonical projection $p:{{\mathcal{A}}}\to{{\mathcal{B}}}$ is a conditional expectation and there is a partial action of the group G on the set ${{\mathcal{B}}}p$ of all characters of ${{\mathcal{B}}}$ which are nonnegative on the cone $\sum{{\mathcal{A}}}^2{{\mathcal{A}}}p{{\mathcal{B}}}.$ The complete Mackey theory is developed for *-representations of ${{\mathcal{A}}}$ which are induced from characters of ${{\widehat{{{\mathcal{B}}}}^+}}.$ Systems of imprimitivity are defined and two versions of the Imprimitivity Theorem are proved in this context. A concept of well-behaved *-representations of such *-algebras ${{\mathcal{A}}}$ is introduced and studied. It is shown that well-behaved representations are direct sums of cyclic well-behaved representations and that induced representations of well-behaved representations are again well-behaved. The theory applies to a large variety of examples. For important examples such as the Weyl algebra, enveloping algebras of the Lie algebras su(2), su(1,1), and of the Virasoro algebra, and *-algebras generated by dynamical systems our theory is carried out in great detail.     

Representation of cyclotomic fields and their subfields

Let $\mathbb{K}$ be a finite extension of a characteristic zero field $\mathbb{F}$ . We say that a pair of n × n matrices (A,B) over $\mathbb{F}$ represents $\mathbb{K}$ if $\mathbb{K} \cong {{\mathbb{F}\left[ A \right]} \mathord{\left/ {\vphantom {{\mathbb{F}\left[ A \right]} {\left\langle B \right\rangle }}} \right. \kern-0em} {\left\langle B \right\rangle }}$ , where $\mathbb{F}\left[ A \right]$ denotes the subalgebra of $\mathbb{M}_n \left( \mathbb{F} \right)$ containing A and 〈B〉 is an ideal in $\mathbb{F}\left[ A \right]$ , generated by B. In particular, A is said to represent the field $\mathbb{K}$ if there exists an irreducible polynomial $q\left( x \right) \in \mathbb{F}\left[ x \right]$ which divides the minimal polynomial of A and $\mathbb{K} \cong {{\mathbb{F}\left[ A \right]} \mathord{\left/ {\vphantom {{\mathbb{F}\left[ A \right]} {\left\langle {q\left( A \right)} \right\rangle }}} \right. \kern-0em} {\left\langle {q\left( A \right)} \right\rangle }}$ . In this paper, we identify the smallest order circulant matrix representation for any subfield of a cyclotomic field. Furthermore, if p is a prime and $\mathbb{K}$ is a subfield of the p-th cyclotomic field, then we obtain a zero-one circulant matrix A of size p × p such that (A, J) represents $\mathbb{K}$ , where J is the matrix with all entries 1. In case, the integer n has at most two distinct prime factors, we find the smallest order 0, 1-companion matrix that represents the n-th cyclotomic field. We also find bounds on the size of such companion matrices when n has more than two prime factors.     

Continuity of derivations of algebras of locally measurable operators

We prove that any derivation of the *-algebra ${LS({\mathcal{M}})}$ of all locally measurable operators affiliated with a properly infinite von Neumann algebra ${{\mathcal{M}}}$ is continuous with respect to the local measure topology ${t({\mathcal{M}})}$ . Building an extension of a derivation ${\delta:{\mathcal{M}}\rightarrow LS({\mathcal{M}})}$ up to a derivation from ${LS({\mathcal{M}})}$ into ${LS({\mathcal{M}})}$ , it is further established that any derivation from ${{\mathcal{M}}}$ into ${LS({\mathcal{M}})}$ is ${t({\mathcal{M}})}$ -continuous.     

Tame properties of sets and functions definable in weakly o-minimal structures

Let ${{\mathcal{M}}=(M, <, \ldots )}$ be a weakly o-minimal expansion of a dense linear order without endpoints. Some tame properties of sets and functions definable in ${{\mathcal{M}}}$ which hold in o-minimal structures, are examined. One of them is the intermediate value property, say IVP. It is shown that strongly continuous definable functions in ${{\mathcal{M}}}$ satisfy an extended version of IVP. After introducing a weak version of definable connectedness in ${{\mathcal{M}}}$ , we prove that strong cells in ${{\mathcal{M}}}$ are weakly definably connected, so every set definable in ${{\mathcal{M}}}$ is a finite union of its weakly definably connected components, provided that ${{\mathcal{M}}}$ has the strong cell decomposition property. Then, we consider a local continuity property for definable functions in ${{\mathcal{M}}}$ and conclude some results on cell decomposition regarding that property. Finally, we extend the notion of having no dense graph (NDG) which was examined for definable functions in (Dolich et al. in Trans. Am. Math. Soc. 362:1371–1411, 2010) and related to uniform finiteness, definable completeness, and others. We show that every weakly o-minimal structure ${{\mathcal{M}}}$ having cell decomposition, satisfies NDG, i.e. every definable function in ${{\mathcal{M}}}$ has no dense graph.     

Irregular and Singular Loci of Commuting Varieties

Let $ {\user1{\mathcal{C}}} $ be the commuting variety of the Lie algebra $ \mathfrak{g} $ of a connected noncommutative reductive algebraic group G over an algebraically closed field of characteristic zero. Let $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ be the singular locus of $ {\user1{\mathcal{C}}} $ and let $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ be the locus of points whose G-stabilizers have dimension > rk G. We prove that: (a) $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ is a nonempty subset of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ ; (b) $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{irr}}}} = 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ where the maximum is taken over all simple ideals $ \mathfrak{a} $ of $ \mathfrak{g} $ and $ l{\left( \mathfrak{a} \right)} $ is the “lacety” of $ \mathfrak{a} $ ; and (c) if $ \mathfrak{t} $ is a Cartan subalgebra of $ \mathfrak{g} $ and $ \alpha \in \mathfrak{t}^{*} $ root of $ \mathfrak{g} $ with respect to $ \mathfrak{t} $ , then $ \overline{{G{\left( {{\text{Ker}}\,\alpha \times {\text{Ker }}\alpha } \right)}}} $ is an irreducible component of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ of codimension 4 in $ {\user1{\mathcal{C}}} $ . This yields the bound $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ and, in particular, $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 2 $ . The latter may be regarded as an evidence in favor of the known longstanding conjecture that $ {\user1{\mathcal{C}}} $ is always normal. We also prove that the algebraic variety $ {\user1{\mathcal{C}}} $ is rational.     

Constant Angle Property and Canonical Principal Directions for Surfaces in {\mathbb{M}^{2}(c) \times {\mathbb{R}_{1}}}

In this paper, we study surfaces in Lorentzian product spaces ${{\mathbb{M}^{2}(c) \times \mathbb{R}_1}}$ . We classify constant angle spacelike and timelike surfaces in ${{\mathbb{S}^{2} \times \mathbb{R}_1}}$ and ${{\mathbb{H}^{2} \times \mathbb{R}_1}}$ . Moreover, complete classifications of spacelike surfaces in ${{\mathbb{S}^{2} \times \mathbb{R}_1}}$ and ${{\mathbb{H}^{2} \times \mathbb{R}_1}}$ and timelike surfaces in ${{\mathbb{M}^{2}(c) \times \mathbb{R}_1}}$ with a canonical principal direction are obtained. Finally, a new characterization of the catenoid of the 3rd kind is established, as the only minimal timelike surface with a canonical principal direction in Minkowski 3–space.     

The gluing formula of the refined analytic torsion for an acyclic Hermitian connection

In the previous study by Huang and Lee (arXiv:1004.1753) we introduced the well-posed boundary conditions ${{\mathcal P}_{-, {\mathcal L}_{0}}}$ and ${{\mathcal P}_{+, {\mathcal L}_{1}}}$ for the odd signature operator to define the refined analytic torsion on a compact manifold with boundary. In this paper we discuss the gluing formula of the refined analytic torsion for an acyclic Hermitian connection with respect to the boundary conditions ${{\mathcal P}_{-, {\mathcal L}_{0}}}$ and ${{\mathcal P}_{+, {\mathcal L}_{1}}}$ . In this case the refined analytic torsion consists of the Ray-Singer analytic torsion, the eta invariant and the values of the zeta functions at zero. We first compare the Ray-Singer analytic torsion and eta invariant subject to the boundary condition ${{\mathcal P}_{-, {\mathcal L}_{0}}}$ or ${{\mathcal P}_{+, {\mathcal L}_{1}}}$ with the Ray-Singer analytic torsion subject to the relative (or absolute) boundary condition and eta invariant subject to the APS boundary condition on a compact manifold with boundary. Using these results together with the well known gluing formula of the Ray-Singer analytic torsion subject to the relative and absolute boundary conditions and eta invariant subject to the APS boundary condition, we obtain the main result.