OPC Lattices and Congruence Heredity

We prove that if is a finite algebra which satisfies a nontrivial idempotent Mal’cev condition, and if Con contains a copy of an order polynomially complete lattice other than , , or Con, then Con is not hereditary. Received March 7, 2006; accepted in final form December 5, 2006.     

Boolean Functions with small Spectral Norm

Let be a boolean function, and suppose that the spectral norm of f is at most M. Then where and each H _j is a subgroup of . This result may be regarded as a quantitative analogue of the Cohen-Helson-Rudin structure theorem for idempotent measures in locally compact abelian groups. Received: May 2006 Accepted: January 2007     

A note on weak convergence in L^{1}_{\rm loc}({\mathbb{R}})

Let be a sequence of Borel measurable functions satisfying, for a function the inequalities

Stable Ranks of Banach Algebras of Operator-Valued Analytic Functions

Let E be a separable infinite-dimensional Hilbert space, and let denote the algebra of all functions that are holomorphic. If is a subalgebra of , then using an algebraic result of Corach and Larotonda, we derive that under some conditions, the Bass stable rank of is infinite. In particular, we deduce that the Bass (and hence topological stable ranks) of the Hardy algebra , the disk algebra and the Wiener algebra are all infinite. Submitted: October 10, 2007., Revised: January 11, 2008., Accepted: January 12, 2007.     

Surfaces in $${\mathbb{S}^2\times\mathbb{R}}$$ with a canonical principal direction

We show a way to choose nice coordinates on a surface in and use this to study minimal surfaces. We show that only open parts of cylinders over a geodesic in are both minimal and flat. We also show that the condition that the projection of the direction tangent to onto the tangent space of the surface is a principal direction, is equivalent to the condition that the surface is normally flat in . We present classification theorems under the extra assumption of minimality or flatness. J. Fastenakels is a research assistant of the Research Foundation—Flanders (FWO). J. Van der Veken is a postdoctoral researcher supported by the Research Foundation—Flanders (FWO). This work was partially supported by project G.0432.07 of the Research Foundation—Flanders (FWO).     

Group Algebras: Normal Subgroups and Ideals

The standard correspondence between the normal subgroups of the group G and some ideals of the group algebra FG is described. There is the problem of what we can say (or even prove) about a two-sided ideal of that does not contain any element of the form 1 − g ≠ 0, g ∈G of the standard basis of the augmentation ideal of . The main part of the argument of [2] yields the insight that, for such an ideal I there exists an expansion such that the ideal J of spanned by I contains an element 1 − h, h ∈ H \ G. Using the ideas of [2], we construct -thick groups H such that for every ideal J ≠ (0) of there are elements 1 − h ≠ 0 in J. This construction allows many variations. Examples of simple -thick groups were pointed out in [2]. A natural class of (in general non-simple) -full groups are the normal sections of the groups

Invariant Measures for Univalent Self-Maps of the Unit Disc

We develop a translation-type model for univalent self-maps φ of the unit disc having an interior fixed-point and use the model to classify the φ-invariant measures on . We are particularly interested in maps which can be embedded in continuous semigroups of holomorphic self-maps of . Received: February 2, 2007. Revised: June 18, 2007. Accepted: July 4, 2007.     

On meromorphic solutions of f 3 + g 3 = 1

We show that meromorphic solutions f, g of f ³ + g ³ = 1 in must be constant, if and have the same zeros (counting multiplicities). Received: 12 March 2007     

Determination of simple CM abelian surfaces defined over $${\mathbb{Q}}$$

It is known that in the moduli space of elliptic curves, there exist precisely nine -rational points represented by an elliptic curve with complex multiplication by the maximal order of an imaginary quadratic field. In Murabayashi and Umegaki (J Algebra 235:267–274, 2001) and Umegaki [Determination of all -rational CM-points in the moduli spaces of polarized abelian surfaces, Analytic number theory (Beijng/Kyoto, 1999). Dev. Math., vol 6. Kluwer, Dordrecht, pp 349–357, 2002] we determined all -rational points in (the moduli space of d-polarized abelian surfaces) represented by a d-polarized abelian surface whose endomorphism ring is isomorphic to the maximal order of a quartic CM-field by using the result in Murabayashi (J Reine Angew Math 470:1–26, 1996). In this paper, we prove that polarized abelian surfaces corresponding to these -rational CM points have a -rational model by constructing certain Hecke characters.     

Three-dimensional sets with small sumset

We describe the structure of three dimensional sets of lattice points, having a small doubling property. Let be a finite subset of ℤ³ such that dim = 3. If and , then lies on three parallel lines. Moreover, for every three dimensional finite set that lies on three parallel lines, if , then is contained in three arithmetic progressions with the same common difference, having together no more than terms. These best possible results confirm a recent conjecture of Freiman and cannot be sharpened by reducing the quantity υ or by increasing the upper bounds for .     

Codes defined by forms of degree 2 on non-degenerate Hermitian varieties in $${\mathbb{P}^{4}(\mathbb{F}_q)}$$

We study the functional codes of second order on a non-degenerate Hermitian variety as defined by G. Lachaud. We provide the best possible bounds for the number of points of quadratic sections of . We list the first five weights, describe the corresponding codewords and compute their number. The paper ends with two conjectures. The first is about minimum distance of the functional codes of order h on a non-singular Hermitian variety . The second is about distribution of the codewords of first five weights of the functional codes of second order on a non-singular Hermitian variety .      

