On the degree of Hilbert polynomials associated to the torsion functor

Let be a local, Noetherian ring and an ideal. A question of Kodiyalam asks whether for fixed , the polynomial giving the th Betti number of has degree equal to the analytic spread of minus one. Under mild conditions on , we show that the answer is positive in a number of cases, including when is divisible by or is an integrally closed -primary ideal.

     

Hilbert-Samuel functions of modules over Cohen-Macaulay rings

For a finitely generated, non-free module over a CM local ring , it is proved that for the length of is given by a polynomial of degree . The vanishing of is studied, with a view towards answering the question: If there exists a finitely generated -module with such that the projective dimension or the injective dimension of is finite, then is regular? Upper bounds are provided for beyond which the question has an affirmative answer.

     

The universal central extension of the three-point loop algebra

We consider the three-point loop algebra,

where denotes a field of characteristic 0 and is an indeterminate. The universal central extension of was determined by Bremner. In this note, we give a presentation for via generators and relations, which highlights a certain symmetry over the alternating group . To obtain our presentation of , we use the realization of as the tetrahedron Lie algebra.

     

Lightface -indescribable cardinals

-absoluteness for forcing means that for any forcing , . `` inaccessible to reals' means that for any real , . To measure the exact consistency strength of `` -absoluteness for forcing and is inaccessible to reals', we introduce a weak version of a weakly compact cardinal, namely, a (lightface) -indescribable cardinal; has this property exactly if it is inaccessible and .

     

Minimal rank and reflexivity of operator spaces

Let be an -dimensional space of linear operators between the linear spaces and over an algebraically closed field . Improving results of Larson, Ding, and Li and Pan we show the following.

Theorem. Let be a basis of . Assume that every nonzero operator in has rank larger than . Then a linear operator belongs to if and only if for every , is a linear combination of .

     

Algebraic reflexivity of linear transformations

Let be the set of all linear transformations from to , where and are vector spaces over a field . We show that every -dimensional subspace of is algebraically -reflexive, where denotes the largest integer not exceeding , provided is less than the cardinality of .

     

Existence of unliftable modules

Let be a commutative Noetherian local ring, and let where is a non-zerodivisor of contained in . Then a finitely generated -module is said to lift to if there exists a finitely generated -module such that is -regular and . In this paper we give a general construction of finitely generated -modules of finite projective dimension over which fail to lift to provided and the depth of is at least 2.

     

Factorization formulae on counting zeros of diagonal equations over finite fields

Let be the number of solutions of the equation over the finite field , and let be the number of solutions of the equation . If , let be the least integer represented by . and play important roles in estimating . Based on a partition of , we obtain the factorizations of and , respectively. All these factorizations can simplify the corresponding calculations in most cases or give the explicit formulae for in some special cases.

     

Extensions of orthosymmetric lattice bimorphisms

Let be an Archimedean vector lattice, let be its Dedekind completion and let be a Dedekind complete vector lattice. If is an orthosymmetric lattice bimorphism, then there exists a lattice bimorphism that not just extends but also has to be orthosymmetric. As an application, we prove the following: Let be an Archimedean -algebra. Then the multiplication in can be extended to a multiplication in , the Dedekind completion of , in such a fashion that is again a -algebra with respect to this extended multiplication. This gives a positive answer to the problem posed by C. B. Huijsmans in 1990.

     

Arens-Michael enveloping algebras and analytic smash products

Let be a finite-dimensional complex Lie algebra, and let be its universal enveloping algebra. We prove that if , the Arens-Michael envelope of is stably flat over (i.e., if the canonical homomorphism is a localization in the sense of Taylor (1972), then is solvable. To this end, given a cocommutative Hopf algebra and an -module algebra , we explicitly describe the Arens-Michael envelope of the smash product as an ``analytic smash product' of their completions w.r.t. certain families of seminorms.

     

Associated primes of local cohomology modules

Let be an ideal of a commutative Noetherian ring and a finitely generated -module. Let be a natural integer. It is shown that there is a finite subset of , such that is contained in union with the union of the sets , where and . As an immediate consequence, we deduce that the first non- -cofinite local cohomology module of with respect to has only finitely many associated prime ideals.

     

(APD)-property of -algebras by extensions of -algebras with (APD)

A unital -algebra is said to have the (APD)-property if every nonzero element in has the approximate polar decomposition. Let be a closed ideal of . Suppose that and have (APD). In this paper, we give a necessary and sufficient condition that makes have (APD). Furthermore, we show that if and or is a simple purely infinite -algebra, then has (APD).

     

The degree of the bicanonical map of a surface with

In this note it is shown that, given a smooth minimal complex surface of general type with , , for which the bicanonical map is a morphism, the degree of is not 3. This completes our earlier results, showing that if is a minimal surface of general type with , such that is free, then the bicanonical map of can have degree 1, 2 or 4.

     

Hilbert-Samuel coefficients and postulation numbers of graded components of certain local cohomology modules

Let be a Noetherian homogeneous ring with one-dimensional local base ring . Let be an -primary ideal, let be a finitely generated graded -module and let . Let denote the -th local cohomology module of with respect to the irrelevant ideal 0} R_n$"> of . We show that the first Hilbert-Samuel coefficient of the -th graded component of with respect to is antipolynomial of degree in . In addition, we prove that the postulation numbers of the components with respect to have a common upper bound.

     

Holes in the spectrum of functions generating affine systems

Given a expansive dilation matrix , a measurable set is called a -dilation generator of if is tiled (modulo null sets) by the collection . Our main goal in this paper is to prove certain results relating the support of the Fourier transform of functions generating a wavelet or orthonormal affine system associated with the dilation to an arbitrary set which is a -dilation generator of .

     

Character degree graphs that are complete graphs

Let be a finite group, and write for the set of degrees of irreducible characters of . We define to be the graph whose vertex set is , and there is an edge between and if . We prove that if is a complete graph, then is a solvable group.

     

Two characterizations of pure injective modules

Let be a commutative ring with identity and an -module. It is shown that if is pure injective, then is isomorphic to a direct summand of the direct product of a family of finitely embedded modules. As a result, it follows that if is Noetherian, then is pure injective if and only if is isomorphic to a direct summand of the direct product of a family of Artinian modules. Moreover, it is proved that is pure injective if and only if there is a family of -algebras which are finitely presented as -modules, such that is isomorphic to a direct summand of a module of the form , where for each , is an injective -module.

     

Hilbert modules over a class of semicrossed products

Given the disk algebra and an automorphism , there is associated a non-self-adjoint operator algebra called the semicrossed product of with . Buske and Peters showed that there is a one-to-one correspondence between the contractive Hilbert modules over and pairs of contractions and on satisfying . In this paper, we show that the orthogonally projective and Shilov Hilbert modules over correspond to pairs of isometries on satisfying . The problem of commutant lifting for is left open, but some related results are presented.     

Free summands of conormal modules and central elements in homotopy Lie algebras of local rings

If is a surjective local homomorphism with kernel , such that and the conormal module has a free summand of rank , then the degree central subspace of the homotopy Lie algebra of has dimension greater than or equal to . This is a corollary of the Main Theorem of this note. The techniques involved provide new proofs of some well known results concerning the conormal module.

     

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 .