The cyclic and simplicial cohomology of

Let be the unital semigroup algebra of . We show that the cyclic cohomology groups vanish when is odd and are one dimensional when is even (). Using Connes' exact sequence, these results are used to show that the simplicial cohomology groups vanish for . The results obtained are extended to unital algebras for some other semigroups of .

     

Boundary Hölder and estimates for local solutions of the tangential Cauchy-Riemann equation

We study the local solvability of the tangential Cauchy-Riemann equation on an open neighborhood of a point when is a generic -concave manifold of real codimension in , where . Our method is to first derive a homotopy formula for in when is the intersection of with a strongly pseudoconvex domain. The homotopy formula gives a local solution operator for any -closed form on without shrinking. We obtain Hölder and estimates up to the boundary for the solution operator. RÉSUMÉ. Nous étudions la résolubilité locale de l'opérateur de Cauchy- Riemann tangentiel sur un voisinage d'un point d'une sous-variété générique -concave de codimension quelconque de . Nous construisons une formule d'homotopie pour le sur , lorsque est l'intersection de et d'un domaine strictement pseudoconvexe. Nous obtenons ainsi un opérateur de résolution pour toute forme -fermée sur . Nous en déduisons des estimations et des estimations hölderiennes jusqu'au bord pour la solution de l'équation de Cauchy-Riemann tangentielle sur .

     

The cohomology of the Steenrod algebra and representations of the general linear groups

Let be the algebraic transfer that maps from the coinvariants of certain -representations to the cohomology of the Steenrod algebra. This transfer was defined by W. Singer as an algebraic version of the geometrical transfer . It has been shown that the algebraic transfer is highly nontrivial, more precisely, that is an isomorphism for and that is a homomorphism of algebras.

In this paper, we first recognize the phenomenon that if we start from any degree and apply repeatedly at most times, then we get into the region in which all the iterated squaring operations are isomorphisms on the coinvariants of the -representations. As a consequence, every finite -family in the coinvariants has at most nonzero elements. Two applications are exploited.

The first main theorem is that is not an isomorphism for . Furthermore, for every 5$">, there are infinitely many degrees in which is not an isomorphism. We also show that if detects a nonzero element in certain degrees of , then it is not a monomorphism and further, for each \ell$">, is not a monomorphism in infinitely many degrees.

The second main theorem is that the elements of any -family in the cohomology of the Steenrod algebra, except at most its first elements, are either all detected or all not detected by , for every . Applications of this study to the cases and show that does not detect the three families , and , and that does not detect the family .

     

Depth and cohomological connectivity in modular invariant theory

Let be a finite group acting linearly on a finite-dimensional vector space over a field of characteristic . Assume that  divides the order of so that is a modular representation and let be a Sylow -subgroup for . Define the cohomological connectivity of the symmetric algebra to be the smallest positive integer such that . We show that is a lower bound for the depth of . We characterize those representations for which the lower bound is sharp and give several examples of representations satisfying the criterion. In particular, we show that if is -nilpotent and is cyclic, then, for any modular representation, the depth of is .

     

The -invariant on certain surfaces with symmetry groups

The global holomorphic -invariant introduced by Tian is closely related to the existence of Kähler-Einstein metrics. We apply the result of Tian, Yau and Zelditch on polarized Kähler metrics to approximate plurisubharmonic functions and compute the -invariant on for .

     

On the number of terms in the middle of almost split sequences over tame algebras

Let be a finite dimensional tame algebra over an algebraically closed field . It has been conjectured that any almost split sequence with indecomposable modules has and in case , then exactly one of the is a projective-injective module. In this work we show this conjecture in case all the are directing modules, that is, there are no cycles of non-zero, non-iso maps between indecomposable -modules. In case, and are isomorphic, we show that and give precise information on the structure of .

     

Classification of regular maps of negative prime Euler characteristic

