Affine configurations of 4 lines in \mathbb{R}^{\text{3}}

We prove that affine configurations of 4 lines in are topologically and combinatorially homeomorphic to affine configurations of 6 points in Received: 14 July 2004; revised: 18 February 2005     

{\left( {\mathfrak{V},\mathfrak{W}} \right)}{\text{-cotorsion pairs}}

Let R be a unital associative ring and two classes of left R-modules. In this paper we introduce the notion of a In analogy to classical cotorsion pairs as defined by Salce [10], a pair of subclasses and is called a if it is maximal with respect to the classes and the condition for all and Basic properties of are stated and several examples in the category of abelian groups are studied. Received: 17 March 2005     

Symmetrization of Closure Operators and Visibility

For an arbitrary set E and a given closure operator , we want to construct a symmetric closure operator via some – possibly infinite – iteration process. If E is finite, the corresponding symmetric closure operator . defines a matroid. If and is the convex closure operator, turns out to be the affine closure operator. Moreover, we apply the symmetrization process to closure operators induced by visibility. Received March 9, 2005     

Birkhoff coordinates for KdV on phase spaces of distributions

The purpose of this paper is to extend the construction of Birkhoff coordinates for the KdV equation from the phase space of square integrable 1-periodic functions with mean value zero to the phase space of mean value zero distributions from the Sobolev space endowed with the symplectic structure More precisely, we construct a globally defined real-analytic symplectomorphism where is a weighted Hilbert space of sequences supplied with the canonical Poisson structure so that the KdV Hamiltonian for potentials in is a function of the actions alone.     

Sums, products and negations of contexts and complete lattices

In Formal Concept Analysis, one associates with every context its concept lattice , and conversely, with any complete lattice L the standard context L, constituted by the join-irreducible elements as ‘objects’, the meet-irreducible elements as ‘attributes’, and the incidence relation induced by the lattice order. We investigate the effect of the operators and on various (finite or infinite) sum and product constructions. The rules obtained confirm the ‘exponential’ behavior of and the ‘logarithmic’ behavior of with respect to cardinal operations but show a ‘linear’ behavior on ordinal sums. We use these results in order to establish several forms of De Morgan’s law for the lattice-theoretical negation operator, associating with any complete lattice the concept lattice of the complementary standard context. Received February 7, 2001; accepted in final form January 6, 2006.     

A note on weak convergence in L^{1}_{\rm loc}({\mathbb{R}})

Let be a sequence of Borel measurable functions satisfying, for a function the inequalities

Elements of Prescribed Order,Prescribed Traces and Systems of Rational Functions Over Finite Fields

Let k 1 and be a system of rational functions forming a strongly linearly independent set over a finite field . Let be arbitrarily prescribed elements. We prove that for all sufficiently large extensions , there is an element of prescribed order such that is the relative trace map from onto We give some applications to BCH codes, finite field arithmetic and ordered orthogonal arrays. We also solve a question of Helleseth et~al. (Hypercubic 4 and 5-designs from Double-Error-Correcting codes, Des. Codes. Cryptgr. 28(2003). pp. 265–282) completely.classification 11T30, 11G20, 05B15     

Right Spectrum and Trace Formula of Subnormal Tuples of Operators of Finite Type

This paper studies pure subnormal k-tuples of operators with finite rank of self-commutators. It determines the substantial part of the conjugate of the joint point spectrum of which is the union of domains in Riemann surfaces in some algebraic varieties in The concrete form of the principal current [4] related to is also determined. Besides, some operator identities are found for      

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     

Bicomplex Quantum Mechanics: I. The Generalized Schrödinger Equation

We introduce the set of bicomplex numbers which is a commutative ring with zero divisors defined by where We present the conjugates and the moduli associated with the bicomplex numbers. Then we study the bicomplex Schr?dinger equation and found the continuity equations. The discrete symmetries of the system of equations describing the bicomplex Schr?dinger equation are obtained. Finally, we study the bicomplex Born formulas under the discrete symmetries. We obtain the standard Born’s formula for the class of bicomplex wave functions having a null hyperbolic angle.     

C*-Algebras of Integral Operators with Piecewise Slowly Oscillating Coefficients and Shifts Acting Freely

