Subpullbacks and Flatness Properties of S-Posets

In [5 Laan , V. ( 2001 ). Pullbacks and flatness proprties of acts I . Comm. Algebra. 29 ( 2 ): 829 – 850 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], pp. 829–850] study was initiated of flatness properties of right acts A _S over a monoid S that can be described in terms when the functor A _S ?-preserves pullbacks. In that article, familiar flatness properties emerged in a new light, and new properties such as (PWP) and (WP) were discovered. In this article, we extend these results to S-posets. Also we introduce Conditions (WP) _w and (PWP) _w and consider the relation between them and Conditions (WP), (PWP), and po-flatness.     

The flatness properties of <Emphasis Type="Italic">S</Emphasis>-poset <Emphasis Type="Italic">A</Emphasis>(<Emphasis Type="Italic">I</Emphasis>) and Rees factor <Emphasis Type="Italic">S</Emphasis>-posets

Let S be a pomonoid and I a proper right ideal of S. In a previous paper, using the amalgamated coproduct A(I) of two copies of _S S over I, we were able to solve one of the problems posed in S. Bulman-Fleming et al. (Commun. Algebra 34:1291–1317, 2006). In the present paper, we investigate further flatness properties of A(I). We also solve another problem stated in the paper cited above. Namely, we determine the condition under which Rees factor S-posets have property (P _w ). Research supported by nwnu-kjcxgc-03-18.     

Subpullback flat S-posets need not be subequalizer flat

If S is a monoid, a right S-act A _S is a set A, equipped with a “right S-action” A×S→A sending the pair (a,s)∈ A×S to as, that satisfies the conditions (i) a(st)=(as)t and (ii) a1=a for all a∈A and s,t∈S. If, in addition, S is equipped with a compatible partial order and A is a poset, such that the action is monotone (when A×S is equipped with the product order), then A _S is called a right S-poset. Left S-acts and S-posets are defined analogously. For a given S-act (resp. S-poset) a tensor product functor A _S ?? from left S-acts to sets (resp. left S-posets to posets) exists, and A _S is called pullback flat or equalizer flat (resp. subpullback flat or subequalizer flat) if this functor preserves pullbacks or equalizers (resp. subpullbacks or subequalizers). By analogy with the Lazard-Govorov Theorem for R-modules, B. Stenström proved in 1971 that an S-act is isomorphic to a directed colimit of finitely generated free S -acts if and only if it is both pullback flat and equalizer flat. Some 20 years later, the present author showed that, in fact, pullback flatness by itself is sufficient. (A new, more direct proof of that result is contained in the present article.) In 2005, Valdis Laan and the present author obtained a version of the Lazard-Govorov Theorem for S-posets, in which subpullbacks and subequalizers now assume the role previously played by pullbacks and equalizers. The question of whether subpullback flatness implies subequalizer flatness remained unsolved. The present paper provides a negative answer to this question.     

Some greedyt-intersecting families of finite sequences

Letn, s ₁,s ₂, ... ands _n be positive integers. Assume is an integer for eachi}. For , , and , denotes _p (a)={j|1jn,a _j p}, , and . is called anI _t ^p -intersecting family if, for any a,b ,a _i b _i =min(a _i ,b _i )p for at leastt i's. is called a greedyI _t ^P -intersecting family if is anI _t ^p -intersecting family andW _p (A)W _p (B+A ^c ) for anyAS _p ( ) and any with |B|=t–1.In this paper, we obtain a sharp upper bound of | | for greedyI _t ^p -intersecting families in for the case 2ps _i (1in) ands ₁>s ₂>...>s _n .This project is partially supported by the National Natural Science Foundation of China (No.19401008) and by Postdoctoral Science Foundation of China.     

On the negative cyclic homology of <Emphasis Type="Italic">shc</Emphasis>-algebras

Let be a field of characteristic and S ¹ the unit circle. We prove that the shc-structure on a cochain algebra (A,d _A ) induces an associative product on the negative cyclic homology HC _*⁻ A. When the cochain algebra (A,d _A ) is the algebra of normalized cochains of the simply connected topological space X with coefficients in , then HC _*⁻ A is isomorphic as a graded algebra to the S ¹-equivariant cohomology algebra of LX, the free loop space of X. We use the notion of shc-formality introduced in Topology 41, 85–106 (2002) to compute the S ¹-equivariant cohomology algebras of the free loop space of the complex projective space when n + 1 = 0 [p] and of the even spheres S ²ⁿ when p = 2.      

Principally Weakly and Weakly Coherent Monoids

