A Hodge decomposition interpretation for the coefficients of the chromatic polynomial

Let be a simple graph with nodes. The coloring complex of , as defined by Steingrimsson, has -faces consisting of all ordered set partitions, in which at least one contains an edge of . Jonsson proved that the homology of the coloring complex is concentrated in the top degree. In addition, Jonsson showed that the dimension of the top homology is one less than the number of acyclic orientations of .

In this paper, we show that the Eulerian idempotents give a decomposition of the top homology of into components . We go on to prove that the dimensions of the Hodge pieces of the homology are equal to the absolute values of the coefficients of the chromatic polynomial of . Specifically, if we write , then .

     

On the divergence of the Rogers-Ramanujan continued fraction on the unit circle

This paper studies ordinary and general convergence of the Rogers-Ramanujan continued fraction.

Let the continued fraction expansion of any irrational number be denoted by and let the -th convergent of this continued fraction expansion be denoted by . Let

where . Let . It is shown that if , then the Rogers-Ramanujan continued fraction diverges at . is an uncountable set of measure zero. It is also shown that there is an uncountable set of points such that if , then does not converge generally.

It is further shown that does not converge generally for 1$">. However we show that does converge generally if is a primitive -th root of unity, for some . Combining this result with a theorem of I. Schur then gives that the continued fraction converges generally at all roots of unity.

     

On the polynomial representation for the number of partitions with fixed length

In this paper, it is shown that the number of partitions of a nonnegative integer with parts can be described by a set of polynomials of degree in , where denotes the least common multiple of the integers and denotes the quotient of when divided by . In addition, the sets of the polynomials are obtained and shown explicitly for and .

     

On the comparison of the spaces

The notion of -variation and the space arise in the study of regularity properties of solutions to perturbed conservation laws. In this article we show that this notion is equivalent to variation in the regular sense, and therefore the space is the same as the space in the sense of Cesari-Tonelli. We also point out some connection between the space and the Favard classes for translation semigroups.

     

Lattice invariants and the center of the generic division ring

Let be a finite group, let be a -lattice, and let be a field of characteristic zero containing primitive roots of 1. Let be the quotient field of the group algebra of the abelian group . It is well known that if is quasi-permutation and -faithful, then is stably equivalent to . Let be the center of the division ring of generic matrices over . Let be the symmetric group on symbols. Let be a prime. We show that there exist a split group extension of by a -elementary group, a -faithful quasi-permutation -lattice , and a one-cocycle in such that is stably isomorphic to . This represents a reduction of the problem since we have a quasi-permutation action; however, the twist introduces a new level of complexity. The second result, which is a consequence of the first, is that, if is algebraically closed, there is a group extension of by an abelian -group such that is stably equivalent to the invariants of the Noether setting .

     

About the sharpness of the stability estimates in the Kreiss matrix theorem

One of the conditions in the Kreiss matrix theorem involves the resolvent of the matrices under consideration. This so-called resolvent condition is known to imply, for all , the upper bounds and . Here is the spectral norm, is the constant occurring in the resolvent condition, and the order of is equal to .

It is a long-standing problem whether these upper bounds can be sharpened, for all fixed 1$">, to bounds in which the right-hand members grow much slower than linearly with and with , respectively. In this paper it is shown that such a sharpening is impossible. The following result is proved: for each 0$">, there are fixed values 0, K>1$"> and a sequence of matrices , satisfying the resolvent condition, such that for .

The result proved in this paper is also relevant to matrices whose -pseudospectra lie at a distance not exceeding from the unit disk for all 0$">.

     

On the isolated points of the surjective spectrum of a bounded operator

For a bounded operator acting on a complex Banach space, we show that if is not surjective, then is an isolated point of the surjective spectrum of if and only if , where is the quasinilpotent part of and is the analytic core for . Moreover, we study the operators for which . We show that for each of these operators , there exists a finite set consisting of Riesz points for such that and is connected, and derive some consequences.

     

The Lipschitz continuity of the distance function to the cut locus

Let be a closed submanifold of a complete smooth Riemannian manifold and the total space of the unit normal bundle of . For each , let denote the distance from to the cut point of on the geodesic with the velocity vector The continuity of the function on is well known. In this paper we prove that is locally Lipschitz on which is bounded; in particular, if and are compact, then is globally Lipschitz on . Therefore, the canonical interior metric may be introduced on each connected component of the cut locus of and this metric space becomes a locally compact and complete length space.

     

A note concerning the index of the shift

Let be a finite, positive Borel measure with support in such that - the closure of the polynomials in - is irreducible and each point in is a bounded point evaluation for . We show that if 0$">and there is a nontrivial subarc of such that

-\infty,\end{displaymath}">

then for each nontrivial closed invariant subspace for the shift on .

     

On the characteristic polynomial of the almost Mathieu operator

Let be the rotation C*-algebra for angle . For with and relatively prime, is the sub-C*-algebra of generated by a pair of unitaries and satisfying . Let

