On F-almost split sequences

Let A be an Artinian algebra and F an additive subbifunctor of Ext,（-, -） having enough projectives and injectives. We prove that the dualizing subvarieties of mod A closed under F-extensions have F-almost split sequences. Let T be an F-cotilting module in mod A and S a cotilting module over F = End（T）. Then Horn（-, T） induces a duality between F-almost split sequences in ⊥FT and almost sl31it sequences in ⊥S, where addrS = Hom∧（f（F）, T）. Let A be an F-Gorenstein algebra, T a strong F-cotilting module and 0→A→B→C→0 and F-almost split sequence in ⊥FT.If the injective dimension of S as a Г-module is equal to d, then C≌（ΩCM^-dΩ^dDTrA^＊）^＊,where（-）^＊=Hom（g,T）.In addition, if the F-injective dimension of A is equal to d, then A≌ΩMF^-dDΩFop^-d TrC≌ΩCMF^-d ≌F^d DTrC.     

A geometry characteristic of Banach spaces with c 1-norm

Let E be a Banach space with the cl-norm｜｜·｜｜ in E／{0}, and let S（E） = {e ∈ E： ｜｜e｜｜ = 1}. In this paper, a geometry characteristic for E is presented by using a geometrical construct of S（E）. That is, the following theorem holds： the norm of E is of eI in E／{0} if and only if S（E） is a c1 submanifold of E, with codimS（E） = 1. The theorem is very clear, however, its proof is non-trivial, which shows an intrinsic connection between the continuous differentiability of the norm ｜｜·｜｜ in E／{0} and differential structure of S（E）.     

A vanishing result for Donaldson Thomas invariants of ℙ1 scroll

Let S be a smooth algebraic surface and let L be a line bundle on S.Suppose there is a holomorphic two form over S with zero loci to be a curve C.We show that the DonaldsonThomas invariant of the P^1 scroll X = P（L＋Бs） vanishes unless the curves being enumerated lie in D = P（L︱C＋БC）.Our method is cosection localization of Y.-H.Kiem and J.Li.     

On Linearly Isometric Extensions for 1-Lipschitz Mappings Between Unit Spheres of ALP-spaces （p 〉 2）

In this paper, we show that if Vo is a 1-Lipschitz mapping between unit spheres of two ALP-spaces with p 〉 2 and -Vo（S1（LP）） C Vo（S1（LP））, then V0 can be extended to a linear isometry defined on the whole space. If 1 〈 p 〈 2 and Vo is an ＂anti-l-Lipschitz＂ mapping, then Vo can also be linearly and isometrically extended.     

Detection of Some Elements in the Stable Homotopy Groups of Spheres

Let A be the mod p Steenrod algebra and S be the sphere spectrum localized at an odd prime p. To determine the stable homotopy groups of spheres π＊S is one of the central problems in homotopy theory. This paper constructs a new nontrivial family of homotopy elements in the stable homotopy groups of spheres πp^nq＋2pq＋q-3S which isof order p and is represented by kohn ∈ ExtA^3,P^nq＋2pq＋q（Zp,Zp） in the Adams spectral sequence, wherep 〉 5 is an odd prime, n ≥3 and q = 2（p-1）. In the course of the proof, a new family of homotopy elements in πp^nq＋（p＋1）q-1V（1） which is represented by β＊i＇＊i＊（hn） ∈ ExtA^2,pnq＋（p＋1）q＋1 （H^＊V（1）, Zp） in the Adams sequence is detected.     

Existence of Solutions to Generalized Vector Quasi-Equilibrium Problems with Discontinuous Mappings

Let X, Y be two finite-dimensional topological vector spaces, Z a Hausdorff topological vector space, K C X and D C Z be two nonempty sets, C be a pointed, closed, and convex cone in Y with int C ≠θ Let S ： K → 2^K and T ： K → 2^D be two multivalued mappings, and φ ： K × D × K → Y be a trifunction. In this paper, we consider the generalized vector quasi-equilibrium problem, which is formulated by finding X∈ K and y∈ T（x） such that x∈ E S（x） and φ（x,y, u） （∈/） -int C for all u ∈ S（x）. We establish an existence result in which T is not supposed to have any continuity property. Our results extend and improve the corresponding results of Cubiotti, Yao and Guo.     

Constructive characterizations of （γp, γ）- and （γp, γpr）-trees

Let G = （V, E） be a graph without isolated vertices. A set S lohtain in V is a domination set of G if every vertex in V - S is adjacent to a vertex in S, that is N[S] = V. The domination number of G, denoted by γ（G）, is the minimum cardinality of a domination set of G. A set S lohtain in V is a paired-domination set of G if S is a domination set of G and the induced subgraph G[S] has a perfect matching. The paired-domination number, denoted by γpr（G）, is defined to be the minimum cardinality of a paired-domination set S in G. A subset S lohtain in V is a power domination set of G if all vertices of V can be observed recursively by the following rules： （i） all vertices in N[S] are observed initially, and （ii） if an observed vertex u has all neighbors observed except one neighbor v, then v is observed （by u）. The power domination number, denoted by γp（G）, is the minimum cardinality of a power domination set of G. In this paper, the constructive characterizations for trees with γp=γ and γpr = γp are provided respectively.     

