On functions whose graph is a Hamel basis

We say that a function is a Hamel function ( ) if , considered as a subset of , is a Hamel basis for . We prove that every function from into can be represented as a pointwise sum of two Hamel functions. The latter is equivalent to the statement: for all there is a such that . We show that this fails for infinitely many functions.

     

Applications of a theorem of H. Cramér to the Selberg class

We prove two results on the nature of the Dirichlet coefficients of the -functions in the extended Selberg class . The first result asserts that if for some entire function of order 1 and finite type, then is constant. The second result states, roughly, that if are still the coefficients of some -function from , then with and . The proofs are based on an old result by Cramér and on the characterization of the functions of degree 1 of .

     

Cube-approximating bounded wavelet sets in

We prove that for any real expansive matrix , there exists a bounded -dilation wavelet set in the frequency domain (the inverse Fourier transform of whose characteristic function is a band-limited single wavelet in the time domain ). Moreover these wavelet sets can approximate a cube in arbitrarily. This result improves Dai, Larson and Speegle's result about the existence of (basically unbounded) wavelet sets for real expansive matrices.

     

Uniqueness of exceptional singular quartics

We prove that given a general collection of 14 points of ( an infinite field) there is a unique quartic hypersurface that is singular on .

This completes the solution to the open problem of the dimension of a linear system of hypersurfaces of that are singular on a collection of general points.

     

A Liouville-type theorem on halfspaces for the Kohn Laplacian

Let be the Kohn Laplacian on the Heisenberg group and let be a halfspace of whose boundary is parallel to the center of . In this paper we prove that if is a non-negative -superharmonic function such that

then in .

     

On a theorem of R. Steinberg on rings of coinvariants

Let be a representation of a finite group over the field . Denote by the algebra of polynomial functions on the vector space . The group acts on and hence also on . The algebra of coinvariants is , where is the ideal generated by all the homogeneous -invariant forms of strictly positive degree. If the field has characteristic zero, then R. Steinberg has shown (this is the formulation of R. Kane) that is a Poincaré duality algebra if and only if is a pseudoreflection group. In this note we explore the situation for fields of nonzero characteristic. We prove an analogue of Steinberg's theorem for the case and give a counterexample in the modular case when .

     

A hypersurface in -jets

We give an example of a hypersurface in through whose stability group at is determined by -jets, but not by jets of any lesser order. We also examine some of the properties which the stability group of this infinite type hypersurface shares with the -sphere in .

     

Sobolev spaces and the Cayley transform

The generalised Cayley transform  from an Iwasawa -group into the corresponding real unit sphere  induces isomorphisms between suitable Sobolev spaces and . We study the differential of  , and we obtain a criterion for a function to be in  .

     

On polynomial products in nilpotent and solvable Lie groups

We are dealing with Lie groups which are diffeomorphic to , for some . After identifying with , the multiplication on can be seen as a map . We show that if is a polynomial map in one of the two (sets of) variables or , then is solvable. Moreover, if one knows that is polynomial in one of the variables, the group is nilpotent if and only if is polynomial in both its variables.

     

Sur une question de capitulation

Let and be prime numbers such that and . Let , , and let be the 2-Hilbert class field of , the 2-Hilbert class field of and the Galois group of . The 2-part of the class group of is of type , so contains three extensions . Our goal is to study the problem of capitulation of the 2-classes of in , and to determine the structure of .

RSESUM´E. Soient et deux nombres premiers tels que et , , , , le 2-corps de classes de Hilbert de , le 2-corps de classes de Hilbert de et le groupe de Galois de . La 2-partie du groupe de classes de est de type , par suite contient trois extensions . On s'intéresse au problème de capitulation des 2-classes de dans , et à déterminer la structure de .

     

Toeplitz -algebras on ordered groups and their ideals of finite elements

Let be a discrete abelian group and an ordered group. Denote by the minimal quasily ordered group containing . In this paper, we show that the ideal of finite elements is exactly the kernel of the natural morphism between these two Toeplitz -algebras. When is countable, we show that if the direct sum of -groups , then .

     

Games and general distributive laws in Boolean algebras

The games and are played by two players in -complete and max -complete Boolean algebras, respectively. For cardinals such that or , the -distributive law holds in a Boolean algebra iff Player 1 does not have a winning strategy in . Furthermore, for all cardinals , the -distributive law holds in iff Player 1 does not have a winning strategy in . More generally, for cardinals such that , the -distributive law holds in iff Player 1 does not have a winning strategy in . For regular and , implies the existence of a Suslin algebra in which is undetermined.

     

Constraints for the normality of monomial subrings and birationality

Let be a field and let be a finite set of monomials whose exponents lie on a positive hyperplane. We give necessary conditions for the normality of both the Rees algebra and the subring . If the monomials in have the same degree, one of the consequences is a criterion for the -rational map defined by to be birational onto its image.

     

Varieties with a reducible hyperplane section whose two components are hypersurfaces

We classify smooth complex projective varieties of dimension admitting a divisor of the form among their hyperplane sections, both and of codimension in their respective linear spans. In this setting, one of the following holds: 1) is either the Veronese surface in or its general projection to , 2) and is contained in a quadric cone of rank or , 3) and .

     

On contractible

We present a very short proof of a well-known result, that for each there exists a contractible -dimensional compactum, non-embeddable into .

     

The -invariant and Gorensteinness of graded rings associated to filtrations of ideals in regular local rings

Let be a regular local ring and let be a filtration of ideals in such that is a Noetherian ring with . Let and let be the -invariant of . Then the theorem says that is a principal ideal and for all if and only if is a Gorenstein ring and . Hence , if is a Gorenstein ring, but the ideal is not principal.

     

Maximality theorems for Fréchet algebras

The algebra of unbounded holomorphic functions that is contained in the algebra is studied. For in but not in , we show that the algebra generated by and is dense in for all .

     

Segal-Bargmann transforms of one-mode interacting Fock spaces associated with Gaussian and Poisson measures

Let and denote the Gaussian and Poisson measures on , respectively. We show that there exists a unique measure on such that under the Segal-Bargmann transform the space is isomorphic to the space of analytic -functions on with respect to . We also introduce the Segal-Bargmann transform for the Poisson measure and prove the corresponding result. As a consequence, when and have the same variance, and are isomorphic to the same space under the - and -transforms, respectively. However, we show that the multiplication operators by on and on act quite differently on .

     

Homogeneous polynomials on strictly convex domains

We consider a circular, bounded, strictly convex domain with boundary of class . For any compact subset of we construct a sequence of homogeneous polynomials on which are big at each point of . As an application for any circular subset of type we construct a holomorphic function which is square integrable on and such that where denotes unit disc in .

     

Extremal metrics for the first eigenvalue of the Laplacian in a conformal class

Let be a compact manifold. First, we give necessary and sufficient conditions for a Riemannian metric on to be extremal for with respect to conformal deformations of fixed volume. In particular, these conditions show that for any lattice of , the flat metric induced on from the standard metric of is extremal (in the previous sense). In the second part, we give, for any , an upper bound of on the conformal class of and exhibit a class of lattices for which the metric maximizes on its conformal class.