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, .

     

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 .

     

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 .

     

Invariance in and

We define , a substructure of (the lattice of classes), and show that a quotient structure of , , is isomorphic to . The result builds on the isomorphism machinery, and allows us to transfer invariant classes from to , though not, in general, orbits. Further properties of and ramifications of the isomorphism are explored, including degrees of equivalence classes and degree invariance.

     

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.

     

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.

     

Exponential sums on , II

We prove a vanishing theorem for the -adic cohomology of exponential sums on . In particular, we obtain new classes of exponential sums on that have a single nonvanishing -adic cohomology group. The dimension of this cohomology group equals a sum of Milnor numbers.

     

On algebraic -groups

We introduce the categories of algebraic -varieties and -groups over a difference field . Under a ``linearly -closed" assumption on we prove an isotriviality theorem for -groups. This theorem immediately yields the key lemma in a proof of the Manin-Mumford conjecture. The present paper crucially uses ideas of Pilay and Ziegler (2003) but in a model theory free manner. The applications to Manin-Mumford are inspired by Hrushovski's work (2001) and are also closely related to papers of Pink and Roessler (2002 and 2004).

     

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 .

     

Postnikov pieces and -homotopy theory

We present a constructive method to compute the cellularization with respect to for any integer of a large class of -spaces, namely all those which have a finite number of non-trivial -homotopy groups (the pointed mapping space is a Postnikov piece). We prove in particular that the -cellularization of an -space having a finite number of -homotopy groups is a -torsion Postnikov piece. Along the way, we characterize the -cellular classifying spaces of nilpotent groups.

     

The surface measure and cone measure on the sphere of

We prove a concentration inequality for the norm on the sphere for . This inequality, which generalizes results of Schechtman and Zinn (2000), is used to study the distance between the cone measure and surface measure on the sphere of . In particular, we obtain a significant strengthening of the inequality derived by Naor and Romik (2003), and calculate the precise dependence of the constants that appeared there 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 .

     

Partitioning -large sets: Some lower bounds

Let denote the property: if is an -large set of natural numbers and is partitioned into parts, then there exists a -large subset of which is homogeneous for this partition. Here the notion of largeness is in the sense of the so-called Hardy hierarchy. We give a lower bound for in terms of for some specific .

     

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 tensor norm preserving unconditionality for -spaces

We show that, for each , there is an -tensor norm (in the sense of Grothendieck) with the surprising property that the -tensor product has local unconditional structure for each choice of arbitrary -spaces . In fact, is the tensor norm associated to the ideal of multiple -summing -linear forms on Banach spaces.

     

regularity of Fourier integral operators with caustics

The caustics of Fourier integral operators are defined as caustics of the corresponding Schwartz kernels (Lagrangian distributions on ). The caustic set of the canonical relation is characterized as the set of points where the rank of the projection is smaller than its maximal value, . We derive the estimates on Fourier integral operators with caustics of corank (such as caustics of type , ). For the values of and outside of a certain neighborhood of the line of duality, , the estimates are proved to be caustics-insensitive.

We apply our results to the analysis of the blow-up of the estimates on the half-wave operator just before the geodesic flow forms caustics.

     

Functional distribution of with real characters and denseness of quadratic class numbers

We investigate the functional distribution of -functions with real primitive characters on the region as varies over fundamental discriminants. Actually we establish the so-called universality theorem for in the -aspect. From this theorem we can, of course, deduce some results concerning the value distribution and the non-vanishing. As another corollary, it follows that for any fixed with and positive integers , there exist infinitely many such that for every the -th derivative has at least zeros on the interval in the real axis. We also study the value distribution of for fixed with and variable , and obtain the denseness result concerning class numbers of quadratic fields.

     

Rationality, regularity, and -cofiniteness

We demonstrate that, for vertex operator algebras of CFT type, -cofiniteness and rationality is equivalent to regularity. For -cofinite vertex operator algebras, we show that irreducible weak modules are ordinary modules and -cofinite, is -cofinite, and the fusion rules are finite.

     

Explicit Lower bounds for residues at of Dedekind zeta functions and relative class numbers of CM-fields

Let be a given set of positive rational primes. Assume that the value of the Dedekind zeta function of a number field is less than or equal to zero at some real point in the range . We give explicit lower bounds on the residue at of this Dedekind zeta function which depend on , the absolute value of the discriminant of and the behavior in of the rational primes . Now, let be a real abelian number field and let be any real zero of the zeta function of . We give an upper bound on the residue at of which depends on , and the behavior in of the rational primes . By combining these two results, we obtain lower bounds for the relative class numbers of some normal CM-fields which depend on the behavior in of the rational primes . We will then show that these new lower bounds for relative class numbers are of paramount importance for solving, for example, the exponent-two class group problem for the non-normal quartic CM-fields. Finally, we will prove Brauer-Siegel-like results about the asymptotic behavior of relative class numbers of CM-fields.

     

The -theory of is undecidable

The three quantifier theory of , the recursively enumerable degrees under Turing reducibility, was proven undecidable by Lempp, Nies and Slaman (1998). The two quantifier theory includes the lattice embedding problem and its decidability is a long-standing open question. A negative solution to this problem seems out of reach of the standard methods of interpretation of theories because the language is relational. We prove the undecidability of a fragment of the theory of that lies between the two and three quantifier theories with but includes function symbols.

Theorem. The two quantifier theory of , the r.e. degrees with Turing reducibility, supremum and infimum (taken to be any total function extending the infimum relation on ) is undecidable.

The same result holds for various lattices of ideals of which are natural extensions of preserving join and infimum when it exits.