Growth of Rank 1 Valuation Semigroups

We consider semigroup S of a rank 1 valuation ? centered on a local ring R. We show that the Hilbert polynomial of R gives a bound on the growth of the valuation semigroup S. This allows us to give a very simple example of a well ordered subsemigroup of Q+, which is not a value semigroup of a local domain. We also consider the rates of growth which are possible for S. We show that quite exotic behavior can occur. In the final section, we consider the general question of characterizing rank 1 value semigroups.     

<Emphasis Type="Italic">E</Emphasis>-inversive Dubreil-Jacotin semigroups

Using group congruences, we obtain necessary and sufficient conditions for an ordered E-inversive semigroup to be a Dubreil-Jacotin semigroup. We also determine when such a semigroup is naturally ordered. In particular, when the subset of regular elements is a subsemigroup it contains a multiplicative inverse transversal.     

Free <Emphasis Type="Bold">C</Emphasis><Subscript>+</Subscript>-actions on <Emphasis Type="Bold">C</Emphasis><Superscript>3</Superscript> are translations

Let X be a smooth contractible three-dimensional affine algebraic variety with a free algebraic C₊-action on it such that S=X//C₊ is smooth. We prove that X is isomorphic to S×C and the action is induced by a translation on the second factor. As a consequence we show that any free algebraic C₊-action on C³ is a translation in a suitable coordinate system.     

Fully copositive matrices

The class of fully copositive (C ₀ ^f ) matrices introduced in [G.S.R. Murthy, T. Parthasarathy, SIAM Journal on Matrix Analysis and Applications 16 (4) (1995) 1268–1286] is a subclass of fully semimonotone matrices and contains the class of positive semidefinite matrices. It is shown that fully copositive matrices within the class ofQ ₀-matrices areP ₀-matrices. As a corollary of this main result, we establish that a bisymmetricQ ₀-matrix is positive semidefinite if, and only if, it is fully copositive. Another important result of the paper is a constructive characterization ofQ ₀-matrices within the class ofC ₀ ^f . While establishing this characterization, it will be shown that Graves's principal pivoting method of solving Linear Complementarity Problems (LCPs) with positive semidefinite matrices is also applicable toC ₀ ^f Q ₀ class. As a byproduct of this characterization, we observe that aC ₀ ^f -matrix is inQ ₀ if, and only if, it is completelyQ ₀. Also, from Aganagic and Cottle's [M. Aganagic, R.W. Cottle, Mathematical Programming 37 (1987) 223–231] result, it is observed that LCPs arising fromC ₀ ^f Q ₀ class can be processed by Lemke's algorithm. © 1998 The Mathematical Programming Society, Inc. Published by Elsevier Science B.V.Corresponding author.     

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）.     

On the Lüroth semigroup of curves lying on a smooth quadric

For a smooth irreducible complete algebraic curveC the “gaps” are the integersn such that every linear series of degreen has at least a base point. The Lüroth semigroup S_C of a curveC is the subsemigroup ofN whose elements are not gaps. In this paper we deal with irreducible smooth curves of type (a, b) on a smooth quadricQ. The main result is an algorithm by which we can say if some integer λ∈N is a gap or is in S_C. In the general case there are integers λ which are undecidable. For curves such as complete intersection, arithmetically Cohen-Macaulay or Buchsbaum, we are able to describe explicitly “intervals” of gaps and “intervals” of integers which belong to S_C. For particular cases we can completely determine S_C, by giving just the type of the curve (in particular the degree and the genus). Work done with financial support of M.U.R.S.T. while the authors were members of G.N.S.A.G.A. of C.N.R.     

Best Simultaneous Approximation and Its Applications in C ℝ(Q)

We develop a theory of best simultaneous approximation for closed convex sets in C _?(Q), the space of all real-valued continuous functions on a compact topological space Q endowed with the usual operations and with the norm ‖x‖ = max _q?Q |x(q)|. We give necessary and sufficient conditions for the existence of best simultaneous approximation in a conditionally complete Banach lattice X with a strong unit 1 by elements of the hyperplanes. We study best simultaneous approximation by elements of closed convex sets in C _?(Q) and give various characterizations of best simultaneous approximation.     

Embedding Semigroups with Associate Subgroups into Semidirect Products

A semigroup S is said to have an associate subgroup G if, for each s ∈ S, there is a unique s* ∈ G such that ss*s = s. If the identity 1 _G of G is medial, i.e., c1 _G c = c holds for each c being a product of idempotents, we show that S is isomorphic to a certain subsemigroup of a semidirect product of an idempotent generated semigroup C by G. If additionally S is orthodox, we may choose C to be a band, belonging to the band variety, generated by the band of idempotents of S.     

Generating Sets of Finite Transformation Semigroups PK(n,r) and K (n,r)

Let P _n and T _n be the partial transformation and the full transformation semigroups on the set {1,…, n}, respectively. In this paper we find necessary and sufficient conditions for any set of partial transformations of height r in the subsemigroup PK(n, r) = {α ∈P _n : |im (α)| ≤r} of P _n to be a (minimal) generating set of PK(n, r); and similarly, for any set of full transformations of height r in the subsemigroup K(n, r) = {α ∈T _n : |im (α)| ≤r} of T _n to be a (minimal) generating set of K(n, r) for 2 ≤ r ≤ n ? 1.     

Varietà di Segre e ovoidi dello spazio polare Q+(7, q)

