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 .

     

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.

     

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 .

     

Tight closure, plus closure and Frobenius closure in cubical cones

We consider tight closure, plus closure and Frobenius closure in the rings , where is a field of characteristic and . We use a -grading of these rings to reduce questions about ideals in the quotient rings to questions about ideals in the regular ring . We show that Frobenius closure is the same as tight closure in certain classes of ideals when . Since , we conclude that for these ideals. Using injective modules over the ring , the union of all th roots of elements of , we reduce the question of whether for -graded ideals to the case of -graded irreducible modules. We classify the irreducible -primary -graded ideals. We then show that for most irreducible -primary -graded ideals in , where is a field of characteristic and . Hence for these ideals.

     

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 .

     

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.

     

Groups with two extreme character degrees and their normal subgroups

We study the finite groups for which the set of irreducible complex character degrees consists of the two most extreme possible values, that is, and . We are easily reduced to finite -groups, for which we derive the following group theoretical characterization: they are the -groups such that is a square and whose only normal subgroups are those containing or contained in . By analogy, we also deal with -groups such that is not a square, and we prove that if and only if a similar property holds: for any , either or . The proof of these results requires a detailed analysis of the structure of the -groups with any of the conditions above on normal subgroups, which is interesting for its own sake. It is especially remarkable that these groups have small nilpotency class and that, if the nilpotency class is greater than , then the index of the centre is small, and in some cases we may even bound the order of .

     

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.

     

Homotopy commutativity of -spaces with finitely generated cohomology

We show that a simply connected homotopy associative and homotopy commutative mod -space with finitely generated mod cohomology is homotopy equivalent to a finite product of , , the three-connected cover and the homotopy fiber of the map for . Our result also shows that a connected -space in the sense of Sugawara with finitely generated mod cohomology has the homotopy type of a finite product of , and for .

     

An analogue of minimal surface theory in

We shall discuss the class of surfaces with holomorphic right Gauss maps in non-compact duals of compact semi-simple Lie groups (e.g. ), which contains minimal surfaces in and constant mean curvature surfaces in . A Weierstrass type representation formula and a Chern-Osserman type inequality for such surfaces are given.

     

Sharp Sobolev-Poincaré inequalities on compact Riemannian manifolds

Given a smooth compact Riemannian -manifold, , we return in this article to the study of the sharp Sobolev-Poincaré type inequality

where is the critical Sobolev exponent, and is the sharp Euclidean Sobolev constant. Druet, Hebey and Vaugon proved that is true if , that is true if and the sectional curvature of is a nonpositive constant, or the Cartan-Hadamard conjecture in dimension is true and the sectional curvature of is nonpositive, but that is false if and the scalar curvature of is positive somewhere. When is true, we define as the smallest in . The saturated form of reads as

We assume in this article that , and complete the study by Druet, Hebey and Vaugon of the sharp Sobolev-Poincaré inequality . We prove that is true, and that possesses extremal functions when the scalar curvature of is negative. A fairly complete answer to the question of the validity of under the assumption that the scalar curvature is not necessarily negative, but only nonpositive, is also given.

     

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.

     

Local derivations on -algebras are derivations

Kadison has shown that local derivations from a von Neumann algebra into any dual bimodule are derivations. In this paper we extend this result to local derivations from any -algebra into any Banach -bimodule . Most of the work is involved with establishing this result when is a commutative -algebra with one self-adjoint generator. A known result of the author about Jordan derivations then completes the argument. We show that these results do not extend to the algebra of continuously differentiable functions on . We also give an automatic continuity result, that is, we show that local derivations on -algebras are continuous even if not assumed a priori to be so.

     

Berezin transform on real bounded symmetric domains

Let be a bounded symmetric domain in a complex vector space with a real form and be the real bounded symmetric domain in the real vector space . We construct the Berezin kernel and consider the Berezin transform on the -space on . The corresponding representation of is then unitarily equivalent to the restriction to of a scalar holomorphic discrete series of holomorphic functions on and is also called the canonical representation. We find the spectral symbol of the Berezin transform under the irreducible decomposition of the -space.

     

Analyticity on translates of a Jordan curve

Let be a domain in which is symmetric with respect to the real axis and whose boundary is a real analytic simple closed curve. Translate vertically to get where is such that . We prove that if is a continuous function on such that for each , the function has a continuous extension to which is holomorphic on , then is holomorphic on .

     

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.

     

-Betti numbers

A standing conjecture in -cohomology says that every finite -complex is of -determinant class. In this paper, we prove this whenever the fundamental group belongs to a large class of groups containing, e.g., all extensions of residually finite groups with amenable quotients, all residually amenable groups, and free products of these. If, in addition, is -acyclic, we also show that the -determinant is a homotopy invariant -- giving a short and easy proof independent of and encompassing all known cases. Under suitable conditions we give new approximation formulas for -Betti numbers.