A family of transitive modular Lie superalgebras with depth one

The embedding theorem is established for Z-graded transitive modular Lie superalgebras g=(?)satisfying the conditions: (i)g0(?)(g-1)and g0-module g-1 is isomorphic to the natural(?)(g-1)-module; (ii)dim g1=2/3n(2n~2 1),where n=1/2dim g-1. In particular,it is proved that the finite-dimensional simple modular Lie superalgebras satisfying the conditions above are isomorphic to the odd Hamiltonian superalgebras.The restricted Lie superalgebras are also considered.     

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     

Property ∏σ and tensor products of operator algebras

In this paper, we introduce Property ∏σ of operator algebras and prove that nest subalgebras and the finite-width CSL subalgebras of arbitrary von Neumann algebras have Property ∏σ.Finally, we show that the tensor product formula alg ML1-(×)algNL2 = algM-(×)N(L1 (×) L2) holds for any two finite-width CSLs L1 and L2 in arbitrary von Neumann algebras M and N, respectively.     

Metrics in the sphere of a C*-module

Given a unital C*-algebra and a right C*-module over , we consider the problem of finding short smooth curves in the sphere = {x ∈ : 〈x, x〉 = 1}. Curves in are measured considering the Finsler metric which consists of the norm of at each tangent space of . The initial value problem is solved, for the case when is a von Neumann algebra and is selfdual: for any element x ₀ ∈ and any tangent vector ν at x ₀, there exists a curve γ(t) = e ^tZ (x ₀), Z ∈ , Z* = −Z and ∥Z∥ ≤ π, such that γ(0) = x ₀ and (0) = ν, which is minimizing along its path for t ∈ [0, 1]. The existence of such Z is linked to the extension problem of selfadjoint operators. Such minimal curves need not be unique. Also we consider the boundary value problem: given x ₀, x ₁ ∈ , find a curve of minimal length which joins them. We give several partial answers to this question. For instance, let us denote by f ₀ the selfadjoint projection I − x ₀ ⊗ x ₀, if the algebra f ₀ f ₀ is finite dimensional, then there exists a curve γ joining x ₀ and x ₁, which is minimizing along its path.      

Ultraproducts of real interpolation spaces between L p -spaces

Let , be a family of compatible couples of L^p-spaces. We show that, given a countably incomplete ultrafilter in , the ultraproduct of interpolation spaces defined by the real method is isomorphic to the direct sum of an interpolation space of type , an intermediate K?the space between and being a purely atomic measure space, and a K?the function space K(Ω₃) defined on some purely non atomic measure space (Ω₃, ν₃) in such a way that Ω₂ ∪ Ω₃ ≠∅. The research of first and third authors is partially supported by the MEC and FEDER project MTM2004-02262 and AVCIT group 03/050.     

Asymptotic Expansions of the Heat Kernel of the Laplacian for General Annular Bounded Domains with Robin Boundary Conditions：Further Results

The asymptotic expansions of the trace of the heat kernel θ(t)=∑^∞v=1^exp(-tλv) for small positive t,where {λv} are the eigenvalues of the negative Laplacian -△n=-∑^ni=1(D/Dx^1)^2 in R^2(n=2 or 3),are studied for a general annular bounded domain Ω with a smooth inner boundary DΩ1 and a smooth outer boundary DΩ2,where a finite number of piecewise smooth Robin boundary conditions(D/Dnj γh)Ф=0 on the components Гj(j= 1,...,m) of (DΩ1 and on the components Гj (j=k 1,…,m) of of DΩ2 are considered such that DΩl=U^kj=lГj and DΩ2= U^m=k 1Гj and where the coefficients γj(j=1,...,m) are piecewise smooth positive functions. Some applications of θ(t) for an ideal gas enclosed in the general annular bounded domain Ω are given. Further results are also obtained.     

Weighted Non-Trivial Multiply Intersecting Families

Let n and r be positive integers. Suppose that a family satisfies F₁∩···∩F_r ≠∅ for all F₁, . . .,F_r ∈ and . We prove that there exists ε=ε(r) >0 such that holds for 1/2≤w≤1/2+ε if r≥13.     

On a Poincaré-type Inequality for Energy Forms in L p

We consider Dirichlet spaces ( ) in L ² and more general energy forms in L ^p , . For the latter we introduce the notions of an extended ’Dirichlet’ space and a transient form. Under the assumption that , resp. , are compactly embedded in L ², resp. L ^p , we prove a Poincaré inequality for transient (Dirichlet) forms. If both and its adjoint are sub-Markovian semigroups, we show that the transience of T _t is independent of ) and that it is implied by the transience of the energy form of and the form belonging to .     

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.     

Fong characters and chains of normal subgroups

In this note, we show that if is a π-partial character of the π-separable group is a chain of normal subgroups of G, and H is a Hall π-subgroup of G, then has a Fong character α Irr(H) such that for every subgroup , every irreducible constituent of α _H∩N is Fong for N. We also show that if is quasi-primitive, then for every normal subgroup M of G the irreducible constituents of are Fong for M. Received: 21 July 2006 Revised: 17 January 2007     

