Independence of of monodromy groups

Let be a smooth curve over a finite field of characteristic , let be a number field, and let be an -compatible system of lisse sheaves on the curve . For each place of not lying over , the -component of the system is a lisse -sheaf on , whose associated arithmetic monodromy group is an algebraic group over the local field . We use Serre's theory of Frobenius tori and Lafforgue's proof of Deligne's conjecture to show that when the -compatible system is semisimple and pure of some integer weight, the isomorphism type of the identity component of these monodromy groups is ``independent of '. More precisely, after replacing by a finite extension, there exists a connected split reductive algebraic group over the number field such that for every place of not lying over , the identity component of the arithmetic monodromy group of is isomorphic to the group with coefficients extended to the local field .

     

On the size of -fold sum and product sets of integers

In this paper, we show that for all 1$"> there is a positive integer such that if is an arbitrary finite set of integers, 2$">, then either N^{b}$"> or N^{b}$">. Here (resp. ) denotes the -fold sum (resp. product) of . This fact is deduced from the following harmonic analysis result obtained in the paper. For all 2$"> and 0$">, there is a 0$"> such that if satisfies , then the -constant of (in the sense of W. Rudin) is at most .

     

An uncountable family of nonorbit equivalent actions of

For each , we construct an uncountable family of free ergodic measure preserving actions of the free group on the standard probability space such that any two are nonorbit equivalent (in fact, not even stably orbit equivalent). These actions are all ``rigid' (in the sense of Popa), with the IIfactors mutually nonisomorphic (even nonstably isomorphic) and in the class

     

On the Farrell-Jones conjecture for higher algebraic -theory

We prove the Farrell-Jones Conjecture for the algebraic -theory of a group ring in the case where the group is the fundamental group of a closed Riemannian manifold with strictly negative sectional curvature. The coefficient ring is an arbitrary associative ring with unit and the result applies to all dimensions.

     

The honeycomb model of tensor products II: Puzzles determine facets of the Littlewood-Richardson cone

The set of possible spectra of zero-sum triples of Hermitian matrices forms a polyhedral cone, whose facets have been already studied by Knutson and Tao, Helmke and Rosenthal, Totaro, and Belkale in terms of Schubert calculus on Grassmannians. We give a complete determination of these facets; there is one for each triple of Grassmannian Schubert cycles intersecting in a unique point. In particular, the list of inequalities determined by Belkale to be sufficient is in fact minimal.

We introduce puzzles, which are new combinatorial gadgets to compute Grassmannian Schubert calculus, and seem to have much interest in their own right. As the proofs herein indicate, the Hermitian sum problem is very naturally studied using puzzles directly, and their connection to Schubert calculus is quite incidental to our approach. In particular, we get new, puzzle-theoretic, proofs of the results of Horn, Klyachko, Helmke and Rosenthal, Totaro, and Belkale.

Along the way we give a characterization of ``rigid' puzzles, which we use to prove a conjecture of W. Fulton: ``if for a triple of dominant weights of the irreducible representation appears exactly once in , then for all , appears exactly once in .'

     

Zeta function of representations of compact -adic analytic groups

Let be an FAb compact -adic analytic group and suppose that 2$"> or and is uniform. We prove that there are natural numbers and functions rational in such that

     

Weakly null sequences in

We construct a weakly null normalized sequence in so that for each , the Haar basis is -equivalent to a block basis of every subsequence of . In particular, the sequence has no unconditionally basic subsequence. This answers a question raised by Bernard Maurey and H. P. Rosenthal in 1977. A similar example is given in an appropriate class of rearrangement invariant function spaces.

     

boundedness of discrete singular Radon transforms

We prove that if is a Calderón-Zygmund kernel and is a polynomial of degree with real coefficients, then the discrete singular Radon transform operator

extends to a bounded operator on , . This gives a positive answer to an earlier conjecture of E. M. Stein and S. Wainger.

     

-regularity, -fibrant Hochschild homology, and a conjecture of Vorst

In this paper we prove that for an affine scheme essentially of finite type over a field and of dimension , -regularity implies regularity, assuming that the characteristic of is zero. This verifies a conjecture of Vorst.

     

Global -regularity of Schubert varieties with applications to -modules

