Diophantine inequalities involving several power sums

Let denote the ring of power sums, i.e. complex functions of the form for some and _iA, where is a multiplicative semigroup. Moreover, let We consider Diophantine inequalities of the form where >1 is a quantity depending on the dominant roots of the power sums appearing as coefficients in F(n,y), and show that all its solutions have y parametrized by some power sums from a finite set. This is a continuation of the work of Corvaja and Zannier [4–6] and of the authors [10, 18] on such problems.Mathematics Subject Classification (2000):11D45,11D61Revised version: 6 May 2004     

Associated primes and cofiniteness of local cohomology modules

Let be an ideal of Noetherian ring R and let s be a non-negative integer. Let M be an R-module such that is finite R-module. If s is the first integer such that the local cohomology module is non -cofinite, then we show that is finite. In particular, the set of associated primes of is finite. Let be a local Noetherian ring and let M be a finite R-module. We study the last integer n such that the local cohomology module is not -cofinite and show that n just depends on the support of M.The research of the first author was supported in part by a grant from IPM (No. 83130114).The second author was supported by a grant from University of Tehran (No. 6103023/1/01).     

L p -Estimates for the Navier–Stokes Equations for Steady Compressible Flow

We consider the Navier–Stokes equations for compressible isentropic flow in the steady three-dimensional case. The pressure and the kinetic energy are estimated uniformly in L^q with being the density. This is an improvement of known estimates in the case Mathematics Subject Classification (2000): 35Q30, 76N10     

Iwasawa invariants of galois deformations

Fix a residual ordinary representation :G_F→GL_n(k) of the absolute Galois group of a number field F. Generalizing work of Greenberg–Vatsal and Emerton–Pollack–Weston, we show that the Iwasawa invariants of Selmer groups of deformations of depends only on and the ramification of the deformation.     

Infinitely many solutions of a semilinear problem for the Heisenberg Laplacian on the Heisenberg group

We study the semilinear equationwhere is the Heisenberg Laplacian and is the Heisenberg group. The function f C²(×, ) is supposed to satisfy some (subcritical) growth conditions and to be left invariant under the action of the subgroup of consisting of points with integer coordinates.. We show the existence of infinitely many solutions in the space S₁²(), which is the Heisenberg analogue of the Sobolev space W^1,2(^N).Mathematics Subject Classification (2000): 22E30, 22E27     

On the rank of abelian varieties over function fields

Let be a smooth projective curve defined over a number field k, A/k() an abelian variety and (τ, B) the k()/k-trace of A. We estimate how the rank of A(k())/τB(k) varies when we take a finite geometrically abelian cover defined over k. This work was partially supported by CNPq research grant 304424/2003-0, Pronex 41.96.0830.00 and CNPq Edital Universal 470099/2003-8. I would like to thank Douglas Ulmer for comments on how to treat the case of arbitrary ramification, but the conductor prime to the ramification locus, in the case of elliptic fibrations. I would also like to thank Marc Hindry for comments on the inequality comparing the conductors of A and A'. Finally, I also thank the referee for his comments and criticisms.     

On the commutativity of <Emphasis Type="Italic">C</Emphasis>* -algebras

Let be a C* -algebra. Let f be a non-constant complex-valued continuous function defined on a closed interval I. We shall show that f densely spans As an application, is commutative if f(x)f(y)=f(y)f(x) for all self-adjoint elements x and y in with spectrums contained in I.Mathematics Subject Classification (1991):Primary 46L05     

Invertible modules for commutative -algebras with residue fields

The aim of this note is to understand under which conditions invertible modules over a commutative -algebra in the sense of Elmendorf, Kriz, Mandell & May give rise to elements in the algebraic Picard group of invertible graded modules over the coefficient ring by taking homotopy groups. If a connective commutative -algebra R has coherent localizations for every maximal ideal , then for every invertible R-module U, U_*=π_*U is an invertible graded R_*-module. In some non-connective cases we can carry the result over under the additional assumption that the commutative -algebra has ‘residue fields’ for all maximal ideals if the global dimension of R_* is small or if R is 2-periodic with underlying Noetherian complete local regular ring R₀. We apply these results to finite abelian Galois extensions of Lubin-Tate spectra.     

A new condensation principle

We generalize (A), which was introduced in [Sch], to larger cardinals. For a regular cardinal >₀ we denote by (A) the statement that and for all regular >,is stationary in It was shown in [Sch] that can hold in a set-generic extension of L. We here prove that can hold in a set-generic extension of L as well. In both cases we in fact get equiconsistency theorems. This strengthens results of [Rä00] and [Rä01]. is equivalent with the existence of 0^#.Mathematics Subject Classification (1991): Primary 03E55, 03E15, Secondary 03E35, 03E60     

