Search

In this short note, we construct solutions to quantum tetrahedron equation of the kind "with variables on the edges". Each of these variables takes just two values, called sometimes "colors". We propose two different constructions. The first of them involves, in particular, two $\mathcal R$-operators each depending on one parameter, while these parameters are independent from each other; the number of nonvanishing matrix entries in these two $\mathcal R$-operators is either 12 or 14. In the second construction, we use what may be called "modified tetrahedron in a direct sum" to produce, again, quantum tetrahedron solutions. All matrix entries of our $\mathcal R$-operators are nonnegative, if the relevant parameters are chosen properly., Comment: 9 pages; v2: one more construction added

A new version of the self-similarity spin transform on three-dimensional cubic lattices is proposed that makes possible calculation of nontrivial spin correlations in a "combinatorial" model, in which all permitted spin configurations have equal probabilities., Comment: 27 pages, 4 tikz figures

Cubic blocks are studied assembled from linear operators $\mathcal R$ acting in the tensor product of $d$ linear "spin" spaces. Such operator is associated with a linear transformation $A$ in a vector space over a field $F$ of a finite characteristic $p$, like "permutation-type" operators studied by Hietarinta. One small difference is that we do not require $A$ and, consequently, $\mathcal R$ to be invertible; more importantly, no relations on $\mathcal R$ are required of the type of Yang--Baxter or its higher analogues. It is shown that, in $d=3$ dimensions, a $p^n\times p^n\times p^n$ block decomposes into the tensor product of operators similar to the initial $\mathcal R$. One generalization of this involves commutative algebras over $F$ and allows to obtain, in particular, results about spin configurations determined by a four-dimensional $\mathcal R$. Another generalization deals with introducing Boltzmann weights for spin configurations; it turns out that there exists a non-trivial self-similarity involving Boltzmann weights as well., Comment: 33 pages, 10 figures. v3: conjecture about self-similarity in any finite characteristic is now proven

A cohomology theory is proposed for the recently discovered heptagon relation -- an algebraic imitation of a 5-dimensional Pachner move 4--3. In particular, `quadratic cohomology' is introduced, and it is shown that it is quite nontrivial, and even more so if compare heptagon with either its higher analogues, such as enneagon or hendecagon, or its lower analogue, pentagon. Explicit expressions for the nontrivial quadratic heptagon cocycles are found in dimensions 4 and 5., Comment: 15 pages, 2 figures

Hexagon relations are combinatorial or algebraic realizations of four-dimensional Pachner moves. We introduce some simple set-theoretic hexagon relations and then `quantize' them using what we call `polynomial hexagon cohomologies'. Based on this, topological quantum field theories are proposed with polynomial `discrete Lagrangian densities' taking values in finite fields. First calculations of the resulting manifold invariants, arising from polynomial cocycles of degree three and in characteristic two, show their nontriviality., Comment: 25 pages. v4: calculations for some twisted tori added, and other improvements

Gaussian pentachoron weights can be used for constructing algebraic realizations of four-dimensional Pachner moves. Here, we consider a natural `gauge equivalence' for such weights with one and two bosonic - i.e., commuting - variables on 3-faces. For the one-boson case, all generic weights turn out to be gauge equivalent. For the two-boson case, and generic weights, their gauge equivalence classes are parameterized by multiplicative 2-cocycles. Moreover, a generic two-boson weight can be reduced by a gauge transformation to a delta-function form., Comment: 26 pages. v2: a proof of a Pachner 3--3 relation added

This is the second in a series of papers where we construct an invariant of a four-dimensional piecewise linear manifold $M$ with a given middle cohomology class $h\in H^2(M,\mathbb C)$. This invariant is the square root of the torsion of unusual chain complex introduced in Part I (arXiv:1605.06498) of our work, multiplied by a correcting factor. Here we find this factor by studying the behavior of our construction under all four-dimensional Pachner moves, and show that it can be represented in a multiplicative form: a product of same-type multipliers over all 2-faces, multiplied by a product of same-type multipliers over all pentachora., Comment: 20 pages. v2: two of three Experimental Results now proven, and many small improvements

