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 .

     

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 .

     

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.

     

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 .

     

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 .

     

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 .

     

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.

     

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.

     

Characterizations of weakly compact operators on

Let be a locally compact Hausdorff space and let , is continuous and vanishes at infinity} be provided with the supremum norm. Let and be the -rings generated by the compact subsets and by the compact subsets of , respectively. The members of are called -Borel sets of since they are precisely the -bounded Borel sets of . The members of are called the Baire sets of . denotes the dual of . Let be a quasicomplete locally convex Hausdorff space. Suppose is a continuous linear operator. Using the Baire and -Borel characterizations of weakly compact sets in as given in a previous paper of the author's and combining the integration technique of Bartle, Dunford and Schwartz, we obtain 35 characterizations for the operator to be weakly compact, several of which are new. The independent results on the regularity and on the regular Borel extendability of -additive -valued Baire measures are deduced as an immediate consequence of these characterizations. Some other applications are also included.

     

Small subalgebras of Steenrod and Morava stabilizer algebras

Let (resp. be the subalgebra of the Steenrod algebra (resp. th Morava stabilizer algebra) generated by reduced powers , (resp. , . In this paper we identify the dual of (resp. , for with some Frobenius kernel (resp. -points) of a unipotent subgroup of the general linear algebraic group . Using these facts, we get the additive structure of for odd primes.

     

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

     

The structure of indecomposable injectives in generic representation theory

This paper considers the structure of the injective objects in the category of functors between -vector spaces. A co-Weyl object is defined, for each simple functor in . A functor is defined to be -good if it admits a finite filtration of which the quotients are co-Weyl objects. Properties of -good functors are considered and it is shown that the indecomposable injectives in are -good. A finiteness result for proper sub-functors of co-Weyl objects is proven, using the polynomial filtration of the shift functor . This research is motivated by the Artinian conjecture due to Kuhn, Lannes and Schwartz.

     

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 .

     

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 .

     

Convergence of random walks on the circle generated by an irrational rotation

Fix . Consider the random walk on the circle which proceeds by repeatedly rotating points forward or backward, with probability , by an angle . This paper analyzes the rate of convergence of this walk to the uniform distribution under ``discrepancy' distance. The rate depends on the continued fraction properties of the number . We obtain bounds for rates when is any irrational, and a sharp rate when is a quadratic irrational. In that case the discrepancy falls as (up to constant factors), where is the number of steps in the walk. This is the first example of a sharp rate for a discrete walk on a continuous state space. It is obtained by establishing an interesting recurrence relation for the distribution of multiples of which allows for tighter bounds on terms which appear in the Erdös-Turán inequality.

     

The Santaló-regions of a convex body

Motivated by the Blaschke-Santaló inequality, we define for a convex body in and for the Santaló-regions of . We investigate the properties of these sets and relate them to a concept of affine differential geometry, the affine surface area of .

     

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.