p-Congruences onp-regular semigroups

A pair (S, P) of a regular semigroupsS and a subsetP ofE _s whereE _s is the set of all idempotent elements ofS is called aP-regular semigroupS(P) if it satisfies the following:

Varieties with many lines

This paper contains a classification ofk-dimensional algebraic varieties,even non-smooth, containing a family of lines of dimension (2k−4). If the codimension of the varieties is greater than two, these are: bidimensional families ofP ^k−2 ; one dimensional families of irreducible quadrics; linear sections of the grassmannian of lines ofP ⁴.     

A new formula for the volume of lattice polyhedra

LetL _n be the lattice consisting of all pointsx inR ^N such thatnx belongs to the fundamental latticeL ₁ of points with integer coordinates. When the vertices of a polyhedronP inR ^N are restricted to lie inL ₁ there is a formula which relates the volume ofP to the numbers of points ofL ₁,...,L _N in the interior and on the boundary ofP. The aim of this note is to show that the volume ofP can be determined only by means of the numbers of points ofL ₁,...,L _N lying in the interior ofP and cannot be expressed by the numbers of points ofL ₁,...,L _N lying on the boundary ofP. The latter numbers in turn can be used to compute to comopute the Euler characteristic of the boundary ofP.     

Isomorphisms ofp-adic group rings

SupposeP is the ring ofp-adic integers,G is a finite group of orderp ⁿ , andPG is the group ring ofG overP. IfV _p (G) denotes the elements ofPG with coefficient sum one which are of order a power ofp, it is shown that the elements of any subgroupH ofV _p (G) are linearly independent overP, and if in additionH is of orderp ⁿ , thenPGPH. As a consequence, the lattice of normal subgroups ofG and the abelianization of the normal subgroups ofG are determined byPG.     

Permutability of minimal subgroups and<Emphasis Type="Italic">p</Emphasis>-nilpotency of finite groups

In this paper it is proved that ifp is a prime dividing the order of a groupG with (|G|,p − 1) = 1 andP a Sylowp-subgroup ofG, thenG isp-nilpotent if every subgroup ofP ∩G ^N of orderp is permutable inN _G (P) and whenp = 2 either every cyclic subgroup ofP ∩G ^N of order 4 is permutable inN _G (P) orP is quaternion-free. Some applications of this result are given. The research of the first author is supported by a grant of Shanxi University and a research grant of Shanxi Province, PR China. The research of the second author is partially supported by a UGC(HK) grant #2160126 (1999/2000).     

Unique winning policies for linear differential pursuit games

We study optimal control problems which are the duals, in a specified sense, to a certain class of linear differential games. Directly verifiable conditions, in terms of the data of the game, for uniqueness of solutions of the dual problem and thus for uniqueness of winning policies for the differential game, are derived. As a byproduct, in the particular context of two-dimensional problems, a strong result concerning normality is obtained. As a second byproduct, several geometrical and topological properties of thestar difference are derived. This set operation is of paramount importance for the study of rich classes of differential and difference games extending far beyond that treated here.Notation co(P) convex hull of a setPR ⁿ - ext(P) set of extreme points ofP - [x ₁,x ₂] line segment joining the pointsx ₁,x ₂ R ⁿ - S(P, c) Supporting closed halfspace ofP with exterior normalc - H(P, c) supporting hyperplane ofP with exterior normalc - F(P, c) face of the polytopeP with exterior normalc - span(P) linear span ofP - lin(P) linear closure ofP = smallest linear manifold containingP - relbd(P) relative boundary ofP - int(P) interior ofP with respect to the topology ofR ⁿ - ri(P) relative interior ofP with respect to lin(P) - a, b inner product (inR ⁿ) ofa andb - U/W {x:x U R ⁿ andx W R ⁿ} - cl(P) closure ofP This work was done during the year 1972, when the author was a student of Prof. O. Hajek at Case Western Reserve University, Cleveland, Ohio. The author wishes to thank Dr. Hajek for his many comments, suggestions, and critique.     

Stably ergodic diffeomorphisms which are not partially hyperbolic

We show stable ergodicity of a class of conservative diffeomorphisms ofT ⁿ which do not have any hyperbolic invariant subbundle. Moreover, the uniqueness of SRB (Sinai-Ruelle-Bowen) measure for non-conservativeC ¹ perturbations of such diffeomorphisms is verified. This class strictly contains non-partially hyperbolic robustly transitive diffeomorphisms constructed by Bonatti-Viana [4] and so we answer the question posed there on the stable ergodicity of such systems.     

AnR danalogue of Valentine’s theorem on 3-convex sets

This paper deals with anR ^danalogue of a theorem of Valentine which states that a closed 3-convex setS in the plane is decomposable into 3 or fewer closed convex sets. In Valentine’s proof, the points of local nonconvexity ofS are treated as vertices of a polygonP contained in the kernel ofS, yielding a decomposition ofS into 2 or 3 convex sets, depending on whetherP has an even or odd number of edges. Thus the decomposition actually depends onc(P′), the chromatic number of the polytopeP′ dual toP. A natural analogue of this result is the following theorem: LetS be a closed subset ofR ^d, and letQ denote the set of points of local nonconvexity ofS. We require thatQ be contained in the kernel ofS and thatQ coincide with the set of points in the union of all the (d − 2)-dimensional faces of somed-dimensional polytopeP. ThenS is decomposable intoc(P′) closed convex sets.     

