On the Range of the Aluthge Transform

Let be the algebra of all bounded linear operators on a complex separable Hilbert space For an operator let be the Aluthge transform of T and we define for all where T = U|T| is a polar decomposition of T. In this short note, we consider an elementary property of the range of Δ. We prove that R(Δ) is neither closed nor dense in However R(Δ) is strongly dense if is infinite dimensional. An erratum to this article is available at .     

Lefschetz decompositions and categorical resolutions of singularities

Let Y be a singular algebraic variety and let be a resolution of singularities of Y. Assume that the exceptional locus of over Y is an irreducible divisor in . For every Lefschetz decomposition of the bounded derived category of coherent sheaves on we construct a triangulated subcategory ) which gives a desingularization of . If the Lefschetz decomposition is generated by a vector bundle tilting over Y then is a noncommutative resolution, and if the Lefschetz decomposition is rectangular, then is a crepant resolution.     

Local André-Oort conjecture for the universal abelian variety

We prove a p-adic version of the André-Oort conjecture for subvarieties of the universal abelian varieties. Let g and n be integers with n≥3 and p a prime number not dividing n. Let R be a finite extension of , the ring of Witt vectors of the algebraic closure of the field of p elements. The moduli space of g-dimensional principally polarized abelian varieties with full level n-structure as well as the universal abelian variety over may be defined over R. We call a point R-special if is a canonical lift and ξ is a torsion point of its fibre. Employing the model theory of difference fields and work of Moonen on special subvarieties of , we show that an irreducible subvariety of containing a dense set of R-special points must be a special subvariety in the sense of mixed Shimura varieties.     

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.     

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.     

The Reduced Minimum Modulus in <Emphasis>C</Emphasis><Superscript>*</Superscript>-Algebras

We define the reduced minimum modulus of a nonzero element a in a unital C ^*-algebra by . We prove that . Applying this result to and its closed two side ideal , we get that dist , and for any if RR = 0, where and is the quotient homomorphism and . These results generalize corresponding results in Hilbert spaces.     

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     

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.     

The general dévissage theorem for Witt groups of schemes

Let be a closed subscheme of the noetherian scheme X. We show that if X has a dualizing complex then there exists a dualizing complex of Z such that there is an isomorphism of coherent Witt groups for all . Received: 3 March 2006     

Supersaturation For Ramsey-Turán Problems

For an l-graph , the Turán number is the maximum number of edges in an n-vertex l-graph containing no copy of . The limit is known to exist [8]. The Ramsey–Turán density is defined similarly to except that we restrict to only those with independence number o(n). A result of Erdős and Sós [3] states that as long as for every edge E of there is another edge E′of for which |E∩E′|≥2. Therefore a natural question is whether there exists for which . Another variant proposed in [3] requires the stronger condition that every set of vertices of of size at least εn (0<ε<1) has density bounded below by some threshold. By definition, for every . However, even is not known for very many l-graphs when l>2. We prove the existence of a phenomenon similar to supersaturation for Turán problems for hypergraphs. As a consequence, we construct, for each l≥3, infinitely many l-graphs for which . We also prove that the 3-graph with triples 12a, 12b, 12c, 13a, 13b, 13c, 23a, 23b, 23c, abc, satisfies . The existence of a hypergraph satisfying was conjectured by Erdős and Sós [3], proved by Frankl and R?dl [6], and later by Sidorenko [14]. Our short proof is based on different ideas and is simpler than these earlier proofs. * Research supported in part by the National Science Foundation under grants DMS-9970325 and DMS-0400812, and an Alfred P. Sloan Research Fellowship. † Research supported in part by the National Science Foundation under grants DMS-0071261 and DMS-0300529.     

A class number formula for the p-cyclotomic field

Let p be an odd prime number and . Let be the classical Stickelberger ideal of the group ring . Iwasawa [6] proved that the index equals the relative class number of . In [2], [4] we defined for each subgroup H of G a Stickelberger ideal of , and studied some of its properties. In this note, we prove that when mod 4 and [G : H] = 2, the index equals the quotient . Received: 13 January 2006     

The Topology on the Space of δ-psh Functions in the Cegrell Classes

The aim of the present paper is to introduce a metric locally convex topology on the space of δ-psh functions in the Cegrell class . We prove that with this topology is a non-separable and non-reflexive Fréchet space. At the same time, we extend the Monge–Ampère operator from the class to .     

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     

Polar Graphs and Corresponding Involution Sets, Loops and Steiner Triple Systems

A 1-factorization (or parallelism) of the complete graph with loops is called polar if each 1-factor (parallel class) contains exactly one loop and for any three distinct vertices x₁, x₂, x₃, if {x₁} and {x₂, x₃} belong to a 1-factor then the same holds for any permutation of the set {1, 2, 3}. To a polar graph there corresponds a polar involution set , an idempotent totally symmetric quasigroup (P, *), a commutative, weak inverse property loop (P, + ) of exponent 3 and a Steiner triple system . We have: satisfies the trapezium axiom is self-distributive ⇔ (P, + ) is a Moufang loop is an affine triple system; and: satisfies the quadrangle axiom is a group is an affine space.     

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

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     

Affine congruence by dissection of discs - appropriate groups and optimal dissections

Let be a group of affine transformations of the Euclidean plane . Two topological discs D, are called congruent by dissection with respect to if D can be dissected into a finite number of subdiscs that can be rearranged by maps from to a dissection of E. Our main result says in particular that admits congruence by dissection of any circular disc C with any square S if and only if contains a contractive map and all orbits , , are dense in . In this case any two discs D and E are congruent by dissection with respect to and every disc D is congruent by dissection with n copies of D for every n ≥ 2. Moreover, we give estimates on minimal numbers of pieces that are needed to realize congruences by dissection. Dedicated to Irmtraud Stephani on the occasion of her 70th birthday     

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.     

Locally finite varieties of Heyting algebras

We show that for a variety of Heyting algebras the following conditions are equivalent: (1) is locally finite; (2) the -coproduct of any two finite -algebras is finite; (3) either coincides with the variety of Boolean algebras or finite -copowers of the three element chain are finite. We also show that a variety of Heyting algebras is generated by its finite members if, and only if, is generated by a locally finite -algebra. Finally, to the two existing criteria for varieties of Heyting algebras to be finitely generated we add the following one: is finitely generated if, and only if, is residually finite. Received November 11, 2001; accepted in final form July 25, 2005.