Baire and

Let be a locally compact Hausdorff space and let be the Banach space of all bounded complex Radon measures on . Let and be the -rings generated by the compact subsets and by the compact subsets of , respectively. The members of are called Baire sets of and those of are called -Borel sets of (since they are precisely the -bounded Borel sets of ). Identifying with the Banach space of all Borel regular complex measures on , in this note we characterize weakly compact subsets of in terms of the Baire and -Borel restrictions of the members of . These characterizations permit us to give a generalization of a theorem of Dieudonné which is stronger and more natural than that given by Grothendieck.

     

A -deformation of a trivial symmetric group action

Let be the arrangement of hyperplanes consisting of the reflecting hyperplanes for the root system . Let be the Varchenko matrix for this arrangement with all hyperplane parameters equal to . We show that is the matrix with rows and columns indexed by permutations with entry equal to where is the number of inversions of . Equivalently is the matrix for left multiplication on by

Clearly commutes with the right-regular action of on . A general theorem of Varchenko applied in this special case shows that is singular exactly when is a root of for some between and . In this paper we prove two results which partially solve the problem (originally posed by Varchenko) of describing the -module structure of the nullspace of in the case that is singular. Our first result is that

in the case that where Lie denotes the multilinear part of the free Lie algebra with generators. Our second result gives an elegant formula for the determinant of restricted to the virtual -module with characteristic the power sum symmetric function .

     

Induction theorems on the stable rationality of the center of the ring of generic matrices

Following Procesi and Formanek, the center of the division ring of generic matrices over the complex numbers is stably equivalent to the fixed field under the action of , of the function field of the group algebra of a -lattice, denoted by . We study the question of the stable rationality of the center over the complex numbers when is a prime, in this module theoretic setting. Let be the normalizer of an -sylow subgroup of . Let be a -lattice. We show that under certain conditions on , induction-restriction from to does not affect the stable type of the corresponding field. In particular, and are stably isomorphic and the isomorphism preserves the -action. We further reduce the problem to the study of the localization of at the prime ; all other primes behave well. We also present new simple proofs for the stable rationality of over , in the cases and .

     

The Stable Homotopy Types of Stunted Lens Spaces mod

Let be the mod stunted lens space . Let denote the exponent of in , and the number of integers satisfying , and . In this paper we complete the classification of the stable homotopy types of mod stunted lens spaces. The main result (Theorem 1.3 (i)) is that, under some appropriate conditions, and are stably equivalent iff , where or .

     

Test ideals in quotients of -finite regular local rings

Let be an -finite regular local ring and an ideal contained in . Let . Fedder proved that is -pure if and only if . We have noted a new proof for his criterion, along with showing that , where is the pullback of the test ideal for . Combining the the -purity criterion and the above result we see that if is -pure then is also -pure. In fact, we can form a filtration of , that stabilizes such that each is -pure and its test ideal is . To find examples of these filtrations we have made explicit calculations of test ideals in the following setting: Let , where is either a polynomial or a power series ring and is generated by monomials and the are regular. Set . Then .

     

Universal maps on trees

A map of continua and is called a universal map from to if for any map , for some point . When and are trees, we characterize universal maps by reducing to the case of light minimal universal maps. The characterization uses the notions of combinatorial map and folded subedge of .

     

Trace on the boundary for solutions of nonlinear differential equations

Let be a second order elliptic differential operator in with no zero order terms and let be a bounded domain in with smooth boundary . We say that a function is -harmonic if in . Every positive -harmonic function has a unique representation

where is the Poisson kernel for and is a finite measure on . We call the trace of on . Our objective is to investigate positive solutions of a nonlinear equation

for [the restriction is imposed because our main tool is the -superdiffusion which is not defined for ]. We associate with every solution a pair , where is a closed subset of and is a Radon measure on . We call the trace of on . is empty if and only if is dominated by an -harmonic function. We call such solutions moderate. A moderate solution is determined uniquely by its trace. In general, many solutions can have the same trace. We establish necessary and sufficient conditions for a pair to be a trace, and we give a probabilistic formula for the maximal solution with a given trace.

     

Computations in generic representation theory: maps from symmetric powers to composite functors

If is the finite field of order and characteristic , let be the category whose objects are functors from finite dimensional -vector spaces to -vector spaces, and with morphisms the natural transformations between such functors. Important families of objects in include the families , and , with , defined by ,, , , and .

Fixing , we discuss the problem of computing , for all , given knowledge of for all . When , we get a complete answer for any functor chosen from the families listed above.

Our techniques involve Steenrod algebra technology, and, indeed, our most striking example, when , arose in recent work on the homology of iterated loopspaces.

     

Rigidity and topological conjugates of topologically tame Kleinian groups

