The tetrahedron algebra and its finite-dimensional irreducible modules

Recently Terwilliger and the present author found a presentation for the three-point sl₂ loop algebra via generators and relations. To obtain this presentation we defined a Lie algebra ? by generators and relations and displayed an isomorphism from ? to the three-point sl₂ loop algebra. In this paper we classify the finite-dimensional irreducible ?-modules.     

A lattice isomorphism theorem for cluster groups of mutation-Dynkin type An

Each quiver appearing in a seed of a cluster algebra determines a corresponding group, which we call a cluster group, which is defined via a presentation. Grant and Marsh showed that, for quivers appearing in seeds of cluster algebras of finite type, the associated cluster groups are isomorphic to finite reflection groups. As for finite Coxeter groups, we can consider parabolic subgroups of cluster groups. We prove that, in the type $A_n$ case, there exists an isomorphism between the lattice of subsets of the defining generators of the cluster group and the lattice of its parabolic subgroups. Moreover, each parabolic subgroup has a presentation given by restricting the presentation of the whole group.     

Reduction and submanifolds of generalized complex manifolds

We recall the presentation of the generalized, complex structures by classical tensor fields, while noticing that one has a similar presentation and the same integrability conditions for generalized, paracomplex and subtangent structures. This presentation shows that the generalized, complex, paracomplex and subtangent structures belong to the realm of Poisson geometry. Then, we prove geometric reduction theorems of Marsden-Ratiu and Marsden-Weinstein type for the mentioned generalized structures and give the characterization of the submanifolds that inherit an induced structure via the corresponding classical tensor fields.     

Coxeter groups,Coxeter monoids and the Bruhat order

Associated with any Coxeter group is a Coxeter monoid, which has the same elements, and the same identity, but a different multiplication. (Some authors call these Coxeter monoids 0-Hecke monoids, because of their relation to the 0-Hecke algebras—the q=0 case of the Hecke algebra of a Coxeter group.) A Coxeter group is defined as a group having a particular presentation, but a pair of isomorphic groups could be obtained via non-isomorphic presentations of this form. We show that when we have both the group and the monoid structure, we can reconstruct the presentation uniquely up to isomorphism and present a characterisation of those finite group and monoid structures that occur as a Coxeter group and its corresponding Coxeter monoid. The Coxeter monoid structure is related to this Bruhat order. More precisely, multiplication in the Coxeter monoid corresponds to element-wise multiplication of principal downsets in the Bruhat order. Using this property and our characterisation of Coxeter groups among structures with a group and monoid operation, we derive a classification of Coxeter groups among all groups admitting a partial order.     

Fixed points for better admissible multifunctions on proximity spaces

We set out a rigorous presentation of Park?s classes of admissible multifunctions and we obtain a fixed point theorem for better admissible multifunctions defined on a proximity space via the Samuel-Smirnov compactification.     

Synchronization of the unified chaotic system and application in secure communication

This paper studies the synchronization of the unified chaotic system via optimal linear feedback control and the potential use of chaos in cryptography, through the presentation of a chaos-based algorithm for encryption.     

Le groupe fondamental de certains espaces d'orbites regulieres de groupes de Weyl affines

The affine Weyl group W _aof an irreducible root system of rank n acts on the complexification h of a real space of dimension n via the usual (affine) action on the imaginary part and the action through the finite Weyl group on the real part. This group acts freely on the complement h of some complex hyperplanes. We prove a presentation of the fundamental group of the quotient hW _a.

---

---

A Jacques Tits pour son soixantième anniversaire     

A simple demonstration of zero factorial equals one

When asked, a number of students answer zero factorial to be zero as a continuation to the answer of one factorial to be one. Any instructor would then seek a justification of zero factorial to be one from computing _nC_n via the well- known combination formula. This article conveys a simple presentation of zero factorial to be one based on lower and upper bounds of n factorial. We have not seen this explanation covered in any algebra textbook.     

A tale of two algorithms

Real numbers are often a missing link in mathematical education. The standard working assumption in calculus courses is that there exists a system of ‘numbers’, extending the rational number system, adequate for measuring continuous quantities. Moreover, that such ‘numbers’ are in one-to-one correspondence with points on a ‘number line’. But typically real ‘numbers’ are not systematically presented via any constructive method. While taken for granted, they are one of the most commonly used mathematical objects. This paper proposes a geometric algorithm, extending the long division algorithm, which leads to a constructive definition of real numbers. It proceeds to describe a direct algorithm for adding ‘real numbers’. Combined use of the two algorithms enables a smooth and meaningful presentation, offering a double image (geometric and numerical) of real numbers in decimal notation. An early such presentation is of both conceptual and practical importance.     

On cographic regular matroids

The presentation of alternating permutatioas via labelled binary trees is used to define polynomials H_2n?1(x) as enumerating polynomials for the height of peaks in alternating permutations of length 2n?1. A divisibility property of the coefficients of these polynomials is proved, which generalizes and explains combinatirially a well-known property of the tangent numbers. Furthermore, a version of the exponential generating function for the H_2n?1(x) is given, leading to a new combinatorial interpretation of Dumont's modified Ghandi-polynomials.     