We give a classification of all regular maps on nonorientable surfaces with a negative odd prime Euler characteristic (equivalently, on nonorientable surfaces of genus where is an odd prime). A consequence of our classification is that there are no regular maps on nonorientable surfaces of genus where is a prime such that (mod ) and .

     

On structurally stable diffeomorphisms with codimension one expanding attractors

We show that if a closed -manifold admits a structurally stable diffeomorphism with an orientable expanding attractor of codimension one, then is homotopy equivalent to the -torus and is homeomorphic to for . Moreover, there are no nontrivial basic sets of different from . This allows us to classify, up to conjugacy, structurally stable diffeomorphisms having codimension one orientable expanding attractors and contracting repellers on , .

     

Dimension of families of determinantal schemes

A scheme of codimension is called standard determinantal if its homogeneous saturated ideal can be generated by the maximal minors of a homogeneous matrix and is said to be good determinantal if it is standard determinantal and a generic complete intersection. Given integers and we denote by (resp. ) the locus of good (resp. standard) determinantal schemes of codimension defined by the maximal minors of a matrix where is a homogeneous polynomial of degree .

In this paper we address the following three fundamental problems: To determine (1) the dimension of (resp. ) in terms of and , (2) whether the closure of is an irreducible component of , and (3) when is generically smooth along . Concerning question (1) we give an upper bound for the dimension of (resp. ) which works for all integers and , and we conjecture that this bound is sharp. The conjecture is proved for , and for under some restriction on and . For questions (2) and (3) we have an affirmative answer for and , and for under certain numerical assumptions.

     

Weighted estimates in for Laplace's equation on Lipschitz domains

Let , , be a bounded Lipschitz domain. For Laplace's equation in , we study the Dirichlet and Neumann problems with boundary data in the weighted space , where , is a fixed point on , and denotes the surface measure on . We prove that there exists such that the Dirichlet problem is uniquely solvable if , and the Neumann problem is uniquely solvable if . If is a domain, one may take . The regularity for the Dirichlet problem with data in the weighted Sobolev space is also considered. Finally we establish the weighted estimates with general weights for the Dirichlet and regularity problems.

     

A construction of homologically area minimizing hypersurfaces with higher dimensional singular sets

We show that a large variety of singular sets can occur for homologically area minimizing codimension one surfaces in a Riemannian manifold. In particular, as a result of Theorem A, if is smooth, compact dimensional manifold, , and if is an embedded, orientable submanifold of dimension , then we construct metrics on such that the homologically area minimizing hypersurface , homologous to , has a singular set equal to a prescribed number of spheres and tori of codimension less than . Near each component of the singular set, is isometric to a product , where is any prescribed, strictly stable, strictly minimizing cone. In Theorem B, other singular examples are constructed.

     

Linear functionals of eigenvalues of random matrices

Let be a random unitary matrix with distribution given by Haar measure on the unitary group. Using explicit moment calculations, a general criterion is given for linear combinations of traces of powers of to converge to a Gaussian limit as . By Fourier analysis, this result leads to central limit theorems for the measure on the circle that places a unit mass at each of the eigenvalues of . For example, the integral of this measure against a function with suitably decaying Fourier coefficients converges to a Gaussian limit without any normalisation. Known central limit theorems for the number of eigenvalues in a circular arc and the logarithm of the characteristic polynomial of are also derived from the criterion. Similar results are sketched for Haar distributed orthogonal and symplectic matrices.

     

Inequalities for finite group permutation modules

If is a nonzero complex-valued function defined on a finite abelian group and is its Fourier transform, then , where and are the supports of and . In this paper we generalize this known result in several directions. In particular, we prove an analogous inequality where the abelian group is replaced by a transitive right -set, where is an arbitrary finite group. We obtain stronger inequalities when the -set is primitive, and we determine the primitive groups for which equality holds. We also explore connections between inequalities of this type and a result of Chebotarëv on complex roots of unity, and we thereby obtain a new proof of Chebotarëv's theorem.

     

Anosov automorphisms on compact nilmanifolds associated with graphs

