Properties of comultiplications on a wedge of spheres

In this paper we study the set of comultiplications on a wedge of a finite number of spheres. We are interested in group theoretic properties of these comultiplications such as associativity and commutativity and loop theoretic properties such as inversivity, power-associativity and the Moufang property. Our methods involve Whitehead products in wedges of spheres and the Hopf-Hilton invariants. We obtain extensive results for a restricted class of comultiplications, namely, the one-stage quadratic or cubic comultiplications.     

On inverses and algebraic loops of co-H-spaces

In this paper we study the properties of homotopy inverses of comultiplications and algebraic loops of co-H-spaces based on a wedge of spheres. We also investigate a method to construct new comultiplications out of old ones by using a group action. We are primarily interested in the algebraic loops which have inversive, power-associative and Moufang properties for some comultiplications.     

ON INVERSES AND ALGEBRAIC LOOPS OF CO-H-SPACES

In this paper we study the properties of homotopy inverses of comultiplications and Mgebraic loops of co-H-spaces based on a wedge of spheres. We also investigate a method to construct new comultiplications out of old ones by using a group action. We are primarily interested in the algebraic loops which have inversive, power-associative and Moufang properties for some comultiplications.     

Idempotent comultiplications on graded algebras

We classify all idempotent comultiplications on a graded anticommutative algebra up to degree 3, provided its components are torsion free, and topologically realize all algebraic possibilities. Then we extend some results to dimension n and obtain topological consequences about closed n-manifolds with cohomology of special type.     

Comultiplications with Meson Algebras

The mesonic interior multipliciations have suggested the existence of mesonic comultiplications. The proof of their existence has motivated an intensive study of the meson algebra of an orthogonal sum, revealing its twisted gradations and its canonical projectors. The traditional applications of comultiplications follow. A final application to mesonic deformations corroborates the close relationship between Clifford algebras and meson algebras.     

Local Units Versus Local Projectivity Dualisations: Corings with Local Structure Maps

We unify and generalize different notions of local units and local projectivity. We investigate the connection between these properties by constructing elementary algebras from locally projective modules. Dual versions of these constructions are discussed, leading to corings with local comultiplications, corings with local counits, and rings with local multiplications.     

The Envelope of Lines Meeting a Fixed Line and Tangent to Two Spheres

We study the set of lines that meet a fixed line and are tangent to two spheres and classify the configurations consisting of a single line and three spheres for which there are infinitely many lines tangent to the three spheres that also meet the given line. All such configurations are degenerate. The path to this result involves the interplay of some beautiful and intricate geometry of real surfaces in 3-space, complex projective algebraic geometry, explicit computation and graphics.     

Spherical basis functions and uniform distribution of points on spheres

The main purpose of the present paper is to employ spherical basis functions (SBFs) to study uniform distribution of points on spheres. We extend Weyl's criterion for uniform distribution of points on spheres to include a characterization in terms of an SBF. We show that every set of minimal energy points associated with an SBF is uniformly distributed on the spheres. We give an error estimate for numerical integration based on the minimal energy points. We also estimate the separation of the minimal energy points.     

Calculating the Symmetry Number of Flexible Sphere Clusters

We present a theoretical and computational framework to compute the symmetry number of a flexible sphere cluster in \({\mathbb {R}}^3\), using a definition of symmetry that arises naturally when calculating the equilibrium probability of a cluster of spheres in the sticky-sphere limit. We define the sticky symmetry group of the cluster as the set of permutations and inversions of the spheres which preserve adjacency and can be realized by continuous deformations of the cluster that do not change the set of contacts or cause particles to overlap. The symmetry number is the size of the sticky symmetry group. We introduce a numerical algorithm to compute the sticky symmetry group and symmetry number, and show it works well on several test cases. Furthermore, we show that once the sticky symmetry group has been calculated for indistinguishable spheres, the symmetry group for partially distinguishable spheres (those with nonidentical interactions) can be efficiently obtained without repeating the laborious parts of the computations. We use our algorithm to calculate the partition functions of every possible connected cluster of six identical sticky spheres, generating data that may be used to design interactions between spheres so they self-assemble into a desired structure.

     

Strong maximum principle for an elliptic operator on a stratified set

We derive a necessary condition for an extremum for functions on stratified sets in terms of integrals of the normal derivative over spheres and use this condition to prove the strong maximum principle for the divergence operator on a stratified set.     

Spaces of Wald-Berestovskii curvature bounded below

