Poincaré duality algebras and rings of coinvariants

Let be a faithful representation of a finite group over the field . Via the group acts on and hence on the algebra of homogenous polynomial functions on the vector space . R. Kane (1994) formulated the following result based on the work of R. Steinberg (1964): If the field has characteristic 0, then is a Poincaré duality algebra if and only if is a pseudoreflection group. The purpose of this note is to extend this result to the case (i.e. the order of is relatively prime to the characteristic of ).

     

Free modules of relative invariants and some rings of invariants that are Cohen-Macaulay

Let be a faithful representation of a finite group and a linear character. We study the module of -relative invariants. We prove a modular analogue of result of R. P. Stanley and V. Reiner in the case of nonmodular reflection groups to the effect that these modules are free on a single generator over the ring of invariants . This result is then applied to show that the ring of invariants for is Cohen-Macaulay. Since the Cohen-Macaulay property is not an issue in the nonmodular case (it is a consequence of a theorem of Eagon and Hochster), this would seem to be a new way to verify the Cohen-Macaulay property for modular rings of invariants. It is known that the Cohen-Macaulay property is inherited when passing from the ring of invariants of to that of a pointwise stabilizer of a subspace . In a similar vein, we introduce for a subspace the subgroup of elements of having as an eigenspace, and prove that Cohen-Macaulay implies is also.

     

Equivalence of domains arising from duality of orbits on flag manifolds II

S. Gindikin and the author defined a - invariant subset of for each -orbit on every flag manifold and conjectured that the connected component of the identity would be equal to the Akhiezer-Gindikin domain if is of nonholomorphic type. This conjecture was proved for closed in the works of J. A. Wolf, R. Zierau, G. Fels, A. Huckleberry and the author. It was also proved for open by the author. In this paper, we prove the conjecture for all the other orbits when is of non-Hermitian type.

     

Simultaneous non-vanishing of twists

Let be a newform of even weight , level and character and let be a newform of even weight , level and character . We give a generalization of a theorem of Elliott, regarding the average values of Dirichlet -functions, in the context of twisted modular -functions associated to and . Using this result, we find a lower bound in terms of for the number of primitive Dirichlet characters modulo prime whose twisted product -functions are non-vanishing at a fixed point with .

     

Almost simple groups of Suzuki type acting on polytopes

Let , with an odd power of two. For each almost simple group such that , we prove that is not a C-group and therefore is not the automorphism group of an abstract regular polytope. For , we show that there is always at least one abstract regular polytope such that . Moreover, if is an abstract regular polytope such that , then is a polyhedron.

     

Resolutions of ideals of fat points with support in a hyperplane

Let be a fat point subscheme of , and let be a linear form such that some power of vanishes on (i.e., the support of lies in the hyperplane defined by , regarded as ). Let , where is the subscheme of residual to ; note that is a fat points subscheme of . In this paper we give a graded free resolution of the ideal over , in terms of the graded minimal free resolutions of the ideals . We also give a criterion for when the resolution is minimal, and we show that this criterion always holds if .

     

An ascending HNN extension of a free group inside

We give an example of a subgroup of which is a strictly ascending HNN extension of a non-abelian finitely generated free group . In particular, we exhibit a free group in of rank which is conjugate to a proper subgroup of itself. This answers positively a question of Drutu and Sapir (2005). The main ingredient in our construction is a specific finite volume (non-compact) hyperbolic 3-manifold which is a surface bundle over the circle. In particular, most of comes from the fundamental group of a surface fiber. A key feature of is that there is an element of in with an eigenvalue which is the square root of a rational integer. We also use the Bass-Serre tree of a field with a discrete valuation to show that the group we construct is actually free.

     

Convex curves, Radon transforms and convolution operators defined by singular measures

Let be a convex curve in the plane and let be the arc-length measure of Let us rotate by an angle and let be the corresponding measure. Let . Then This is optimal for an arbitrary . Depending on the curvature of , this estimate can be improved by introducing mixed-norm estimates of the form where and are conjugate exponents.     

The sufficiency of arithmetic progressions for the Conjecture