We shall call a monoid S principally weakly (weakly) left coherent if direct products of nonempty families of principally weakly (weakly) flat right S-acts are principally weakly (weakly) flat. Such monoids have not been studied in general. However, Bulman-Fleming and McDowell proved that a commutative monoid S is (weakly) coherent if and only if the act S ^I is weakly flat for each nonempty set I. In this article we introduce the notion of finite (principal) weak flatness for characterizing (principally) weakly left coherent monoids. Also we investigate monoids over which direct products of acts transfer an arbitrary flatness property to their components.     

Global behavior of the branch of positive solutions for nonlinear Sturm–Liouville problems

We consider the nonlinear Sturm–Liouville problem

On Some Properties of Randomly Indexed Sequences of Random Elements

Let be a probability space with a nonatomic measure P and let (S,ρ) be a separable complete metric space. Let {N _n ,n≥1} be an arbitrary sequence of positive-integer valued random variables. Let {F _k ,k≥1} be a family of probability laws and let X be some random element defined on and taking values in (S,ρ). In this paper we present necessary and sufficient conditions under which one can construct an array of random elements {X _n,k ,n,k≥1} defined on the same probability space and taking values in (S,ρ), and such that , and moreover as  n→∞. Furthermore, we consider the speed of convergence to X as n→∞.      

Relative MilnorK-theory

LetR be a commutative, semi-local ring,I ₁, ...,I _s ideals. In this paper, we define therelative Milnor K-groups of (R;I ₁, ...,I _s ),K _p ^M (R;I ₁, ...,I _s ), and show that these groups have many of the properties of the usual MilnorK-groups of a field. In particular, assuming a weak condition on the ideals, we show thatK _p ^M (R;I ₁, ...,I _s ) is isomorphic to the weightp portion of the relative QuillenK-groupK _p (R;I ₁, ...,I _s ), after inverting (p–1)!. We also define the relative group homology of GL _n (R;I ₁, ...,I _s ), and show thatK _p ^M (R;I ₁, ...,I _s ) is isomorphic toH _p (GL_p(R;I ₁, ...,I _s ))/Im(H _p (GL _p–1 (R;I ₁, ...,I _s ))). Finally, we consider a generalization to the relative setting of Kato's conjecture asserting that the Galois symbol gives an isomorphism fromK _p ^M (F)/l ^v to , and show that this relative version of Kato's conjecture implies the Quillen-Lichtenbaum conjectures asserting the Chern class:

K-functional, weighted moduli of smoothness, and best weighted polynomial approximation on a simplex

An inverse theorem for the best weighted polynomial approximation of a function in (S) is established. We also investigate Besov spaces generated by Freud weight and their connection with algebraic polynomial approximation in , wherew _α is a Jacobi-type weight onS, 0<p ≤ ∞,S is a simplex andW _λ is a Freud weight. For Ditzian-TotikK-functionals onL _p(S), 1 ≤p ≤ ∞, we obtain a new equivalence expression.     

Embedding an AH-Algebra into a Simple C*-Algebra with Prescribed KK-Data

Let X be a connected finite CW complex. We show that, given a positive homomorphism Hom(K _*(C(X)), K _*(A)) with [1 _C(X)][1 _A ], where A is a unital separable simple C ^*-algebra with real rank zero, stable rank one and weakly unperforated K ₀(A), there exists a homomorphism h: C(X)A such that h induces . We also prove a structure result for unital separable simple C ^*-algebras A with real rank zero, stable rank one and weakly unperforated K ₀(A), namely, there exists a simple AH-algebra of real rank zero contained in A which determines the K-theory of A.     

The Adjoints of Dilation Operators on H-Cones

If S is an H-cone and P:SS is a localizable dilation operator on S (i.e., P is additive increasing, contractive, continuous in order from below and s(Ps+t–Pt+Pf)S, s,tS,f(S–S)₊), then it is proved that its adjoint P ^*:S ^*S ^* (i.e., P ^*=P) is also a localizable dilation operator. This is an improvement of a result obtained by G. Mokobodzki in the frame of excessive functions.     

On the weak non-defectivity of veronese embeddings of projective spaces

Fix integers n, x, k such that n≥3, k>0, x≥4, (n, x)≠(3, 4) and k(n+1)<( _n ^n+x ). Here we prove that the order x Veronese embedding ofP ⁿ is not weakly (k−1)-defective, i.e. for a general S⊃P ⁿ such that #(S) = k+1 the projective space | I _2S (x)| of all degree t hypersurfaces ofP ⁿ singular at each point of S has dimension ( _n ^/n+x )−1− k(n+1) (proved by Alexander and Hirschowitz) and a general F∈| I _2S (x)| has an ordinary double point at each P∈ S and Sing (F)=S. The author was partially supported by MIUR and GNSAGA of INdAM (Italy).     

