A class of torsion-free abelian groups characterized by the ranks of their socles

Butler groups formed by factoring a completely decomposable group by a rank one group have been studied extensively. We call such groups, bracket groups. We study bracket modules over integral domains. In particular, we are interested in when any bracket R-module is R tensor a bracket group.     

Homology of Newtonian Coalgebras

Given a Newtonian coalgebra we associate to it a chain complex. The homology groups of this Newtonian chain complex are computed for two important Newtonian coalgebras arising in the study of flag vectors of polytopes:R a, b and Rc, d. The homology of Ra, b corresponds to the homology of the boundary of then -crosspolytope. In contrast, the homology of Rc, d depends on the characteristic of the underlying ring R. In the case the ring has characteristic 2, the homology is computed via cubical complexes arising from distributive lattices. This paper ends with a characterization of the integer homology ofZ c, d.     

Long Box Bracket Operations in Homotopy Theory

Secondary homotopy operations called box bracket operations were defined in the homotopy theory of an arbitrary 2-category with zeros by Hardie, Marcum and Oda (Rend Ist Mat Univ Trieste, 33:19–70 2001). For the topological 2-category of based spaces, based maps and based track classes of based homotopies, the classical Toda bracket is a particular example of a box bracket operation and subsequent development of the theory has refined, clarified and placed in this more general context many of the properties of classical Toda brackets. In this paper, and for the topological case only, we use an inductive definition to extend the theory to long box brackets. As is well-known, the necessity to manage higher homotopy coherence is a complicating factor in the consideration of such higher order operations. The key to our construction is the definition of an appropriate triple box bracket operation and consequently we focus primarily on the properties of the triple box bracket. We exhibit and exploit the relationship of the classical quaternary Toda bracket to the triple box bracket. As our main results we establish some computational techniques for triple box brackets that are based on composition methods. Some specific computations from the homotopy groups of spheres are included.     

General Form of the *-Commutator on the Grassmann Algebra

The general form of the *-commutator on the Grassmann algebra treated as a deformation of the conventional Poisson bracket is investigated. It is shown that in addition to the Moyal *-commutator, there exist other deformations of the Poisson bracket on the Grassman algebra (one additional deformation for even and odd n, where n is the number of the Grassmann algebra generators) that are not reducible to the Moyal *-commutator by a similarity transformation.     

N=(1|1) Supersymmetric Dispersionless Toda Lattice Hierarchy

Generalizing the graded commutator in superalgebras, we propose a new bracket operation on the space of graded operators with an involution. We study properties of this operation and show that the Lax representation of the two-dimensional N=(1|1) supersymmetric Toda lattice hierarchy can be realized via the generalized bracket operation; this is important in constructing the semiclassical (continuum) limit of this hierarchy. We construct the continuum limit of the N=(1|1) Toda lattice hierarchy, the dispersionless N=(1|1) Toda hierarchy. In this limit, we obtain the Lax representation, with the generalized graded bracket becoming the corresponding Poisson bracket on the graded phase superspace. We find bosonic symmetries of the dispersionless N=(1|1) supersymmetric Toda equation.     

Virtual knots undetected by 1- and 2-strand bracket polynomials

Kishino's knot is not detected by the fundamental group or the bracket polynomial. However, we can show that Kishino's knot is not equivalent to the unknot by applying either the 3-strand bracket polynomial or the surface bracket polynomial. In this paper, we construct two non-trivial virtual knot diagrams, KD and Km, that are not detected by the 1-strand or the 2-strand bracket polynomial. From these diagrams, we construct two infinite families of non-classical virtual knot diagrams that are not detected by the bracket polynomial. Additionally, these virtual knot diagrams are trivial as flats.     

Symplectic 2 × 2 matrices over free algebras

