The cohomology of certain Hopf algebras associated with -groups

We study the cohomology of a locally finite, connected, cocommutative Hopf algebra over . Specifically, we are interested in those algebras for which is generated as an algebra by and . We shall call such algebras semi-Koszul. Given a central extension of Hopf algebras with monogenic and semi-Koszul, we use the Cartan-Eilenberg spectral sequence and algebraic Steenrod operations to determine conditions for to be semi-Koszul. Special attention is given to the case in which is the restricted universal enveloping algebra of the Lie algebra obtained from the mod- lower central series of a -group. We show that the algebras arising in this way from extensions by of an abelian -group are semi-Koszul. Explicit calculations are carried out for algebras arising from rank 2 -groups, and it is shown that these are all semi-Koszul for .

     

Simple birational extensions of the polynomial algebra

The Abhyankar-Sathaye Problem asks whether any biregular embedding can be rectified, that is, whether there exists an automorphism such that is a linear embedding. Here we study this problem for the embeddings whose image is given in by an equation , where and . Under certain additional assumptions we show that, indeed, the polynomial is a variable of the polynomial ring (i.e., a coordinate of a polynomial automorphism of ). This is an analog of a theorem due to Sathaye (1976) which concerns the case of embeddings . Besides, we generalize a theorem of Miyanishi (1984) giving, for a polynomial as above, a criterion for when .

     

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 .

     

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 .

     

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 .

     

A new variational characterization of -dimensional space forms

A Riemannian manifold is associated with a Schouten -tensor which is a naturally defined Codazzi tensor in case is a locally conformally flat Riemannian manifold. In this paper, we study the Riemannian functional defined on , where is the space of smooth Riemannian metrics on a compact smooth manifold and is the elementary symmetric functions of the eigenvalues of with respect to . We prove that if and a conformally flat metric is a critical point of with , then must have constant sectional curvature. This is a generalization of Gursky and Viaclovsky's very recent theorem that the critical point of with characterized the three-dimensional space forms.

     

A unified approach to improved Hardy inequalities with best constants

We present a unified approach to improved Hardy inequalities in . We consider Hardy potentials that involve either the distance from a point, or the distance from the boundary, or even the intermediate case where the distance is taken from a surface of codimension . In our main result, we add to the right hand side of the classical Hardy inequality a weighted norm with optimal weight and best constant. We also prove nonhomogeneous improved Hardy inequalities, where the right hand side involves weighted norms, .

     

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.

     

The geometry of profinite graphs with applications to free groups and finite monoids

We initiate the study of the class of profinite graphs defined by the following geometric property: for any two vertices and of , there is a (unique) smallest connected profinite subgraph of containing them; such graphs are called tree-like. Profinite trees in the sense of Gildenhuys and Ribes are tree-like, but the converse is not true. A profinite group is then said to be dendral if it has a tree-like Cayley graph with respect to some generating set; a Bass-Serre type characterization of dendral groups is provided. Also, such groups (including free profinite groups) are shown to enjoy a certain small cancellation condition.

We define a pseudovariety of groups to be arboreous if all finitely generated free pro- groups are dendral (with respect to a free generating set). Our motivation for studying such pseudovarieties of groups is to answer several open questions in the theory of profinite topologies and the theory of finite monoids. We prove, for arboreous pseudovarieties , a pro- analog of the Ribes and Zalesski product theorem for the profinite topology on a free group. Also, arboreous pseudovarieties are characterized as precisely the solutions to the much studied pseudovariety equation .

     

Constant mean curvature surfaces in

The subject of this paper is properly embedded surfaces in Riemannian three manifolds of the form , where is a complete Riemannian surface. When , we are in the classical domain of surfaces in . In general, we will make some assumptions about in order to prove stronger results, or to show the effects of curvature bounds in on the behavior of surfaces in .

     

Subvarieties of general type on a general projective hypersurface

We study subvarieties of a general projective degree hypersurface . Our main theorem, which improves previous results of L. Ein and C. Voisin, implies in particular the following sharp corollary: any subvariety of a general hypersurface , for and , is of general type.

     

