Automorphisms of Some Topological Regular Parallelisms of {{\rm PG}(3, \mathbb{R})}

In a precedent article we constructed various topological regular parallelisms of the real projective 3-space \({{\rm PG}(3, \mathbb{R})}\) via hyperflock determining line sets of \({{\rm PG}(5, \mathbb{R})}\) (see Betten and Riesinger in Mh Math 161:43–58, 2010). In the present paper we discuss for some of these parallelisms their automorphism groups consisting of all automorphic collineations and all automorphic dualities, especially we compute their group dimension. Thus we are able to present: (1) topological regular 5-dimensional parallelisms of \({{\rm PG}(3, \mathbb{R})}\) of group dimension 0, (2) topological regular 4-dimensional parallelisms of \({{\rm PG}(3, \mathbb{R})}\) of group dimension 0 or 1, (3) topological regular 3-dimensional parallelisms of \({{\rm PG}(3, \mathbb{R})}\) of group dimension 1.     

A Remark on The Geometry of Spaces of Functions with Prime Frequencies

For any positive integer r, denote by \({\mathcal{P}_{r}}\) the set of all integers \({\gamma \in \mathbb{Z}}\) having at most r prime divisors. We show that \({C_{\mathcal{P}_{r}}(\mathbb{T})}\) , the space of all continuous functions on the circle \({\mathbb{T}}\) whose Fourier spectrum lies in \({\mathcal{P}_{r}}\) , contains a complemented copy of \({\ell^{1}}\) . In particular, \({C_{\mathcal{P}_{r}}(\mathbb{T})}\) is not isomorphic to \({C(\mathbb{T})}\) , nor to the disc algebra \({A(\mathbb{D})}\) . A similar result holds in the L ¹ setting.     

The Idempotents of the TL n -Module {\otimes^{n}\mathbb{C}2} in Terms of Elements of {{\rm U}_{q} \mathfrak{sl}_2}

The vector space \({\otimes^{n}\mathbb{C}^2}\) upon which the XXZ Hamiltonian with n spins acts bears the structure of a module over both the Temperley–Lieb algebra \({{\rm TL}_{n}(\beta = q + q^{-1})}\) and the quantum algebra \({{\rm U}_{q} \mathfrak{sl}_2}\) . The decomposition of \({\otimes^{n}\mathbb{C}^2}\) as a \({{\rm U}_{q} \mathfrak{sl}_2}\) -module was first described by Rosso (Commun Math Phys 117:581–593, 1988), Lusztig (Cont Math 82:58–77, 1989) and Pasquier and Saleur (Nucl Phys B 330:523–556, 1990) and that as a TL _n -module by Martin (Int J Mod Phys A 7:645–673, 1992) (see also Read and Saleur Nucl Phys B 777(3):316–351, 2007; Gainutdinov and Vasseur Nucl Phys B 868:223–270, 2013). For q generic, i.e. not a root of unity, the TL _n -module \({\otimes^{n}\mathbb{C}^2}\) is known to be a sum of irreducible modules. We construct the projectors (idempotents of the algebra of endomorphisms of \({\otimes^{n}\mathbb{C}^2}\) ) onto each of these irreducible modules as linear combinations of elements of \({{\rm U}_{q} \mathfrak{sl}_2}\) . When q = q _c is a root of unity, the TL _n -module \({\otimes^{n}\mathbb{C}^2}\) (with n large enough) can be written as a direct sum of indecomposable modules that are not all irreducible. We also give the idempotents projecting onto these indecomposable modules. Their expression now involves some new generators, whose action on \({\otimes^{n}\mathbb{C}^2}\) is that of the divided powers \({(S^{\pm})^{(r)} = \lim_{q \rightarrow q_{c}} (S^{\pm})^r/[r]!}\) .     

Wandering Subspaces of the Bergman Space and the Dirichlet Space Over {{\mathbb{D}^{n}}}

Doubly commuting invariant subspaces of the Bergman space and the Dirichlet space over the unit polydisc \({\mathbb{D}^n}\) (with \({n \geq 2}\) ) are investigated. We show that for any non-empty subset \({\alpha=\{\alpha_1,\ldots,\alpha_k\}}\) of \({\{1,\ldots,n\}}\) and doubly commuting invariant subspace \({\mathcal{S}}\) of the Bergman space or the Dirichlet space over \({\mathbb{D}^n}\) , restriction of the multiplication operator tuple on \({\mathcal{S}, M_{\alpha}|_\mathcal{S}:=(M_{z_{\alpha_1}}|_\mathcal{S},\ldots, M_{z_{\alpha_k}}|_\mathcal{S})}\) , always possesses generating wandering subspace of the form $$\bigcap_{i=1}^k(\mathcal{S}\ominus z_{\alpha_i}\mathcal{S})$$ .     