Minsky proved that two Kleinian groups and are quasi-conformally conjugate if they are freely indecomposable, the injectivity radii at all points of , are bounded below by a positive constant, and there is a homeomorphism from a topological core of to that of such that and map ending laminations to ending laminations. We generalize this theorem to the case when and are topologically tame but may be freely decomposable under the same assumption on the injectivity radii. As an application, we prove that if a Kleinian group is topologically conjugate to another Kleinian group which is topologically tame and not a free group, and both Kleinian groups satisfy the assumption on the injectivity radii as above, then they are quasi-conformally conjugate.

     

On zeta functions and Iwasawa modules

We study the relation between zeta-functions and Iwasawa modules. We prove that the Iwasawa modules for almost all determine the zeta function when is a totally real field. Conversely, we prove that the -part of the Iwasawa module is determined by its zeta-function up to pseudo-isomorphism for any number field Moreover, we prove that arithmetically equivalent CM fields have also the same -invariant.

     

Trigonometric moment problems for arbitrary finite subsets of

We consider finite subsets satisfying the extension property, i.e. the property that every collection of complex numbers which is positive-definite on is the restriction to of the Fourier coefficients of some positive measure on . A simple algebraic condition on the set of trigonometric polynomials with non-zero coefficients restricted to is shown to imply the failure of the extension property for . This condition is used to characterize the one-dimensional sets satisfying the extension property and to provide many examples of sets failing to satisfy it in higher dimensions. Another condition, in terms of unitary matrices, is investigated and is shown to be equivalent to the extension property. New two-dimensional examples of sets satisfying the extension property are given as well as explicit examples of collections for which the extension property fails.

     

Subvarieties of -divisors in the Jacobian

We explore some of the interplay between Brill-Noether subvarieties of the moduli space of rank 2 bundles with canonical determinant on a smooth projective curve and -divisors, via the inclusion of the moduli space into , singular along the Kummer variety. In particular we show that the moduli space contains all the trisecants of the Kummer and deduce that there are quadrisecant lines only if the curve is hyperelliptic; we show that for generic curves of genus , though no higher, bundles with sections are cut out by ; and that for genus 4 this locus is precisely the Donagi-Izadi nodal cubic threefold associated to the curve.

     

Singular limit of solutions of the porous medium equation with absorption

We prove that as the solutions of , , , , , , , converges in to the solution of the ODE , , where , , satisfies in for some function , , satisfying whenever for a.e. , for and for , where is a constant and is any measurable subset of .

     

On transversality with deficiency and a conjecture of Sard

Let be a map between manifolds and a manifold. In this paper, by using the Sard theorem, we study the topological properties of the space of maps which satisfy a certain transversality condition with respect to in a weak sense. As an application, by considering the case where is a point, we obtain some new results about the topological properties of , where is the set of points of where the rank of the differential of is less than or equal to . In particular, we show a result about the topological dimension of , which is closely related to a conjecture of Sard concerning the Hausdorff measure of .

     

Lower bounds for dimensions of representation varieties

The set of -dimensional complex representations of a finitely generated group form a complex affine variety . Suppose that is such a representation and consider the associated representation on complex matrices obtained by following with conjugation of matrices. Then it is shown that the dimension of at is at least the difference of the complex dimensions of and . It is further shown that in the latter cohomology may be replaced by various proalgebraic groups associated to and .

     

Solutions of nonlinear differential equations on a Riemannian manifold and their trace on the Martin boundary

Let be a second order elliptic differential operator on a Riemannian manifold with no zero order terms. We say that a function is -harmonic if . Every positive -harmonic function has a unique representation

where is the Martin kernel, is the Martin boundary and is a finite measure on concentrated on the minimal part of . We call the trace of on . Our objective is to investigate positive solutions of a nonlinear equation

for [the restriction is imposed because our main tool is the -superdiffusion, which is not defined for ]. We associate with every solution of (*) a pair , where is a closed subset of and is a Radon measure on . We call the trace of on . is empty if and only if is dominated by an -harmonic function. We call such solutions moderate. A moderate solution is determined uniquely by its trace. In general, many solutions can have the same trace. In an earlier paper, we investigated the case when is a second order elliptic differential operator in and is a bounded smooth domain in . We obtained necessary and sufficient conditions for a pair to be a trace, and we gave a probabilistic formula for the maximal solution with a given trace. The general theory developed in the present paper is applicable, in particular, to elliptic operators with bounded coefficients in an arbitrary bounded domain of , assuming only that the Martin boundary and the geometric boundary coincide.

     

Bordism of spin 4-manifolds with local action of tori

We prove that bordism group of spin -manifolds with singular -structure, the notion introduced by Cheeger and Gromov, is an infinite cyclic group and is detected by singnature. In particular we obtain that the theorem of Atiyah and Hirzebruch of vanishing of Â-genus in case of action on spin -manifolds is not valid in case of -structures on spin -manifolds.

     

Eigenfunctions of the Laplacian on rotationally symmetric manifolds

Eigenfunctions of the Laplacian on a negatively curved, rotationally symmetric manifold are constructed explicitly under the assumption that an integral of converges. This integral is the same one which gives the existence of nonconstant harmonic functions on