Some Limit Theorems for a Particle System of Single Point Catalytic Branching Random Walks

We study the scaling limit for a catalytic branching particle system whose particles perform random walks on Z and can branch at 0 only. Varying the initial （finite） number of particles, we get for this system different limiting distributions. To be more specific, suppose that initially there are n^β particles and consider the scaled process Zt^n（·） = Znt（√n·）, where Zt is the measure-valued process 1 and to a representing the original particle system. We prove that Ztn converges to 0 when β 〈1/4 and to a nondegenerate discrete distribution when β=1/4.In addition,if 1/4〈β〈1/2 then n-^（2β-1/2）Zt^n converges to a random limit,while if β 〉21then n^-βZtn converges to a deterministic limit.     

Furstenberg family and chaos

A Furstenberg family F is a family,consisting of some subsets of the set of positive integers,which is hereditary upwards,i.e.A■B and A∈F imply B∈F.For a given system (i.e.,a pair of a complete metric space and a continuous self-map of the space) and for a Furstenberg family F, the definition of F-scrambled pairs of points in the space has been given,which brings the well-known scrambled pairs in Li-Yorke sense and the scrambled pairs in distribution sense to be F-scrambled pairs corresponding respectively to suitable Furstenberg family F.In the present paper we explore the basic properties of the set of F-scrambled pairs of a system.The generically F-chaotic system and the generically strongly F-chaotic system are defined.A criterion for a generically strongly F-chaotic system is showed.     

Isometries and direct decompositions of pseudo MV-algebras

In the paper isometries in pseudo MV-algebras are investigated. It is shown that for every isometry f in a pseudo MV-algebra = (A, ⊕, ⁻, ^∼, 0, 1) there exists an internal direct decomposition of with commutative such that and for each x ∈ A. On the other hand, if is an internal direct decomposition of a pseudo MV-algebra = (A, ⊕, ⁻, ^∼, 0, 1) with commutative, then the mapping g: A → A defined by is an isometry in and .      

More on Bounding Introspection in Modal Nonmonotonic Logics

Abstract By we denote the set of all propositional formulas. Let be the set of all clauses. Define . In Sec. 2 of this paper we prove that for normal modal logics , the notions of -expansions and -expansions coincide. In Sec. 3, we prove that if I consists of default clauses then the notions of -expansions for I and -expansions for I coincide. To this end, we first show, in Sec. 3, that the notion of -expansions for I is the same as that of -expansions for I. The project is supported by NSFC     

Properties of Auto- and Antiautomorphisms of Maximal Chain Structures and their Relations to i-Perspectivities

Let E be a non empty set, let P : = E × E, := {x × E|x ∈ E}, := {E × x|x ∈ E}, and := {C ∈ 2 ^P |∀X ∈ : |C ∩ X| = 1} and let . Then the quadruple resp. is called chain structure resp. maximal chain structure. We consider the maximal chain structure as an envelope of the chain structure . Particular chain structures are webs, 2-structures, (coordinatized) affine planes, hyperbola structures or Minkowski planes. Here we study in detail the groups of automorphisms , , , related to a maximal chain structure . The set of all chains can be turned in a group such that the subgroup of generated by the left-, by the right-translations and by ι the inverse map of is isomorphic to (cf. (2.14)).     

Tubes in three–dimensional projective spaces

A partial tube in PG(3, q) is a pair , where is a collection of mutually disjoint lines of PG(3, q) with the property that for each plane π of PG(3, q) through L, the intersection of π with the lines of is an arc. Here, we generalize the notion of partial tube allowing the ground field to be any algebraically closed field. To a generalized partial tube we will associate an irreducible surface of degree d in providing upper bounds on d. The authors were partially supported by MIUR and GNSAGA of INdAM (Italy).     

Growth Estimates for Cauchy Integrals of Measures and Rectifiability

We show that if μ is a finite Borel measure on the complex plane such that

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     

Comparing the regular and the restricted regular semidirect products

We compare the two recently introduced semidirect product operations *_r and *_rr within the lattice of e-varieties of locally inverse semigroups. For each e-variety which contains all rectangular bands and is properly contained in the e-variety of all completely simple semigroups, the inclusions are proved where is the e-variety of all semilattices and the variety of all abelian groups of exponent dividing q where q is any integer greater than one. Some consequences for the class of finite locally inverse semigroups are also obtained.     

On the norm and spectral radius of Hermitian elements

Let be a complex unital Banach algebra. An element a ∈ is said to be Hermitian if ‖exp(ita)‖ = 1 for all t ∈ ℝ. In the case of the algebra of bounded linear operators in a Hilbert space, this Hermitian property agrees with the ordinary self-adjointness. If a ∈ is Hermitian, then ‖a‖ = |a|, where |a| denotes the spectral radius of a. A function F: ℝ → ℂ is called a universal symbol if ‖F(a)‖ = | F(a)| for every and all Hermitian a ∈ . We characterize universal symbols in terms of positive-definite functions.