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 .

     

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 .

     

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.

     

A nonlinear Fokker-Planck equation modelling the approach to thermal equilibrium in a homogeneous plasma

This work deals with the problem consisting in the equation

together with no-flux conditions at and , i.e.

Such a problem arises as a kinetic approximation to describe the evolution of the radiation distribution in a homogeneous plasma when radiation interacts with matter via Compton scattering. We shall prove that there exist solutions of , which develop singularities near in a finite time, regardless of how small the initial number of photons is. The nature of such singularities is then analyzed in detail. In particular, we show that the flux condition is lost at when the singularity unfolds. The corresponding blow-up pattern is shown to be asymptotically of a shock wave type. In rescaled variables, it consists in an imploding travelling wave solution of the Burgers equation near , that matches a suitable diffusive profile away from the shock. Finally, we also show that, on replacing near as determined by the manner of blow-up, such solutions can be continued for all times after the onset of the singularity.

     

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.

     

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

     

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 .

     

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 .

     

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 .

     

Homology of the configuration spaces of quasi-equilateral polygon linkages

We consider the configuration space of quasi-equilateral polygon linkages with vertices each edge having length except for one fixed edge having length in the Euclidean plane In this paper, we determine .

     

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.

     

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 .

     

A growth dichotomy for o-minimal expansions of ordered groups

Let be an o-minimal expansion of a divisible ordered abelian group with a distinguished positive element . Then the following dichotomy holds: Either there is a -definable binary operation such that is an ordered real closed field; or, for every definable function there exists a -definable with . This has some interesting consequences regarding groups definable in o-minimal structures. In particular, for an o-minimal structure there are, up to definable isomorphism, at most two continuous (with respect to the product topology induced by the order) -definable groups with underlying set .

     

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.