Frobenius morphisms and representations of algebras

By introducing Frobenius morphisms on algebras and their modules over the algebraic closure of the finite field of elements, we establish a relation between the representation theory of over and that of the -fixed point algebra over . More precisely, we prove that the category    mod- of finite-dimensional -modules is equivalent to the subcategory of finite-dimensional -stable -modules, and, when is finite dimensional, we establish a bijection between the isoclasses of indecomposable -modules and the -orbits of the isoclasses of indecomposable -modules. Applying the theory to representations of quivers with automorphisms, we show that representations of a modulated quiver (or a species) over can be interpreted as -stable representations of the corresponding quiver over . We further prove that every finite-dimensional hereditary algebra over is Morita equivalent to some , where is the path algebra of a quiver over and is induced from a certain automorphism of . A close relation between the Auslander-Reiten theories for and is established. In particular, we prove that the Auslander-Reiten (modulated) quiver of is obtained by ``folding" the Auslander-Reiten quiver of . Finally, by taking Frobenius fixed points, we are able to count the number of indecomposable representations of a modulated quiver over with a given dimension vector and to generalize Kac's theorem for all modulated quivers and their associated Kac-Moody algebras defined by symmetrizable generalized Cartan matrices.

     

Topological obstructions to certain Lie group actions on manifolds

Given a smooth closed -manifold , this article studies the extent to which certain numbers of the form are determined by the fixed-point set , where classifies the universal cover of , , is a polynomial in the Pontrjagin classes of , and is in the subalgebra of generated by . When , various vanishing theorems follow, giving obstructions to certain fixed-point-free actions. For example, if a fixed-point-free -action extends to an action by some semisimple compact Lie group , then . Similar vanishing results are obtained for spin manifolds admitting certain -actions.

     

Average size of -Selmer groups of elliptic curves, I

In this paper, we study a class of elliptic curves over with -torsion group , and prove that the average order of the -Selmer groups is bounded.

     

Algebraic Goodwillie calculus and a cotriple model for the remainder

Goodwillie has defined a tower of approximations for a functor from spaces to spaces that is analogous to the Taylor series of a function. His order approximation at a space depends on the values of on coproducts of large suspensions of the space: .

We define an ``algebraic' version of the Goodwillie tower, , that depends only on the behavior of on coproducts of . When is a functor to connected spaces or grouplike -spaces, the functor is the base of a fibration

whose fiber is the simplicial space associated to a cotriple built from the cross effect of the functor . In a range in which commutes with realizations (for instance, when is the identity functor of spaces), the algebraic Goodwillie tower agrees with the ordinary (topological) Goodwillie tower, so this theory gives a way of studying the Goodwillie approximation to a functor in many interesting cases.

     

Theta lifting of nilpotent orbits for symmetric pairs

We consider a reductive dual pair in the stable range with the smaller member and of Hermitian symmetric type. We study the theta lifting of nilpotent -orbits, where is a maximal compact subgroup of and we describe the precise -module structure of the regular function ring of the closure of the lifted nilpotent orbit of the symmetric pair . As an application, we prove sphericality and normality of the closure of certain nilpotent -orbits obtained in this way. We also give integral formulas for their degrees.

     

Steinberg symbols modulo the trace class, holonomy, and limit theorems for Toeplitz determinants

Suppose that where and , and the Toeplitz operator is invertible. Let be the determinant of the Toeplitz matrix where . Let be the orthogonal projection onto where ; set , let denote the Hankel operator associated to , and set for . For the Wiener-Hopf factorization where and , put , Theorem A.    

Let be a decomposition into invariant subspaces, and , so that restricted to is invertible, is finite dimensional, and restricted to is nilpotent. Let be the basis for the null space of , and let be the top vector in a Jordan root vector chain of length lying over , i.e., where . Theorem B.     , the holonomy of a Deligne bundle with connection defined by the factorization . Note that the generalizations of the Szegö limit theorem for which have appeared in the literature with instead of have the defect that the limit of does not exist in general. An example is given with yet for infinitely many .

     

On higher syzygies of ruled surfaces

We study higher syzygies of a ruled surface over a curve of genus with the numerical invariant . Let    Pic be a line bundle in the numerical class of . We prove that for , satisfies property if and , and for , satisfies property if and . By using these facts, we obtain Mukai-type results. For ample line bundles , we show that satisfies property when and or when and . Therefore we prove Mukai's conjecture for ruled surface with . We also prove that when is an elliptic ruled surface with , satisfies property if and only if and .

     

Sharp dimension estimates of holomorphic functions and rigidity

Let be a complete noncompact Kähler manifold of complex dimension with nonnegative holomorphic bisectional curvature. Denote by the space of holomorphic functions of polynomial growth of degree at most on . In this paper we prove that

for all , with equality for some positive integer if and only if is holomorphically isometric to . We also obtain sharp improved dimension estimates when its volume growth is not maximal or its Ricci curvature is positive somewhere.

     

A generalization of Marshall's equivalence relation

