arXiv research

Study on group cocycles for volume-preserving diffeomorphisms.

New rack and multiple group rack cohomology for surfaces in 3-sphere.

We give a construction of quandle cocycles from group cocycles, especially, for any integer p \geq 3, quandle cocycles of the dihedral quandle R_p from group cocycles of the cyclic group Z/p. We will show that a group 3-cocycle of Z/p gives rise to a non-trivial quandle 3-cocycle of R_p. When p is an odd prime, since d…

T. Mochizuki determined all 3-cocycles of the third quandle cohomologies of Alexander quandles on finite fields. We show that all the 3-cocycles, except those of 2-cocycle forms, are derived from group 3-cocycles of a meta-abelian group. Further, the quandle cocycle invariant of a link using Mochizuki's 3-cocycle is eq…

In this paper we study perturbations of constant cocycles for actions of higher rank semi-simple algebraic groups and their lattices. Roughly speaking, for ergodic actions, Zimmer's cocycle superrigidity theorems implies that the perturbed cocycle is measurably conjugate to a constant cocycle modulo a compact valued co…

Develops Patterson-Sullivan theory for coarse cocycles.

The quandle homology theory is generalized to the case when the coefficient groups admit the structure of Alexander quandles, by including an action of the infinite cyclic group in the boundary operator. Theories of Alexander extensions of quandles in relation to low dimensional cocycles are developed in parallel to gr…

We propose a simple method to produce quandle cocycles from group cocycles, as a modification of Inoue-Kabaya chain map. We further show that, in respect to "universal central extended quandles", the chain map induces an isomorphism between their third homologies. For example, all Mochizuki's quandle 3-cocycles are sho…

This paper defines maximal measurable cocycles for surface groups into Hermitian Lie groups and studies their algebraic hulls.

Classifies central extensions for area-preserving diffeomorphisms and shows they are fuzzy sphere limits.

We present a formula expressing Earle's twisted 1-cocycle on the mapping class group of a closed oriented surface of genus >=2 relative to a fixed base point, with coefficients in the first homology group of the surface. For this purpose we compare it with Morita's twisted 1-cocycle which is combinatorial. The key is t…

Quandle cocycles are constructed from extensions of quandles. The theory is parallel to that of group cohomology and group extensions. An interpretation of quandle cocycle invariants as obstructions to extending knot colorings is given, and is extended to links component-wise.

Paper calculates indices for group actions using cocycles.

We focus on the cohomology of the $k$-th nilpotent quotient of the free group, $F/F_k$. This paper describes all the group 2-, 3-cocycles in terms of Massey products, and gives expressions for some of the 3-cocycles. We also give simple proofs of some of the results on Milnor invariants and the Johnson-Morita homomorph…

Study projective derivative cocycles for circle diffeomorphisms.

Cocycles are constructed by polynomial expressions for Alexander quandles. As applications, non-triviality of some quandle homology groups are proved, and quandle cocycle invariants of knots are studied. In particular, for an infinite family of quandles, the non-triviality of quandle homology groups is proved for all o…

Study parametrized Kähler class for cocycles on Hermitian symmetric spaces.

The paper proves rigidity for cocycles from higher rank lattices to Out(FN).

Criterion for lifting smooth contact maps between Carnot groups to central extensions.

Three new knot invariants are defined using cocycles of the generalized quandle homology theory that was proposed by Andruskiewitsch and Graña. We specialize that theory to the case when there is a group action on the coefficients. First, quandle modules are used to generalize Burau representations and Alexander module…

Morita introduced in 2008 a 1-cocycle on the group of homology cobordisms of surfaces with values in an infinite-dimensional vector space. His 1-cocycle contains all the "traces" of Johnson homomorphisms which he introduced fifteen years earlier in his study of the mapping class group. In this paper, we propose a new v…

We introduce the notion of pullback along a measurable cocycle and we use it to extend the Borel invariant studied by Bucher, Burger and Iozzi to the world of measurable cocycles. The Borel invariant is constant along cohomology classes and has bounded absolute value. This allows to define maximal cocycles. We conclude…

We define families of invariants for elements of the mapping class group of S, a compact orientable surface. Fix any characteristic subgroup H of pi_1(S) and restrict to J(H), any subgroup of mapping classes that induce the identity modulo H. To any unitary representation, r of pi_1(S)/H we associate a higher-order rho…

In this paper, we introduce the (co)homology group of a multiple conjugation biquandle. It is the (co)homology group of the prismatic chain complex, which is related to the homology of foams introduced by J. S. Carter, modulo a certain subchain complex. We construct invariants for $S^1$-oriented handlebody-links using …