Recently, an algebraic realization of the four-dimensional Pachner move 3--3 was found in terms of Grassmann--Gaussian exponentials, and a remarkable nonlinear parameterization for it, going in terms of a $\mathbb C$-valued 2-cocycle. Here we define, for a given triangulated four-dimensional manifold and a 2-cocycle on it, an `exotic' chain complex intimately related to the mentioned parameterization, thus providing a basis for algebraic realizations of all four-dimensional Pachner moves., Comment: 23 pages. v2: new and better `gauge' for operators proposed, and many small improvements

Recently, a family of fermionic relations were discovered corresponding to Pachner move 3-3 and parameterized by complex-valued 2-cocycles, where the weight of a pentachoron (4-simplex) is a Grassmann-Gaussian exponent. Here, the proportionality coefficient between Berezin integrals in the l.h.s. and r.h.s. of such relations is written in a form multiplicative over simplices., Comment: 19 pages, no figures

A parameterization of Grassmann-algebraic relations corresponding to the Pachner move 3--3 is proposed. In these relations, each 4-simplex is assigned a Grassmann weight depending on five anticommuting variables associated with its 3-faces. The weights are chosen to have the "simplest" form - a Grassmann--Gaussian exponent or its analogue (satisfying a similar system of differential equations). Our parameterization works for a Zariski open set of such relations, looks relevant from the algebraic-topological viewpoint, and reveals intriguing nonlinear relations between objects associated with simplices of different dimensions., Comment: 25 pages. v3: the accepted version. The final publication is available at link.springer.com, see journal-ref and DOI here

We consider relations in Grassmann algebra corresponding to the four-dimensional Pachner move 3-3, assuming that there is just one Grassmann variable on each 3-face, and a 4-simplex weight is a Grassmann-Gaussian exponent depending on these variables on its five 3-faces. We show that there exists a large family of such relations; the problem is in finding their algebraic-topologically meaningful parameterization. We solve this problem in part, providing two nicely parameterized subfamilies of such relations. For the second of them, we further investigate the nature of some of its parameters: they turn out to correspond to an exotic analogue of middle homologies. In passing, we also provide the 2-4 Pachner move relation for this second case., Comment: this article supersedes arXiv:1301.5581

Grassmann-algebraic relations, corresponding naturally to Pachner move 3--3 in four-dimensional topology, are presented. They involve 2-cocycles of two specific forms, and some more homological objects., Comment: 6 pages; v3: now the Appendix announces relations parameterized by elliptic functions

We construct vast families of orthogonal operators obeying pentagon relation in a direct sum of three n-dimensional vector spaces. As a consequence, we obtain pentagon relations in Grassmann algebras, making a far reaching generalization of exotic Reidemeister torsions.

New algebraic relations are presented, involving anticommuting Grassmann variables and Berezin integral, and corresponding naturally to Pachner moves in three and four dimensions. These relations have been found experimentally - using symbolic computer calculations; their essential new feature is that, although they can be treated as deformations of relations corresponding to torsions of acyclic complexes, they can no longer be explained in such terms. In the simpler case of three dimensions, we define an invariant, based on our relations, of a piecewise-linear manifold with triangulated boundary, and present example calculations confirming its nontriviality.

We present an invariant of a three-dimensional manifold with a framed knot in it based on the Reidemeister torsion of an acyclic complex of Euclidean geometric origin. To show its nontriviality, we calculate the invariant for some framed (un)knots in lens spaces. Our invariant is related to a finite-dimensional fermionic topological quantum field theory.

An invariant of three-dimensional orientable manifolds is built on the base of a solution of pentagon equation expressed in terms of metric characteristics of Euclidean tetrahedra.