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

Signature and Spectral Flow of J-Unitary {\mathbb{S}^1} -Fredholm Operators

Bijective operators conserving the indefinite scalar product on a Krein space ${(\mathcal{K}, J)}$ are called J-unitary. Such an operator T is defined to be ${\mathbb{S}^1}$ -Fredholm if T?z 1 is Fredholm for all z on the unit circle ${\mathbb{S}^1}$ , and essentially ${\mathbb{S}^1}$ -gapped if there is only discrete spectrum on ${\mathbb{S}^1}$ . For paths in the ${\mathbb{S}^1}$ -Fredholm operators an intersection index similar to the Conley–Zehnder index is introduced. The strict subclass of essentially ${\mathbb{S}^1}$ -gapped operators has a countable number of components which can be distinguished by a homotopy invariant given by the signature of J restricted to the eigenspace of all eigenvalues on ${\mathbb{S}^1}$ . These concepts are illustrated by several examples.     

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

Nikodym Maximal Functions Associated with Variable Planes in {\mathbb{R}^{3}}

Given a vector field ${\mathfrak{a}}$ on ${\mathbb{R}^3}$ , we consider a mapping ${x\mapsto \Pi_{\mathfrak{a}}(x)}$ that assigns to each ${x\in\mathbb{R}^3}$ , a plane ${\Pi_{\mathfrak{a}}(x)}$ containing x, whose normal vector is ${\mathfrak{a}(x)}$ . Associated with this mapping, we define a maximal operator ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^1_{loc}(\mathbb{R}^3)}$ for each ${N\gg 1}$ by $$\mathcal{M}^{\mathfrak{a}}_Nf(x)=\sup_{x\in\tau} \frac{1}{|\tau|} \int_{\tau}|f(y)|\,dy$$ where the supremum is taken over all 1/N ×? 1/N?× 1 tubes τ whose axis is embedded in the plane ${\Pi_\mathfrak{a}(x)}$ . We study the behavior of ${\mathcal{M}^{\mathfrak{a}}_N}$ according to various vector fields ${\mathfrak{a}}$ . In particular, we classify the operator norms of ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^2(\mathbb{R}^3)}$ when ${\mathfrak{a}(x)}$ is the linear function of the form (a ₁₁ x ₁?+?a ₂₁ x ₂, a ₁₂ x ₁?+?a ₂₂ x ₂, 1). The operator norm of ${\mathcal{M}^\mathfrak{a}_N}$ on ${L^2(\mathbb{R}^3)}$ is related with the number given by $$D=(a_{12}+a_{21})^2-4a_{11}a_{22}.$$      

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

On real local isometric immersions of {\mathbb{C}Q^2_c} into {\mathbb{C} P^{3}}

We investigate real local isometric immersions of Kähler manifolds ${\mathbb{C}Q^2_c}$ of constant holomorphic curvature 4c into complex projective 3-space. Our main result is that the standard embedding of ${\mathbb{C}P^2}$ into ${\mathbb{C}P^3}$ has strong rigidity under the class of local isometric transformations. We also prove that there are no local isometric immersions of ${\mathbb{C}Q^2_c}$ into ${\mathbb{C}P^3}$ when they have different holomorphic curvature. An important method used is a study of the relationship between the complex structure of any locally isometric immersed ${\mathbb{C}Q^2_c}$ and the complex structure of the ambient space ${\mathbb{C}P^3}$ .     

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.     

Proper trajectories of type {\mathbb{C}^{\ast}} of a polynomial vector field on {\mathbb{C}^2}

We prove that if a polynomial vector field on ${\mathbb{C}^2}$ has a proper and non-algebraic trajectory analytically isomorphic to ${\mathbb{C}^{\ast}}$ all its trajectories are proper, and except at most one which is contained in an algebraic curve of type ${\mathbb{C}}$ all of them are of type ${\mathbb{C}^{\ast}}$ . As corollary we obtain an analytic version of Lin?CZa?denberg Theorem for polynomial foliations.     

Conservative fragments of {{S}^{1}_{2}} and {{R}^{1}_{2}}

