Finely -harmonic functions of a Markov process

Let be a Borel right process and a fixed excessive measure. Given a finely open nearly Borel set we define an operator which we regard as an extension of the restriction to of the generator of . It maps functions on to (locally) signed measures on not charging -semipolars. Given a locally smooth signed measure we define to be (finely) -harmonic on provided on and denote the class of such by . Under mild conditions on we show that is equivalent to a local ``Poisson' representation of . We characterize by an analog of the mean value property under secondary assumptions. We obtain global Poisson type representations and study the Dirichlet problem for elements of under suitable finiteness hypotheses. The results take their nicest form when specialized to Hunt processes.

     

Coloring

If and , then define the graph to be the graph whose vertex set is with two vertices being adjacent iff there are distinct such that . For various and and various , typically or , the graph can be properly colored with colors. It is shown that in some cases such a coloring can also have the additional property that if is an isometric embedding, then the restriction of to is a bijection onto .

     

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.

     

Composite Bank-Laine functions and a question of Rubel

A Bank-Laine function is an entire function satisfying at every zero of . We determine all Bank-Laine functions of form , with entire. Further, we prove that if is a transcendental entire function of finite order, then there exists a path tending to infinity on which and all its derivatives tend to infinity, thus establishing for finite order a conjecture of Rubel.

     

Rational -equivariant homotopy theory

We give an algebraicization of rational -equivariant homotopy theory. There is an algebraic category of `` -systems' which is equivalent to the homotopy category of rational -simply connected -spaces. There is also a theory of ``minimal models' for -systems, analogous to Sullivan's minimal algebras. Each -space has an associated minimal -system which encodes all of its rational homotopy information, including its rational equivariant cohomology and Postnikov decomposition.

     

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.

     

Milnor classes of local complete intersections

Let be a compact local complete intersection defined as the zero set of a section of a holomorphic vector bundle over the ambient space. For each connected component of the singular set of , we define the Milnor class in the homology of . The difference between the Schwartz-MacPherson class and the Fulton-Johnson class of is shown to be equal to the sum of over the connected components of . This is done by proving Poincaré-Hopf type theorems for these classes with respect to suitable tangent frames. The -degree component coincides with the Milnor numbers already defined by various authors in particular situations. We also give an explicit formula for when is a non-singular component and satisfies the Whitney condition along .

     

A dimension inequality for Cohen-Macaulay rings

The recent work of Kurano and Roberts on Serre's positivity conjecture suggests the following dimension inequality: for prime ideals and in a local, Cohen-Macaulay ring such that we have . We establish this dimension inequality for excellent, local, Cohen-Macaulay rings which contain a field, for certain low-dimensional cases and when is regular.

     

The extraspecial case of the problem

Let be an extraspecial-type group and a faithful, absolutely irreducible -module, where is a finite field. Let be the normalizer in of . We show that, with few exceptions, there exists a such that the restriction of to is self-dual whenever and .

     

Semi-linear homology -spheres and their equivariant inertia groups

This paper introduces an abelian group for all semi-linear homology -spheres, which corresponds to a known abelian group for all semi-linear homotopy -spheres, where is a compact Lie group and is a -representation with 0$">. Then using equivariant surgery techniques, we study the relation between both and when is finite. The main result is that under the conditions that -action is semi-free and with 0$">, the homomorphism defined by is an isomorphism if , and a monomorphism if . This is an equivariant analog of a well-known result in differential topology. Such a result is also applied to the equivariant inertia groups of semi-linear homology -spheres.

     

Sufficient conditions for zero-one laws

We generalize a result of Bateman and Erdos concerning partitions, thereby answering a question of Compton. From this result it follows that if is a class of finite relational structures that is closed under the formation of disjoint unions and the extraction of components, and if it has the property that the number of indecomposables of size is bounded above by a polynomial in , then has a monadic second order - law. Moreover, we show that if a class of finite structures with the unique factorization property is closed under the formation of direct products and the extraction of indecomposable factors, and if it has the property that the number of indecomposables of size at most is bounded above by a polynomial in , then this class has a first order - law. These results cover all known natural examples of classes of structures that have been proved to have a logical - law by Compton's method of analyzing generating functions.

     