P.M. Cohn has proved the remarkable theorem, that every invertible n × n matrix over a free algebra is the product of elementary n × n matrices, see [C1], [C2]. In this note we prove the analogue for symplectic 2 × 2 matrices over free algebras relative to a homogeneous involution: every symplectic 2 × 2 matrix is the product of elementary symplectic 2 × 2 matrices.In Section 1 we define the group Sp₂(R) of symplectic 2 × 2 matrices over an involutive ring R. The group ESp₂(R) generated by elementary symplectic matrices is introduced in Section 3.In Section 2 we prove a reducibility criterion for homogeneous polynomials in a free algebra KX over a commutative field K. It leads to a special form in the factorization of symmetric homogeneous polynomials, see Corollary to Proposition 2.2.We prove in Section 4 that ESp₂(KX) = Sp₂(KX), if the involution on KX is homogeneous.In a subsequent article we will show that the main result is also true for 2g × 2g symplectic matrices over free algebras relative to homogeneous involutions, g ≥ 1. It seems that a proof of this result will be much more complicated than the case g = 1.     

Poisson structures and integrable systems connected with graphs

Completely integrable systems related with graphs of a specific type are studied by the r-matrix method. The phase space of such a system is the space of connections on a graph. The nonlinear equations under consideration are Hamiltonian with respect to the Poisson bracket depending on the geometry of the graph and other structures. It is essential that the Poisson bracket be nonultralocal. An involute family of motion integrals is constructed. Explicit formulas for solutions of evolution equations are obtained in terms of solutions of a factorization problem. In the case of the group of loops, a polynomial anzatz for the Lax operator compatible with the Poisson bracket is constructed. Bibliography: 8 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 224, 1995, pp. 279–299. Translated by B. M. Bekker.     

Homology with Trivial Coefficients and Universal Central Extensions of Algebras with Bracket

A 5-term exact sequence and the interpretation of low dimensional groups of homology with trivial coefficients of algebras with bracket are obtained. The endofunctor in the category of algebras with bracket which assigns to a perfect algebra with bracket its universal central extension is constructed and the characterization of the universal central extension by means of the low-dimensional homology groups is done. The conditions required to lift an automorphism or a derivation of A to A′ in a covering f:A′ ? A are analyzed.     

Multicriteria analysis in decision making under information uncertainty

This paper presents results of research related to multicriteria decision making under information uncertainty. The Bellman–Zadeh approach to decision making in a fuzzy environment is utilized for analyzing multicriteria optimization models (X,M models) under deterministic information. Its application conforms to the principle of guaranteed result and provides constructive lines in obtaining harmonious solutions on the basis of analyzing associated maxmin problems. This circumstance permits one to generalize the classic approach to considering the uncertainty of quantitative information (based on constructing and analyzing payoff matrices reflecting effects which can be obtained for different combinations of solution alternatives and the so-called states of nature) in monocriteria decision making to multicriteria problems. Considering that the uncertainty of information can produce considerable decision uncertainty regions, the resolving capacity of this generalization does not always permit one to obtain unique solutions. Taking this into account, a proposed general scheme of multicriteria decision making under information uncertainty also includes the construction and analysis of the so-called X,R models (which contain fuzzy preference relations as criteria of optimality) as a means for the subsequent contraction of the decision uncertainty regions. The paper results are of a universal character and are illustrated by a simple example.     

Poisson-Nijenhuis structures and the Vinogradov bracket

We express the compatibility conditions that a Poisson bivector and a Nijenhuis tensor must fulfil in order to be a Poisson-Nijenhuis structure by means of a graded Lie bracket. This bracket is a generalization of Schouten and Frölicher-Nijenhuis graded Lie brackets defined on multivector fields and on vector valued differential forms respectively.Partially supported by Fundació Caixa Castelló.Partially supported by the Spanish DGICYT grant #P B91-0324.     

Conserved quantities and Hamiltonization of nonholonomic systems

This paper studies hamiltonization of nonholonomic systems using geometric tools, building on [1], [5]. The main novelty in this paper is the use of symmetries and suitable first integrals of the system to explicitly define a new bracket on the reduced space that codifies the nonholonomic dynamics and carries, additionally, an almost symplectic foliation (determined by the common level sets of the first integrals); in particular cases of interest, this new bracket is a Poisson structure that hamiltonizes the system. Our construction of the new bracket is based on a gauge transformation of the nonholonomic bracket by a global 2-form that we explicitly describe. We study various geometric features of the reduced brackets and apply our formulas to obtain a geometric proof of the hamiltonization of a homogeneous ball rolling without sliding in the interior side of a convex surface of revolution.     