be the almost Mathieu operator. By proving an identity of rational functions we show that for even, the constant term in the characteristic polynomial of is .

     

Tilting theory and the finitistic dimension conjectures

Let be a right noetherian ring and let be the class of all finitely presented modules of finite projective dimension. We prove that findim iff there is an (infinitely generated) tilting module such that pd and . If is an artin algebra, then can be taken to be finitely generated iff is contravariantly finite. We also obtain a sufficient condition for validity of the First Finitistic Dimension Conjecture that extends the well-known result of Huisgen-Zimmermann and Smalø.

     

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.

     

On the number of -equivalent non-isomorphic models

We prove that if is consistent then is consistent with the following statement: There is for every a model of cardinality which is -equivalent to exactly non-isomorphic models of cardinality . In order to get this result we introduce ladder systems and colourings different from the ``standard' counterparts, and prove the following purely combinatorial result: For each prime number and positive integer it is consistent with that there is a ``good' ladder system having exactly pairwise nonequivalent colourings.

     

On the compactness of the product of Hankel operators on the sphere

Consider Hankel operators and on the unit sphere in . If , then a necessary condition for to be compact is . We show that when , this condition is no longer necessary for to be compact.

     

On the density of the set of generators of a polynomial algebra

Let be the polynomial algebra over a field of characteristic . We call a polynomial coordinate (or a generator) if for some polynomials . In this note, we give a simple proof of the following interesting fact: for any polynomial of the form where is a polynomial without constant and linear terms, and for any integer , there is a coordinate polynomial such that the polynomial has no monomials of degree . A similar result is valid for coordinate -tuples of polynomials, for any . This contrasts sharply with the situation in other algebraic systems.

On the other hand, we establish (in the two-variable case) a result related to a different kind of density. Namely, we show that given a non-coordinate two-variable polynomial, any sufficiently small perturbation of its non-zero coefficients gives another non-coordinate polynomial.

     

The cohomology of the Steenrod algebra and representations of the general linear groups

Let be the algebraic transfer that maps from the coinvariants of certain -representations to the cohomology of the Steenrod algebra. This transfer was defined by W. Singer as an algebraic version of the geometrical transfer . It has been shown that the algebraic transfer is highly nontrivial, more precisely, that is an isomorphism for and that is a homomorphism of algebras.

In this paper, we first recognize the phenomenon that if we start from any degree and apply repeatedly at most times, then we get into the region in which all the iterated squaring operations are isomorphisms on the coinvariants of the -representations. As a consequence, every finite -family in the coinvariants has at most nonzero elements. Two applications are exploited.

The first main theorem is that is not an isomorphism for . Furthermore, for every 5$">, there are infinitely many degrees in which is not an isomorphism. We also show that if detects a nonzero element in certain degrees of , then it is not a monomorphism and further, for each \ell$">, is not a monomorphism in infinitely many degrees.

The second main theorem is that the elements of any -family in the cohomology of the Steenrod algebra, except at most its first elements, are either all detected or all not detected by , for every . Applications of this study to the cases and show that does not detect the three families , and , and that does not detect the family .

     

On the inversion of the convolution and Laplace transform

We present a new inversion formula for the classical, finite, and asymptotic Laplace transform of continuous or generalized functions . The inversion is given as a limit of a sequence of finite linear combinations of exponential functions whose construction requires only the values of evaluated on a Müntz set of real numbers. The inversion sequence converges in the strongest possible sense. The limit is uniform if is continuous, it is in if , and converges in an appropriate norm or Fréchet topology for generalized functions . As a corollary we obtain a new constructive inversion procedure for the convolution transform ; i.e., for given and we construct a sequence of continuous functions such that .

     

On the completeness of factor rings

Let be a complete local domain containing the integers with maximal ideal such that is at least the cardinality of the real numbers. Let be a nonmaximal prime ideal of such that is a regular local ring. We construct an excellent local ring such that the completion of is , the generic formal fiber of is local with maximal ideal and if is a nonzero ideal of , then is complete.

     

Maximal theorems for the directional Hilbert transform on the plane

For a Schwartz function on the plane and a non-zero define the Hilbert transform of in the direction to be

p.v.

Let be a Schwartz function with frequency support in the annulus , and . We prove that the maximal operator maps into weak , and into for . The estimate is sharp. The method of proof is based upon techniques related to the pointwise convergence of Fourier series. Indeed, our main theorem implies this result on Fourier series.

     

A variant of the Reynolds operator

Let be a linearly reductive group over a field , and let be a -algebra with a rational action of . Given rational --modules and , we define for the induced -action on Hom a generalized Reynolds operator, which exists even if the action on Hom is not rational. Given an -module homomorphism , it produces, in a natural way, an -module homomorphism which is -equivariant. We use this generalized Reynolds operator to study properties of rational - modules. In particular, we prove that if is invariantly generated (i.e. ), then is a projective (resp. flat) -module provided that is a projective (resp. flat) -module. We also give a criterion whether an -projective (or -flat) rational --module is extended from an -module.