Topological mixing in -spaces

If is a proper -space and a non-elementary discrete group of isometries acting properly discontinuously on it is shown that the geodesic flow on the quotient space is topologically mixing, provided that the generalized Busemann function has zeros on the boundary and the non-wandering set of the flow equals the whole quotient space of geodesics (the latter being redundant when is compact). Applications include the proof of topological mixing for (A) compact negatively curved polyhedra, (B) compact quotients of proper geodesically complete -spaces by a one-ended group of isometries and (C) finite -dimensional ideal polyhedra.

     

Polynomials nonnegative on a grid and discrete optimization

We characterize the real-valued polynomials on that are nonnegative (not necessarily strictly positive) on a grid of points of , in terms of a weighted sum of squares whose degree is bounded and known in advance. We also show that the mimimization of an arbitrary polynomial on (a discrete optimization problem) reduces to a convex continuous optimization problem of fixed size. The case of concave polynomials is also investigated. The proof is based on a recent result of Curto and Fialkow on the -moment problem.

     

Shellability in reductive monoids

The purpose of this paper is to extend to monoids the work of Björner, Wachs and Proctor on the shellability of the Bruhat-Chevalley order on Weyl groups. Let be a reductive monoid with unit group , Borel subgroup and Weyl group . We study the partially ordered set of -orbits (with respect to Zariski closure inclusion) within a -orbit of . This is the same as studying a -orbit in the Renner monoid . Such an orbit is the retract of a `universal orbit', which is shown to be lexicograhically shellable in the sense of Björner and Wachs.

     

Monge's transport problem on a Riemannian manifold

Monge's problem refers to the classical problem of optimally transporting mass: given Borel probability measures , find the measure-preserving map between them which minimizes the average distance transported. Set on a complete, connected, Riemannian manifold -- and assuming absolute continuity of -- an optimal map will be shown to exist. Aspects of its uniqueness are also established.

     

Vertices for characters of -solvable groups

Suppose that is a finite -solvable group. We associate to every irreducible complex character of a canonical pair , where is a -subgroup of and , uniquely determined by up to -conjugacy. This pair behaves as a Green vertex and partitions into ``families" of characters. Using the pair , we give a canonical choice of a certain -radical subgroup of and a character associated to which was predicted by some conjecture of G. R. Robinson.

     

Induced operators on symmetry classes of tensors

Let be an -dimensional Hilbert space. Suppose is a subgroup of the symmetric group of degree , and is a character of degree 1 on . Consider the symmetrizer on the tensor space

defined by and . The vector space

is a subspace of , called the symmetry class of tensors over associated with and . The elements in of the form are called decomposable tensors and are denoted by . For any linear operator acting on , there is a (unique) induced operator acting on satisfying

In this paper, several basic problems on induced operators are studied.

     

Backward stability for polynomial maps with locally connected Julia sets

We study topological dynamics on unshielded planar continua with weak expanding properties at cycles for which we prove that the absence of wandering continua implies backward stability. Then we deduce from this that a polynomial with a locally connected Julia set is backward stable outside any neighborhood of its attracting and neutral cycles. For a conformal measure this easily implies that one of the following holds: 1. for -a.e. , ; 2. for -a.e. , for a critical point depending on .

     

Degenerate fibres in the Stone-Cech compactification of the universal bundle of a finite group

Applied to a continuous surjection of completely regular Hausdorff spaces and , the Stone-Cech compactification functor yields a surjection . For an -fold covering map , we show that the fibres of , while never containing more than points, may degenerate to sets of cardinality properly dividing . In the special case of the universal bundle of a -group , we show more precisely that every possible type of -orbit occurs among the fibres of . To prove this, we use a weak form of the so-called generalized Sullivan conjecture.