On Fitting Ideals of Certain étale K-groups

Let F be an Abelian number field and S the set of primes of F that are either ramified or over p, with p an odd prime. In this paper we compute the (first) Fitting ideal of K _2i–2 ^ét (O _F ^S () for i 2, where O _F ^S is the ring of S-integers of F and is a character of Gal(F/) of order prime to p different from the ith power of the Teichmüller character. This Fitting ideal proves to be principal and generated by a Stickelberger element.     

The f-depth of an ideal on a module

Let be an ideal of a Noetherian local ring and a finitely generated -module. The f-depth of on is the least integer such that the local cohomology module is not Artinian. This paper presents some part of the theory of f-depth including characterizations of f-depth and a relation between f-depth and f-modules.

     

On the Hartogs-Bochner phenomenon for CR functions in

Let be a compact, connected, -smooth and globally minimal hypersurface in which divides the projective space into two connected parts and . We prove that there exists a side, or , such that every continuous CR function on extends holomorphically to this side. Our proof of this theorem is a simplification of a result originally due to F. Sarkis.

     

Bosonic Formulas for \widehat{\mathfrak{s}\mathfrak{l}} 2 Coinvariants

We derive bosonic-type formulas for the characters of ₂ coinvariants.     

Injective hulls are not natural

In a category with injective hulls and a cogenerator, the embeddings into injective hulls can never form a natural transformation, unless all objects are injective. In particular, assigning to a field its algebraic closure, to a poset or Boolean algebra its Mac-Neille completion, and to an R-module its injective envelope is not functorial, if one wants the respective embeddings to form a natural transformation. Received January 21, 2000; accepted in final form August 10, 2001. RID="h1" RID="h2" RID="h3" ID="h1"The hospitality of York University is gratefully acknowledged by the first author. ID="h2"Third author partially supported by the Grant Agency of the Czech Republic under Grant no. 201/99/0310, and the hospitality of York University is also acknowledged. ID="h3"Partial financial assistance by the Natural Sciences and Engineering Councel of Canada is acknowledged by the fourth author.     

Strong duals of projective limits of (LB)-spaces

We investigate the problem when the strong dual of a projective limit of (LB)-spaces coincides with the inductive limit of the strong duals. It is well-known that the answer is affirmative for spectra of Banach spaces if the projective limit is a quasinormable Fréchet space. In that case, the spectrum satisfies a certain condition which is called strong P-type. We provide an example which shows that strong P-type in general does not imply that the strong dual of the projective limit is the inductive limit of the strong duals, but on the other hand we show that this is indeed true if one deals with projective spectra of retractive (LB)-spaces. Finally, we apply our results to a question of Grothendieck about biduals of (LF)-spaces.     

Projective Structure,Symplectic Connection and Quantization

Let X be a connected Riemann surface equipped with a projective structure . Let E be a holomorphic symplectic vector bundle over X equipped with a flat connection. There is a holomorphic symplectic structure on the total space of the pullback of E to the space of all nonzero holomorphic cotangent vectors on X. Using , this symplectic form is quantized. A moduli space of Higgs bundles on a compact Riemann surface has a natural holomorphic symplectic structure. Using , a quantization of this symplectic form over a Zariski open subset of the moduli space of Higgs bundles is constructed.     

Projectively Equivariant Symbol Calculus

The spaces of linear differential operators acting on -densities on and the space of functions on which are polynomial on the fibers are not isomorphic as modules over the Lie algebra Vect (ⁿ) of vector fields of ⁿ. However, these modules are isomorphic as sl(n + 1,)-modules where is the Lie algebra of infinitesimal projective transformations. In addition, such an -equivariant bijection is unique (up to normalization). This leads to a notion of projectively equivariant quantization and symbol calculus for a manifold endowed with a (flat) projective structure. We apply the -equivariant symbol map to study the of kth-order linear differential operators acting on -densities, for an arbitrary manifold M and classify the quotient-modules .     

Normality criteria for families of holomorphic mappings of several complex variables into

By applying the heuristic principle in several complex variables obtained by Aladro and Krantz, we shall prove some normality criteria for families of holomorphic mappings of several complex variables into , the complex N-dimensional projective space, related to Green's and Nochka's Picard type theorems. The equivalence of normality to being uniformly Montel at a point will be obtained. Some examples will be given to complement our theory in this paper.

     

On the Infinitesimal Rigidity of Homogeneous Varieties

Let XP be a variety (respectively an open subset of an analytic submanifold) and let xX be a point where all integer valued differential invariants are locally constant. We show that if the projective second fundamental form of X at x is isomorphic to the second fundamental form of a point of a Segre P× P, n,m2, a Grassmaniann G(2,n+2), n4, or the Cayley plane OP², then X is the corresponding homogeneous variety (resp. an open subset of the corresponding homogeneous variety). The case of the Segre P²×P² had been conjectured by Griffiths and Harris in [GH]. If the projective second fundamental form of X at x is isomorphic to the second fundamental form of a point of a Veronese v₂(P) and the Fubini cubic form of X at x is zero, then X=v₂ (P) (resp. an open subset of v₂(P)). All these results are valid in the real or complex analytic categories and locally in the C category if one assumes the hypotheses hold in a neighborhood of any point x. As a byproduct, we show that the systems of quadrics I₂(P P) S²C, I₂(P¹× P) S²C and I₂(S₅) S²C¹⁶ are stable in the sense that if A S^* is an analytic family such that for t0,AA, then A₀A. We also make some observations related to the Fulton–:Hansen connectedness theorem.