We establish a symbol calculus for the C*-subalgebra of generated by the operators of multiplication by slowly oscillating and piecewise continuous functions and the operators where is the Cauchy singular integral operator and The C*-algebra is invariant under the transformations

Dynamics of the Mapping Class Group on the Moduli of a Punctured Sphere with Rational Holonomy

Let M be a four-holed sphere and Γ the mapping class group of M fixing the boundary ∂M. The group Γ acts on which is the space of completely reducible SL (2, -gauge equivalence classes of flat SL -connections on M with fixed holonomy on ∂M. Let and be the compact component of the real points of . These points correspond to SU(2)-representations or SL(2, -representations. The Γ-action preserves and we study the topological dynamics of the Γ-action on and show that for a dense set of holonomy , the Γ-orbits are dense in . We also produce a class of representations such that the Γ-orbit of [ρ] is finite in the compact component of , but is dense in SL(2, .Mathematics Subject Classiffications (2000). 57M05, 54H20, 11D99     

\mathcal{P}\mathcal{A}{\text{-isomorphisms}} of inverse semigroups

A partial automorphism of a semigroup S is any isomorphism between its subsemigroups, and the set all partial automorphisms of S with respect to composition is an inverse monoid called the partial automorphism monoid of S. Two semigroups are said to be if their partial automorphism monoids are isomorphic. A class of semigroups is called if it contains every semigroup to some semigroup from Although the class of all inverse semigroups is not we prove that the class of inverse semigroups, in which no maximal isolated subgroup is a direct product of an involution-free periodic group and the two-element cyclic group, is It follows that the class of all combinatorial inverse semigroups (those with no nontrivial subgroups) is A semigroup is called if it is isomorphic or antiisomorphic to any semigroup that is to it. We show that combinatorial inverse semigroups which are either shortly connected [5] or quasi-archimedean [10] are To Ralph McKenzieReceived April 15, 2004; accepted in final form October 7, 2004.     

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.     

<Emphasis Type="Italic">p</Emphasis>-Laplace Operator and Diameter of Manifolds

Let be a compact Riemannian manifold without boundary. In this paper, we consider the first nonzero eigenvalue of the p-Laplacian and we prove that the limit of when is 2/d(M), where d(M) is the diameter of M. Moreover, if is an oriented compact hypersurface of the Euclidean space or , we prove an upper bound of in terms of the largest principal curvature κ over M. As applications of these results, we obtain optimal lower bounds of d(M) in terms of the curvature. In particular, we prove that if M is a hypersurface of then: . Mathematics Subject Classifications (2000): 53A07, 53C21.     

Extreme values of a portfolio of Gaussian processes and a trend

We consider the extreme values of a portfolio of independent continuous Gaussian processes ( ) which are asymptotically locally stationary, with expectations and variances , and a trend for some constants with . We derive the probability for , which may be interpreted as ruin probability. AMS 2000 Subject Classifications Primary—60G15, 62G32, 91B28     

A singular Moser-Trudinger embedding and its applications

Let Ω be a bounded domain in , we prove the singular Moser-Trudinger embedding: if and only if where and . We will also study the corresponding critical exponent problem.     

Normality of Products of <Emphasis Type="Italic">p</Emphasis>-Hyponormal Operators and Their Aluthge Transforms

Let B(H) denote the algebra of operators on a complex separable Hilbert space H, and let A $\in$ B(H) have the polar decomposition A = U|A|. The Aluthge transform is defined to be the operator . We say that A $\in$ B(H) is p-hyponormal, . Let . Given p-hyponormal , such that AB is compact, this note considers the relationship between denotes an enumeration in decreasing order repeated according to multiplicity of the eigenvalues of the compact operator T (respectively, singular values of the compact operator T). It is proved that is bounded above by and below by for all j = 1, 2, . . . and that if also is normal, then there exists a unitary U¹ such that for all j = 1, 2, . . ..     

Invariants and spaces of zero solutions of linear partial differential operators

It is shown that for open convex , d > 1 and a nontrivial polynomial P the space does not have property . If P is elliptic or homogeneous, then this holds for every open Ω. For even cannot occur and if it occurs for some Ω, then P must be hypoelliptic. Received: 18 July 2005