Lattice invariants and the center of the generic division ring

Let be a finite group, let be a -lattice, and let be a field of characteristic zero containing primitive roots of 1. Let be the quotient field of the group algebra of the abelian group . It is well known that if is quasi-permutation and -faithful, then is stably equivalent to . Let be the center of the division ring of generic matrices over . Let be the symmetric group on symbols. Let be a prime. We show that there exist a split group extension of by a -elementary group, a -faithful quasi-permutation -lattice , and a one-cocycle in such that is stably isomorphic to . This represents a reduction of the problem since we have a quasi-permutation action; however, the twist introduces a new level of complexity. The second result, which is a consequence of the first, is that, if is algebraically closed, there is a group extension of by an abelian -group such that is stably equivalent to the invariants of the Noether setting .

     

On the representation of integers as linear combinations of consecutive values of a polynomial

Let be a cyclotomic field with ring of integers and let be a polynomial whose values on belong to . If the ideal of generated by the values of on is itself, then every algebraic integer of may be written in the following form:

for some integer , where the 's are roots of unity of . Moreover, there are two effective constants and such that the least integer (for a fixed ) is less than , where

     

On peak-interpolation manifolds for

Let be a bounded, weakly convex domain in , , having real-analytic boundary. is the algebra of all functions holomorphic in and continuous up to the boundary. A submanifold is said to be complex-tangential if lies in the maximal complex subspace of for each . We show that for real-analytic submanifolds , if is complex-tangential, then every compact subset of is a peak-interpolation set for .

     

A class of -algebras generalizing both graph algebras and homeomorphism -algebras I, fundamental results

We introduce a new class of -algebras, which is a generalization of both graph algebras and homeomorphism -algebras. This class is very large and also very tractable. We prove the so-called gauge-invariant uniqueness theorem and the Cuntz-Krieger uniqueness theorem, and compute the -groups of our algebras.

     

Flat holomorphic connections on principal bundles over a projective manifold

Let be a connected complex linear algebraic group and its unipotent radical. A principal -bundle over a projective manifold will be called polystable if the associated principal -bundle is so. A -bundle over is polystable with vanishing characteristic classes of degrees one and two if and only if admits a flat holomorphic connection with the property that the image in of the monodromy of the connection is contained in a maximal compact subgroup of .

     

Thomason's theorem for varieties over algebraically closed fields

We present a novel proof of Thomason's theorem relating Bott inverted algebraic -theory with finite coefficients and étale cohomology for smooth varieties over algebraically closed ground fields. Our proof involves first introducing a new theory, which we term algebraic -homology, and proving it satisfies étale descent (with finite coefficients) on the category of normal, Cohen-Macaulay varieties. Then, we prove algebraic -homology and algebraic -theory (each taken with finite coefficients) coincide on smooth varieties upon inverting the Bott element.

     

On orbital partitions and exceptionality of primitive permutation groups

Let and be transitive permutation groups on a set such that is a normal subgroup of . The overgroup induces a natural action on the set of non-trivial orbitals of on . In the study of Galois groups of exceptional covers of curves, one is led to characterizing the triples where fixes no elements of ; such triples are called exceptional. In the study of homogeneous factorizations of complete graphs, one is led to characterizing quadruples where is a partition of such that is transitive on ; such a quadruple is called a TOD (transitive orbital decomposition). It follows easily that the triple in a TOD is exceptional; conversely if an exceptional triple is such that is cyclic of prime-power order, then there exists a partition of such that is a TOD. This paper characterizes TODs such that is primitive and is cyclic of prime-power order. An application is given to the classification of self-complementary vertex-transitive graphs.

     

Identities of graded algebras and codimension growth

Let be a -graded associative algebra over a field of characteristic zero. In this paper we develop a conjecture that relates the exponent of the growth of polynomial identities of the identity component to that of the whole of , in the case where the support of the grading is finite. We prove the conjecture in several natural cases, one of them being the case where is finite dimensional and has polynomial growth.

     

Poincaré's closed geodesic on a convex surface

We present a new proof for the existence of a simple closed geodesic on a convex surface . This result is due originally to Poincaré. The proof uses the -dimensional Riemannian manifold of piecewise geodesic closed curves on with a fixed number of corners, chosen sufficiently large. In we consider a submanifold formed by those elements of which are simple regular and divide into two parts of equal total curvature . The main burden of the proof is to show that the energy integral , restricted to , assumes its infimum. At the end we give some indications of how our methods yield a new proof also for the existence of three simple closed geodesics on .

     

Morse index and uniqueness for positive solutions of radial -Laplace equations

We study the positive radial solutions of the Dirichlet problem in , 0$"> in , on , where , 1$">, is the -Laplace operator, is the unit ball in centered at the origin and is a function. We are able to get results on the spectrum of the linearized operator in a suitable weighted space of radial functions and derive from this information on the Morse index. In particular, we show that positive radial solutions of Mountain Pass type have Morse index 1 in the subspace of radial functions of . We use this to prove uniqueness and nondegeneracy of positive radial solutions when is of the type and .

     