THE FUNDAMENTAL GROUP OF THE AUTOMORPHISM GROUP OF A NONCOMMUTATIVE TORUS

Assume that each completely irrational noncommutative torus is realized as an inductive limit of circle algebras, and that for a completely irrational noncommutative torus Aw of rank m there are a completely irrational noncommutative torus Aρ of rank m and a positive integer d such that tr(Aw)=1/d.tr(Aρ).It is proved that the set of all C^*-algebras of sections of locally trivial C^*-algebra bundles over S^2 with fibres Aω has a group sturcture,denoted by π1^s(Aut(Aω)),which is isomorphic to Zif Ed&gt;1 and {0} if d&gt;1.Let Bcd be a cd-homogeneous C^*-algebra over S^2&#215;T^2 of which no non-trivial matrix algebra can be factored out.The spherical noncommutative torus Sρ^cd is defined by twisting C^*(T2&#215;Z^m-2) in Bcd &#215;C^*(Z^m-3) by a totally skew multiplier ρ on T^2&#215;Z^m-2。It is shown that Sρ^cd&#215;Mρ∞ is isomorphic to C(S^2)&#215;C^*(T^2&#215;Z^m-2,ρ）&#215; Mcd(C)&#215;Mρ∞ if and only if the set of prime factors of cd is a subset of the set of prime factors of p.     

On a conjecture of Bulman-Fleming and Gilmour

If S is a monoid, the set S×S equipped with componentwise S-action is called the diagonal act of S and is denoted by D(S). We prove the following theorem: the right S-act S ⁿ (1≠n∈?) is (principally) weakly flat if and only if \(\prod _{i=1}^{n}A_{i}\) is (principally) weakly flat where A _i , 1≤i≤n are (principally) weakly flat right S-acts, if and only if the diagonal act D(S) is (principally) weakly flat. This gives an answer to a conjecture posed by Bulman-Fleming and Gilmour (Semigroup Forum 79:298–314, 2009). Besides, we present a fair characterization of monoids S over which the diagonal act D(S) is (principally) weakly flat and finally, we impose a condition on D(S) in order to make S a left PSF monoid.     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> approximation capability of RBF neural networks

L ^p approximation capability of radial basis function (RBF) neural networks is investigated. If g: R ₊¹ → R ¹ and ∈ L _loc ^p (R ⁿ ) with 1 ≤ p < ∞, then the RBF neural networks with g as the activation function can approximate any given function in L ^p (K) with any accuracy for any compact set K in R ⁿ , if and only if g(x) is not an even polynomial. Partly supported by the National Natural Science Foundation of China (10471017)     

<Emphasis Type="Italic">r</Emphasis>-Minimal submanifolds in space forms

Let be an n-dimensional compact, possibly with boundary, submanifold in an (n + p)-dimensional space form R ^n+p (c). Assume that r is even and , in this paper we introduce rth mean curvature function S _r and (r + 1)-th mean curvature vector field . We call M to be an r-minimal submanifold if on M, we note that the concept of 0-minimal submanifold is the concept of minimal submanifold. In this paper, we define a functional of , by calculation of the first variational formula of J _r we show that x is a critical point of J _r if and only if x is r-minimal. Besides, we give many examples of r-minimal submanifolds in space forms. We calculate the second variational formula of J _r and prove that there exists no compact without boundary stable r-minimal submanifold with in the unit sphere S ^n+p . When r = 0, noting S ₀ = 1, our result reduces to Simons’ result: there exists no compact without boundary stable minimal submanifold in the unit sphere S ^n+p .      

Hilbert Functions, Residual Intersections, and Residually S2 Ideals

Let R be a homogeneous ring over an infinite field, IR a homogeneous ideal, and I an ideal generated by s forms of degrees d ₁,...,d _s so that codim( :I)s. We give broad conditions for when the Hilbert function of R/ or of R/( :I) is determined by I and the degrees d ₁,...,d _s . These conditions are expressed in terms of residual intersections of I, culminating in the notion of residually S ₂ ideals. We prove that the residually S ₂ property is implied by the vanishing of certain Ext modules and deduce that generic projections tend to produce ideals with this property.     

On flatness of acts

We consider monoids $S=G\dot \cup I$ where G is a group and I is an ideal of S and show that if an S-act is principally weakly flat, (weakly) flat, torsion free or satisfies conditions (P) or (P_E) as an I¹-act, then it has these properties as an S-act. We also show that an S-act which is free, projective or strongly flat as an I¹-act may not generally have these properties as an S-act.