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.

     

On the finiteness properties of extension and torsion functors of local cohomology modules

Let be a commutative Noetherian ring with non-zero identity, and ideals of with , and a finitely generated -module. In this paper, for fixed integers and , we study the finiteness of and in several cases.

     

Mappings preserving spectra of products of matrices

Let be the set of complex matrices, and for every , let denote the spectrum of . For various types of products on , it is shown that a mapping satisfying for all has the form

for some invertible and scalar . The result covers the special cases of the usual product , the Jordan triple product , and the Jordan product . Similar results are obtained for Hermitian matrices.

     

Wreath products and Kaluzhnin-Krasner embedding for Lie algebras

The wreath product of groups is one of basic constructions in group theory. We construct its analogue, a wreath product of Lie algebras.

Consider Lie algebras and over a field . Let be the universal enveloping algebra. Then has the natural structure of a Lie algebra, where the multiplication is defined via the comultiplication in . Also, acts by derivations on via the (left) coregular action. The semidirect sum we call the wreath product and denote by . As a main result, we prove that an arbitrary extension of Lie algebras can be embedded into the wreath product .

     

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.

     

Volume preserving embeddings of open subsets of into manifolds

We consider a connected smooth -dimensional manifold endowed with a volume form , and we show that an open subset of of Lebesgue measure embeds into by a smooth volume preserving embedding whenever the volume condition is met.

     

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 .

     

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.

     

Spreading of quasimodes in the Bunimovich stadium

We consider Dirichlet eigenfunctions of the Bunimovich stadium , satisfying . Write where is the central rectangle and denotes the ``wings,' i.e., the two semicircular regions. It is a topic of current interest in quantum theory to know whether eigenfunctions can concentrate in as . We obtain a lower bound on the mass of in , assuming that itself is -normalized; in other words, the norm of is controlled by times the norm in . Moreover, if is an quasimode, the same result holds, while for an quasimode we prove that the norm of is controlled by times the norm in . We also show that the norm of may be controlled by the integral of along , where is a smooth factor on vanishing at . These results complement recent work of Burq-Zworski which shows that the norm of is controlled by the norm in any pair of strips contained in , but adjacent to .

     

On local irreducibility of the spectrum

Let be the algebra of complex matrices, and for denote by and the spectrum and spectral radius of respectively. Let be a domain in containing 0, and let be a holomorphic map. We prove: (1) if for , then for ; (2) if for , then again for . Both results are special cases of theorems expressing the irreducibility of the spectrum near .

     

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 .

     

Perturbations and Weyl's theorem

A Banach space operator is completely hereditarily normaloid, , if either every part, and (also) for every invertible part , of is normaloid or if for every complex number every part of is normaloid. Sufficient conditions for the perturbation of by an algebraic operator to satisfy Weyl's theorem are proved. Our sufficient conditions lead us to the conclusion that the conjugate operator satisfies -Weyl's theorem.

     

Isomorphism of Borel full groups

Suppose that and are Polish groups which act in a Borel fashion on Polish spaces and . Let and denote the corresponding orbit equivalence relations, and and the corresponding Borel full groups. Modulo the obvious counterexamples, we show that .

     

A prediction problem in

For a nonnegative integrable weight function on the unit circle , we provide an expression for , in terms of the series coefficients of the outer function of , for the weighted distance , where is the normalized Lebesgue measure and ranges over trigonometric polynomials with frequencies in , , . The problem is open for .

     

On the regularity of products and intersections of complete intersections

This paper proves the formulae

for arbitrary monomial complete intersections and , and provides examples showing that these inequalities do not hold for general complete intersections.

     

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 .

     

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 .

     

Prevalence of odometers in cellular automata

We consider left permutive cellular automata  with no memory and positive anticipation, defined on the space of all doubly infinite sequences with entries from a finite alphabet. For each such automaton that is not one-to-one, there is a dense set of points  such that is topologically conjugate to an odometer, the ``' map on the countable product of finite cyclic groups. This set is a dense subset of an appropriate subspace. We identify the odometer in several cases.

     

Asymptotically harmonic spaces in dimension 3

Let be a Hadamard manifold of dimension whose sectional curvature satisfies and whose curvature tensor satisfies for suitable constants and . We show that is of constant sectional curvature provided is asymptotically harmonic. This was previously only known if admits a compact quotient.

     

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