Compact Surfaces with Constant Gaussian Curvature in Product Spaces

We prove that the only compact surfaces of positive constant Gaussian curvature in \mathbbH²×\mathbbR{\mathbb{H}^{2}\times\mathbb{R}} (resp. positive constant Gaussian curvature greater than 1 in \mathbbS²×\mathbbR{\mathbb{S}^{2}\times\mathbb{R}}) whose boundary Γ is contained in a slice of the ambient space and such that the surface intersects this slice at a constant angle along Γ, are the pieces of a rotational complete surface. We also obtain some area estimates for surfaces of positive constant Gaussian curvature in \mathbbH²×\mathbbR{\mathbb{H}^{2}\times\mathbb{R}} and positive constant Gaussian curvature greater than 1 in \mathbbS²×\mathbbR{\mathbb{S}^{2}\times\mathbb{R}} whose boundary is contained in a slice of the ambient space. These estimates are optimal in the sense that if the bounds are attained, the surface is again a piece of a rotational complete surface.     

The Nonexistence of Pseudoquaternions in {\mathbb{C}^{2\times 2}}

The field of quaternions, denoted by \mathbbH{\mathbb{H}} can be represented as an isomorphic four dimensional subspace of \mathbbR^4×4{\mathbb{R}^{4\times 4}}, the space of real matrices with four rows and columns. In addition to the quaternions there is another four dimensional subspace in \mathbbR^4×4{\mathbb{R}^{4\times 4}} which is also a field and which has – in connection with the quaternions – many pleasant properties. This field is called field of pseudoquaternions. It exists in \mathbbR^4×4{\mathbb{R}^{4\times 4}} but not in \mathbbH{\mathbb{H}}. It allows to write the quaternionic linear term axb in matrix form as Mx where x is the same as the quaternion x only written as a column vector in \mathbbR⁴{\mathbb{R}^4}. And M is the product of the matrix associated with the quaternion a with the matrix associated with the pseudoquaternion b.     

Counting Ω-ideals

Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P_\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(Aⁿ) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 2^2à₀{2^{2^{\aleph_0}}} Ω-ideals in P_\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.     

Radon Transform on the Torus

We consider the Radon transform on the (flat) torus \mathbbTⁿ = \mathbbRⁿ/\mathbbZⁿ{\mathbb{T}^{n} = \mathbb{R}^{n}/\mathbb{Z}^n} defined by integrating a function over all closed geodesics. We prove an inversion formula for this transform and we give a characterization of the image of the space of smooth functions on \mathbbTⁿ{\mathbb{T}^{n}} .     

Relative universality and universality obtained by adding constants

A variety ${\mathbb{V}}${\mathbb{V}} is var-relatively universal if it contains a subvariety \mathbbW{\mathbb{W}} such that the class of all homomorphisms that do not factorize through any algebra in \mathbbW{\mathbb{W}} is algebraically universal. And \mathbbV{\mathbb{V}} has an algebraically universal α-expansion a\mathbbV{\alpha\mathbb{V}} if adding α nullary operations to all algebras in \mathbbV{\mathbb{V}} gives rise to a class a\mathbbV{\alpha\mathbb{V}} of algebras that is algebraically universal. The first two authors have conjectured that any varrelative universal variety \mathbbV{\mathbb{V}} has an algebraically universal α-expansion a\mathbbV{\alpha\mathbb{V}} . This note contains a more general result that proves this conjecture.     

<Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-harmonic forms and stable hypersurfaces in space forms

We prove that a complete noncompact orientable stable minimal hypersurface in \mathbbSⁿ⁺¹{\mathbb{S}^{n+1}} (n ≤ 4) admits no nontrivial L ²-harmonic forms. We also obtain that a complete noncompact strongly stable hypersurface with constant mean curvature in \mathbbRⁿ⁺¹{\mathbb{R}^{n+1}} or \mathbbSⁿ⁺¹{\mathbb{S}^{n+1}} (n ≤ 4) admits no nontrivial L ²-harmonic forms. These results are generalized versions of Tanno’s result on stable minimal hypersurfaces in \mathbbRⁿ⁺¹{\mathbb{R}^{n+1}}.     

A note on semigroups, groups and geometric lattices

Let G be a closed, additive semigroup in a Hausdorff topological vector space. Then G is a group if and only if it satisfies natural convexity conditions of algebraic or geometric-topological type. This yields a characterization of the geometric lattices among the discrete, additive semigroups of Euclidean d-space \mathbbE^d{\mathbb{E}^{d}} and, more generally, of direct sums of subspaces and lattices in \mathbbE^d{\mathbb{E}^{d}}.     