We consider inner metric spaces of curvature bounded below in the sense of Wald, without assuming local compactness or existence of minimal curves. We first extend the Hopf-Rinow theorem by proving existence, uniqueness, and “almost extendability” of minimal curves from any point to a denseG _δ subset. An immediate consequence is that Alexandrov’s comparisons are meaningful in this setting. We then prove Toponogov’s theorem in this generality, and a rigidity theorem which characterizes spheres. Finally, we use our characterization to show the existence of spheres in the space of directions at points in a denseG _δ set. This allows us to define a notion of “local dimension” of the space using the dimension of such spheres. If the local dimension is finite, the space is an Alexandrov space.     

Comparison of Hopf algebras on trees

Several Hopf algebra structures on vector spaces of trees can be found in the literature (cf. [10], [8], [2]). In this paper, we compare the corresponding notions of trees, the multiplications and comultiplications. The Hopf algebras are connected graded or, equivalently, complete Hopf algebras. The Hopf algebra structure on planar binary trees introduced by Loday and Ronco [10] is noncommutative and not cocommutative. We show that this Hopf algebra is isomorphic to the noncommutative version of the Hopf algebra of Connes and Kreimer [3]. We compute its first Lie algebra structure constants in the sense of [7], and show that there is no cogroup structure compatible with the Hopf algebra on planar binary trees.     

Spheres arising from multicomplexes

In 1992, Thomas Bier introduced a surprisingly simple way to construct a large number of simplicial spheres. He proved that, for any simplicial complex Δ on the vertex set V with Δ≠V², the deleted join of Δ with its Alexander dual Δ^∨ is a combinatorial sphere. In this paper, we extend Bier?s construction to multicomplexes, and study their combinatorial and algebraic properties. We show that all these spheres are shellable and edge decomposable, which yields a new class of many shellable edge decomposable spheres that are not realizable as polytopes. It is also shown that these spheres are related to polarizations and Alexander duality for monomial ideals which appear in commutative algebra theory.     

One-sided Hopf algebras and quantum quasigroups

We study the connections between one-sided Hopf algebras and one-sided quantum quasigroups, tracking the four possible invertibility conditions for the left and right composite morphisms that combine comultiplications and multiplications in these structures. The genuinely one-sided structures exhibit precisely two of the invertibilities, while it emerges that imposing one more condition often entails the validity of all four. A main result shows that under appropriate conditions, just one of the invertibility conditions is su?cient for the existence of a one-sided antipode. In the left Hopf algebra which is a variant of the quantum special linear group of two-dimensional matrices, it is shown explicitly that the right composite is not injective, and the left composite is not surjective.     

Zero-Sets of Quaternionic and Octonionic Analytic Functions with Central Coefficients

We prove that the zero set of any quaternionic (or octonionic)analytic function f with central (that is, real) coefficientsis the disjoint union of codimension two spheres in R⁴ or R⁸(respectively) and certain purely real points. In particular,for polynomials with real coefficients, the complete root-setis geometrically characterisable from the lay-out of the rootsin the complex plane. The root-set becomes the union of a finitenumber of codimension 2 Euclidean spheres together with a finitenumber of real points. We also find the preimages f^–1for any quaternion (or octonion) A. We demonstrate that this surprising phenomenon of complete spheresbeing part of the solution set is very markedly a special ‘real’phenomenon. For example, the quaternionic or octonionic Nthroots of any non-real quaternion (respectively octonion) turnout to be precisely N distinct points. All this allows us todo some interesting topology for self-maps of spheres.     

On reconstructive sets of vertices in the Boolean cube

The notion of reconstructive set is introduced in terms of the Fourier transform. We characterize the reconstructive linear subspaces and give some necessary and sufficient conditions for the reconstructiveness of a sphere. We also give a necessary condition for two concentric spheres to be reconstructive.     

Extremal functions of cubature formulas on a multidimensional sphere and spherical splines

We establish the general form of extremal cubature formulas on multidimensional spheres. The domains of definition for the cubature formulas under consideration are Sobolev-type spaces on the sphere. The smoothness of the class function under study may be fractional. We prove that, for a given set of nodes, there exists a one-to-one correspondence between the set of extremal functions of cubature formulas on the sphere and the set of natural spherical splines with zero spherical mean.     

Spiral surfaces enveloped by one-parametric sets of spheres

In this paper, we study cyclic surfaces in E ³ generated by spiral motions of a circle. We find the representation of cyclic spiral surfaces in E ³ which are envelopes of one-parametric set of spheres. Finally, we give an example.