skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Higher arity self-distributive operations in Cascades and their cohomology
We investigate constructions of higher arity self-distributive operations, and give relations between cohomology groups corresponding to operations of different arities. For this purpose we introduce the notion of mutually distributive [Formula: see text]-ary operations generalizing those for the binary case, and define a cohomology theory labeled by these operations. A geometric interpretation in terms of framed links is described, with the scope of providing algebraic background of constructing [Formula: see text]-cocycles for framed link invariants. This theory is also studied in the context of symmetric monoidal categories. Examples from Lie algebras, coalgebras and Hopf algebras are given.  more » « less
Award ID(s):
1800443
PAR ID:
10274677
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
Journal of Algebra and Its Applications
Volume:
20
Issue:
07
ISSN:
0219-4988
Page Range / eLocation ID:
2150116
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Locally trivial bundles of [Formula: see text]-algebras with fiber [Formula: see text] for a strongly self-absorbing [Formula: see text]-algebra [Formula: see text] over a finite CW-complex [Formula: see text] form a group [Formula: see text] that is the first group of a cohomology theory [Formula: see text]. In this paper, we compute these groups by expressing them in terms of ordinary cohomology and connective [Formula: see text]-theory. To compare the [Formula: see text]-algebraic version of [Formula: see text] with its classical counterpart we also develop a uniqueness result for the unit spectrum of complex periodic topological [Formula: see text]-theory. 
    more » « less
  2. A braided Frobenius algebra is a Frobenius algebra with a Yang–Baxter operator that commutes with the operations, that are related to diagrams of compact surfaces with boundary expressed as ribbon graphs. A heap is a ternary operation exemplified by a group with the operation [Formula: see text], that is ternary self-distributive. Hopf algebras can be endowed with the algebra version of the heap operation. Using this, we construct braided Frobenius algebras from a class of certain Hopf algebras that admit integrals and cointegrals. For these Hopf algebras we show that the heap operation induces a Yang–Baxter operator on the tensor product, which satisfies the required compatibility conditions. Diagrammatic methods are employed for proving commutativity between Yang–Baxter operators and Frobenius operations. 
    more » « less
  3. The 1971 Fortuin–Kasteleyn–Ginibre inequality for two monotone functions on a distributive lattice is well known and has seen many applications in statistical mechanics and other fields of mathematics. In 2008, one of us (Sahi) conjectured an extended version of this inequality for all n > 2 monotone functions on a distributive lattice. Here, we prove the conjecture for two special cases: for monotone functions on the unit square in [Formula: see text] whose upper level sets are k-dimensional rectangles and, more significantly, for arbitrary monotone functions on the unit square in [Formula: see text]. The general case for [Formula: see text], remains open. 
    more » « less
  4. Starting with a vertex-weighted pointed graph [Formula: see text], we form the free loop algebra [Formula: see text] defined in Hartglass–Penneys’ article on canonical [Formula: see text]-algebras associated to a planar algebra. Under mild conditions, [Formula: see text] is a non-nuclear simple [Formula: see text]-algebra with unique tracial state. There is a canonical polynomial subalgebra [Formula: see text] together with a Dirac number operator [Formula: see text] such that [Formula: see text] is a spectral triple. We prove the Haagerup-type bound of Ozawa–Rieffel to verify [Formula: see text] yields a compact quantum metric space in the sense of Rieffel. We give a weighted analog of Benjamini–Schramm convergence for vertex-weighted pointed graphs. As our [Formula: see text]-algebras are non-nuclear, we adjust the Lip-norm coming from [Formula: see text] to utilize the finite dimensional filtration of [Formula: see text]. We then prove that convergence of vertex-weighted pointed graphs leads to quantum Gromov–Hausdorff convergence of the associated adjusted compact quantum metric spaces. As an application, we apply our construction to the Guionnet–Jones–Shyakhtenko (GJS) [Formula: see text]-algebra associated to a planar algebra. We conclude that the compact quantum metric spaces coming from the GJS [Formula: see text]-algebras of many infinite families of planar algebras converge in quantum Gromov–Hausdorff distance. 
    more » « less
  5. Chong, Chita; Feng, Qi; Slaman, Theodore_A; Woodin, W_Hugh (Ed.)
    This paper has two parts. The first is concerned with a variant of a family of games introduced by Holy and Schlicht, that we call Welch games. Player II having a winning strategy in the Welch game of length [Formula: see text] on [Formula: see text] is equivalent to weak compactness. Winning the game of length [Formula: see text] is equivalent to [Formula: see text] being measurable. We show that for games of intermediate length [Formula: see text], II winning implies the existence of precipitous ideals with [Formula: see text]-closed, [Formula: see text]-dense trees. The second part shows the first is not vacuous. For each [Formula: see text] between [Formula: see text] and [Formula: see text], it gives a model where II wins the games of length [Formula: see text], but not [Formula: see text]. The technique also gives models where for all [Formula: see text] there are [Formula: see text]-complete, normal, [Formula: see text]-distributive ideals having dense sets that are [Formula: see text]-closed, but not [Formula: see text]-closed. 
    more » « less