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.     

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.     

Type A Hecke algebras and related algebras

Let be the Hecke algebra of the symmetric group over a field K of characteristic and a primitive -th root of one in K. We show that an -module is projective if and only if its restrictions to any -parabolic subalgebra of is projective. Moreover, we give a new construction of blocks of -parabolic subalgebras, in terms of skew group algebras over local commutative algebras. Received: 30 June 2003     

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     

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.     

Modified Alternating $$\vec{k}$$–generators

This paper deals with a class of pseudorandom bit generators – modified alternating –generators. This class is constructed similarly to the class of alternating step generators. Three subclasses of are distinguished, namely linear, mixed and nonlinear generators. The main attention is devoted to the subclass of linear and mixed generators generating periodic sequences with maximal period lengths. A necessary and sufficient condition for all sequences generated by the linear generators of to be with maximal period lengths is formulated. Such sequences have good statistical properties, such as distribution of zeroes and ones, and large linear complexity. Two methods of cryptanalysis of the proposed generators are given. Finally, three new classes of modified alternating –generators, designed especially to be more secure, are presented.     

Remarks on balance in generalized Tate cohomology

We consider two pairs of complete hereditary cotorsion theories on the category of left R-modules, such that We prove that for any left R-modules M, N and for any n ≧ 1, the generalized Tate cohomology modules can be computed either using a left of M and a left of M or using a right a right of N. Received: 17 December 2004     

Weingarten rotation surfaces in 3-dimensional de Sitter space

In the 3-dimensional de Sitter Space , a surface is said to be a spherical (resp. hyperbolic or parabolic) rotation surface, if it is a orbit of a regular curve under the action of the orthogonal transformations of the 4-dimensional Minkowski space which leave a timelike (resp. spacelike or degenerate) plane pointwise fixed. In this paper, we give all spacelike and timelike Weingarten rotation surfaces in .     

The Automorphism Group of Plane Algebraic Curves with Singer Automorphisms

The main result in Cossidente and Siciliano (J. Number Theory, Vol. 99 (2003) pp. 373–382) states that if a Singer subgroup of PGL(3,q) is an automorphism group of a projective, geometric irreducible, non-singular plane algebraic curve then either or . In the former case is projectively equivalent to the curve with equation X^q+1Y+Y^q+1+X=0 studied by Pellikaan. Furthermore, the curve has a very nice property from Finite Geometry point of view: apart from the three distinguished points fixed by the Singer subgroup, the set of its -rational points can be partitioned into finite projective planes . In this paper, the full automorphism group of such curves is determined. It turns out that is the normalizer of a Singer group in .     

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.     

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.     

Smooth quasiregular mappings with branching

We give an example of a -smooth quasiregular mapping in 3-space with nonempty branch set. Moreover, we show that the branch set of an arbitrary quasiregular mapping in n-space has Hausdorff dimension quantitatively bounded away from n. By using the second result, we establish a new, qualitatively sharp relation between smoothness and branching.     

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     

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.     

Identification of a time-dependent UV-photon source in an interstellar cloud

Abstract Consider an interstellar cloud that occupies the region , bounded by the known surface , and assume that the scattering cross section σ_s and the total cross section σ are also known. Then, we prove that it is possible to identify the source q=q(x,t) that produces UV-photons inside the cloud, provided that the UV-photon distribution function arriving at a location , far from the cloud, is measured at times , , ..., . Keywords: Photon transport, Semigroups and linear evolution equations, Inverse problems Mathematics Subject Classification (2000): 82A25, 82C70, 34K29, 65M32     

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

Transformations of Grassmannians preserving the class of base subsets

Let be a finite-dimensional projective space and be the Grassmannian consisting of all k-dimensional subspaces of . In the paper we show that transformations of sending base subsets to base subsets are induced by collineations of to itself or to the dual projective space . This statement generalizes the main result of the authors paper [19].     

Hereditary Coreflective Subcategories of Categories of Topological Spaces

Let be an epireflective subcategory of the category Top of topological spaces that is not bireflective (e.g., the category of Hausdorff spaces, the category of Tychonoff spaces) and ℬ be a coreflective subcategory of . Extending the corresponding result obtained for coreflective subcategories of Top we prove that ℬ is hereditary if and only if it is closed under the formation of prime factors. As a consequence we obtain that every hereditary coreflective subcategory ℬ of containing a non-discrete space is generated by a class of prime spaces and if is a quotient-reflective subcategory of Top, then the assignment gives a bijection of the collection of all hereditary coreflective subcategories of Top that contain the class FG of all finitely generated spaces onto the collection of all hereditary coreflective subcategories of that contain . Some applications of these results in the categories of Hausdorff spaces, Tychonoff spaces and zero-dimensional Hausdorff spaces are presented.Mathematics Subject Classifications (2000) 18D15, 54B30.     

Hyperbolic Function Theory in the Clifford Algebra {\mathcal {C}}\ell_{n+1, 0}

The aim of this paper is to give the basic principles of hyperbolic function theory on the Clifford algebra . The structure of the theory is quite similar to the case of Clifford algebras with negative generators, but the proofs are not obvious. The (real) Clifford algebra is generated by unit vectors with positive squares e²_i = + 1. The hyperbolic Dirac operator is of the form where Q₀f is represented by the composition . If is a solution of H_kf = 0, then f is called k-hypergenic in Ω, where is an open set. We introduce some basic results of hyperbolic function theory and give some representation theorems on . Received: October, 2007. Accepted: February, 2008.