On <Emphasis Type="Italic">N</Emphasis>-Summations,II

Given any R-semimodule M equipped with a semitopology we construct an N-protosummation for M. If satisfies certain properties, then a similar construction leads to an unconditional N-summation for M, that is an N-summation for M equipped with the trivial prenorm MD over the N-summation (D^N,_D) for D. Conversely any N-protosummation on M gives rise to a topology . If both and satisfy a certain separation property, then and form a Galois connection. Dedicated to my friend and collegue Nico Pumplün on the occasion of his 70th birthdayMathematics Subject Classifications (2000) 16Y60, 54A05.     

Infinitesimal study of a factorization of the Prym map

The Prym map factors through a space ={X} of intrinsically polarized varieties, namely , where is a connected étale double cover of a smooth curve C of genus g, consists of the set of even precanonical effective divisors on , and (P,) is the principally polarized Prym variety associated to . X is a connected, reduced local complete intersection of (pure) dimension g-1, and when C is non hyperelliptic X is normal and irreducible. By analogy with the proofs of the classical Torelli theorem for curves by Andreotti and by Andreotti-Mayer and Green, which factor the Jacobi map through a symmetric product of the curve, the present factorization may be used to attack the Torelli problem for Prym varieties. In [19] we have shown that X determines the Prym variety (P,), as the Albanese variety of X, and that X also determines the double cover , at least when C is non hyperelliptic and the codimension of sing in P is at least 5. The next challenge in this approach to the Torelli problem is to analyze the infinitesimal structure of these maps.The goal of the present paper is to show the first map is unramified when C is non hyperelliptic, i.e. that a first order deformation of which induces the trivial first order deformation of X, is already trivial on . (This question was studied for g=3 by H. Yin [23].) We do this as follows for g3. There is a map from to a curve of effective Cartier divisors on X. We prove that if C is non hyperelliptic, this map is an isomorphism from onto a smooth connected component of the Hilbert scheme of X. This is an analogue of Prop. 4.1. b), p.334, in [7], (that the set , is a connected component of Hilb(C^(g-1)) isomorphic to C).Then we deduce that if a first order deformation of induces the trivial deformation of X, the deformation of is isomorphic to the trivial deformation of the curve in Hilb(X). It follows that the original deformation of is trivial. The complementary question of whether every first order deformation of X comes from a first order deformation of , analogous to Thm. 3.6 of [7], is proved in [23] for g=3 and C non hyperelliptic, but remains open for g4 at the time of writing. We will work throughout over the complex numbers, and will generally assume the base curve C is smooth and non hyperelliptic, although some results are true more generally. Dedicated in memory of Fabio BardelliMathematics Subject Classification (2000) 14H40, 14K     

A twistor construction of Kähler submanifolds of a quaternionic Kähler manifold

A class of minimal almost complex submanifolds of a Riemannian manifold with a parallel quaternionic structure Q, in particular of a 4-dimensional oriented Riemannian manifold, is studied. A notion of Kähler submanifold is defined. Any Kähler submanifold is pluriminimal. In the case of a quaternionic Kähler manifold of non zero scalar curvature, in particular, when is an Einstein, non Ricci-flat, anti-self-dual 4-manifold, we give a twistor construction of Kähler submanifolds M²ⁿ of maximal possible dimension 2n. More precisely, we prove that any such Kähler submanifold M²ⁿ of is the projection of a holomorphic Legendrian submanifold of the twistor space of , considered as a complex contact manifold with the natural holomorphic contact structure . Any Legendrian submanifold of the twistor space is defined by a generating holomorphic function. This is a natural generalization of Bryants construction of superminimal surfaces in S⁴=P¹. Mathematics Subject Classification (1991) Primary: 53C40; Secondary: 53C55     

A Topological View of Ramsey Families of Finite Subsets of Positive Integers

If is an initially hereditary family of finite subsets of positive integers (i.e., if and G is initial segment of F then ) and M an infinite subset of positive integers then we define an ordinal index . We prove that if is a family of finite subsets of positive integers such that for every the characteristic function χ_F is isolated point of the subspace