Heap theory applied to framed links yields new invariants.

We use cross ratios to describe second real continuous bounded cohomology for locally compact topological groups. We also derive a rigidity result for cocycles with values in the isometry group of a proper hyperbolic geodesic metric space.

Maps quandle homology to relative group homology.

We present a geometric construction of central extensions of covering groups of the group of volume preserving diffeomorphisms, integrating central extensions of the Lie algebra of divergence free vector fields defined by Lichnerowicz cocycles. Certain covering spaces of non-linear Grassmannians can be realized as preq…

A group-theoretical method, via Wada's representations, is presented to distinguish Kishino's virtual knot from the unknot. Biquandles are constructed for any group using Wada's braid group representations. Cocycle invariants for these biquandles are studied. These invariants are applied to show the non-existence of Al…

Analytic submanifolds of cocycles reveal discrete cohomology spaces.

We present an explicit realization of abelian extensions of infinite dimensional Lie groups using abelian extensions of path groups, by generalizing Mickelsson's approach to loop groups and the approach of Losev-Moore-Nekrasov-Shatashvili to current groups. We apply our method to coupled cocycles on current Lie algebra…

We describe all the situations in which the Kontsevich-Zorich cocycle has zero Lyapunov exponents. Confirming a conjecture of Forni, Matheus, and Zorich, this only occurs when the cocycle satisfies additional geometric constraints. We also describe the real Lie groups which can appear in the monodromy of the Kontsevich…

The paper studies metrics on Lie groups SO(2) and SO(3) and their integrability.

We define a knot/link invariant using set theoretical solutions $(X,σ)$ of the Yang-Baxter equation and non commutative 2-cocycles. We also define, for a given $(X,σ)$, a universal group Unc(X) governing all 2-cocycles in $X$, and we exhibit examples of computations.

New shifting chain map enhances quandle invariants for links.

Automatic continuity of polynomial maps and cocycles proved.

The paper studies maps and reducibility for cocycles into CAT(0)-spaces.

Werner Meyer constructed a cocycle in $H^2(Sp(2g, \mathbb{Z}); \mathbb{Z})$ which computes the signature of a closed oriented surface bundle over a surface, with fibre a surface of genus g. By studying properties of this cocycle, he also showed that the signature of such a surface bundle is a multiple of 4. In this pap…

This paper calculates Dijkgraaf-Witten invariants from Chern classes.

Let $M$ be a $G$-manifold and $\om$ a $G$-invariant exact $m$-form on $M$. We indicate when these data allow us to constract a cocycle on a group $G$ with values in the trivial $G$-module $\mathbb R$ and when this cocycle is nontrivial.

Survey recent constructions of cyclic cocycles for Lie groups.

A cohomology theory of the adjoint of Hopf algebras, via deformations, is presented by means of diagrammatic techniques. Explicit calculations are provided in the cases of group algebras, function algebras on groups, and the bosonization of the super line. As applications, solutions to the YBE are given and quandle coc…

Homomorphisms on quandle cohomology groups that raise the dimensions by one are studied in relation to the cocycle state-sum invariants of knots and knotted surfaces. Skein relations are also studied.

Infinite presentations are given for all of the higher Torelli groups of once-punctured surfaces. In the case of the classical Torelli group, a finite presentation of the corresponding groupoid is also given, and finite presentations of the classical Torelli groups acting trivially on homology modulo N are derived for …

Homology and cohomology theory for topological quandles computed.

Given a biquandle $(X, S)$, a function $τ$ with certain compatibility and a pair of {\em non commutative cocyles} $f,h:X \times X\to G$ with values in a non necessarily commutative group $G$, we give an invariant for singular knots / links. Given $(X,S,τ)$, we also define a universal group $U_{nc}^{fh}(X)$ and universa…

We construct elements of the third quandle homology groups of knot quandles, which are called the shadow fundamental classes. They play the same roles for the shadow quandle cocycle invariants of knots as the fundamental classes of knot quandles does for the quandle cocycle invariants. As an application of the shadow f…

When a Lie group $G$ has a central $U(1)$-extension, there is a cocycle in the simplicial de Rham complex $Ω^3(NG)$ which represents the Dixmier-Douady class. Mickelsson and Brylinski, McLaughlin constructed a central $U(1)$-extension $\widehat{LSU(2)} \rightarrow LSU(2)$ whose Dixmier-Douady class in $Ω^3(NLSU(2))$ is…