On restrictions of modular spin representations of symmetric and alternating groups

Let be an algebraically closed field of characteristic and be an almost simple group or a central extension of an almost simple group. An important problem in representation theory is to classify the subgroups of and -modules such that the restriction is irreducible. For example, this problem is a natural part of the program of describing maximal subgroups in finite classical groups. In this paper we investigate the case of the problem where is the Schur's double cover or .

     

On Diophantine definability and decidability in some infinite totally real extensions of

Let be a number field, and a set of its non-Archimedean primes. Then let . Let be a finite set of prime numbers. Let be the field generated by all the -th roots of unity as and . Let be the largest totally real subfield of . Then for any 0$">, there exist a number field , and a set of non-Archimedean primes of such that has density greater than , and has a Diophantine definition over the integral closure of in .

     

Real loci of symplectic reductions

Let be a compact, connected symplectic manifold with a Hamiltonian action of a compact -dimensional torus . Suppose that is equipped with an anti-symplectic involution compatible with the -action. The real locus of is the fixed point set of . Duistermaat introduced real loci, and extended several theorems of symplectic geometry to real loci. In this paper, we extend another classical result of symplectic geometry to real loci: the Kirwan surjectivity theorem. In addition, we compute the kernel of the real Kirwan map. These results are direct consequences of techniques introduced by Tolman and Weitsman. In some examples, these results allow us to show that a symplectic reduction has the same ordinary cohomology as its real locus , with degrees halved. This extends Duistermaat's original result on real loci to a case in which there is not a natural Hamiltonian torus action.

     

Symmetrization, symmetric stable processes, and Riesz capacities

Let be a symmetric -stable process killed on exiting an open subset of . We prove a theorem that describes the behavior of its transition probabilities under polarization. We show that this result implies that the probability of hitting a given set in the complement of in the first exit moment from increases when and are polarized. It can also lead to symmetrization theorems for hitting probabilities, Green functions, and Riesz capacities. One such theorem is the following: Among all compact sets in with given volume, the balls have the least -capacity ( ).

     

The Perron-Frobenius theorem for homogeneous, monotone functions

If is a nonnegative matrix whose associated directed graph is strongly connected, the Perron-Frobenius theorem asserts that has an eigenvector in the positive cone, . We associate a directed graph to any homogeneous, monotone function, , and show that if the graph is strongly connected, then has a (nonlinear) eigenvector in . Several results in the literature emerge as corollaries. Our methods show that the Perron-Frobenius theorem is ``really' about the boundedness of invariant subsets in the Hilbert projective metric. They lead to further existence results and open problems.

     

Higher homotopy commutativity of -spaces and the permuto-associahedra

In this paper, we give a combinatorial definition of a higher homotopy commutativity of the multiplication for an -space. To give the definition, we use polyhedra called the permuto-associahedra which are constructed by Kapranov. We also show that if a connected -space has the finitely generated mod cohomology for a prime and the multiplication of it is homotopy commutative of the -th order, then it has the mod homotopy type of a finite product of Eilenberg-Mac Lane spaces s, s and s for .

     

Oppenheim conjecture for pairs consisting of a linear form and a quadratic form

Let be a nondegenerate quadratic form and a nonzero linear form of dimension 3$">. As a generalization of the Oppenheim conjecture, we prove that the set is dense in provided that and satisfy some natural conditions. The proof uses dynamics on homogeneous spaces of Lie groups.

     

A separable Brown-Douglas-Fillmore theorem and weak stability

We give a separable Brown-Douglas-Fillmore theorem. Let be a separable amenable -algebra which satisfies the approximate UCT, be a unital separable amenable purely infinite simple -algebra and be two monomorphisms. We show that and are approximately unitarily equivalent if and only if We prove that, for any 0$"> and any finite subset , there exist 0$"> and a finite subset satisfying the following: for any amenable purely infinite simple -algebra and for any contractive positive linear map such that

for all there exists a homomorphism such that

provided, in addition, that are finitely generated. We also show that every separable amenable simple -algebra with finitely generated -theory which is in the so-called bootstrap class is weakly stable with respect to the class of amenable purely infinite simple -algebras. As an application, related to perturbations in the rotation -algebras studied by U. Haagerup and M. Rørdam, we show that for any irrational number and any 0$"> there is 0$"> such that in any unital amenable purely infinite simple -algebra if

for a pair of unitaries, then there exists a pair of unitaries and in such that

     

Spécialisation de la -équivalence pour les groupes réductifs

Soit un groupe réductif défini sur un corps de caractéristique distincte de . On montre que le groupes des classes de -équivalence de ne change pas lorsque l'on passe de au corps des séries de Laurent , c'est-à-dire que l'on a un isomorphisme naturel .

ABSTRACT. Let be a reductive group defined over a field of characteristic . We show that the group of -equivalence for is invariant by the change of fields given by the Laurent series. In other words, there is a natural isomorphism .