Categorical Structures Enriched in a Quantaloid: Orders and Ideals over a Base Quantaloid

Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid , which we call ‘ -order’. This requires a theory of semicategories enriched in the quantaloid , that admit a suitable Cauchy completion. There is a quantaloid of -orders and ideal relations, and a locally ordered category of -orders and monotone maps; actually, . In particular is , with Ω a locale, the category of ordered objects in the topos of sheaves on Ω. In general -orders can equivalently be described as Cauchy complete categories enriched in the split-idempotent completion of . Applied to a locale Ω this generalizes and unifies previous treatments of (ordered) sheaves on Ω in terms of Ω-enriched structures.Mathematics Subject Classifications (2000) 06F07, 18B35, 18D05, 18D20.     

Remarks on ample vector bundles of curve genus two

Let be an ample vector bundle of rank n – 1 on a smooth complex projective variety X of dimension n≥ 3 such that X is a -bundle over and that for any fiber F of the bundle projection . The pairs with = 2 are classified, where is the curve genus of . This allows us to improve some previous results. Received: 13 June 2006     

Spherical Monogenics: An Algebraic Approach

The space of spherical monogenics in can be regarded as a model for the irreducible representation of Spin(m) with weight . In this paper we construct an orthonormal basis for . To describe the symmetry behind this procedure, we define certain Spin(m − 2)-invariant representations of the Lie algebra (2) on . Received: October, 2007. Accepted: February, 2008.     

Multipliers of Fractional Cauchy Transforms

Let B_n denote the unit ball of , n ≥ 2. Given an α > 0, let denote the class of functions defined for by integrating the kernel against a complex-valued measure on the sphere . Let denote the space of holomorphic functions in the ball. A function is called a multiplier of provided that for every . In the present paper, we obtain explicit analytic conditions on which imply that g is a multiplier of . Also, we discuss the sharpness of the results obtained. This research was supported by RFBR (grant no. 08-01-00358-a), by the Russian Science Support Foundation and by the programme “Key scientific schools NS 2409.2008.1”.     

Convexities of partial monounary algebras

In the present paper we prove that the collection of all convexities of partial monounary algebras is finite; namely, it has exactly 23 elements. Further, we show that for each element there exists a subset of such that is generated by and card . This work was supported by the Science and Technology Assistance Agency under the contract No. APVT-20-004104. Supported by Grant VEGA 1/3003/06.     

Additive Maps Preserving Local Spectrum

Let X be a complex Banach space, and let be the space of bounded operators on X. Given and x ∈ X, denote by σ_T (x) the local spectrum of T at x. We prove that if is an additive map such that

Integral Equations on Function Spaces and Dichotomy on the Real Line

The purpose of this paper is to give new and general characterizations for uniform dichotomy and uniform exponential dichotomy of evolution families on the real line. We consider two general classes denoted and and we prove that if V,W are Banach function spaces with and , then the admissibility of the pair for an evolution family implies the uniform dichotomy of . In addition, we consider a subclass and we prove that if , then the admissibility of the pair implies the uniform exponential dichotomy of the family . This condition becomes necessary if . Finally, we present some applications of the main results.     

Ratios of Norms for Polynomials and Connected n-width Problems

Let be a bounded simply connected domain with boundary Γ and let be a regular compact set with connected complement. In this paper we investigate asymptotics of the extremal constants:

A Helly-type theorem for countable intersections of starshaped sets

Let k and d be fixed integers, 0kd, and let be a collection of sets in If every countable subfamily of has a starshaped intersection, then is (nonempty and) starshaped as well. Moreover, if every countable subfamily of has as its intersection a starshaped set whose kernel is at least k-dimensional, then the kernel of is at least k-dimensional, too. Finally, dual statements hold for unions of sets.Received: 3 April 2004     

The Hochschild cohomology of a closed manifold

Let M be a closed orientable manifold of dimension d and be the usual cochain algebra on M with coefficients in a field k. The Hochschild cohomology of M, is a graded commutative and associative algebra. The augmentation map induces a morphism of algebras . In this paper we produce a chain model for the morphism I. We show that the kernel of I is a nilpotent ideal and that the image of I is contained in the center of , which is in general quite small. The algebra is expected to be isomorphic to the loop homology constructed by Chas and Sullivan. Thus our results would be translated in terms of string homology.     