Remarks on conservative Markov processes

Necessary and sufficient conditions, for a Markov process to be conservative, are studied. As a consequence it is proved: 1. IfP is conservative so isP ^k . 2.P is conservative if and only if the probability of returning toA, from a point inA, is one. The research reported in this document has been sponsored by the Air Force of Scientific Research under Grant AF EOAR 66-18, through the European Office of Aerospace Research (OAR), United States Air Force.     

On linear sections of lattice packings

Ind-dimensional euclidean spaceE ^d letP be a lattice packing of subsets ofE ^d , and letH be ak-dimensional linear subspace ofE ^d (0<k<d). Then,P induces a packing inH consisting of all setsPH withPP. The relationship between the density of this packing inH and the density ofP is investigated. A result from the theory of uniform distribution of linear forms is used to prove an integral formula that enables one to evaluate the density of the induced packing inH (under suitable assumptions on the sets ofP and the functionals used to define the densities). It is shown that this result leads to explicit formulas for the averages of the induced densities under the rotation ofH. If the densities are taken with respect to the mean cross-sectional measures of convex bodies one obtains analogues of the integral geometric intersection formulas of Crofton.Dedicated to Professor E. Hlawka on the occasion of his seventieth birthdaySupported by National Science Foundation Research Grant DMS 8300825.     

A graph theoretic approach to matrix inversion by partitioning

LetM be a square matrix whose entries are in some field. Our object is to find a permutation matrixP such thatPM P ^–1 is completely reduced, i.e., is partitioned in block triangular form, so that all submatrices below its diagonal are 0 and all diagonal submatrices are square and irreducible. LetA be the binary (0, 1) matrix obtained fromM by preserving the 0's ofM and replacing the nonzero entries ofM by 1's. ThenA may be regarded as the adjacency matrix of a directed graphD. CallD strongly connected orstrong if any two points ofD are mutually reachable by directed paths. Astrong component ofD is a maximal strong subgraph. Thecondensation D ^* ofD is that digraph whose points are the strong components ofD and whose lines are induced by those ofD. By known methods, we constructD ^* from the digraph,D whose adjacency matrixA was obtained from the original matrixM. LetA ^* be the adjacency matrix ofD ^*. It is easy to show that there exists a permutation matrixQ such thatQA ^* Q ^–1 is an upper triangular matrix. The determination of an appropriate permutation matrixP from this matrixQ is straightforward.This was an informal talk at the International Symposium on Matrix Computation sponsored by SIAM and held in Gatlinburg, Tennessee, April 24–28, 1961 and was an invited address at the SIAM meeting in Stillwater, Oklahoma on August 31, 1961     

Pappus type theorems for hypersurfaces in a space form

In order to get further insight on the Weyl’s formula for the volume of a tubular hypersurface, we consider the following situation. Letc(t) be a curve in a space formM _λ ⁿ of sectional curvature λ. LetP ₀ be a totally geodesic hypersurface ofM _λ ⁿ throughc(0) and orthogonal toc(t). LetC ₀ be a hypersurface ofP ₀. LetC be the hypersurface ofM _λ ⁿ obtained by a motion ofC ₀ alongc(t). We shall denote it byC ^PorC ^Fif it is obtained by a parallel or Frenet motion, respectively. We get a formula for volume(C). Among other consequences of this formula we get that, ifc(0) is the centre of mass ofC ₀, then volume(C) ≥ volume(C),^P),and the equality holds whenC ₀ is contained in a geodesic sphere or the motion corresponds to a curve contained in a hyperplane of the Lie algebraO(n−1) (whenn=3, the only motion with these properties is the parallel motion). Work partially supported by a DGES Grant No. PB97-1425 and a AGIGV Grant No. GR0052.     

Prime ideals in crossed products of finite groups

LetR * G be a crossed product of the finite groupG over the ringR. In this paper we discuss the relationship between the prime ideals ofR*G and theG-prime ideals ofR. In particular, we show that Incomparability and Going Down hold in this situation. In the course of the proof, we actually completely describe all the prime idealsP ofR*G such thatP∩R is a fixedG-prime ideal ofR. As an application, we prove that ifG is a finite group of automorphisms ofR, then the prime (primitive) ranks ofR and of the fixed ringR ^G are equal provided •G•⁻∈R. In an appendix, we extend some of these 3 results to crossed products of the infinite cyclic group.     

Mixing properties of Markov operators and ergodic transformations,and ergodicity of cartesian products