Composition Followed by Differentiation Between H ∞ and Zygmund Spaces

Let j{\varphi} be an analytic self-map of the unit disk \mathbbD{\mathbb{D}}, H(\mathbbD){H(\mathbb{D})} the space of analytic functions on \mathbbD{\mathbb{D}} and g ? H(\mathbbD){g \in H(\mathbb{D})}. The boundedness and compactness of the operator DC_j : H^￥ ? Z{DC_\varphi : H^\infty \rightarrow { \mathcal Z}} are investigated in this paper.     

Some low-density parity-check codes derived from finite geometries

We look at low-density parity-check codes over a finite field \mathbbK{\mathbb{K}} associated with finite geometries T₂^*(K){T_2^*(\mathcal{K})}, where K{\mathcal{K}} is a sufficiently large k-arc in PG(2, q), with q = p ^h . The code words of minimum weight are known. With exception of some choices of the characteristic of \mathbbK{\mathbb{K}} we compute the dimension of the code and show that the code is generated completely by its code words of minimum weight.     

Biharmonic submanifolds of {\mathbb{C}P^n}

We give some general results on proper-biharmonic submanifolds of a complex space form and, in particular, of the complex projective space. These results are mainly concerned with submanifolds with constant mean curvature or parallel mean curvature vector field. We find the relation between the bitension field of the inclusion of a submanifold [`(M)]{\bar{M}} in \mathbbCPⁿ{\mathbb{C}P^n} and the bitension field of the inclusion of the corresponding Hopf-tube in \mathbbS²ⁿ⁺¹{\mathbb{S}^{2n+1}}. Using this relation we produce new families of proper-biharmonic submanifolds of \mathbbCPⁿ{\mathbb{C}P^n}. We study the geometry of biharmonic curves of \mathbbCPⁿ{\mathbb{C}P^n} and we characterize the proper-biharmonic curves in terms of their curvatures and complex torsions.     

On the rationality of the moduli space of Lüroth quartics

We prove that the moduli space \mathfrakM_L{\mathfrak{M}_L} of Lüroth quartics in \mathbbP²{\mathbb{P}^2}, i.e. the space of quartics which can be circumscribed around a complete pentagon of lines modulo the action of PGL₃ (\mathbbC){\mathrm{PGL}_3 (\mathbb{C})} is rational, as is the related moduli space of Bateman seven-tuples of points in \mathbbP²{\mathbb{P}^2}.     

Modular Lie algebras and the Gelfand–Kirillov conjecture

Let ${\mathfrak{g}}Let \mathfrakg{\mathfrak{g}} be a finite dimensional simple Lie algebra over an algebraically closed field \mathbbK\mathbb{K} of characteristic 0. Let \mathfrakg_\mathbbZ{\mathfrak{g}}_{{\mathbb{Z}}} be a Chevalley ℤ-form of \mathfrakg{\mathfrak{g}} and \mathfrakg_\Bbbk=\mathfrakg_\mathbbZ?_\mathbbZ\Bbbk{\mathfrak{g}}_{\Bbbk}={\mathfrak{g}}_{{\mathbb{Z}}}\otimes _{{\mathbb{Z}}}\Bbbk, where \Bbbk\Bbbk is the algebraic closure of  \mathbbF_p{\mathbb{F}}_{p}. Let G_\BbbkG_{\Bbbk} be a simple, simply connected algebraic \Bbbk\Bbbk-group with \operatornameLie(G_\Bbbk)=\mathfrakg_\Bbbk\operatorname{Lie}(G_{\Bbbk})={\mathfrak{g}}_{\Bbbk}. In this paper, we apply recent results of Rudolf Tange on the fraction field of the centre of the universal enveloping algebra U(\mathfrakg_\Bbbk)U({\mathfrak{g}}_{\Bbbk}) to show that if the Gelfand–Kirillov conjecture (from 1966) holds for \mathfrakg{\mathfrak{g}}, then for all p≫0 the field of rational functions \Bbbk (\mathfrakg_\Bbbk)\Bbbk ({\mathfrak{g}}_{\Bbbk}) is purely transcendental over its subfield \Bbbk(\mathfrakg_\Bbbk)^G_\Bbbk\Bbbk({\mathfrak{g}}_{\Bbbk})^{G_{\Bbbk}}. Very recently, it was proved by Colliot-Thélène, Kunyavskiĭ, Popov, and Reichstein that the field of rational functions \mathbbK(\mathfrakg){\mathbb{K}}({\mathfrak{g}}) is not purely transcendental over its subfield \mathbbK(\mathfrakg)^\mathfrakg{\mathbb{K}}({\mathfrak{g}})^{\mathfrak{g}} if \mathfrakg{\mathfrak{g}} is of type B _n , n≥3, D _n , n≥4, E₆, E₇, E₈ or F₄. We prove a modular version of this result (valid for p≫0) and use it to show that, in characteristic 0, the Gelfand–Kirillov conjecture fails for the simple Lie algebras of the above types. In other words, if \mathfrakg{\mathfrak{g}} is of type B _n , n≥3, D _n , n≥4, E₆, E₇, E₈ or F₄, then the Lie field of \mathfrakg{\mathfrak{g}} is more complicated than expected.     

Metrizability of the space of {\mathbb{R}} -places of a real function field

For n = 1, the space of ${\mathbb{R}}For n = 1, the space of \mathbbR{\mathbb{R}} -places of the rational function field \mathbbR(x₁,?, x_n){\mathbb{R}(x_1,\ldots, x_n)} is homeomorphic to the real projective line. For n ≥ 2, the structure is much more complicated. We prove that the space of \mathbbR{\mathbb{R}} -places of the rational function field \mathbbR(x, y){\mathbb{R}(x, y)} is not metrizable. We explain how the proof generalizes to show that the space of \mathbbR{\mathbb{R}} -places of any finitely generated formally real field extension of \mathbbR{\mathbb{R}} of transcendence degree ≥ 2 is not metrizable. We also consider the more general question of when the space of \mathbbR{\mathbb{R}} -places of a finitely generated formally real field extension of a real closed field is metrizable.     

A generalisation of the Hopf construction and harmonic morphisms into {\mathbb {S}^2}

In this paper, we construct a new family of harmonic morphisms ${\varphi:V^5\to\mathbb{S}^2}In this paper, we construct a new family of harmonic morphisms j:V⁵?\mathbbS²{\varphi:V^5\to\mathbb{S}^2}, where V ⁵ is a 5-dimensional open manifold contained in an ellipsoidal hypersurface of \mathbbC⁴ = \mathbbR⁸{\mathbb{C}^4\,=\,\mathbb{R}^8}. These harmonic morphisms admit a continuous extension to the completion V^*5{{V^{\ast}}^5}, which turns out to be an explicit real algebraic variety. We work in the context of a generalization of the Hopf construction and equivariant theory.     

Minimal Cubic Cones via Clifford Algebras

In this paper, we construct two infinite families of algebraic minimal cones in ^n{\mathbb{R}^{n}}. The first family consists of minimal cubics given explicitly in terms of the Clifford systems. We show that the classes of congruent minimal cubics are in one to one correspondence with those of geometrically equivalent Clifford systems. As a byproduct, we prove that for any n ≥ 4, n ≠ 16k + 1, there is at least one minimal cone in \mathbbRⁿ{\mathbb{R}^{n}} given by an irreducible homogeneous cubic polynomial. The second family consists of minimal cones in \mathbbR^m2{\mathbb{R}^{m^2}}, m ≥ 2, defined by an irreducible homogeneous polynomial of degree m. These examples provide particular answers to the questions on algebraic minimal cones in \mathbbRⁿ{\mathbb{R}^{n}} posed by Wu-Yi Hsiang in the 1960s.     

A trade-off between collision probability and key size in universal hashing using polynomials

Let \mathbbF{\mathbb{F}} be a finite field and suppose that a single element of \mathbbF{\mathbb{F}} is used as an authenticator (or tag). Further, suppose that any message consists of at most L elements of \mathbbF{\mathbb{F}}. For this setting, usual polynomial based universal hashing achieves a collision bound of (L-1)/|\mathbbF|{(L-1)/|\mathbb{F}|} using a single element of \mathbbF{\mathbb{F}} as the key. The well-known multi-linear hashing achieves a collision bound of 1/|\mathbbF|{1/|\mathbb{F}|} using L elements of \mathbbF{\mathbb{F}} as the key. In this work, we present a new universal hash function which achieves a collision bound of mélog_m Lù/|\mathbbF|, m 3 2{m\lceil\log_m L\rceil/|\mathbb{F}|, m\geq 2}, using 1+élog_m Lù{1+\lceil\log_m L\rceil} elements of \mathbbF{\mathbb{F}} as the key. This provides a new trade-off between key size and collision probability for universal hash functions.     

Solutions to Polynomial Generalized Bers–Vekua Equations in Clifford Analysis

In this paper, we mainly study polynomial generalized Vekua-type equation _boxclose)w=0{p(\mathcal{D})w=0} and polynomial generalized Bers–Vekua equation p(D)w=0{p(\mathcal{\underline{D}})w=0} defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}} where D{\mathcal{D}} and D{\mathcal{\underline{D}}} mean generalized Vekua-type operator and generalized Bers–Vekua operator, respectively. Using Clifford algebra, we obtain the Fischer-type decomposition theorems for the solutions to these equations including (D-l)^kw=0,(D-l)^kw=0(k ? \mathbbN){\left(\mathcal{D}-\lambda\right)^{k}w=0,\left(\mathcal {\underline{D}}-\lambda\right)^{k}w=0\left(k\in\mathbb{N}\right)} with complex parameter λ as special cases, which derive the Almansi-type decomposition theorems for iterated generalized Bers–Vekua equation and polynomial generalized Cauchy–Riemann equation defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}}. Making use of the decomposition theorems we give the solutions to polynomial generalized Bers–Vekua equation defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}} under some conditions. Furthermore we discuss inhomogeneous polynomial generalized Bers–Vekua equation p(D)w=v{p(\mathcal{\underline{D}})w=v} defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}}, and develop the structure of the solutions to inhomogeneous polynomial generalized Bers–Vekua equation p(D)w=v{p(\mathcal{\underline{D}})w=v} defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}}.     

Hypersurfaces in the Lorentz-Minkowski space satisfying Lkψ?=?Aψ?+?b

We study hypersurfaces in the Lorentz-Minkowski space \mathbbLⁿ⁺¹{\mathbb{L}^{n+1}} whose position vector ψ satisfies the condition L _k ψ = Aψ + b, where L _k is the linearized operator of the (k + 1)th mean curvature of the hypersurface for a fixed k = 0, . . . , n − 1, A ? \mathbbR^(n+1)×(n+1){A\in\mathbb{R}^{(n+1)\times(n+1)}} is a constant matrix and b ? \mathbbLⁿ⁺¹{b\in\mathbb{L}^{n+1}} is a constant vector. For every k, we prove that the only hypersurfaces satisfying that condition are hypersurfaces with zero (k + 1)th mean curvature, open pieces of totally umbilical hypersurfaces \mathbbSⁿ₁(r){\mathbb{S}^n_1(r)} or \mathbbHⁿ(-r){\mathbb{H}^n(-r)}, and open pieces of generalized cylinders \mathbbS^m₁(r)×\mathbbR^n-m{\mathbb{S}^m_1(r)\times\mathbb{R}^{n-m}}, \mathbbH^m(-r)×\mathbbR^n-m{\mathbb{H}^m(-r)\times\mathbb{R}^{n-m}}, with k + 1 ≤ m ≤ n − 1, or \mathbbL^m×\mathbbS^n-m(r){\mathbb{L}^m\times\mathbb{S}^{n-m}(r)}, with k + 1 ≤ n − m ≤ n − 1. This completely extends to the Lorentz-Minkowski space a previous classification for hypersurfaces in \mathbbRⁿ⁺¹{\mathbb{R}^{n+1}} given by Alías and Gürbüz (Geom. Dedicata 121:113–127, 2006).     

Local–global divisibility by 4 in elliptic curves defined over {\mathbb{Q}}

Let ${\mathcal{E}}Let E{\mathcal{E}} be an elliptic curve defined over \mathbbQ{\mathbb{Q}} . Let P ? E(\mathbb Q){P\in {\mathcal{E}}(\mathbb {Q})} and let q be a positive integer. Assume that for almost all valuations v ? \mathbbQ{v\in \mathbb{Q}} , there exist points D_v ? E(\mathbb Q_v){D_v\in {\mathcal{E}}(\mathbb {Q}_v)} such that P = qD _v . Is it possible to conclude that there exists a point D ? E(\mathbb Q){D\in {\mathcal{E}}(\mathbb {Q})} such that P = qD? A full answer to this question is known when q is a power of almost all primes p ? \mathbbN{p\in \mathbb{N}} , but some cases remain open when p ? S={2,3,5,7,11,13,17,19,37,43,67,163}{p\in S=\{2,3,5,7,11,13,17,19,37,43,67,163\}} . We now give a complete answer in the case when q = 4.     

First steps in tropical intersection theory

We establish first parts of a tropical intersection theory. Namely, we define cycles, Cartier divisors and intersection products between these two (without passing to rational equivalence) and discuss push-forward and pull-back. We do this first for fans in \mathbbRⁿ{\mathbb{R}^{n}} and then for “abstract” cycles that are fans locally. With regard to applications in enumerative geometry, we finally have a look at rational equivalence and intersection products of cycles and cycle classes in \mathbbRⁿ{\mathbb{R}^{n}} .