Simply transitive geodesic ball packings to \mathbf{S}^2\!\times \!\mathbf{R} space groups generated by glide reflections

The \(\mathbf{S}^2\!\times \!\mathbf{R}\) geometry can be derived by the direct product of the spherical plane \(\mathbf{S}^2\) and the real line \(\mathbf{R}\) . In (Beiträge zur Algebra und Geometrie (Contributions to Algebra and Geometry) 42:235–250, 2001), Farkas has classified and given the complete list of the space groups of \(\mathbf{S}^2\!\times \!\mathbf{R}\) . The \(\mathbf{S}^2\!\times \!\mathbf{R}\) manifolds were classified by Molnár and Farkas in [2] by similarity and diffeomorphism. In Szirmai (Beiträge zur Algebra und Geometrie (Contributions to Algebra and Geometry) 52(2):413–430, 2011), we have studied the geodesic balls and their volumes in \(\mathbf{S}^2\!\times \!\mathbf{R}\) space; moreover, we have introduced the notion of geodesic ball packing and its density and have determined the densest geodesic ball packing for generalized Coxeter space groups of \(\mathbf{S}^2\!\times \!\mathbf{R}\) . In this paper, we study the locally optimal ball packings to the \(\mathbf{S}^2\!\times \!\mathbf{R}\) space groups having Coxeter point groups, and at least one of the generators is a glide reflection. We determine the densest simply transitive geodesic ball arrangements for the above space groups; moreover, we compute their optimal densities and radii. The density of the densest packing is \(\approx 0.80407553\) , may be surprising enough in comparison with the Euclidean result \(\frac{\pi }{\sqrt{18}}\approx 0.74048\) . Molnár has shown in (Beiträge zur Algebra und Geometrie (Contributions to Algebra and Geometry) 38(2):261–288, 1997) that the homogeneous 3-spaces have a unified interpretation in the real projective 3-sphere \(\mathcal PS ^3(\mathbf{V}^4,\varvec{V}_4,\mathbb R )\) . In our work, we shall use this projective model of \(\mathbf{S}^2\!\times \!\mathbf{R}\) geometry.     

Supercyclic abelian semigroups of matrices on \mathbb {C}^{n}

We give a complete characterization of a supercyclic abelian semigroup of matrices on \(\mathbb {C}^{n}\) . For finitely generated semigroups, this characterization is explicit and it is used to determine the minimal number of matrices in normal form over \(\mathbb {C}\) that form a supercyclic abelian semigroup on \({\mathbb {C}}^{n}\) . In particular, no abelian semigroup generated by \(n-1\) matrices on \(\mathbb {C}^{n}\) can be supercyclic.     

On the geometry of linear Weingarten spacelike hypersurfaces in the de Sitter space

Our purpose is to study the geometry of linear Weingarten spacelike hypersurfaces immersed in the de Sitter space $\mathbb{S}_1^{n + 1} $ . In this setting, by using as main analytical tool a suitable maximum principle for complete noncompact Riemannian manifolds, we establish new characterizations of the hyperbolic cylinders of $\mathbb{S}_1^{n + 1} $ . In the compact case, we obtain a rigidity result concerning to a such hypersurface according to the length of its second fundamental form.     

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

Pro-\mathcal {C} completions of orientable \text{ PD }^3-pairs

Let \({\mathcal {C}}\) be a class of finite groups. We study some sufficient conditions for the pro- \({\mathcal {C}}\) completion of an orientable \(\text{ PD }^3\) -pair over \(\mathbb {Z}\) to be an orientable profinite \(\text{ PD }^3\) -pair over \(\mathbb {F}_p\) . More results are proven for the pro- \(p\) completion of \(\text{ PD }^3\) -pairs.     

Non-Lipschitz points and the {\textit{SBV}} regularity of the minimum time function