Lagrangian minimal surfaces in Lorentzian complex plane

Flat Lagrangian minimal surfaces in the Lorentzian complex plane are classified by B. Y. Chen and L. Vrancken in [8]. On the other hand, Vrancken proves in [11] that Lagrangian minimal surfaces of constant curvature in are flat surfaces. In this article, we classify all Lagrangian minimal surfaces in which are free from flat points. Received: 16 December 2007     

Reconstruction and Subgaussian Operators in Asymptotic Geometric Analysis

We present a randomized method to approximate any vector from a set . The data one is given is the set T, vectors of and k scalar products , where are i.i.d. isotropic subgaussian random vectors in , and . We show that with high probability, any for which is close to the data vector will be a good approximation of , and that the degree of approximation is determined by a natural geometric parameter associated with the set T. We also investigate a random method to identify exactly any vector which has a relatively short support using linear subgaussian measurements as above. It turns out that our analysis, when applied to {−1, 1}-valued vectors with i.i.d. symmetric entries, yields new information on the geometry of faces of a random {−1, 1}-polytope; we show that a k- dimensional random {−1, 1}-polytope with n vertices is m-neighborly for The proofs are based on new estimates on the behavior of the empirical process when F is a subset of the L ₂ sphere. The estimates are given in terms of the γ ₂ functional with respect to the ψ ₂ metric on F, and hold both in exponential probability and in expectation. Received: November 2005, Revision: May 2006, Accepted: June 2006     

Rigidity of hyperstable complexes

A module J over a ring is said to be hyperstable when . Over a module M for which Ext we show that the projective n-stems for which is hyperstable constitute a single homotopy type. Received: 17 November 2006     

Aluthge Transforms of Complex Symmetric Operators

If denotes the polar decomposition of a bounded linear operator T, then the Aluthge transform of T is defined to be the operator . In this note we study the relationship between the Aluthge transform and the class of complex symmetric operators (T iscomplex symmetric if there exists a conjugate-linear, isometric involution so that T = CT*C). In this note we prove that: (1) the Aluthge transform of a complex symmetric operator is complex symmetric, (2) if T is complex symmetric, then and are unitarily equivalent, (3) if T is complex symmetric, then if and only if T is normal, (4) if and only if T ² = 0, and (5) every operator which satisfies T ² = 0 is necessarily complex symmetric. This work partially supported by National Science Foundation Grant DMS 0638789.     

Asymptotic behaviour for a nonlocal diffusion equation on a lattice

In this paper we study the asymptotic behaviour as t → ∞ of solutions to a nonlocal diffusion problem on a lattice, namely, with t ≥ 0 and . We assume that J is nonnegative and verifies . We find that solutions decay to zero as t → ∞ and prove an optimal decay rate using, as our main tool, the discrete Fourier transform.      

On an Essentially Algebraic Theory for Locally Presentable Categories

This paper presents a general construction, defining for each given strong generator in any locally finitely presentable category an essentially algebraic, finitary theory – maximal in a certain sense – such that is equivalent to the category of models of . For regular generators , generalization to the non-finitary case is easily done, and yields a new proof of the famous characterization of many-sorted quasivarieties.     

Syzygies of grids of projective lines

In this paper we study the syzygy modules of a grid or a fat grid of . We compute the minimal free resolution for the ideal of a complete grid in , and we conjecture this resolution in . Moreover we compute the minimal free resolution for the ideal of an incomplete grid of . We also conjecture the minimal free resolution for the ideal of a fat complete grid in .      

On the Number of Rational Points of Hypersurfaces over Finite Fields

We prove the existence of hypersurfaces defined over finite fields having a prescribed number of -rational points and a prescribed number of non-singular points. Moreover, some results on -rational intersections between plane curves, lines and conics, are given. Received: June 1, 2006. Revised: August 1, 2007.     

On H. Weyl and J. Steiner Polynomials

The paper deals with root location problems for two classes of univariate polynomials both of geometric origin. The first class discussed, the class of Steiner polynomial, consists of polynomials, each associated with a compact convex set . A polynomial of this class describes the volume of the set V + tB ⁿ as a function of t, where t is a positive number and B ⁿ denotes the unit ball in . The second class, the class of Weyl polynomials, consists of polynomials, each associated with a Riemannian manifold , where is isometrically embedded with positive codimension in . A Weyl polynomial describes the volume of a tubular neighborhood of its associated as a function of the tube’s radius. These polynomials are calculated explicitly in a number of natural examples such as balls, cubes, squeezed cylinders. Furthermore, we examine how the above mentioned polynomials are related to one another and how they depend on the standard embedding of into for m > n. We find that in some cases the real part of any Steiner polynomial root will be negative. In certain other cases, a Steiner polynomial will have only real negative roots. In all of this cases, it can be shown that all of a Weyl polynomial’s roots are simple and, furthermore, that they lie on the imaginary axis. At the same time, in certain cases the above pattern does not hold.

Erasmus Darwin, the nephew of the great scientist Charles Darwin, believed that sometimes one should perform the most unusual experiments. They usually yield no results but when they do . . . . So once he played trumpet in front of tulips for the whole day. The experiment yielded no results.

Submitted: March 5, 2007., Revised: February 1, 2008., Accepted: February 2, 2008.