Liénard系统的同宿轨族与闭轨族

本文讨论Lienard系统解的一些定性性质，得到了存在同宿轨族、闭轨族、双曲扇形和椭圆扇形、正负半轨有界及其与等倾线相交的充要条件或充分条件．     

Can a Circulating Light Beam Produce a Time Machine

In a recent paper, Mallett found a solution of the Einstein equations in which closed timelike curves (CTC’s) are present in the empty space outside an infinitely long cylinder of light moving in circular paths around an axis. Here we show that, for physically realistic energy densities, the CTC’s occur at distances from the axis greater than the radius of the visible universe by an immense factor. We then show that Mallett’s solution has a curvature singularity on the axis, even in the case where the intensity of the light vanishes. Thus it is not the solution one would get by starting with Minkowski space and establishing a cylinder of light.     

Measures on the Splitting Subspaces of an Inner Product Space

Let S be an inner product space and let E(S) (resp. F(S)) be the orthocomplemented poset of all splitting (resp. orthogonally closed) subspaces of S. In this article we study the possible states/charges that E(S) can admit. We first prove that when S is an incomplete inner product space such that dim S/S < , then E(S) admits at least one state with a finite range. This is very much in contrast to states on F(S). We then go on showing that two-valued states can exist on E(S) not only in the case when E(S) consists of the complete/cocomplete subspaces of S. Finally we show that the well known result which states that every regular state on L(H) is necessarily -additive cannot be directly generalized for charges and we conclude by giving a sufficient condition for a regular charge on L(H) to be -additive.     

Ideal Topology on Effect Algebras

The ideals of effect algebras induce a topology on effect algebras. The operations and of effect algebras are continuous with respect to this topology.     

Ideals in a perfect closure, linear growth of primary decompositions, and tight closure

This paper is concerned with tight closure in a commutative Noetherian ring of prime characteristic , and is motivated by an argument of K. E. Smith and I. Swanson that shows that, if the sequence of Frobenius powers of a proper ideal of has linear growth of primary decompositions, then tight closure (of ) `commutes with localization at the powers of a single element'. It is shown in this paper that, provided has a weak test element, linear growth of primary decompositions for other sequences of ideals of that approximate, in a certain sense, the sequence of Frobenius powers of would not only be just as good in this context, but, in the presence of a certain additional finiteness property, would actually imply that tight closure (of ) commutes with localization at an arbitrary multiplicatively closed subset of .

Work of M. Katzman on the localization problem for tight closure raised the question as to whether the union of the associated primes of the tight closures of the Frobenius powers of has only finitely many maximal members. This paper develops, through a careful analysis of the ideal theory of the perfect closure of , strategies for showing that tight closure (of a specified ideal of ) commutes with localization at an arbitrary multiplicatively closed subset of and for showing that the union of the associated primes of the tight closures of the Frobenius powers of is actually a finite set. Several applications of the strategies are presented; in most of them it was already known that tight closure commutes with localization, but the resulting affirmative answers to Katzman's question in the various situations considered are believed to be new.

     

Orbits of Positive Operators from a Differentiable Viewpoint

Let be a unital C^*-algebra and G the group of units of . A geometrical study of the action of G over the set ⁺ of all positive elements of is presented. The orbits of elements with closed range by this action are provided with a structure of differentiable homogeneous space with a natural connection. The orbits are partitioned in 'components' which also have a rich geometrical structure.     

Function Spaces of Posets with Projections

This paper investigates function spaces of structures consisting of a partially ordered set together with some directed family of projections.More precisely, given a fixed directed index set (I,), we consider triples (D,,(p _i ) _iI ) with (D,) a poset and (p _i ) _iI a monotone net of projections of D. We call them (I,)-pop's (posets with projections). Our main purpose is to study structure preserving maps between (I,)-pop's. Such homomorphisms respect both order and projections.Any (I,)-pop is known to induce a uniformity and thus a topology. The set of all homomorphisms between two (I,)-pop's turns out to form an (I,)-pop itself. We show that its uniformity is the uniformity of uniform convergence. This enables us to prove that properties such as completeness and compactness transfer to function pop's.Concerning categorical properties of (I,)-pop's, we will see that we are in a lucky situation from a computer scientist's point of view: we obtain Cartesian closed categories. Moreover, by a D -construction we get (I,)-pop's that are isomorphic to their own exponent. This yields new models for the untyped -calculus.     

Local Projective Model Structures on Simplicial Presheaves

We introduce different model structures on the categories of simplicial presheaves and simplicial sheaves on some essentially small Gro-then-dieck site T and give some applications of these simplified model categories. In particular, we prove that the stable homotopy categories SH((Sm/k)Nis,A1) and SH((Sch/k)cdh,A1) are equivalent. This result was first proven by Voevodsky and our proof uses many of his techniques, but it does not use his theory of -closed classes.     

Convex polytopes all of whose reverse lexicographic initial ideals are squarefree

A compressed polytope is an integral convex polytope any of whose reverse lexicographic initial ideals is squarefree. A sufficient condition for a -polytope to be compressed will be presented. One of its immediate consequences is that the class of compressed -polytopes includes (i) hypersimplices, (ii) order polytopes of finite partially ordered sets, and (iii) stable polytopes of perfect graphs.