The primitive matrices of sandwich semigroups of generalized circulant Boolean matrices

Let Gn（C） be the sandwich semigroup of generalized circulant Boolean matrices with the sandwich matrix C and Gc（Jr~） the set of all primitive matrices in Gn（C）. In this paper, some necessary and sufficient conditions for A in the semigroup Gn（C） to be primitive are given. We also show that Gc（Jn） is a subsemigroup of Gn（C）.     

2-CONNECTED k-REGULAR GRAPHS ON AT MOST 3k+3 VERTICES TO BE HAMILTONIAN (CONTINUED)

Let X~* and Y~* be generated by S(?){v_0},where G(S)is Hamiltonian connected and|X~*|=x~*,|Y~*|=Y~* and S_1~*,S_2~*,…,S_(x*)~* be the sets of vertices contained in the opensegments of C between vertices of X~*.Let S_1~*,x_1,S_2~*,x_2,…,S_(x*)~*,x_(?)~* be the segmentsand vertices of X~* in order around C.S_i~* is said to be an X~*(3)-interval if one ofx_(i-1)and x_i belongs to X_j~*—X_2~*.Let S=S_1~*,and S={a_1,c_1,c_2,…,c_1,b_1}.It is easy to see that the statement inLemma 2 can be modified as(?)({a_1,b_1},S_i~*)≤(?)     

On the Extension of Isometries between Unit Spheres of E and C（Ω）

In this paper,we study the extension of isometries between the unit spheres of some Banach spaces E and the spaces C(Ω). We obtain that if the set sm.S1(E) of all smooth points of the unit sphere S1(E) is dense in S1(E),then under some condition,every surjective isometry V0 from S1(E) onto S1(C(Ω)) can be extended to be a real linearly isometric map V of E onto C(Ω).From this resultwe also obtain some corollaries. This is the first time we study this problem on different typical spaces,and the method of proof is also very different too.     

Zebra Factorizations in Free Semigroups

Let $S$ be a semigroup of words over an alphabet $A$. Let $\Omega(S)$ consist of those elements $w$ of $S$ for which every prefix and suffix of $w$ belongs to $S$. We show that $\Omega(S)$ is a free semigroup. Moreover, $S$ is called separative if also the complement $S^c = A^+\setminus S$ is a semigroup. There are uncountably many separative semigroups over $A$, if $A$ has at least two letters. We prove that if $S$ is separative, then every word $w \in A^+$ has a unique minimum factorization $w = z_1z_2 \cdots z_n$ with respect to $\Omega(S)$ and $\Omega(S^c)$, where $z_i \in \Omega(S) \cup \Omega(S^c)$ and $n$ is as small as possible.     

Stability of the Minkowski Measure of Asymmetry for Convex Bodies

Given a convex body $C\subset R^n$ (i.e., a compact convex set with nonempty interior), for $x\in$ {\it int}$(C)$, the interior, and a hyperplane $H$ with $x\in H$, let $H_1,H_2$ be the two support hyperplanes of $C$ parallel to $H$. Let $r(H, x)$ be the ratio, not less than 1, in which $H$ divides the distance between $H_1,H_2$. Then the quantity $${\it As}(C):=\inf_{x\in {\it int}(C)}\,\sup_{H\ni x}\,r(H,x)$$ is called the Minkowski measure of asymmetry of $C$. {\it As}$(\cdot)$ can be viewed as a real-valued function defined on the family of all convex bodies in $R^n$. It has been known for a long time that {\it As}$(\cdot)$ attains its minimum value 1 at all centrally symmetric convex bodies and maximum value $n$ at all simplexes. In this paper we discuss the stability of the Minkowski measure of asymmetry for convex bodies. We give an estimate for the deviation of a convex body from a simplex if the corresponding Minkowski measure of asymmetry is close to its maximum value. More precisely, the following result is obtained: Let $C\subset R^n$ be a convex body. If {\it As}$(C)\ge n-\varepsilon$ for some $0\le \varepsilon < 1/8(n+1),$ then there exists a simplex $S_0$ formed by $n+1$ support hyperplanes of $C$, such that $$(1+8(n+1)\varepsilon)^{-1}S_0\subset C\subset S_0,$$ where the homethety center is the (unique) Minkowski critical point of $C$. So $$d_{{\rm BM}}(C,S)\le 1+8(n+1)\varepsilon$$ holds for all simplexes $S$, where $d_{{\rm BM}}(\cdot,\cdot)$ denotes the Banach-Mazur distance.     

Tverberg-Type Theorems for Separoids