Interior regularity criteria in weak spaces for the Navier-Stokes equations

We study the interior regularity of weak solutions of the incompressible Navier-Stokes equations in ×(0,T), where and 0<T<. The local boundedness of a weak solution u is proved under the assumption that is sufficiently small for some (r,s) with and 3r<. Our result extends the well-known criteria of Serrin (1962), Struwe (1988) and Takahashi (1990) to the weak space-time spaces.Mathematics Subject Classification (2000): 35Q30, 76N10     

Inducing W-graphs II

Let be the Hecke algebra associated with a Coxeter group W, and the Hecke algebra associated with W_J, a parabolic subgroup of W. In [5] an algorithm was described for the construction of a W-graph for an induced module where V is an -module derived from a W_J-graph. This note is a continuation of [5], and involves the following results:[] inducing ordered and bipartite W-graphs;[] the relationship between the cell decomposition of a W_J-graph and the cell decomposition of the corresponding induced W-graph;[] a Mackey-type formula for the restriction of an induced W-graph;[] a formula relating the polynomials used in the construction of induced W-graphs to Kazhdan-Lusztig polynomials.The result on cells is a version of a Theorem of M. Geck [4], dealing with cells in W (allowing unequal parameters).Mathematics Subject Classification (2000): Primary 20C     

The Rees algebra of a positive normal affine semigroup ring

Let R be a positive normal affine semigroup ring of dimension d and let be the maximal homogeneous ideal of R. We show that the integral closure of is equal to for all n ∈ℕ with n ≥ d − 2. From this we derive that the Rees algebra R[t] is normal in case that d ≤ 3. If emb dim(R) = d + 1, we can give a necessary and sufficient condition for R[t] to be normal.     

Conjugacy classes of affine automorphisms of and linear automorphisms of ℙ n in the Cremona groups

We describe the conjugacy classes of affine automorphisms in the group Aut(n,) (respectively Bir()) of automorphisms (respectively of birational maps) of . From this we deduce also the classification of conjugacy classes of automorphisms of ℙⁿ in the Cremona group Bir().     

Estimates for stable hypersurfaces of prescribed F-mean curvature

We consider immersed hypersurfaces :Mⁿ→ℝⁿ⁺¹ with prescribed anisotropic mean curvature . Such hypersurfaces can be characterized as critical points of parametric functionals of the type with an elliptic Lagrangian F depending on normal directions and a smooth vectorfield Q satisfying . We establish curvature estimates for stable hypersurfaces of dimension n≤5, provided F is C³-close to the area integrand.     

Tannaka duality on quotient stacks

Let = [X/G] be the quotient stack of a scheme X by an affine group scheme G over a field k. Assume that there is a line bundle on whose underlying line bundle on X is very ample. Let VB() be the category of vector bundles on .We show that is canonically isomorphic to the stack of fiber functors on VB(). This is an analogue of the Tannaka duality for affine groups. Partially supported by CNCSIS contract no. 33079/2004     

Heat kernels on metric spaces and a characterisation of constant functions

Using the Dirichlet forms theory, we prove that when the locally compact measure metric space (X,,m) is the state space of a Markov process with transition density p(t,x,y) bounded from the above by where is a function satisfying certain integrability condition, then the following statement holds: when u L²(X) and then u is a constant function.This work is partially supported by a KBN grant no. 2-PO3A-028-22.Mathematics Subject Classification (2000): primary 60J35, secondary 46E35     

The normalization constant of a certain invariant measure on GL n ( )

The ratio of the Tamagawa measure and a certain invariant measure on the group GL_n() is computed, where is the adèle of a division algebra D over a global field. An explicit formula of the ratio is described in terms of the special values of the zeta function of D. This formula yields (i) an explicit lower bound of the Hermite–Rankin constant _n,m(D) of D and (ii) an explicit asymptotic behavior of the distribution of rational points on Brauer–Severi variety.Mathematics Subject Classification (2000): Primary 11R52, Secondary 11H50     

On Cross-intersecting Families of Sets

A family of -element subsets and a family of k-element subsets of an n-element set are cross-intersecting if every set from has a nonempty intersection with every set from . We compare two previously established inequalities each related to the maximization of the product , and give a new and short proof for one of them. We also determine the maximum of for arbitrary positive weights ,_k.     

2-universal -lattices over real quadratic fields

Let be a real quadratic field with m a square-free positive rational integer, and be the ring of integers in F. An -lattice L on a totally positive definite quadratic space V over F is called r-universal if L represents all totally positive definite -lattices l with rank r over . We prove that there exists no 2-universal -lattice over F with rank less than 6, and there exists a 2-universal -lattice over F with rank 6 if and only if m=2, 5. Moreover there exists only one 2-universal -lattice with rank 6, up to isometry, over .