The product of two von Neumann n-frames, its characteristic, and modular fractal lattices

Let L be a bounded lattice. If for each a₁ < b₁ ∈ L and a₂ < b₂ ∈ L there is a lattice embedding ψ: [a₁, b₁] → [a₂, b₂] with ψ(a₁) = a₂ and ψ(b₁) = b₂, then we say that L is a quasifractal. If ψ can always be chosen to be an isomorphism or, equivalently, if L is isomorphic to each of its nontrivial intervals, then L will be called a fractal lattice. For a ring R with 1 let denote the lattice variety generated by the submodule lattices of R-modules. Varieties of this kind are completely described in [16]. The prime field of characteristic p will be denoted by F_p. Let be a lattice variety generated by a nondistributive modular quasifractal. The main theorem says that is neither too small nor too large in the following sense: there is a unique , a prime number or zero, such that and for any n ≥ 3 and any nontrivial (normalized von Neumann) n-frame of any lattice in , is of characteristic p. We do not know if in general; however we point out that, for any ring R with 1, implies . It will not be hard to show that is Arguesian. The main theorem does have a content, for it has been shown in [2] that each of the is generated by a single fractal lattice L_p; moreover we can stipulate either that L_p is a continuous geometry or that L_p is countable. The proof of the main theorem is based on the following result of the present paper: if is a nontrivial m-frame and is an n-frame of a modular lattice L with m, n ≥ 3 such that and , then these two frames have the same characteristic and, in addition, they determine a nontrivial mn-frame of the same characteristic in a canonical way, which we call the product frame. Presented by E. T. Schmidt.     

Some Categorical Algebraic Properties: Counter-Examples for Functor Categories

This work is a complement to the authors earlier papers, where it is shown that a functor category inherits from such properties as amalgamation, transferability and congruence extension if has either products or certain pushouts. A general scheme is given for constructing counter-examples which show that the latter condition on is essential. In particular, it is shown that the functor categories , , ( resp.) do not satisfy the amalgamation (congruence extension resp.) property in general. Moreover, one class of categories is described, where the condition of the existence of certain pushouts is not only sufficient, but also necessary for to preserve the considered properties of .Mathematics Subject Classifications (2000) 18A25, 18A32, 18B99, 08B26.Dali Zangurashvili: The support rendered by INTAS Grant 97 31961 is gratefully acknowledged.     

Wiener-Hopf operators on L_{\omega}^{2}(\mathbb{R}^{+})

Let be a weighted space with weight . In this paper we show that for every Wiener-Hopf operator T on and for every a I, there exists a function such that

Linear Codes over \mathbb{F}_{q}[u]/(u^s) with Respect to the Rosenbloom–Tsfasman Metric

We investigate the structure of codes over rings with respect to the Rosenbloom-Tsfasman (RT) metric. We define a standard form generator matrix and show how we can determine the minimum distance of a code by taking advantage of its standard form. We define MDR (maximum distance rank) codes with respect to this metric and give the weights of the codewords of an MDR code. We explore the structure of cyclic codes over and show that all cyclic codes over rings are MDR. We propose a decoding algorithm for linear codes over these rings with respect to the RT metric. AMS Classification: 94B05, 94B60     

Polyhedral groups, McKay quivers, and the finite algebraic groups with tame principal blocks

Given an algebraically closed field k of characteristic p≥3, we classify the finite algebraic k-groups whose algebras of measures afford a principal block of tame representation type. The structure of such a group is largely determined by a linearly reductive subgroup scheme of SL(2), with the McKay quiver of relative to its standard module being the Gabriel quiver of the principal block . The graphs underlying these quivers are extended Dynkin diagrams of type or , and the tame blocks are Morita equivalent to generalizations of the trivial extensions of the radical square zero tame hereditary algebras of the corresponding type.     

An Operator Corona Theorem for Some Subspaces of <Emphasis Type="Italic">H</Emphasis><Superscript>∞</Superscript>

Let E, E_* be separable Hilbert spaces. If S is an open subset of , then denotes the space of all functions that are holomorphic in , and bounded and continuous on . In this article we prove the following results: