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 .

     

Fixed point spaces, primitive character degrees and conjugacy class sizes

Let be a finite group that acts on a nonzero finite dimensional vector space over an arbitrary field. Assume that is completely reducible as a -module, and that fixes no nonzero vector of . We show that some element has a small fixed-point space in . Specifically, we prove that we can choose so that , where is the smallest prime divisor of .

     

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.

     

On -adic Hermitian Eisenstein series

In this paper we generalize the notion of -adic modular form to the Hermitian modular case and prove a formula that shows a coincidence between certain -adic Hermitian Eisenstein series and the genus theta series associated with Hermitian matrix with determinant .

     

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.

     

Universal localization of triangular matrix rings

If is a triangular matrix ring, the columns and are f.g. projective -modules. We describe the universal localization of which makes invertible an -module morphism , generalizing a theorem of A. Schofield. We also describe the universal localization of -modules.

     

Strong periodicity of links and the coefficients of the Conway polynomial

Przytycki and Sokolov proved that a three-manifold admits a semi-free action of the finite cyclic group of order with a circle as the set of fixed points if and only if is obtained from the three-sphere by surgery along a strongly -periodic link . Moreover, if the quotient three-manifold is an integral homology sphere, then we may assume that is orbitally separated. This paper studies the behavior of the coefficients of the Conway polynomial of such a link. Namely, we prove that if is a strongly -periodic orbitally separated link and is an odd prime, then the coefficient is congruent to zero modulo for all such that .

     

Failure of Krull-Schmidt for invertible lattices over a discrete valuation ring

Let be a prime greater than , and let be the semi-direct product of a group of order by a cyclic group of order , which acts faithfully on . Let be the localization of at . We show that the Krull-Schmidt Theorem fails for the category of invertible -lattices.

     

On stable equivalences induced by exact functors

Let and be two Artin algebras with no semisimple summands. Suppose that there is a stable equivalence between and such that is induced by exact functors. We present a nice correspondence between indecomposable modules over and . As a consequence, we have the following: (1) If is a self-injective algebra, then so is ; (2) If and are finite dimensional algebras over an algebraically closed field , and if is of finite representation type such that the Auslander-Reiten quiver of has no oriented cycles, then and are Morita equivalent.

     

A strong hot spot theorem

A real number is said to be -normal if every -long string of digits appears in the base- expansion of with limiting frequency . We prove that is -normal if and only if it possesses no base- ``hot spot'. In other words, is -normal if and only if there is no real number such that smaller and smaller neighborhoods of are visited by the successive shifts of the base- expansion of with larger and larger frequencies, relative to the lengths of these neighborhoods.

     

Hodge structures on posets

Let be a poset with unique minimal and maximal elements and . For each , let be the vector space spanned by -chains from to in . We define the notion of a Hodge structure on which consists of a local action of on , for each , such that the boundary map intertwines the actions of and according to a certain condition.

We show that if has a Hodge structure, then the families of Eulerian idempotents intertwine the boundary map, and so we get a splitting of into Hodge pieces.

We consider the case where is , the poset of subsets of with cardinality divisible by is fixed, and is a multiple of . We prove a remarkable formula which relates the characters of acting on the Hodge pieces of the homologies of the to the characters of acting on the homologies of the posets of partitions with every block size divisible by .

     

Basis properties of eigenfunctions of the -Laplacian

For , the eigenfunctions of the non-linear eigenvalue problem for the -Laplacian on the interval are shown to form a Riesz basis of and a Schauder basis of whenever .

     

The weak Dirichlet problem for Baire functions

Let be a simplex and a compact subset of the set of all extreme points of . We show that any bounded function of Baire class on can be extended to a function of affine class on . Moreover, can be chosen in such a way that .

     

The spherical Paley-Wiener theorem on the complex Grassmann manifolds SU

We prove the Paley-Wiener theorem for the spherical transform on the complex Grassmann manifolds SUSU   U. This theorem characterizes the -biinvariant smooth functions on the group that are supported in the -invariant ball of radius , with less than the injectivity radius of , in terms of holomorphic extendability, exponential growth, and Weyl invariance properties of the spherical Fourier transforms , originally defined on the discrete set of highest restricted spherical weights.

     

Isomorphic -subspaces in Orlicz-Lorentz sequence spaces

Given a decreasing weight and an Orlicz function satisfying the -condition at zero, we show that the Orlicz-Lorentz sequence space contains an -isomorphic copy of , if and only if the Orlicz sequence space does, that is, if , where and are the Matuszewska-Orlicz lower and upper indices of , respectively. If does not satisfy the -condition, then a similar result holds true for order continuous subspaces and of and , respectively.

     

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 .

     

The rank of elliptic curves with rational 2-torsion points over large fields

Let be a number field, an algebraic closure of , the absolute Galois group , the maximal abelian extension of and an elliptic curve defined over . In this paper, we prove that if all 2-torsion points of are -rational, then for each , has infinite rank, and hence has infinite rank.

     

Equivariant crystalline cohomology and base change

Given a perfect field of characteristic , a smooth proper -scheme , a crystal on relative to and a finite group acting on and , we show that, viewed as a virtual -module, the reduction modulo of the crystalline cohomology of is the de Rham cohomology of modulo . On the way we prove a base change theorem for the virtual -representations associated with -equivariant objects in the derived category of -modules.

     

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 ).

     

Nonabelian free subgroups in homomorphic images of valued quaternion division algebras

Given a quaternion division algebra a noncentral element is called pure if its square belongs to the center. A theorem of Rowen and Segev (2004) asserts that for any quaternion division algebra of positive characteristic and any pure element the quotient of by the normal subgroup generated by is abelian-by-nilpotent-by-abelian. In this note we construct a quaternion division algebra of characteristic zero containing a pure element such that contains a nonabelian free group. This demonstrates that the situation in characteristic zero is very different.