We prove that Schubert varieties are globally -regular in the sense of Karen Smith. We apply this result to the category of equivariant and holonomic -modules on flag varieties in positive characteristic. Here recent results of Blickle are shown to imply that the simple -modules coincide with local cohomology sheaves with support in Schubert varieties. Using a local Grothendieck-Cousin complex, we prove that the decomposition of local cohomology sheaves with support in Schubert cells is multiplicity free.

     

Correction to ``Formal degrees and adjoint -factors'

This is a correction to the paper Formal degrees and adjoint -factors, J. Amer. Math. Soc. 21 (2008), 283-304.

     

The de Rham-Witt complex and -adic vanishing cycles

We determine the structure of the reduction modulo of the absolute de Rham-Witt complex of a smooth scheme over a discrete valuation ring of mixed characteristic with log-poles along the special fiber and show that the sub-sheaf fixed by the Frobenius map is isomorphic to the sheaf of -adic vanishing cycles. We use this result together with the main results of op. cit. to evaluate the algebraic -theory with finite coefficients of the quotient field of the henselian local ring at a generic point of the special fiber. The result affirms the Lichtenbaum-Quillen conjecture for this field.

     

On the nonvanishing of the central value of the Rankin-Selberg -functions

We characterize the nonvanishing of the central value of the Rankin-Selberg -functions in terms of periods of Fourier-Jacobi type. This characterization is based on the Langlands philosophy on functoriality and on applications of invariant theory to automorphic representations. The result is the symplectic analog of the Gross-Prasad conjecture.

     

Formal degrees and adjoint -factors

We give a conjectural formula for the formal degree of a discrete series representation in terms of the adjoint -factor. Our conjecture is supported by various examples and is compatible with the Weyl dimension formula. Using twisted endoscopy, we also verify the conjecture for a stable discrete series representation of over a non-archimedean local field of characteristic zero.

     

-adic -basis and regular local ring

We introduce the concept of -adic -basis as an extension of the concept of -basis. Let be a regular local ring of prime characteristic and a ring such that . Then we prove that is a regular local ring if and only if there exists an -adic -basis of and is Noetherian.

     

The number of Hall -subgroups of a -separable group

We observe a simple formula to compute the number of Hall -subgroups of a -separable finite group in terms of only the action of a fixed Hall -subgroup of on a set of normal -sections of . As a consequence, we obtain that divides whenever is a subgroup of a finite -separable group . This generalizes a recent result of Navarro. In addition, our method gives an alternative proof of Navarro's result.

     

Global existence for energy critical waves in -d domains

We prove that the defocusing quintic wave equation, with Dirichlet boundary conditions, is globally well posed on for any smooth (compact) domain . The main ingredient in the proof is an spectral projector estimate, obtained recently by Smith and Sogge, combined with a precise study of the boundary value problem.

     

On a sharp lower bound on the blow-up rate for the critical nonlinear Schrödinger equation

We consider the critical nonlinear Schrödinger equation with initial condition in the energy space and study the dynamics of finite time blow-up solutions. In an earlier sequence of papers, the authors established for a certain class of initial data on the basis of dispersive properties in a sharp and stable upper bound on the blow-up rate: .

In an earlier paper, the authors then addressed the question of a lower bound on the blow-up rate and proved for this class of initial data the nonexistence of self-similar solutions, that is,

In this paper, we prove the sharp lower bound

by exhibiting the dispersive structure in the scaling invariant space for this log-log regime. In addition, we will extend to the pure energy space a dynamical characterization of the solitons among the zero energy solutions.

     

Symplectic , subgroup separability, and vanishing Thurston norm

Let be a closed, oriented -manifold. A folklore conjecture states that admits a symplectic structure if and only if admits a fibration over the circle. We will prove this conjecture in the case when is irreducible and its fundamental group satisfies appropriate subgroup separability conditions. This statement includes -manifolds with vanishing Thurston norm, graph manifolds and -manifolds with surface subgroup separability (a condition satisfied conjecturally by all hyperbolic -manifolds). Our result covers, in particular, the case of 0-framed surgeries along knots of genus one. The statement follows from the proof that twisted Alexander polynomials decide fiberability for all the -manifolds listed above. As a corollary, it follows that twisted Alexander polynomials decide if a knot of genus one is fibered.