We associate with each graph a -step simply connected nilpotent Lie group and a lattice in . We determine the group of Lie automorphisms of and apply the result to describe a necessary and sufficient condition, in terms of the graph, for the compact nilmanifold to admit an Anosov automorphism. Using the criterion we obtain new examples of compact nilmanifolds admitting Anosov automorphisms, and conclude that for every there exist a -dimensional -step simply connected nilpotent Lie group which is indecomposable (not a direct product of lower dimensional nilpotent Lie groups), and a lattice in such that admits an Anosov automorphism; we give also a lower bound on the number of mutually nonisomorphic Lie groups of a given dimension, satisfying the condition. Necessary and sufficient conditions are also described for a compact nilmanifold as above to admit ergodic automorphisms.

     

On initial segment complexity and degrees of randomness

One approach to understanding the fine structure of initial segment complexity was introduced by Downey, Hirschfeldt and LaForte. They define to mean that . The equivalence classes under this relation are the -degrees. We prove that if is -random, then and have no upper bound in the -degrees (hence, no join). We also prove that -randomness is closed upward in the -degrees. Our main tool is another structure intended to measure the degree of randomness of real numbers: the -degrees. Unlike the -degrees, many basic properties of the -degrees are easy to prove. We show that implies , so some results can be transferred. The reverse implication is proved to fail. The same analysis is also done for , the analogue of for plain Kolmogorov complexity.

Two other interesting results are included. First, we prove that for any , a -random real computable from a --random real is automatically --random. Second, we give a plain Kolmogorov complexity characterization of -randomness. This characterization is related to our proof that implies .

     

Good measures on Cantor space

While there is, up to homeomorphism, only one Cantor space, i.e. one zero-dimensional, perfect, compact, nonempty metric space, there are many measures on Cantor space which are not topologically equivalent. The clopen values set for a full, nonatomic measure is the countable dense subset is clopen of the unit interval. It is a topological invariant for the measure. For the class of good measures it is a complete invariant. A full, nonatomic measure is good if whenever are clopen sets with , there exists a clopen subset of such that . These measures have interesting dynamical properties. They are exactly the measures which arise from uniquely ergodic minimal systems on Cantor space. For some of them there is a unique generic measure-preserving homeomorphism. That is, within the Polish group of such homeomorphisms there is a dense, conjugacy class.

     

Degeneration of linear systems through fat points on surfaces

In this paper we introduce a technique to degenerate surfaces and linear systems through fat points in general position on surfaces. Using this degeneration we show that on generic surfaces it is enough to prove that linear systems with one fat point are non-special in order to obtain the non-speciality of homogeneous linear systems through fat points in general position. Moreover, we use this degeneration to obtain a result for homogeneous linear systems through fat points in general position on a general quartic surface in .

     

Maximal holonomy of infra-nilmanifolds with -dimensional quaternionic Heisenberg geometry

Let be the quaternionic Heisenberg group of real dimension and let denote the maximal order of the holonomy groups of all infra-nilmanifolds with -geometry. We prove that . As an application, by applying Kim and Parker's result, we obtain that the minimum volume of a -dimensional quaternionic hyperbolic manifold with cusps is at least

     

Gromov translation algebras over discrete trees are exchange rings

It is shown that the Gromov translation ring of a discrete tree over a von Neumann regular ring is an exchange ring. This provides a new source of exchange rings, including, for example, the algebras of matrices (over a field) of constant bandwidth. An extension of these ideas shows that for all real numbers in the unit interval , the growth algebras (introduced by Hannah and O'Meara in 1993) are exchange rings. Consequently, over a countable field, countable-dimensional exchange algebras can take any prescribed bandwidth dimension in .

     

Stable and finite Morse index solutions on or on bounded domains with small diffusion

In this paper, we study bounded solutions of on (where and sometimes ) and show that, for most 's, the weakly stable and finite Morse index solutions are quite simple. We then use this to obtain a very good understanding of the stable and bounded Morse index solutions of on with Dirichlet or Neumann boundary conditions for small .