Cartan-decomposition subgroups of

For and , we give explicit, practical conditions that determine whether or not a closed, connected subgroup of has the property that there exists a compact subset of with . To do this, we fix a Cartan decomposition of , and then carry out an approximate calculation of for each closed, connected subgroup of .

     

Generalized interpolation in with a complexity constraint

In a seminal paper, Sarason generalized some classical interpolation problems for functions on the unit disc to problems concerning lifting onto of an operator that is defined on ( is an inner function) and commutes with the (compressed) shift . In particular, he showed that interpolants (i.e., such that ) having norm equal to exist, and that in certain cases such an is unique and can be expressed as a fraction with . In this paper, we study interpolants that are such fractions of functions and are bounded in norm by (assuming that , in which case they always exist). We parameterize the collection of all such pairs and show that each interpolant of this type can be determined as the unique minimum of a convex functional. Our motivation stems from the relevance of classical interpolation to circuit theory, systems theory, and signal processing, where is typically a finite Blaschke product, and where the quotient representation is a physically meaningful complexity constraint.

     

The flat model structure on

Given a cotorsion pair in an abelian category with enough objects and enough objects, we define two cotorsion pairs in the category of unbounded chain complexes. We see that these two cotorsion pairs are related in a nice way when is hereditary. We then show that both of these induced cotorsion pairs are complete when is the ``flat' cotorsion pair of -modules. This proves the flat cover conjecture for (possibly unbounded) chain complexes and also gives us a new ``flat' model category structure on . In the last section we use the theory of model categories to show that we can define using a flat resolution of and a cotorsion coresolution of .

     

Polynomial approximation on real-analytic varieties in

We prove: Let be a compact real-analytic variety in . Assume (i) is polynomially convex and (ii) every point of is a peak point for . Then . This generalizes a previous result of the authors on polynomial approximation on three-dimensional real-analytic submanifolds of .

     

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 .

     

Quivers with relations arising from clusters case)

Cluster algebras were introduced by S. Fomin and A. Zelevinsky in connection with dual canonical bases. Let be a cluster algebra of type . We associate to each cluster of an abelian category such that the indecomposable objects of are in natural correspondence with the cluster variables of which are not in . We give an algebraic realization and a geometric realization of . Then, we generalize the ``denominator theorem' of Fomin and Zelevinsky to any cluster.

     

Parametrized principles

We will present a collection of guessing principles which have a similar relationship to as cardinal invariants of the continuum have to . The purpose is to provide a means for systematically analyzing and its consequences. It also provides for a unified approach for understanding the status of a number of consequences of and in models such as those of Laver, Miller, and Sacks.

     

Asymptotic behavior of the solutions of linear and quasilinear elliptic equations on

We investigate the relationship between the decay at infinity of the right-hand side and solutions of an equation when is a second order elliptic operator on It is shown that when is Fredholm, inherits the type of decay of (for instance, exponential, or power-like). In particular, the generalized eigenfunctions associated with all the Fredholm eigenvalues of isolated or not, decay exponentially. No use is made of spectral theory. The result is next extended when is replaced by a Fredholm quasilinear operator. Various generalizations to other unbounded domains, higher order operators or elliptic systems are possible and briefly alluded to, but not discussed in detail.

     

How to do a -descent on an elliptic curve

In this paper, we describe an algorithm that reduces the computation of the (full) -Selmer group of an elliptic curve over a number field to standard number field computations such as determining the (-torsion of) the -class group and a basis of the -units modulo th powers for a suitable set of primes. In particular, we give a result reducing this set of `bad primes' to a very small set, which in many cases only contains the primes above . As of today, this provides a feasible algorithm for performing a full -descent on an elliptic curve over , but the range of our algorithm will certainly be enlarged by future improvements in computational algebraic number theory. When the Galois module structure of is favorable, simplifications are possible and -descents for larger are accessible even today. To demonstrate how the method works, several worked examples are included.