Summary In this paper, for q even, we construct an ovoid O ₃ and a spread S of the finite classical polar space Q⁺(7, q) determinated by a hyperbolic quadric Q⁺ of PG(7, q) such that there is a subgroup of PGO ₊ ⁸ (q) isomorphic to PGL₂(q ³), which maps O ₃ in itself and S in S and is 3-transitive on O ₃ and on S; for q>2, S is not a Desarguesian spread of Q⁺(7, q) and O ₃ is a Desarguesian ovoid.

---

Varietà di Segre e ovoidi dello spazio polare Q⁺(7, q)

---

Al Prof. Adriano Barlotti in occasione del suo 60^o compleanno     

Varieties of restriction semigroups and varieties of categories

The variety of restriction semigroups may be most simply described as that generated from inverse semigroups (S, ·, ^?1) by forgetting the inverse operation and retaining the two operations x⁺ = xx^?1 and x* = x^?1x. The subvariety B of strict restriction semigroups is that generated by the Brandt semigroups. At the top of its lattice of subvarieties are the two intervals [B₂, B₂M = B] and [B₀, B₀M]. Here, B₂ and B₀ are, respectively, generated by the five-element Brandt semigroup and that obtained by removing one of its nonidempotents. The other two varieties are their joins with the variety of all monoids. It is shown here that the interval [B₂, B] is isomorphic to the lattice of varieties of categories, as introduced by Tilson in a seminal paper on this topic. Important concepts, such as the local and global varieties associated with monoids, are readily identified under this isomorphism. Two of Tilson's major theorems have natural interpretations and application to the interval [B₂, B] and, with modification, to the interval [B₀, B₀M] that lies below it. Further exploration may lead to applications in the reverse direction.     

Orders in Strict Regular Semigroups

 A subsemigroup S of a semigroup Q is an order in Q if for every there exist such that , where a and d are contained in (maximal) subgroups of Q, and and are their inverses in these subgroups. A regular semigroup S is strict if it is a subdirect product of completely (0-)simple semigroups. We construct all orders and involutions in Auinger’s model of a strict regular semigroup. This is used to find necessary and sufficient conditions on an involution on an order S in a strict regular semigroup Q for extendibility to an involution on Q.     

On Inverse Transversals of Ordered Regular Semigroups

We first consider an ordered regular semigroup S in which every element has a biggest inverse and determine necessary and sufficient conditions for the subset S ^○ of biggest inverses to be an inverse transversal of S. Such an inverse transversal is necessarily weakly multiplicative. We then investigate principally ordered regular semigroups S with the property that S ^○ is an inverse transversal. In such a semigroup we determine precisely when the set S ^☆ of biggest pre-inverses is a subsemigroup and show that in this case S ^☆ is itself an inverse transversal of a subsemigroup of S. The ordered regular semigroup of 2 × 2 boolean matrices provides an informative illustrative example. The structure of S, when S ^☆ is a group, is also described.     

Special subgroups of regular semigroups

Extending the notions of inverse transversal and associate subgroup, we consider a regular semigroup S with the property that there exists a subsemigroup T which contains, for each x∈S, a unique y such that both xy and yx are idempotent. Such a subsemigroup is necessarily a group which we call a special subgroup. Here, we investigate regular semigroups with this property. In particular, we determine when the subset of perfect elements is a subsemigroup and describe its structure in naturally arising situations.     

Associate inverse subsemigroups of regular semigroups

By an associate inverse subsemigroup of a regular semigroup S we mean a subsemigroup T of S containing a least associate of each x∈S, in relation to the natural partial order ≤ _S . We describe the structure of a regular semigroup with an associate inverse subsemigroup, satisfying two natural conditions. As a particular application, we obtain the structure of regular semigroups with an associate subgroup with medial identity element. Research supported by the Portuguese Foundation for Science and Technology (FCT) through the research program POCTI.     

E-special Ordered Regular Semigroups

An ordered regular semigroup S is E-special if for every x ∈ S there is a biggest x ⁺ ∈ S such that both xx ⁺ and x ⁺ x are idempotent. Every regular strong Dubreil–Jacotin semigroup is E-special, as is every ordered completely simple semigroup with biggest inverses. In an E-special ordered regular semigroup S in which the unary operation x → x ⁺ is antitone the subset P of perfect elements is a regular ideal, the biggest inverses in which form an inverse transversal of P if and only if S has a biggest idempotent. If S ⁺ is a subsemigroup and S does not have a biggest idempotent, then P contains a copy of the crown bootlace semigroup.     

Orders in Strict Regular Semigroups

 A subsemigroup S of a semigroup Q is an order in Q if for every there exist such that , where a and d are contained in (maximal) subgroups of Q, and and are their inverses in these subgroups. A regular semigroup S is strict if it is a subdirect product of completely (0-)simple semigroups. We construct all orders and involutions in Auinger’s model of a strict regular semigroup. This is used to find necessary and sufficient conditions on an involution on an order S in a strict regular semigroup Q for extendibility to an involution on Q. (Received 27 April 1999; in revised form 20 October 1999)     

A Filtration on the Chow Groups of a Complex Projective Variety

Let X/ _C be a projective algebraic manifold, and further let CH ^k (X) _Q be the Chow group of codimension k algebraic cycles on X, modulo rational equivalence. By considering Q-spreads of cycles on X and the corresponding cycle map into absolute Hodge cohomology, we construct a filtration {F ^l}_{l 0} on CH ^k (X) _Q of Bloch-Beilinson type. In the event that a certain conjecture of Jannsen holds (related to the Bloch-Beilinson conjecture on the injectivity, modulo torsion, of the Abel–Jacobi map for smooth proper varieties over Q), this filtration truncates. In particular, his conjecture implies that F ^k+1 = 0.