Restriction of the cotangent bundle to elliptic curves and Hilbert-Kunz functions

We describe the possible restrictions of the cotangent bundle to an elliptic curve . We apply this in positive characteristic to the computation of the Hilbert-Kunz function of a homogeneous R₊-primary ideal in the graded section ring .     

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.     

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     

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 .     

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().     

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.     

The theory of energy for sub-Laplacians with an application to quasi-continuity

In this paper, we provide a suitable theory for the energy where μ is a Radon measure and Γ is the fundamental solution of a sub-Laplacian on a stratified group As a significant application, we prove the quasi-continuity of superharmonic functions related to . The proofs are elementary and mostly rely on the use of appropriate mean-value formulas and mean-integral operators relevant to the Potential Theory for .     

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.     

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

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.     

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     

Quelques résultats sur les déformations équivariantes des courbes stables

Let G be a finite group, let g≥2 and g ′ ≥ 0 be integers. We introduce the algebraic stack classifying the stable curves of genus g endowed with an action of G faithful in each geometric fiber and such that the quotient of each fiber is a semi-stable curve of genus g′. We study the completion of the local rings of this algebraic stack. They are closely related to universal equivariant deformation rings R_C,G of stable curves endowed with a faithful action of G. A useful tool for this purpose is a local-global principle generalizing the one obtained by Bertin and Mézard in [BM00]. We then use the results we already proved in [Mau03b] and [Mau03a] to describe some properties of the space (purity, dimension).     

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     

On the exact Hausdorff dimension of the set of Liouville numbers. II

Let denote the set of Liouville numbers. For a dimension function h, we write for the h-dimensional Hausdorff measure of . In previous work, the exact ``cut-point' at which the Hausdorff measure of drops from infinity to zero has been located for various classes of dimension functions h satisfying certain rather restrictive growth conditions. In the paper, we locate the exact ``cut-point' at which the Hausdorff measure of drops from infinity to zero for all dimension functions h. Namely, if h is a dimension function for which the function increases faster than any power function near 0, then , and if h is a dimension function for which the function increases slower than some power function near 0, then . This provides a complete characterization of all Hausdorff measures of without assuming anything about the dimension function h, and answers a question asked by R. D. Mauldin. We also show that if then does not have σ-finite measure. This answers another question asked by R. D. Mauldin. This work was done while Dave L. Renfro was at the Department of Mathematics at Central Michigan University.     

Polynomial closure in essential domains

Let D be a domain, E a subset of its quotient field K, and Int. The polynomial closure of E is the set We compare the polynomial closure with the divisorial closure in a general setting and then in an essential domain. Especially, we show that these two closures of ideals are the same if D is a Krull-type domain.This work was done while the first author was visiting KIAS. She would like to thank KIAS for the hospitality and support.     

On topological Kadec norms

We present a topological analogue of the classic Kadec Renorming Theorem, as follows. Let be two separable metric topologies on the same set X. We prove that every point in X has an -neighbourhood basis consisting of sets that are -closed if and only if there exists a function φ: X→ℝ that is -lower semi-continuous and such that is the weakest topology on X that contains and that makes φ continuous. An immediate corollary is that the class of almost n-dimensional spaces consists precisely of the graphs of lower semi-continuous functions with at most n-dimensional domains.     

Complexity of nilpotent orbits and the Kostant-Sekiguchi correspondence

Let G be a connected linear semisimple Lie group with Lie algebra , and let be the complexified isotropy representation at the identity coset of the corresponding symmetric space. Suppose that Ω is a nilpotent G-orbit in and is the nilpotent -orbit in associated to Ω by the Kostant-Sekiguchi correspondence. We show that the corank of the Hamiltonian K-space Ω is twice the complexity of the variety .     

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     

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