Define by if is odd and if is even. The Conjecture states that the -orbit of every positive integer contains . A set of positive integers is said to be sufficient if the -orbit of every positive integer intersects the -orbit of an element of that set. Thus to prove the Conjecture it suffices to prove it on some sufficient set. Andaloro proved that the sets are sufficient for and asked if is also sufficient for larger values of . We answer this question in the affirmative by proving the stronger result that is sufficient for any nonnegative integers and with i.e. every nonconstant arithmetic sequence forms a sufficient set. We then prove analagous results for the Divergent Orbits Conjecture and Nontrivial Cycles Conjecture.

     

On operators which commute with analytic Toeplitz operators modulo the finite rank operators

It is shown that an operator on the Hardy space (or ) commutes with all analytic Toeplitz operators modulo the finite rank operators if and only if . Here is a finite rank operator, and in the case , is a sum of a rational function and a bounded analytic function, and in the case , is a bounded analytic function.

     

The real rank zero property of crossed product

Let be a unital -algebra, and let be a -dynamical system with abelian and discrete. In this paper, we introduce the continuous affine map from the trace state space of the crossed product to the -invariant trace state space of . If is of real rank zero and is connected, we have proved that is homeomorphic. Conversely, if is homeomorphic, we also get some properties and real rank zero characterization of . In particular, in that case, is of real rank zero if and only if each unitary element in with the form can be approximated by the unitary elements in with finite spectrum, where , , and if moreover is a unital inductive limit of the direct sums of non-elementary simple -algebras of real rank zero, then the above can be cancelled.

     

On chaotic -semigroups and infinitely regular hypercyclic vectors

A -semigroup on a Banach space is called hypercyclic if there exists an element such that is dense in . is called chaotic if is hypercyclic and the set of its periodic vectors is dense in as well. We show that a spectral condition introduced by Desch, Schappacher and Webb requiring many eigenvectors of the generator which depend analytically on the eigenvalues not only implies the chaoticity of the semigroup but the chaoticity of every . Furthermore, we show that semigroups whose generators have compact resolvent are never chaotic. In a second part we prove the existence of hypercyclic vectors in for a hypercyclic semigroup , where is its generator.

     

Fixed points of univalent functions II

For a closed nowhere dense subset of a bounded univalent holomorphic function on is found such that equals the cluster set of its fixed points.

     

Characters of -degree with cyclotomic field of values

If is a prime number and is a finite group, we show that has an irreducible complex character of degree not divisible by with values in the cyclotomic field .

     

Combinatorics of rank jumps in simplicial hypergeometric systems

Let be an integer matrix, and assume that the convex hull of its columns is a simplex of dimension  not containing the origin. It is known that the semigroup ring is Cohen-Macaulay if and only if the rank of the GKZ hypergeometric system equals the normalized volume of for all complex parameters (Saito, 2002). Our refinement here shows that has rank strictly larger than the volume of if and only if lies in the Zariski closure (in  ) of all -graded degrees where the local cohomology is nonzero. We conjecture that the same statement holds even when is not a simplex.

     

Avoiding the projective hierarchy in expansions of the real field by sequences

Some necessary conditions are given on infinitely oscillating real functions and infinite discrete sets of real numbers so that first-order expansions of the field of real numbers by such functions or sets do not define . In particular, let be such that , as for some , is o-minimal, and the expansion of by the set does not define . Then there exist 0$"> and such that as .

     

A theorem on reflexive large rank operator spaces

If every nonzero operator in an -dimensional operator space has rank , then is reflexive.

     

A perturbed elementary operator and range-kernel orthogonality

Let denote the algebra of operators on a Hilbert . If and are commuting normal operators, and and are commuting quasi-nilpotents such that , then define and by , , and . It is proved that and , where is some scalar and is the quasi-nilpotent part of the operator .

     

The Postnikov Tower and the Steenrod problem

The Steenrod problem asks: given a -module, when does there exist a Moore space realizing the module? By using the equivariant Postnikov Tower, it is shown that a -module is -realizable if and only if it is -realizable for all -Sylow subgroups , for all primes .

     

Automatic continuity of -derivations on -algebras

Let be a -algebra acting on a Hilbert space , let be a linear mapping and let be a -derivation. Generalizing the celebrated theorem of Sakai, we prove that if is a continuous -mapping, then is automatically continuous. In addition, we show the converse is true in the sense that if is a continuous --derivation, then there exists a continuous linear mapping such that is a --derivation. The continuity of the so-called - -derivations is also discussed.