This paper is devoted to the study of the Hausdorff dimension of the singular set of the minimum time function \(T\) under controllability conditions which do not imply the Lipschitz continuity of \(T\) . We consider first the case of normal linear control systems with constant coefficients in \({\mathbb {R}}^N\) . We characterize points around which \(T\) is not Lipschitz as those which can be reached from the origin by an optimal trajectory (of the reversed dynamics) with vanishing minimized Hamiltonian. Linearity permits an explicit representation of such set, that we call \(\mathcal {S}\) . Furthermore, we show that \(\mathcal {S}\) is countably \(\mathcal {H}^{N-1}\) -rectifiable with positive \(\mathcal {H}^{N-1}\) -measure. Second, we consider a class of control-affine planar nonlinear systems satisfying a second order controllability condition: we characterize the set \(\mathcal {S}\) in a neighborhood of the origin in a similar way and prove the \(\mathcal {H}^1\) -rectifiability of \(\mathcal {S}\) and that \(\mathcal {H}^1(\mathcal {S})>0\) . In both cases, \(T\) is known to have epigraph with positive reach, hence to be a locally \(BV\) function (see Colombo et al.: SIAM J Control Optim 44:2285–2299, 2006; Colombo and Nguyen.: Math Control Relat 3: 51–82, 2013). Since the Cantor part of \(DT\) must be concentrated in \(\mathcal {S}\) , our analysis yields that \(T\) is locally \(SBV\) , i.e., the Cantor part of \(DT\) vanishes. Our results imply also that \(T\) is differentiable outside a \(\mathcal {H}^{N-1}\) -rectifiable set. With small changes, our results are valid also in the case of multiple control input.     

Renewal reward process for T-related fuzzy random variables on (\mathbb {R}^{p}, \mathbb {R}^{q})

In this paper, following our previous studies, we investigate the renewal rewards process with respect to the necessity, credibility, chance measure and the expected value in which the random inter-arrival times and random rewards are characterized as weighted fuzzy numbers under \(t\) -norm-based fuzzy operations on \(\mathbb {R}^{p}\) and \(\mathbb {R}^{q}\,\,p,\,q \ge 1,\) respectively. Many versions of \(T\) -related fuzzy renewal rewards theorems are proved by using the law of large numbers for weighted fuzzy variables on \(\mathbb {R}^{p}\) . An application example is provided to illustrate the utility of the results.     

Fixed points and homology of superelliptic Jacobians

Let \(\eta : C_{f,N}\rightarrow \mathbb {P}^1\) be a cyclic cover of \(\mathbb {P}^1\) of degree \(N\) which is totally and tamely ramified for all the ramification points. We determine the group of fixed points of the cyclic covering group \({{\mathrm{Aut}}}(\eta )\simeq \mathbb {Z}/ N \mathbb {Z}\) acting on the Jacobian \(J_N:={{\mathrm{Jac}}}(C_{f,N})\) . For each prime \(\ell \) distinct from the characteristic of the base field, the Tate module \(T_\ell J_N\) is shown to be a free module over the ring \(\mathbb {Z}_\ell [T]/(\sum _{i=0}^{N-1}T^i)\) . We also study the subvarieties of \(J_N\) and calculate the degree of the induced polarization on the new part \(J_N^\mathrm {new}\) of the Jacobian.     

Regularity and uniqueness of a class of biharmonic map heat flows

We consider a class of weak solutions of the heat flow of biharmonic maps from \(\Omega \subset \mathbb{R }^n\) to the unit sphere \(\mathbb{S }^L\subset \mathbb{R }^{L+1}\) , that have small renormalized total energies locally at each interior point. For any such a weak solution, we prove the interior smoothness, and the properties of uniqueness, convexity of hessian energy, and unique limit at \(t=\infty \) . We verify that any weak solution \(u\) to the heat flow of biharmonic maps from \(\Omega \) to a compact Riemannian manifold \(N\) without boundary, with \(\nabla ^2 u\in L^q_tL^p_x\) for some \(p>\frac{n}{2}\) and \(q>2\) satisfying (1.12), has small renormalized total energy locally and hence enjoys both the interior smoothness and uniqueness property. Finally, if an initial data \(u_0\in W^{2,r}(\mathbb{R }^n, N)\) for some \(r>\frac{n}{2}\) , then we establish the local existence of heat flow of biharmonic maps \(u\) , with \(\nabla ^2 u\in L^q_tL^p_x\) for some \(p>\frac{n}{2}\) and \(q>2\) satisfying (1.12).     