Let $S$ be a $d$-dimensional separoid of $(k-1)(d+1)+1$ convex sets in some "large-dimensional" Euclidean space $\E^N$. We prove a theorem that can be interpreted as follows: if the separoid $S$ can be mapped with a monomorphism to a $d$-dimensional separoid of points $P$ in general position, then there exists a $k$-colouring $\varsigma\colon \ S\to K_k$ such that, for each pair of colours $i,j\in K_k$, the convex hulls of their preimages do intersect---they are not separated. Here, by a monomorphism we mean an injective function such that the preimage of separated sets are separated. In a sense, this result is "dual" to the Hadwiger-type theorems proved by Goodman and Pollack (1988) and Arocha et al. (2002). We also introduce $\T(k,d)$, the minimum number $n$ such that all $d$-dimensional separoids of order at least $n$ can be $k$-coloured as before. By means of examples and explicit colourings, we show that for all $k>2$ and $d>0$, \[(k-1)(d+1)+1<\T(k,d)<{k\choose2}(d+1)+1.\] Furthermore, by means of a probabilistic argument, we show that for each $d$ there exists a constant $C=C(d)$ such that for all $k$, $\T(k,d)\leq Ck\log k$.     

平衡子欧拉符号图及符号线图

符号图$S=(S^u,\sigma)$是以$S^u$作为底图并且满足$\sigma: E(S^u)\rightarrow\{+,-\}$. 设$E^-(S)$表示$S$的负边集. 如果$S^u$是欧拉的(或者分别是子欧拉的, 欧拉的且$|E^-(S)|$是偶数, 则$S$是欧拉符号图(或者分别是子欧拉符号图, 平衡欧拉符号图). 如果存在平衡欧拉符号图$S''$使得$S''$由$S$生成, 则$S$是平衡子欧拉符号图. 符号图$S$的线图$L(S)$也是一个符号图, 使得$L(S)$的点是$S$中的边, 其中$e_ie_j$是$L(S)$中的边当且仅当$e_i$和$e_j$在$S$中相邻,并且$e_ie_j$是$L(S)$中的负边当且仅当$e_i$和$e_j$在$S$中都是负边. 本文给出了两个符号图族$S$和$S''$,它们应用于刻画平衡子欧拉符号图和平衡子欧拉符号线图. 特别地, 本文证明了符号图$S$是平衡子欧拉的当且仅当$\not\in S$, $S$的符号线图是平衡子欧拉的当且仅当$S\not\in S''$.     

多面体截面和小覆盖的闭子流形

设π:M~n→P~n是P~n上的小覆盖,S是P~n的任意一个n-1维截面.给出了π~(-1)(S)是n-1维闭子流形(或者两个相互同胚n-1维闭子流形的不交并),以及π~(-1)(S)是n-1维伪流形的充要条件.     

Rings of continuous functions and the branch set of a covering

This paper gives a characterization of the branch set of a finite covering of a topological space , by means of finite -subalgebras of that separate points in and the module of its Kähler differentials.

     

Lattice properties of subspace families in an inner product space

Let be a separable inner product space over the field of real numbers. Let (resp., denote the orthomodular poset of all splitting subspaces (resp., complete-cocomplete subspaces) of . We ask whether (resp., can be a lattice without being complete (i.e. without being Hilbert). This question is relevant to the recent study of the algebraic properties of splitting subspaces and to the search for ``nonstandard' orthomodular spaces as motivated by quantum theories. We first exhibit such a space that is not a lattice and is a (modular) lattice. We then go on showing that the orthomodular poset may not be a lattice even if . Finally, we construct a noncomplete space such that with being a (modular) lattice. (Thus, the lattice properties of (resp. do not seem to have an explicit relation to the completeness of though the Ammemia-Araki theorem may suggest the opposite.) As a by-product of our construction we find that there is a noncomplete such that all states on are restrictions of the states on for being the completion of (this provides a solution to a recently formulated problem).

     

正交模上Clifford代数的支配权

研究了正交g-模V上的Clifford代数C(V)的支配权,其中g-模C(V)是Kostant给出的旋模Spin(V)的倍数.设Δ(V)是V的非零权组成的集合.证明了Δ(V)任一正凸半的半和总是C(V)的一个支配权.反之,如果某一个半和是C(V)的重数为2(m_V(O)+dimV)/2的最高权,那么该半和一定是Δ(V)的某个正凸半的半和.     

Subsurface 1-distance of the Handleb o dy

For a handlebody H with ?H = S, let F  S be an essential connected subsurface of S. Let C(S) be the curve complex of S, AC(F) be the arc and curve complex of F, D(H)  C(S) be the disk complex of H and πF(D(H))  AC(F) be the image of D(H) in AC(F). We introduce the definition of subsurface 1-distance between the 1-simplices of AC(F) and show that under some hypothesis, πF(D(H))comes within subsurface 1-distance at most 4 of every 1-simplex of AC(F).     

A new representation of the Dedekind completion of -spaces

A new representation of the Dedekind completion of is given. We present a necessary and sufficient condition on a compact Hausdorff space for which the Dedekind completion of is , the space of real valued bounded functions on some set .