Comparing Semigroup and Monoid Presentations for Finite Monoids

 It is known that for any finite group G given by a finite group presentation there exists a finite semigroup presentation for G of the same deficiency, i.e. satisfying . It is also known that the analogous statement does not hold for all finite monoids. In this paper we give a necessary and sufficient condition for a finite monoid M, given by a finite monoid presentation, to have a finite semigroup presentation of the same deficiency. (Received 17 April 2001; in revised form 15 September 2001)     

Virtual singular braids and links

Virtual singular braids are generalizations of singular braids and virtual braids. We define the virtual singular braid monoid via generators and relations, and prove Alexander- and Markov-type theorems for virtual singular links. We also show that the virtual singular braid monoid has another presentation with fewer generators.     

Abel maps and presentation schemes

We sharpen the two main tools used to treat the compactified Jacobian of a singular curve: Abel maps and presentation schemes. First we prove a smoothness theorem for bigraded Abel maps. Second we study the two complementary filtrations provided by the images of certain Abel maps and certain presentation schemes. Third we study a lifting of the Abel map of bidegree (m, 1) to the corresponding presentation scheme. Fourth we prove that, if a curve is blown up at a double point, then the corresponding presentation scheme is a ¹-bundle. Finally, using Abel maps of bidegree (m, 1), we characterize the curves having double points at worst.     

Constructing finitely presented monoids which have no finite complete presentation

Squier (1987) showed that if a monoid is defined by a finite complete rewriting system, then it satisfies the homological finiteness condition FP₃, and using this fact he gave monoids (groups) which have solvable word problems but cannot be presented by finite complete systems. In the present paper we show that a monoid cannot have a finite complete presentation if it contains certain special elements. This observation enables us to construct monoids without finite complete presentation in a direct and elementary way. We give a finitely presented monoid which has (1) a word problem solvable in linear time and (2) linear growth but (3) no finite complete presentation. We also give a finitely presented monoid which has (1) a word problem solvable in linear time, (2) finite derivation type in the sense of Squier and (3) the property FP_∞, but (4) no finite complete presentation.     

On Finite Complete Presentations and Exact Decompositions of Semigroups

We prove that given a finite (zero) exact right decomposition (M, T) of a semigroup S, if M is defined by a finite complete presentation, then S is also defined by a finite complete presentation. Exact right decompositions are natural generalizations to semigroups of coset decompositions in groups. As a consequence, we deduce that any Zappa–Szép extension of a monoid defined by a finite complete presentation, by a finite monoid, is also defined by such a presentation.

It is also proved that a semigroup M ⁰[A; I, J; P], where A and P satisfy some very general conditions, is also defined by a finite complete presentation.     

Radiation and Scattering by Complex Conformal Antennas on a Circular Cylinder

A technique for characterizing and designing complex conformal antennas flush-mounted on a singly-curved surface is presented. This approach is based on the hybrid finite element–boundary integral (FE–BI) method. A related method was proposed in the past utilizing cylindrical-shell finite element and roof-top rectangular basis functions for the boundary integral. Although that method proved very powerful for analyzing cylindrical–rectangular patch arrays flush-mounted to a circular cylinder, the requirement for uniform meshing in the aperture ultimately limited its usefulness. In this present formulation, tetrahedral elements are used to expand the volumetric electric fields while similar basis functions are used for the boundary integral. The curvature of the aperture is explicitly included via the use of the circular cylinder dyadic Green's function. After presentation of the formulation and validation using several well-understood examples, an example is presented that illustrates the capabilities of this method for modeling complex conformal antennas heretofore not examined by rigorous methods due to inherent limitations of the various published methods.     

Knot theory and the Casson invariant in Artin presentation theory

In Artin presentation theory, a smooth, compact four-manifold is determined by a certain type of presentation of the fundamental group of its boundary. Topological invariants of both three-and four-manifolds can be calculated solely in terms of functions of the discrete Artin presentation. González-Acuña proposed such a formula for the Rokhlin invariant of an integral homology three-sphere. This paper provides a formula for the Casson invariant of rational homology spheres. Thus, all 3D Seiberg-Witten invariants can be calculated by using methods of the theory of groups in Artin presentation theory. The Casson invariant is closely related to canonical knots determined by an Artin presentation. It is also shown that any knot in any three-manifold appears as a canonical knot in Artin presentation theory. An open problem is to determine 4D Seiberg-Witten and Donaldson invariants in Artin presentation theory.     

Presenting generalized Schur algebras in types B, C, D

We give explicit presentations by generators and relations of certain generalized Schur algebras (associated with tensor powers of the natural representation) in types B, C, D. This extends previous results in type A obtained by two of the authors. The presentation is compatible with the Serre presentation of the corresponding universal enveloping algebra. In types C, D this gives a presentation of the corresponding classical Schur algebra (the image of the representation on a tensor power) since the classical Schur algebra coincides with the generalized Schur algebra in those types. This coincidence between the generalized and classical Schur algebra fails in type B, in general.