Divide and Conquer Roadmap for Algebraic Sets

Let \(\mathrm{R}\) be a real closed field and \(\hbox {D}\subset \mathrm{R}\) an ordered domain. We describe an algorithm that given as input a polynomial \(P \in \hbox {D}[ X_{1} , \ldots ,X_{{ k}} ]\) and a finite set, \(\mathcal {A}= \{ p_{1} , \ldots ,p_{m} \}\) , of points contained in \(V= {\mathrm{{Zer}}} ( P, \mathrm{R}^{{ k}})\) described by real univariate representations, computes a roadmap of \(V\) containing \(\mathcal {A}\) . The complexity of the algorithm, measured by the number of arithmetic operations in \(\hbox {D}\) , is bounded by \(\big ( \sum _{i=1}^{m} D^{O ( \log ^{2} ( k ) )}_{i} +1 \big ) ( k^{\log ( k )} d )^{O ( k\log ^{2} ( k ))}\) , where \(d= \deg ( P )\) and \(D_{i}\) is the degree of the real univariate representation describing the point \(p_{i}\) . The best previous algorithm for this problem had complexity card \(( \mathcal {A} )^{O ( 1 )} d^{O ( k^{3/2} )}\) (Basu et al., ArXiv, 2012), where it is assumed that the degrees of the polynomials appearing in the representations of the points in \(\mathcal {A}\) are bounded by \(d^{O ( k )}\) . As an application of our result we prove that for any real algebraic subset \(V\) of \(\mathbb {R}^{k}\) defined by a polynomial of degree \(d\) , any connected component \(C\) of \(V\) contained in the unit ball, and any two points of \(C\) , there exists a semi-algebraic path connecting them in \(C\) , of length at most \(( k ^{\log (k )} d )^{O ( k\log ( k ) )}\) , consisting of at most \(( k ^{\log (k )} d )^{O ( k\log ( k ) )}\) curve segments of degrees bounded by \(( k ^{\log ( k )} d )^{O ( k \log ( k) )}\) . While it was known previously, by a result of D’Acunto and Kurdyka (Bull Lond Math Soc 38(6):951–965, 2006), that there always exists a path of length \(( O ( d ) )^{k-1}\) connecting two such points, there was no upper bound on the complexity of such a path.     

A Note on Recent Papers by Grafakos and Teschl,and Estrada

We indicate how recent results of Grafakos and Teschl (J Fourier Anal Appl 19:167–179, 2013), and Estrada (J Fourier Anal Appl 20:301–320, 2014), relating the Fourier transform of a radial function in \(\mathbb R^n\) and the Fourier transform of the same function in \(\mathbb R^{n+2}\) and \(\mathbb R^{n+1}\) , respectively, are located within known results on transplantation for Hankel transforms.     

Differentiability in the Sobolev space W^{1,n-1}

Let \(\Omega \subset {\mathbb {R}}^{n}\) be a domain, \(n \ge 2\) . We show that a continuous, open and discrete mapping \(f \in W_{\mathrm{loc }}^{1,n-1}(\Omega , {\mathbb {R}}^{n})\) with integrable inner distortion is differentiable almost everywhere on \(\Omega \) . As a corollary we get that the branch set of such a mapping has measure zero.     

The \bar{\partial }-Equation on an Annulus Between Two Strictly q-Convex Domains with Smooth Boundaries