Non-Veech surfaces in {\mathcal{H}^{\rm hyp}(4)} are generic

We show that every surface in the component \({\mathcal{H}^{\rm hyp}(4)}\) , that is the moduli space of pairs \({(M,\omega)}\) where M is a genus three hyperelliptic Riemann surface and \({\omega}\) is an Abelian differential having a single zero on M, is either a Veech surface or a generic surface, i.e. its \({{\rm GL}^{+}(2,\mathbb{R})}\) -orbit is either a closed or a dense subset of \({\mathcal{H}^{\rm hyp}(4)}\) . The proof develops new techniques applicable in general to the problem of classifying orbit closures, especially in low genus. Combined with work of Matheus and the second author, a corollary is that there are at most finitely many non-arithmetic Teichmüller curves (closed orbits of surfaces not covering the torus) in \({\mathcal{H}^{\rm hyp}(4)}\) .     

Hausdorff measures of subgroups of \mathbb{R }/\mathbb{Z } and \mathbb{R }

For a sequence $\underline{u}=(u_n)_{n\in \mathbb{N }}$ of integers, let $t_{\underline{u}}(\mathbb{T })$ be the group of all topologically $\underline{u}$ -torsion elements of the circle group $\mathbb{T }:=\mathbb{R }/\mathbb{Z }$ . We show that for any $s\in ]0,1[$ and $m\in \{0,+\infty \}$ there exists $\underline{u}$ such that $t_{\underline{u}}(\mathbb{T })$ has Hausdorff dimension $s$ and $s$ -dimensional Hausdorff measure equal to $m$ (no other values for $m$ are possible). More generally, for dimension functions $f,g$ with $f(t)\prec g(t), f(t)\prec \!\!\!\prec t$ and $g(t)\prec \!\!\!\prec t$ we find $\underline{u}$ such that $t_{\underline{u}}(\mathbb{T })$ has at the same time infinite $f$ -measure and null $g$ -measure.     

Exact multiplicity for the perturbed Q-curvature problem in {\mathbb{R}^N,N \geq 5}

Let N ≥ 5 and \({{\mathcal{D}}^{2,2} (\mathbb{R}^N)}\) denote the closure of \({C_0^\infty (\mathbb{R}^N)}\) in the norm \({\|u\|_{{\mathcal{D}}^{2,2} (\mathbb{R}^N)}^2 := \int\nolimits_{\mathbb{R}^N} |\Delta u|^2.}\) Let \({K \in C^2 (\mathbb{R}^N).}\) We consider the following problem for ? ≥ 0: $$(P_\varepsilon) \left\{\begin{array}{llll}{\rm Find} \, u \in {\mathcal{D}}^{2, 2} (\mathbb{R}^N) \, \, {\rm solving} :\\ \left.\begin{array}{lll}\Delta^2 u = (1+ \varepsilon K (x)) u^{\frac{N+4}{N-4}}\\ u > 0 \end{array}\right\}{\rm in} \, \mathbb{R}^N.\end{array}\right.$$ We show an exact multiplicity result for (P _? ) for all small ? > 0.     

About the maximal rank of 3-tensors over the real and the complex number field

Tensor data are becoming important recently in various application fields. In this paper, we consider the maximal rank problem of 3-tensors and extend Atkinson and Stephens’ and Atkinson and Lloyd’s results over the real number field. We also prove the assertion of Atkinson and Stephens: ${{\rm max.rank}_{\mathbb{R}}(m,n,p) \leq m+\lfloor p/2\rfloor n}$ , ${{\rm max.rank}_{\mathbb{R}}(n,n,p) \leq (p+1)n/2}$ if p is even, ${{\rm max.rank}_{\mathbb{F}}(n,n,3)\leq 2n-1}$ if ${\mathbb{F}=\mathbb{C}}$ or n is odd, and ${{\rm max.rank}_{\mathbb{F}}(m,n,3)\leq m+n-1}$ if m < n where ${\mathbb{F}}$ stands for ${\mathbb{R}}$ or ${\mathbb{C}}$ .     

The Essential Norm of a Generalized Composition Operator Between Bloch-Type Spaces and Q K Type Spaces

Let ?? be an analytic self-map of the unit disk ${\rm \mathbb{D},H(\rm \mathbb{D})}$ the space of analytic functions on ${{\rm \mathbb{D}}}$ and ${g \in H(\rm \mathbb{D})}$ . We define a linear operator as follows $$C_\varphi^gf(z)=\int\limits_0^zf'(\varphi(w))g(w)\, {\rm d}w, $$ on ${ H(\rm \mathbb{D})}$ . In this paper, estimates for the essential norm of the generalized composition operator between Bloch-type spaces and Q _K type spaces are obtained.     

A zoo of diffeomorphism groups on \mathbb{R }^{n}

We consider the groups ${\mathrm{Diff }}_\mathcal{B }(\mathbb{R }^n)$ , ${\mathrm{Diff }}_{H^\infty }(\mathbb{R }^n)$ , and ${\mathrm{Diff }}_{\mathcal{S }}(\mathbb{R }^n)$ of smooth diffeomorphisms on $\mathbb{R }^n$ which differ from the identity by a function which is in either $\mathcal{B }$ (bounded in all derivatives), $H^\infty = \bigcap _{k\ge 0}H^k$ , or $\mathcal{S }$ (rapidly decreasing). We show that all these groups are smooth regular Lie groups.     

Complete bounded null curves immersed in {\mathbb {C}^3} and {\rm {SL}(2,\mathbb {C})}

We construct a simply connected complete bounded mean curvature one surface in the hyperbolic 3-space ${\mathcal {H}^3}$ . Such a surface in ${\mathcal {H}^3}$ can be lifted as a complete bounded null curve in ${\rm {SL}(2,\mathbb {C})}$ . Using a transformation between null curves in ${\mathbb {C}^3}$ and null curves in ${\rm {SL}(2,\mathbb {C})}$ , we are able to produce the first examples of complete bounded null curves in ${\mathbb {C}^3}$ . As an application, we can show the existence of a complete bounded minimal surface in ${\mathbb {R}^3}$ whose conjugate minimal surface is also bounded. Moreover, we can show the existence of a complete bounded immersed complex submanifold in ${\mathbb {C}^2}$ .     

Structure of \mathrm {Gal}(\mathbb {k}_2^{(2)}/\mathbb {k}) for some fields \mathbb {k}=\mathbb {Q}(\sqrt{2p_1p_2},i) with \mathbf {C}l_2(\mathbb {k})\simeq (2, 2, 2)

Let \(p_1 \equiv p_2 \equiv 5\pmod 8\) be different primes. Put \(i=\sqrt{-1}\) and \(d=2p_1p_2\) , then the bicyclic biquadratic field \(\mathbb {k}=\mathbb {Q}(\sqrt{d},i)\) has an elementary abelian 2-class group of rank \(3\) . In this paper we determine the nilpotency class, the coclass, the generators and the structure of the non-abelian Galois group \(\mathrm {Gal}(\mathbb {k}_2^{(2)}/\mathbb {k})\) of the second Hilbert 2-class field \(\mathbb {k}_2^{(2)}\) of \(\mathbb {k}\) . We study the capitulation problem of the 2-classes of \(\mathbb {k}\) in its seven unramified quadratic extensions \(\mathbb {K}_i\) and in its seven unramified bicyclic biquadratic extensions \(\mathbb {L}_i\) .     

Two Inner Sequences Based Invariant Subspaces in {{H}^{2} (\mathbb{D}^{2})}

Let M be a shift invariant subspace in the vector-valued Hardy space ${H_{E}^{2}(\mathbb{D})}$ H E 2 ( D ) . The Beurling–Lax–Halmos theorem says that M can be completely characterized by ${\mathcal{B}(E)}$ B ( E ) -valued inner function ${\Theta}$ Θ . When ${E = H^{2}(\mathbb{D}),\,H_{E}^{2}(\mathbb{D})}$ E = H 2 ( D ) , H E 2 ( D ) is the Hardy space on the bidisk ${H^{2}(\mathbb{D}^2)}$ H 2 ( D 2 ) . Recently, Qin and Yang (Proc Am Math Soc, 2013) determines the operator valued inner function ${\Theta(z)}$ Θ ( z ) for two well-known invariant subspaces in ${H^{2}(\mathbb{D}^{2})}$ H 2 ( D 2 ) . This paper generalizes the ${\Theta(z)}$ Θ ( z ) by Qin and Yang (Proc Am Math Soc, 2013) and deal with the structure of ${M = {\Theta}(z)H^{2}(\mathbb{D}^{2})}$ M = Θ ( z ) H 2 ( D 2 ) when M is an invariant subspace in ${H^{2}(\mathbb{D}^{2})}$ H 2 ( D 2 ) . Unitary equivalence, spectrum of the compression operator and core operator are studied in this paper.     

A Family of Measures of Noncompactness in the Space {L^1_{\text{loc}}(\mathbb{R}_+)} and its Application to Some Nonlinear Volterra Integral Equation

The aim of this paper is to study a new family of measures of noncompactness in the space ${L^1_{\text{loc}}(\mathbb{R}_+)}$ consisting of all real functions locally integrable on ${\mathbb{R}_+}$ , equipped with a suitable topology. As an example of applications of the technique associated with that family of measures of noncompactness, we study the existence of solutions of a nonlinear Volterra integral equation in the space ${L^1_{\text{loc}}(\mathbb{R}_+)}$ . The obtained result generalizes several ones obtained earlier with help of other methods.     

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}}} $ .     