Conservative subtheories of ${{R}^{1}_{2}}$ and ${{S}^{1}_{2}}$ are presented. For ${{S}^{1}_{2}}$ , a slight tightening of Je?ábek??s result (Math Logic Q 52(6):613?C624, 2006) that ${T^{0}_{2} \preceq_{\forall \Sigma^{b}_{1}}S^{1}_{2}}$ is presented: It is shown that ${T^{0}_{2}}$ can be axiomatised as BASIC together with induction on sharply bounded formulas of one alternation. Within this ${\forall\Sigma^{b}_{1}}$ -theory, we define a ${\forall\Sigma^{b}_{0}}$ -theory, ${T^{-1}_{2}}$ , for the ${\forall\Sigma^{b}_{0}}$ -consequences of ${S^{1}_{2}}$ . We show ${T^{-1}_{2}}$ is weak by showing it cannot ${\Sigma^{b}_{0}}$ -define division by 3. We then consider what would be the analogous ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ based on Pollett (Ann Pure Appl Logic 100:189?C245, 1999. It is shown that this theory, ${{T}^{0,\left\{2^{(||\dot{id}||)}\right\}}_{2}}$ , also cannot ${\Sigma^{b}_{0}}$ -define division by 3. On the other hand, we show that ${{S}^{0}_{2}+open_{\{||id||\}}}$ -COMP is a ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ . Finally, we give a refinement of Johannsen and Pollett (Logic Colloquium?? 98, 262?C279, 2000) and show that ${\hat{C}^{0}_{2}}$ is ${\forall\hat\Sigma^{b}_{1}}$ -conservative over a theory based on open _cl-comprehension.     

Linearity and Second Fundamental Forms for Proper Holomorphic Maps from \mathbb{B}^{n+1} to \mathbb{B}^{4n-3}

For a holomorphic proper map F from the ball $\mathbb{B}^{n+1}$ into $\mathbb{B}^{N+1}$ that is C ³ smooth up to the boundary, the image $M=F(\partial\mathbb{B}^{n})$ is an immersed CR submanifold in the sphere $\partial \mathbb{B}^{N+1}$ on which some second fundamental forms II _M and $\mathit{II}^{CR}_{M}$ can be defined. It is shown that when 4??n+1<N+1??4n?3, F is linear fractional if and only if $\mathit{II}_{M} - \mathit{II}_{M}^{CR} \equiv 0$ .     

Postulation of Disjoint Unions of Lines and Double Lines in {\mathbb{P}^3}

A double line ${C \subset \mathbb{P}^3}$ is a connected divisor of type (2, 0) on a smooth quadric surface. Fix ${(a, c) \in \mathbb{N}^2\ \backslash\ \{(0, 0)\}}$ . Let ${X \subset \mathbb{P}^3}$ be a general disjoint union of a lines and c double lines. Then X has maximal rank, i.e. for each ${t \in \mathbb{Z}}$ either ${h^1(\mathcal{I}_X(t)) = 0}$ or ${h^0(\mathcal{I}_X(t)) = 0}$ .     

Real Hypersurfaces in Complex Two-plane Grassmannians with {\mathfrak{D}^{\bot}}-Parallel Shape Operator

In this paper we consider a new notion of ${\mathfrak{D}^{\bot}}$ -parallel shape operator for real hypersurfaces in complex two-plane Grassmannians ${G_2(\mathbb{C}^{m+2})}$ and give a non-existence theorem for a Hopf hypersurface in ${G_2(\mathbb{C}^{m+2})}$ with ${\mathfrak{D}^{\bot}}$ -parallel shape operator.     

Harmonic mappings and conformal minimal immersions of Riemann surfaces into {\mathbb {R}^{\rm N}}

We prove that for any open Riemann surface ${\mathcal{N}}$ , natural number N ≥ 3, non-constant harmonic map ${h:\mathcal{N} \to \mathbb{R}}$ ^N?2 and holomorphic 2-form ${\mathfrak{H}}$ on ${\mathcal{N}}$ , there exists a weakly complete harmonic map ${X=(X_j)_{j=1,\ldots,{\sc N}}:\mathcal{N} \to \mathbb{R}^{\sc N}}$ with Hopf differential ${\mathfrak{H}}$ and ${(X_j)_{j=3,\ldots,{\sc N}}=h.}$ In particular, there exists a complete conformal minimal immersion ${Y=(Y_j)_{j=1,\ldots,{\sc N}}:\mathcal{N} \to \mathbb{R}^{\sc N}}$ such that ${(Y_j)_{j=3,\ldots,{\sc N}}=h}$ . As some consequences of these results (1) there exist complete full non-decomposable minimal surfaces with arbitrary conformal structure and whose generalized Gauss map is non-degenerate and fails to intersect N hyperplanes of ${\mathbb{CP}^{{\sc N}-1}}$ in general position. (2) There exist complete non-proper embedded minimal surfaces in ${\mathbb{R}^{\sc N},}$ ${\forall\,{\sc N} >3 .}$      

A Few Comments on the Clifford Algebra {C\ell_2} of the Standard Euclidean Plane

This paper is a continuation of the author’s plenary lecture given at ICCA 9 which was held in Weimar at the Bauhaus University, 15–20 July, 2011. We want to study on both the mathematical and the epistemological levels the thought of the brilliant geometer W. K. Clifford by presenting a few comments on the structure of the Clifford algebra ${C\ell_2}$ associated with the standard Euclidean plane ${\mathbb{R}^2}$ . Miquel’s theorem will be given in the algebraic context of the even Clifford algebra ${C\ell^+_2}$ isomorphic to the real algebra ${\mathbb{C}}$ . The proof of this theorem will be based on the cross ratio (the anharmonic ratio) of four complex numbers. It will lead to a group of homographies of the standard projective line ${\mathbb{C}P^1 = P(\mathbb{C}^2)}$ which appeared so attractive to W. K. Clifford in his overview of a general theory of anharmonics. In conclusion it will be shown how the classical Clifford-Hopf fibration S ¹ → S ³ → S ² leads to the space of spinors ${\mathbb{C}^2}$ of the Euclidean space ${\mathbb{R}^3}$ and to the isomorphism ${{\rm {PU}(1) = \rm {SU}(2)/\{I,-I\} \simeq SO(3)}}$ .     

The Second Variational Formula for Laguerre Minimal Hypersurfaces in {\mathbb {R}^n}

Li and Wang (Manuscr Math 122(1):73–95, 2007) presented Laguerre geometry for hypersurfaces in ${\mathbb{R}^{n}}$ and calculated the first variational formula of the Laguerre functional by using Laguerre invariants. In this paper we present the second variational formula for Laguerre minimal hypersurfaces. As an application of this variational formula we give the standard examples of Laguerre minimal hypersurfaces in ${\mathbb{R}^{n}}$ and show that they are stable Laguerre minimal hypersurfaces. Using this second variational formula we can prove that a surface with vanishing mean curvature in ${\mathbb{R}^{3}_{0}}$ is Laguerre equivalent to a stable Laguerre minimal surface in ${\mathbb{R}^{3}}$ under the Laguerre embedding. This example of stable Laguerre minimal surface in ${\mathbb{R}^{3}}$ is different from the one Palmer gave in (Rend Mat Appl 19(2):281–293, 1999).     

Uniform Boundedness and Decay Estimates for a System of Reaction-Diffusion Equations with a Triangular Diffusion Matrix on {\mathbb{R}^{n}}

This paper concerns with a class of reaction-diffusion systems with triangular diffusion matrix on the unbounded domain ${\mathbb{R}^{n}}$ . The system with diagonal diffusion matrix has been studied by J. D. Avrin and F. Rothe in [4]. We prove two new results about uniform boundedness to solutions of such class of reaction-diffusion systems in ${BUC(\mathbb{R}^{n})}$ , the space of bounded uniformly continuous functions from ${\mathbb{R}^{n}}$ to ${\mathbb{R}}$ .     

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.     

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.     

On {\mathbb{F}_q} -Rational Structure of Nilpotent Orbits in the Witt Algebra

Let ${\mathfrak{g}=W_1}$ be the p-dimensional Witt algebra over an algebraically closed field ${k=\overline{\mathbb{F}}_q}$ , where p > 3 is a prime and q is a power of p. Let G be the automorphism group of ${\mathfrak{g}}$ . The Frobenius morphism F _G (resp. ${F_\mathfrak{g}}$ ) can be defined naturally on G (resp. ${\mathfrak{g}}$ ). In this paper, we determine the ${F_\mathfrak{g}}$ -stable G-orbits in ${\mathfrak{g}}$ . Furthermore, the number of ${\mathbb{F}_q}$ -rational points in each ${F_\mathfrak{g}}$ -stable orbit is precisely given. Consequently, we obtain the number of ${\mathbb{F}_q}$ -rational points in the nilpotent variety.     

On Zero-Sum {\mathbb{Z}_k} -Magic Labelings of 3-Regular Graphs

Let G =  (V, E) be a finite loopless graph and let (A, +) be an abelian group with identity 0. Then an A-magic labeling of G is a function ${\phi}$ from E into A ? {0} such that for some ${a \in A, \sum_{e \in E(v)} \phi(e) = a}$ for every ${v \in V}$ , where E(v) is the set of edges incident to v. If ${\phi}$ exists such that a =  0, then G is zero-sum A-magic. Let zim(G) denote the subset of ${\mathbb{N}}$ (the positive integers) such that ${1 \in zim(G)}$ if and only if G is zero-sum ${\mathbb{Z}}$ -magic and ${k \geq 2 \in zim(G)}$ if and only if G is zero-sum ${\mathbb{Z}_k}$ -magic. We establish that if G is 3-regular, then ${zim(G) = \mathbb{N} - \{2\}}$ or ${\mathbb{N} - \{2,4\}.}$