Invariant ideals and polynomial forms

Let denote the group algebra of an infinite locally finite group . In recent years, the lattice of ideals of has been extensively studied under the assumption that is simple. From these many results, it appears that such group algebras tend to have very few ideals. While some work still remains to be done in the simple group case, we nevertheless move on to the next stage of this program by considering certain abelian-by-(quasi-simple) groups. Standard arguments reduce this problem to that of characterizing the ideals of an abelian group algebra stable under the action of an appropriate automorphism group of . Specifically, in this paper, we let be a quasi-simple group of Lie type defined over an infinite locally finite field , and we let be a finite-dimensional vector space over a field of the same characteristic . If acts nontrivially on by way of the homomorphism , and if has no proper -stable subgroups, then we show that the augmentation ideal is the unique proper -stable ideal of when . The proof of this result requires, among other things, that we study characteristic division rings , certain multiplicative subgroups of , and the action of on the group algebra , where is the additive group . In particular, properties of the quasi-simple group come into play only in the final section of this paper.

     

On a class of jointly hyponormal Toeplitz operators

We characterize when a pair of Toeplitz operators is jointly hyponormal under various assumptions--for example, is analytic or is a trigonometric polynomial or is analytic. A typical characterization states that is jointly hyponormal if and only if an algebraic relation of and holds and the single Toeplitz operator is hyponormal, where is a combination of and . More general results for an -tuple of Toeplitz operators are also obtained.

     

On the blow-up of heat flow for conformal -harmonic maps

Using a comparison theorem, Chang, Ding, and Ye (1992) proved a finite time derivative blow-up for the heat flow of harmonic maps from (a unit ball in ) to (a unit sphere in ) under certain initial and boundary conditions. We generalize this result to the case of -harmonic map heat flow from to . In contrast to the previous case, our governing parabolic equation is quasilinear and degenerate. Technical issues such as the development of a new comparison theorem have to be resolved.

     

Tangentially positive isometric actions and conjugate points

Let be a complete Riemannian manifold with no conjugate points and a principal -bundle, where is a Lie group acting by isometries and the smooth quotient with the Riemannian submersion metric.

We obtain a characterization of conjugate point-free quotients in terms of symplectic reduction and a canonical pseudo-Riemannian metric on the tangent bundle , from which we then derive necessary conditions, involving and , for the quotient metric to be conjugate point-free, particularly for a reducible Riemannian manifold.

Let , with the Lie Algebra of , be the moment map of the tangential -action on and let be the canonical pseudo-Riemannian metric on defined by the symplectic form and the map , . First we prove a theorem, stating that if is not positive definite on the action vector fields for the tangential action along then acquires conjugate points. (We proved the converse result in 2005.) Then, we characterize self-parallel vector fields on in terms of the positivity of the -length of their tangential lifts along certain canonical subsets of . We use this to derive some necessary conditions, on and , for actions to be tangentially positive on relevant subsets of , which we then apply to isometric actions on complete conjugate point-free reducible Riemannian manifolds when one of the irreducible factors satisfies certain curvature conditions.

     

Topological dynamics on moduli spaces II

Let be an orientable genus 0$"> surface with boundary . Let be the mapping class group of fixing . The group acts on the space of -gauge equivalence classes of flat -connections on with fixed holonomy on . We study the topological dynamics of the -action and give conditions for the individual -orbits to be dense in .

     

Extensions for finite Chevalley groups II

Let be a semisimple simply connected algebraic group defined and split over the field with elements, let be the finite Chevalley group consisting of the -rational points of where , and let be the th Frobenius kernel. The purpose of this paper is to relate extensions between modules in and with extensions between modules in . Among the results obtained are the following: for 2$"> and , the -extensions between two simple -modules are isomorphic to the -extensions between two simple -restricted -modules with suitably ``twisted" highest weights. For , we provide a complete characterization of where and is -restricted. Furthermore, for , necessary and sufficient bounds on the size of the highest weight of a -module are given to insure that the restriction map is an isomorphism. Finally, it is shown that the extensions between two simple -restricted -modules coincide in all three categories provided the highest weights are ``close" together.

     

Transfer functions of regular linear systems Part II: The system operator and the Lax-Phillips semigroup

This paper is a sequel to a paper by the second author on regular linear systems (1994), referred to here as ``Part I'. We introduce the system operator of a well-posed linear system, which for a finite-dimensional system described by , would be the -dependent matrix . In the general case, is an unbounded operator, and we show that it can be split into four blocks, as in the finite-dimensional case, but the splitting is not unique (the upper row consists of the uniquely determined blocks and , as in the finite-dimensional case, but the lower row is more problematic). For weakly regular systems (which are introduced and studied here), there exists a special splitting of where the right lower block is the feedthrough operator of the system. Using , we give representation theorems which generalize those from Part I to well-posed linear systems and also to the situation when the ``initial time' is . We also introduce the Lax-Phillips semigroup induced by a well-posed linear system, which is in fact an alternative representation of a system, used in scattering theory. Our concept of a Lax-Phillips semigroup differs in several respects from the classical one, for example, by allowing an index which determines an exponential weight in the input and output spaces. This index allows us to characterize the spectrum of and also the points where is not invertible, in terms of the spectrum of the generator of (for various values of ). The system is dissipative if and only if (with index zero) is a contraction semigroup.

     

Functional Calculus in Hölder-Zygmund Spaces