A covering lemma for {K(\mathbb {R})}

The Dodd–Jensen Covering Lemma states that “if there is no inner model with a measurable cardinal, then for any uncountable set of ordinals X, there is a ${Y\in K}$ such that ${X\subseteq Y}$ and |X| = |Y|”. Assuming ZF+AD alone, we establish the following analog: If there is no inner model with an ${\mathbb {R}}$ –complete measurable cardinal, then the real core model ${K(\mathbb {R})}$ is a “very good approximation” to the universe of sets V; that is, ${K(\mathbb {R})}$ and V have exactly the same sets of reals and for any set of ordinals X with ${|{X}|\ge\Theta}$ , there is a ${Y\in K(\mathbb {R})}$ such that ${X\subseteq Y}$ and |X| = |Y|. Here ${\mathbb {R}}$ is the set of reals and ${\Theta}$ is the supremum of the ordinals which are the surjective image of ${\mathbb {R}}$ .     

The Cubic Complex Moment Problem

Let \({s = \{s_{jk}\}_{0 \leq j+k \leq 3}}\) be a given complex-valued sequence. The cubic complex moment problem involves determining necessary and sufficient conditions for the existence of a positive Borel measure \({\sigma}\) on \({\mathbb{C}}\) (called a representing measure for s) such that \({s_{jk} = \int_{\mathbb{C}}\bar{z}^j z^k d\sigma(z)}\) for \({0 \leq j + k \leq 3}\) . Put $$\Phi = \left(\begin{array}{lll} s_{00} & s_{01} & s_{10} \\s_{10} & s_{11} & s_{20} \\s_{01} & s_{02} & s_{11}\end{array}\right), \quad \Phi_z = \left(\begin{array}{lll}s_{01} & s_{02} & s_{11} \\s_{10} & s_{12} & s_{21} \\s_{02} & s_{03} & s_{12}\end{array} \right)\quad {\rm and}\quad\Phi_{\bar{z}} = (\Phi_z)^*.$$ If \({\Phi \succ 0}\) , then the commutativity of \({\Phi^{-1} \Phi_z}\) and \({\Phi^{-1} \Phi_{\bar{z}}}\) is necessary and sufficient for the existence a 3-atomic representing measure for s. If \({\Phi^{-1} \Phi_z}\) and \({\Phi^{-1} \Phi_{\bar{z}}}\) do not commute, then we show that s has a 4-atomic representing measure. The proof is constructive in nature and yields a concrete parametrization of all 4-atomic representing measures of s. Consequently, given a set \({K \subseteq \mathbb{C}}\) necessary and sufficient conditions are obtained for s to have a 4-atomic representing measure \({\sigma}\) which satisfies \({{\rm supp} \sigma \cap K \neq \emptyset}\) or \({{\rm supp} \sigma \subseteq K}\) . The cases when \({K = \overline{\mathbb{D}}}\) and \({K = \mathbb{T}}\) are considered in detail.     

Estimates of three classical summations on the spaces F_p~(α,q)(R~n)(0 < p ≤ 1)

We obtain the boundedness on ˙Fα,qp(Rn) for the Poisson summation and Gauss summation. Their maximal operators are proved to be bounded from˙Fα,qp(Rn) to L∞(Rn).For the maximal operator of the Bochner-Riesz summation, we prove that it is bounded from˙Fα,qp(Rn) to Lpnn-pα,∞(Rn).