Hilbert-Samuel coefficients and postulation numbers of graded components of certain local cohomology modules

Let be a Noetherian homogeneous ring with one-dimensional local base ring . Let be an -primary ideal, let be a finitely generated graded -module and let . Let denote the -th local cohomology module of with respect to the irrelevant ideal 0} R_n$"> of . We show that the first Hilbert-Samuel coefficient of the -th graded component of with respect to is antipolynomial of degree in . In addition, we prove that the postulation numbers of the components with respect to have a common upper bound.

     

Degenerating families of rank two bundles

We construct families of rank two bundles on , in characteristic two, where for , is a sum of line bundles, and is non-split. We construct families of rank two bundles on , in characteristic , where for , is a sum of line bundles, and is non-split.

     

On a subspace perturbation problem

We discuss the problem of perturbation of spectral subspaces for linear self-adjoint operators on a separable Hilbert space. Let and be bounded self-adjoint operators. Assume that the spectrum of consists of two disjoint parts and such that 0$">. We show that the norm of the difference of the spectral projections

for and is less than one whenever either (i) or (ii) and certain assumptions on the mutual disposition of the sets and are satisfied.

     

Artinianess of graded local cohomology modules

Let be a Noetherian homogeneous ring with local base ring and let be a finitely generated graded -module. Let be the largest integer such that is not Artinian. We will prove that are Artinian for all and there exists a polynomial of degree less than such that for all . Let be the first integer such that the local cohomology module is not cofinite. We will show that for all the graded module is Artinian.

     

The spectrum of Schrödinger operators with positive potentials in Riemannian manifolds

Let be a noncompact complete Riemannian manifold. We consider the Schrödinger operator acting on , where is a nonnegative, locally integrable function on . We obtain some simple conditions which imply that , the bottom of the spectrum of , is strictly positive. We also establish upper and lower bounds for the counting function .

     

-injective rings and -stable primes

The notion of stability of the highest local cohomology module with respect to the Frobenius functor originates in the work of R. Hartshorne and R. Speiser. R. Fedder and K.-i. Watanabe examined this concept for isolated singularities by relating it to -rationality. The purpose of this note is to study what happens in the case of non-isolated singularities and to show how this stability concept encapsulates a few of the subtleties of tight closure theory. Our study can be seen as a generalization of the work by Fedder and Watanabe. We introduce two new ring invariants, the -stability number and the set of -stable primes. We associate to every ideal generated by a system of parameters and an ideal of multipliers denoted and obtain a family of ideals . The set is independent of and consists of finitely many prime ideals. It also equals prime ideal such that is -stable. The maximal height of such primes defines the -stability number.

     

Measures invariant under the geodesic flow and their projections

Let be the -sphere of constant positive curvature. For , we will show that a measure on the unit tangent bundle of , which is even and invariant under the geodesic flow, is not uniquely determined by its projection to .

     

Modular group algebras of -separable -groups

Under the assumptions of MA and CH, it is proved that if is a field of prime characteristic and is an -separable abelian -group of cardinality , then an isomorphism of the group algebras and implies an isomorphism of and .

     

Discrete spectra of -algebras and complemented submodules in Hilbert -modules

Let be a -algebra and let be a full (right) Hilbert -module. It is shown that if the spectrum of is discrete, then every closed --submodule of is complemented in , and conversely that if is a -space and if every closed --submodule of is complemented in , then is discrete.

     

The number of connected components in double Bruhat cells for nonsimply-laced groups

We compute the number of connected components in a generic real double Bruhat cell for series and and an exceptional group .

     

On the best possible character of the norm in some a priori estimates for non-divergence form equations in Carnot groups

Let be a group of Heisenberg type with homogeneous dimension . For every we construct a non-divergence form operator and a non-trivial solution to the Dirichlet problem: in , on . This non-uniqueness result shows the impossibility of controlling the maximum of with an norm of when . Another consequence is the impossiblity of an Alexandrov-Bakelman type estimate such as

where is the dimension of the horizontal layer of the Lie algebra and is the symmetrized horizontal Hessian of .

     

Subgroup growth in some pro- groups

For a group let be the number of subgroups of index and let be the number of normal subgroups of index . We show that for 2$">. If and does not divide or if and or , we show that for all sufficiently large . On the other hand if and divides , then is not even bounded as a function of .

     

On polynomial products in nilpotent and solvable Lie groups

We are dealing with Lie groups which are diffeomorphic to , for some . After identifying with , the multiplication on can be seen as a map . We show that if is a polynomial map in one of the two (sets of) variables or , then is solvable. Moreover, if one knows that is polynomial in one of the variables, the group is nilpotent if and only if is polynomial in both its variables.

     

Associated primes of local cohomology modules

Let be an ideal of a commutative Noetherian ring and a finitely generated -module. Let be a natural integer. It is shown that there is a finite subset of , such that is contained in union with the union of the sets , where and . As an immediate consequence, we deduce that the first non- -cofinite local cohomology module of with respect to has only finitely many associated prime ideals.

     

Relative Brauer groups of discrete valued fields

Let be a non-trivial finite Galois extension of a field . In this paper we investigate the role that valuation-theoretic properties of play in determining the non-triviality of the relative Brauer group, , of over . In particular, we show that when is finitely generated of transcendence degree 1 over a -adic field and is a prime dividing , then the following conditions are equivalent: (i) the -primary component, , is non-trivial, (ii) is infinite, and (iii) there exists a valuation of trivial on such that divides the order of the decomposition group of at .

     

The critical point equation on a three-dimensional compact manifold

On a compact -dimensional manifold , a critical point of the total scalar curvature functional, restricted to the space of metrics with constant scalar curvature of volume 1, satisfies the critical point equation (CPE), given by . It has been conjectured that a solution of the CPE is Einstein. Restricting our considerations to and assuming that there exist at least two distinct solutions of the CPE throughout the paper, we first prove that, if the second homology of vanishes, then is diffeomorphic to (Theorem 2). Secondly, we prove that the same conclusion holds if we have a lower Ricci curvature bound or the connectedness of a certain surface of (Theorem 3). Finally, we also prove that, if two connected surfaces of are disjoint, is isometric to a standard -sphere (Theorem 4).

     

Graphs that are not complete pluripolar

Let be domains in . Under very mild conditions on we show that there exist holomorphic functions , defined on with the property that is nowhere extendible across , while the graph of over is not complete pluripolar in . This refutes a conjecture of Levenberg, Martin and Poletsky (1992).

     

Une propriété de continuité du temps local

Let denote the local time (at 0) associated with a martingale . The aim of this note is to prove that the mapping is continuous from into weak-.

     

Criteria for irrationality of Euler's constant

By modifying Beukers' proof of Apéry's theorem that is irrational, we derive criteria for irrationality of Euler's constant, . For 0$">, we define a double integral and a positive integer , and prove that with the following are equivalent:

1. The fractional part of is given by for some .

2. The formula holds for all sufficiently large .

3. Euler's constant is a rational number.

A corollary is that if infinitely often, then is irrational. Indeed, if the inequality holds for a given (we present numerical evidence for and is rational, then its denominator does not divide . We prove a new combinatorial identity in order to show that a certain linear form in logarithms is in fact . A by-product is a rapidly converging asymptotic formula for , used by P. Sebah to compute correct to 18063 decimals.