Related papers: A Pardon Algebra for Zero-cycles
In the present work some geometric and topological implications of noncommutative Wilson loops are explored via the Seiberg-Witten map. In the abelian Chern-Simons theory on a three dimensional manifold, it is shown that the effect of…
For any two disjoint oriented circles embedded into the 3-dimensional real projective space, we construct a 3-dimensional configuration space and its map to the projective space such that the linking number of the circles is the half of the…
Working with group homomorphisms, a construction of manifolds is introduced to preserve homology groups. The construction gives as special cases Qullien's plus construction with handles obtained by Hausmann, the existence of one-sided…
Asao-Ivanov showed that magnitude homology is a Tor functor, hence we can compute it by giving a projective resolution of a certain module. In this article, we compute magnitude homology by constructing a minimal projective resolution. As a…
We present an algebraic characterization of the complexity classes Logspace and NLogspace, using an algebra with a composition law based on unification. This new bridge between unification and complexity classes is inspired from proof…
We analyze a three-dimensional discontinuous piecewise linear system \(Z=(X,Y)\) whose switching manifold \(\Sigma\) contains visible-visible two-fold intersection lines. Assuming that the matrices \(DX\) and \(DY\) each have one nonzero…
We present an algebraic formulation of the notion of integrability of dynamical systems, based on a nilpotency property of its flow: it can be explicitly described as a polynomial on its evolution parameter. Such a property is established…
In 2003 Peter Cameron introduced the concept of a Jordan scheme and asked whether there exist Jordan schemes which are not symmetrisations of coherent configurations (proper Jordan schemes). The question was answered affirmatively by the…
Gons and holes in point sets have been extensively studied in the literature. For simple drawings of the complete graph a generalization of the Erd\H{o}s--Szekeres theorem is known and empty triangles have been investigated. We introduce a…
We construct an invariant of 3-manifolds using a modification of the Kontsevich integral and Kirby's calculus. This invariant, as expected in perturbative Chern-Simon theory, takes values in the algebra of oriented 3-valent graphs. This…
It is proved that any Rota---Baxter operator of zero weight on Jordan algebra of a nondegenerate bilinear symmetric form is nilpotent of index less or equal three. We state exact value of nilpotency index on simple Jordan algebra of…
The dimension algebra of graded groups is introduced. With the help of known geometric results of extension theory that algebra induces all known results of the cohomological dimension theory. Elements of the algebra are equivalence classes…
We construct a realization of the algebra of the Z_3-graded topological symmetry of type (1,1,1) in terms of a pair of operators D_1: H_1 -> H_2, and D_2: H_2 -> H_3 satisfying [D_1D_1^\dagger,D_2^\dagger D_2]=0. We show that the sequence…
We present an alternative cyclic proof system for Peano arithmetic that could be simpler than the existing ones and well-adapted both for proof analysis and for automatizing inductive proof search. In addition, we will show how various…
Let $D$ be a directed graph cellularly embedded in a surface together with non-negative cost on its arcs. Given any integer circulation in $D$, we study the problem of finding a minimum-cost non-negative integer circulation in $D$ that is…
We show that if a polyhedron in the three-dimensional affine space with triangular faces is flexible, i.e., can be continuously deformed preserving the shape of its faces, then there is a cycle of edges whose lengths sum up to zero once…
Haj\'os conjecture asserts that a simple Eulerian graph on n vertices can be decomposed into at most (n - 1)/2 cycles. The conjecture is only proved for graph classes in which every element contains vertices of degree 2 or 4. We develop new…
We construct a new autoequivalence of the derived category of the Hilbert scheme of n points on a K3 surface, and of the variety of lines on a smooth cubic 4-fold. For Hilb^2 and the variety of lines, we use the theory of spherical…
In this paper we have given an algorithmic proof of an long standing Barnette's conjecture (1969) that every 3-connected bipartite cubic planar graph is hamiltonian. Our method is quite different than the known approaches and it rely on the…
Let C be some class of objects equipped with a set of simplifying moves. When we apply these to a given object M in C as long as possible, we get a root of M. Our main result is that under certain conditions the root of any object exists…