For prime and for a field containing a root of unity of order , we generalize Marshall's equivalence relation on orderings to arbitrary subgroups of of index . The equivalence classes then correspond to free pro- factors of the maximal pro- Galois group of . We generalize to this setting results of Jacob on the maximal pro- Galois group of a Pythagorean field.

     

Quantifier elimination for algebraic -groups

We prove that if is an algebraic -group (in the sense of Buium over a differentially closed field of characteristic , then the first order structure consisting of together with the algebraic -subvarieties of , has quantifier-elimination. In other words, the projection on of a -constructible subset of is -constructible. Among the consequences is that any finite-dimensional differential algebraic group is interpretable in an algebraically closed field.

     

On the Cohen-Macaulay property of multiplicative invariants

We investigate the Cohen-Macaulay property for rings of invariants under multiplicative actions of a finite group . By definition, these are -actions on Laurent polynomial algebras that stabilize the multiplicative group consisting of all monomials in the variables . For the most part, we concentrate on the case where the base ring is . Our main result states that if acts non-trivially and the invariant ring is Cohen-Macaulay, then the abelianized isotropy groups of all monomials are generated by the bireflections in and at least one is non-trivial. As an application, we prove the multiplicative version of Kemper's -copies conjecture.

     

Resolutions for metrizable compacta in extension theory

We prove a -resolution theorem for simply connected CW- complexes in extension theory in the class of metrizable compacta . This means that if is a connected CW-complex, is an abelian group, , , for , and (in the sense of extension theory, that is, is an absolute extensor for ), then there exists a metrizable compactum and a surjective map such that:

(a) is -acyclic,

(b) , and

(c) .

This implies the -resolution theorem for arbitrary abelian groups for cohomological dimension when . Thus, in case is an Eilenberg-MacLane complex of type , then (c) becomes .

If in addition , then (a) can be replaced by the stronger statement,

(aa) is -acyclic.

To say that a map is -acyclic means that for each , every map of the fiber to is nullhomotopic.

     

On the correlations of directions in the Euclidean plane

Let denote the repartition of the -level correlation measure of the finite set of directions , where is the fixed point and is an integer lattice point in the square . We show that the average of the pair correlation repartition over in a fixed disc converges as . More precisely we prove, for every and , the estimate

We also prove that for each individual point , the -level correlation diverges at any point as , and we give an explicit lower bound for the rate of divergence.

     

Generating continuous mappings with Lipschitz mappings

If is a metric space, then and denote the semigroups of continuous and Lipschitz mappings, respectively, from to itself. The relative rank of modulo is the least cardinality of any set where generates . For a large class of separable metric spaces we prove that the relative rank of modulo is uncountable. When is the Baire space , this rank is . A large part of the paper emerged from discussions about the necessity of the assumptions imposed on the class of spaces from the aforementioned results.

     

Unramified cohomology of classifying varieties for exceptional simply connected groups

Let be a classifying variety for an exceptional simple simply connected algebraic group . We compute the degree 3 unramified Galois cohomology of with values in over an arbitrary field . Combined with a paper by Merkurjev, this completes the computation of these cohomology groups for semisimple simply connected over all fields.

These computations provide another family of examples of simple simply connected groups such that is not stably rational.

     

Besov spaces with non-doubling measures

Suppose that is a Radon measure on which may be non-doubling. The only condition on is the growth condition, namely, there is a constant 0$"> such that for all and 0,$">

where In this paper, the authors establish a theory of Besov spaces for and , where 0$"> is a real number which depends on the non-doubling measure , , and . The method used to define these spaces is new even for the classical case. As applications, the lifting properties of these spaces by using the Riesz potential operators and the dual spaces are obtained.

     

Brownian intersection local times: Exponential moments and law of large masses

Consider independent Brownian motions in , each running up to its first exit time from an open domain , and their intersection local time as a measure on . We give a sharp criterion for the finiteness of exponential moments,

where are nonnegative, bounded functions with compact support in . We also derive a law of large numbers for intersection local time conditioned to have large total mass.

     

Filtrations in semisimple Lie algebras, I

In this paper, we study the maximal bounded -filtrations of a complex semisimple Lie algebra . Specifically, we show that if is simple of classical type , , or , then these filtrations correspond uniquely to a precise set of linear functionals on its root space. We obtain partial, but not definitive, results in this direction for the remaining exceptional algebras. Maximal bounded filtrations were first introduced in the context of classifying the maximal graded subalgebras of affine Kac-Moody algebras, and the maximal graded subalgebras of loop toroidal Lie algebras. Indeed, our main results complete this classification in most cases. Finally, we briefly discuss the analogous question for bounded filtrations with respect to other Archimedean ordered groups.

     

A Connes-amenable, dual Banach algebra need not have a normal, virtual diagonal

Let be a locally compact group, and let denote the space of weakly almost periodic functions on . We show that, if is a -group, but not compact, then the dual Banach algebra does not have a normal, virtual diagonal. Consequently, whenever is an amenable, non-compact -group, is an example of a Connes-amenable, dual Banach algebra without a normal, virtual diagonal. On the other hand, there are amenable, non-compact, locally compact groups such that does have a normal, virtual diagonal.