LetT be a Markov operator onL ₁(X, Σ,m) withT*=P. We connect properties ofP with properties of all productsP ×Q, forQ in a certain class: (a) (Weak mixing theorem)P is ergodic and has no unimodular eigenvalues ≠ 1 ⇔ for everyQ ergodic with finite invariant measureP ×Q is ergodic ⇔ for everyu ∈L ₁ with∝ udm=0 and everyf ∈L _∞ we haveN ⁻¹Σ _n ^≠1/N |<u, P ⁿf>|→0. (b) For everyu ∈L ₁ with∝ udm=0 we have ‖T ⁿu‖₁ → 0 ⇔ for every ergodicQ, P ×Q is ergodic. (c)P has a finite invariant measure equivalent tom ⇔ for every conservativeQ, P ×Q is conservative. The recent notion of mild mixing is also treated. Dedicated to the memory of Shlomo Horowitz An erratum to this article is available at .     

Comparison theorems for the volume of a complex submanifold of a Kaehler manifold

LetM be a Kaehler manifold of real dimension 2n with holomorphic sectional curvatureK _H≥4λ and antiholomorphic Ricci curvatureρ _A≥(2n−2)λ, andP is a complex hypersurface. We give a bound for the quotient (volume ofP)/(volume ofM) and prove that this bound is attained if and only ifP=C P ⁿ⁻¹(λ) andM=C P ⁿ(λ). Moreover, we give some results on the volume of of tubes aboutP inM. Work partially supported by a DGICYT Grant No. PS87-0115-CO3-01.     

Laurent-Padé approximants to four kinds of Chebyshev polynomial expansions. Part II: Clenshaw-Lord type approximants

Laurent-Padé (Chebyshev) rational approximantsP _m (w, w ⁻¹)/Q _n (w, w ⁻¹) of Clenshaw-Lord type [2,1] are defined, such that the Laurent series ofP _m /Q _n matches that of a given functionf(w, w ⁻¹) up to terms of orderw ^±(m+n) , based only on knowledge of the Laurent series coefficients off up to terms inw ^±(m+n) . This contrasts with the Maehly-type approximants [4,5] defined and computed in part I of this paper [6], where the Laurent series ofP _m matches that ofQ _n f up to terms of orderw ^±(m+n ), but based on knowledge of the series coefficients off up to terms inw ^±(m+2n). The Clenshaw-Lord method is here extended to be applicable to Chebyshev polynomials of the 1st, 2nd, 3rd and 4th kinds and corresponding rational approximants and Laurent series, and efficient systems of linear equations for the determination of the Padé-Chebyshev coefficients are obtained in each case. Using the Laurent approach of Gragg and Johnson [4], approximations are obtainable for allm≥0,n≥0. Numerical results are obtained for all four kinds of Chebyshev polynomials and Padé-Chebyshev approximants. Remarkably similar results of formidable accuracy are obtained by both Maehly-type and Clenshaw-Lord type methods, thus validating the use of either.     

Rang maximal pourT_{P^n }

Letk be an algebraically closed field,P ⁿ the n-dimensional projective space overk andT _P ⁿ the tangent vector bundle ofP ⁿ . In this paper I prove the following result: for every integerl, for every non-negative integers, ifZ _s is the union ofs points in sufficiently general position inP ⁿ , then the restriction mapH ⁰(P ⁿ ,T _P ⁿ (l)) →H ⁰(Z _s,T _P ⁿ (l)_{|z s} ) has maximal rank. This result implies that the last non-trivial term of the minimal free resolution of the homogeneous ideal ofZ _s is the conjectured one by the Minimal Resolution Conjecture of Anna Lorenzini (cf. [Lo]).     

A combinatorial condition for the existence of polyhedral 2-manifolds

LetP denote a polyhedral 2-manifold, i.e. a 2-dimensional cell-complex inR ^d (d≧3) having convex facets, such that set (P) is homeomorphic to a closed 2-dimensional manifold. LetE be any subset of odd valent vertices ofP, andc _E its cardinality. Then for the numberc _P(E) of facets containing a vertex ofE the inequality 2c _P(E)≧c_E+1 is proved. This local combinatorial condition shows that several combinatorially possible types of polyhedral 2-manifolds cannot exist.     

On zero dimensional subschemes of scrolls

Here we consider cohomological properties of zero-dimensional subschemes of a scrollS⊂P ^N . We study them proving cohomological results forS. The main tool is the degeneration ofS to a suitable union of linear subspaces ofP ^N .

---

Sunto In questo lavoro siamo interessati alle proprietà coomologiche dei sottoschemi di dimensione 0 di uno scrollS⊂P ^N . Per il loro studio si provano in questo lavoro risultati coomologici perS usando degenerazioni diS ad unioni di sottospazi lineari diP ^N .

     

Versality of linearly normal non-special embeddings

LetX⊂P ⁿ be a smooth non-degenerate non special linearly normal projective curve. Here we classify all such embeddings ofX such that for every hyperplaneM ofP ⁿ the family of all hyperplane sections ofX is a versal deformation of the zerodimensional schemeX∩M.

---

Sunto SiaX una curva liscia e proiettiva. Qui si classificano le immersioni non-speciali linearmente normali diX inP ⁿ tali che per ogni iperpianoM diP ⁿ la famiglia delle sezioni iperpiane diX induce una deformazione versale diX∩M.