In this paper, we study the global boundary regularity of the \(\bar{\partial }\) - equation on an annulus domain \(\Omega \) between two strictly \(q\) -convex domains with smooth boundaries in \(\mathbb{C }^n\) for some bidegree. To this finish, we first show that the \(\bar{\partial }\) -operator has closed range on \(L^{2}_{r, s}(\Omega )\) and the \(\bar{\partial }\) -Neumann operator exists and is compact on \(L^{2}_{r,s}(\Omega )\) for all \(r\ge 0\) , \(q\le s\le n-q- 1\) . We also prove that the \(\bar{\partial }\) -Neumann operator and the Bergman projection operator are continuous on the Sobolev space \(W^{k}_{r,s}(\Omega )\) , \(k\ge 0\) , \(r\ge 0\) , and \(q\le s\le n-q-1\) . Consequently, the \(L^{2}\) -existence theorem for the \(\bar{\partial }\) -equation on such domain is established. As an application, we obtain a global solution for the \(\bar{\partial }\) equation with Hölder and \(L^p\) -estimates on strictly \(q\) -concave domain with smooth \(\mathcal C ^2\) boundary in \(\mathbb{C }^n\) , by using the local solutions and applying the pushing out method of Kerzman (Commun Pure Appl Math 24:301–380, 1971).     

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

Trapped Reeb orbits do not imply periodic ones

We construct a contact form on \(\mathbb {R}^{2n+1}\) , \(n\ge 2\) , equal to the standard contact form outside a compact set and defining the standard contact structure on all of \(\mathbb {R}^{2n+1}\) , which has trapped Reeb orbits, including a torus invariant under the Reeb flow, but no closed Reeb orbits. This answers a question posed by Helmut Hofer.     

Logarithmic Mean Oscillation on the Polydisc,Multi-Parameter Paraproducts and Iterated Commutators

We introduce another notion of bounded logarithmic mean oscillation in the \(N\) -torus and give an equivalent definition in terms of boundedness of multi-parameter paraproducts from the dyadic little \(\mathrm {BMO}\) , \(\mathrm {bmo}^d(\mathbb {T}^N)\) to the dyadic product \(\mathrm {BMO}\) space, \(\mathrm {BMO}^d(\mathbb {T}^N)\) . We also obtain a sufficient condition for the boundedness of the iterated commutators from the subspace of \(\mathrm {bmo}(\mathbb {R}^N)\) consisting of functions with support in \([0,1]^N\) to \(\mathrm {BMO}(\mathbb {R}^N)\) .     

Classification of finite Morse index solutions for Hénon type elliptic equation -\Delta u = |x|^{\alpha } u_{+}^{p}

In this paper we investigate the non-autonomous elliptic equations \(-\Delta u = |x|^{\alpha } u_{+}^{p}\) in \( \mathbb{R }^{N}\) and in \( \mathbb{R }_+^{N}\) with the Dirichlet boundary condition, with \(N \ge 2\) , \(p>1\) and \(\alpha >-2\) . We consider the weak solutions with finite Morse index and obtain some classification results.     

Interpolation for a subclass of H ∞

We introduce and characterize two types of interpolating sequences in the unit disc \(\mathbb {D}\) of the complex plane for the class of all functions being the product of two analytic functions in \(\mathbb {D}\) , one bounded and another regular up to the boundary of \(\mathbb {D}\) , concretely in the Lipschitz class, and at least one of them vanishing at some point of \(\overline {\mathbb {D}}\) .     

The second main theorem of hypersurfaces in the projective space

We deal with a holomorphic map from the complex plane ${\mathbb{C}}$ to the n-dimensional complex projective space ${\mathbb{P}^{n}(\mathbb{C})}$ and prove the Nevanlinna Second Main Theorem for some families of non-linear hypersurfaces in ${\mathbb{P}^{n}(\mathbb{C})}$ . This Second Main Theorem implies the defect relation. If the degree of the hypersurfaces are sufficiently large, the defect of the map is smaller than one. This means that holomorphic maps which omit the irreducible hypersurface of large degree is algebraically degenerate. To prove the Second Main Theorem, we use a meromorphic partial projective connection which is totally geodesic with respect to these hypersurfaces. A meromorphic partial projective connection is a family of locally defined meromorphic connections such which work as an entirely defined meromorphic connection under the Wronskian operator. By resolving the singularity and pulling back a meromorphic partial projective connection, we also prove the Second Main Theorem for singular hypersurfaces in ${\mathbb{P}^{n}(\mathbb{C})}$ , and prove the Second Main Theorem for smooth hypersurfaces in ${\mathbb{P}^{2}(\mathbb{C})}$ which are not normal crossing.