Reduction to the Surface of Second-Class Constraints

We propose a recursive procedure that, for given second-class constraints, permits explicitly constructing equivalent constraints and a canonical transformation such that the Dirac bracket is reduced to the Poisson bracket on the constraint surface.     

Poisson brackets associated to the conformal geometry of curves

In this paper we present an invariant moving frame, in the group theoretical sense, along curves in the Möbius sphere. This moving frame will describe the relationship between all conformal differential invariants for curves that appear in the literature. Using this frame we first show that the Kac-Moody Poisson bracket on can be Poisson reduced to the space of conformal differential invariants of curves. The resulting bracket will be the conformal analogue of the Adler-Gel'fand-Dikii bracket. Secondly, a conformally invariant flow of curves induces naturally an evolution on the differential invariants of the flow. We give the conditions on the invariant flow ensuring that the induced evolution is Hamiltonian with respect to the reduced Poisson bracket. Because of a certain parallelism with the Euclidean case we study what we call Frenet and natural cases. We comment on the implications for completely integrable systems, and describe conformal analogues of the Hasimoto transformation.

     

Minimization of the root of a quadratic functional under a system of affine equality constraints with application to portfolio management

We present an explicit closed form solution of the problem of minimizing the root of a quadratic functional subject to a system of affine constraints. The result generalizes Z. Landsman, Minimization of the root of a quadratic functional under an affine equality constraint, J. Comput. Appl. Math. 2007, to appear, see http://www.sciencedirect.com/science/journal/03770427, articles in press, where the optimization problem was solved under only one linear constraint. This is of interest for solving significant problems pertaining to financial economics as well as some classes of feasibility and optimization problems which frequently occur in tomography and other fields. The results are illustrated in the problem of optimal portfolio selection and the particular case when the expected return of finance portfolio is certain is discussed.     

Gerstenhaber bracket on Hopf algebra and Hochschild cohomologies

We calculate the Gerstenhaber bracket on Hopf algebra and Hochschild cohomologies of the Taft algebra $T_p$ for any integer $p>2$ which is a nonquasi-triangular Hopf algebra. We show that the bracket is indeed zero on Hopf algebra cohomology of $T_p$, as in all known quasi-triangular Hopf algebras. This example is the first known bracket computation for a nonquasi-triangular algebra. Also, we find a general formula for the bracket on Hopf algebra cohomology of any Hopf algebra with bijective antipode on the bar resolution that is reminiscent of Gerstenhaber's original formula for Hochschild cohomology.     

Quasi-Lie structure of σ-derivations of C[t±1]

Hartwig, Larsson and Silvestrov in [J.T. Hartwig, D. Larsson, S.D. Silvestrov, Deformations of Lie algebras using σ-derivations, J. Algebra 295 (2) (2006) 314–361] defined a bracket on σ-derivations of a commutative algebra. We show that this bracket preserves inner derivations, and based on this obtain structural results providing new insights into σ-derivations on Laurent polynomials in one variable.     

Equivalence relation groupoids associated with certain linearly ordered dimension groups

We consider linearly ordered, Archimedean dimension groups (G,G⁺,u) for which the group G/u is torsion-free. It will be shown that if, in addition, G/u is generated by a single element (i.e., ), then (G,G⁺,u) is isomorphic to for some irrational number τ(0,1). This amounts to an extension of related results where dimension groups for which G/u is torsion were considered. We will prove, in the case of the Fibonacci dimension group, that these results can be used to directly construct an equivalence relation groupoid whose C^*-algebra is the Fibonacci C^*-algebra.     

Skein modules and the noncommutative torus

We prove that the Kauffman bracket skein algebra of the cylinder over a torus is a canonical subalgebra of the noncommutative torus. The proof is based on Chebyshev polynomials. As an application, we describe the structure of the Kauffman bracket skein module of a solid torus as a module over the algebra of the cylinder over a torus, and recover a result of Hoste and Przytycki about the skein module of a lens space. We establish simple formulas for Jones-Wenzl idempotents in the skein algebra of a cylinder over a torus, and give a straightforward computation of the -th colored Kauffman bracket of a torus knot, evaluated in the plane or in an annulus.