In this paper we characterize those functions of the real line to itself such that the nonlinear superposition operator defined by maps the Hölder-Zygmund space to itself, is continuous, and is times continuously differentiable. Our characterizations cover all cases in which is real and 0$">, and seem to be novel when 0$"> is an integer.

     

Summing inclusion maps between symmetric sequence spaces

In 1973/74 Bennett and (independently) Carl proved that for the identity map id: is absolutely -summing, i.e., for every unconditionally summable sequence in the scalar sequence is contained in , which improved upon well-known results of Littlewood and Orlicz. The following substantial extension is our main result: For a -concave symmetric Banach sequence space the identity map is absolutely -summing, i.e., for every unconditionally summable sequence in the scalar sequence is contained in . Various applications are given, e.g., to the theory of eigenvalue distribution of compact operators, where we show that the sequence of eigenvalues of an operator on with values in a -concave symmetric Banach sequence space is a multiplier from into . Furthermore, we prove an asymptotic formula for the -th approximation number of the identity map , where denotes the linear span of the first standard unit vectors in , and apply it to Lorentz and Orlicz sequence spaces.

     

An application of the Littlewood restriction formula to the Kostant-Rallis Theorem

Consider a symmetric pair of linear algebraic groups with , where and are defined as the +1 and -1 eigenspaces of the involution defining . We view the ring of polynomial functions on as a representation of . Moreover, set , where is the space of homogeneous polynomial functions on of degree . This decomposition provides a graded -module structure on . A decomposition of is provided for some classical families when is within a certain stable range.

The stable range is defined so that the spaces are within the hypothesis of the classical Littlewood restriction formula. The Littlewood restriction formula provides a branching rule from the general linear group to the standard embedding of the symplectic or orthogonal subgroup. Inside the stable range the decomposition of is interpreted as a -analog of the Kostant-Rallis theorem.

     

Local subgroups and the stable category

If is a finite group and is an algebraically closed field of characteristic 0$">, then this paper uses the local subgroup structure of to define a category that is equivalent to the stable category of all left -modules modulo projectives. A subcategory of equivalent to the stable category of finitely generated -modules is also identified. The definition of depends largely but not exclusively upon local data; one condition on the objects involves compatibility with respect to conjugations by arbitrary group elements rather than just elements of -local subgroups.

     

Automorphisms of finite order on Gorenstein del Pezzo surfaces

In this paper we shall determine all actions of groups of prime order with on Gorenstein del Pezzo (singular) surfaces of Picard number 1. We show that every order- element in ( , being the minimal resolution of ) is lifted from a projective transformation of . We also determine when is finite in terms of , and the number of singular members in . In particular, we show that either for some , or for every prime , there is at least one element of order in (hence is infinite).

     

Block representation type of reduced enveloping algebras

Let be an algebraically closed field of characteristic , a connected, reductive -group, , and the reduced enveloping algebra of associated with . Assume that is simply-connected, is good for and has a non-degenerate -invariant bilinear form. All blocks of having finite and tame representation type are determined.

     

A Pieri-type formula for isotropic flag manifolds

We give the formula for multiplying a Schubert class on an odd orthogonal or symplectic flag manifold by a special Schubert class pulled back from the Grassmannian of maximal isotropic subspaces. This is also the formula for multiplying a type (respectively, type ) Schubert polynomial by the Schur -polynomial (respectively, the Schur -polynomial ). Geometric constructions and intermediate results allow us to ultimately deduce this formula from formulas for the classical flag manifold. These intermediate results are concerned with the Bruhat order of the infinite Coxeter group , identities of the structure constants for the Schubert basis of cohomology, and intersections of Schubert varieties. We show that most of these identities follow from the Pieri-type formula, and our analysis leads to a new partial order on the Coxeter group and formulas for many of these structure constants.

     

Schrödinger operators with non-degenerately vanishing magnetic fields in bounded domains

We establish an asymptotic estimate of the lowest eigenvalue of the Schrödinger operator with a magnetic field in a bounded -dimensional domain, where curl vanishes non-degenerately, and is a large parameter. Our study is based on an analysis on an eigenvalue variation problem for the Sturm-Liouville problem. Using the estimate, we determine the value of the upper critical field for superconductors subject to non-homogeneous applied magnetic fields, and localize the nucleation of superconductivity.

     

Regularized orbital integrals for representations of

Given a finite-dimensional representation of , on a vector space defined over a local field of characteristic zero, we produce a regularization of orbital integrals and determine when the resulting distribution is non-trivial.

     

Associated primes of graded components of local cohomology modules

The -th local cohomology module of a finitely generated graded module over a standard positively graded commutative Noetherian ring , with respect to the irrelevant ideal , is itself graded; all its graded components are finitely generated modules over , the component of of degree . It is known that the -th component of this local cohomology module is zero for all > 0$">. This paper is concerned with the asymptotic behaviour of as .

The smallest for which such study is interesting is the finiteness dimension of relative to , defined as the least integer for which is not finitely generated. Brodmann and Hellus have shown that is constant for all (that is, in their terminology, is asymptotically stable for ). The first main aim of this paper is to identify the ultimate constant value (under the mild assumption that is a homomorphic image of a regular ring): our answer is precisely the set of contractions to of certain relevant primes of whose existence is confirmed by Grothendieck's Finiteness Theorem for local cohomology.

Brodmann and Hellus raised various questions about such asymptotic behaviour when f$">. They noted that Singh's study of a particular example (in which ) shows that need not be asymptotically stable for . The second main aim of this paper is to determine, for Singh's example, quite precisely for every integer , and, thereby, answer one of the questions raised by Brodmann and Hellus.