Related papers: Infinitary Noetherian Constructions I. Infinite Wo…
We present a versatile construction allowing one to obtain pairs of integer sets with infinite symmetric difference, infinite intersection, and identical representation functions.
This is the extended version of the talk we gave during the Arbeitsgemeinschaft on totally disconnected locally compact groups, held in Oberwolfach in October 2014. We give the definition of the Neretin group of spheromorphisms of the…
For bi-Lipschitz homeomorphisms of a compact manifold it is known that topological entropy is always finite. For compact manifolds of dimension two or greater, we show that in the closure of the space of bi-Lipschitz homeomorphisms, with…
A systematic review of the various topologies that can be defined on the projective Hilbert space P(H), i.e., on the set of the pure quantum states, is presented. It is shown that P(H) carries a natural topology as well as a natural…
We construct the infinite sequence of invariants for curves in surfaces by using word theory that V. Turaev introduced. For plane closed curves, we add some extra terms, e.g. the rotation number. From these modified invariants, we get the…
We construct the ordinary irreducible representations of the group of automorphisms of a finite rooted tree and we get a natural parametrization of them. To achieve this goals, we introduce and study the combinatorics of tree compositions,…
In this paper, we give a purely cohomological interpretation of the extension problem for (super) Lie algebras; that is the problem of extending a Lie algebra by another Lie algebra. We then give a similar interpretation of infinitesimal…
Earlier an arbitrary poset $P$ was proved to be isomorphic to the collection of subsets of a space $M$ with two closures which are closed in the first closure and open in the other. As a space $M$ for this representation an algebraic dual…
We develop the theory of $H$-graded manifolds for any finitely generated abelian group, using tools from representation theory. Furthermore, we introduce and investigate the notion of $H$-graded coverings of supermanifolds in the case where…
The classifying topos of a geometric theory is a topos such that geometric morphisms into it correspond to models of that theory. We study classifying toposes for different infinitary logics: first-order, sub-first-order (i.e. geometric…
A-infinity algebras and categories are known to be the algebraic structures behind open string field theories. In this note we comment on the relevance of the homology construction of A-infinity categories to superpotentials.
This paper presents a novel approach to constructing finite generating sets for infinitely generated ideals. By integrating algebraic and computational techniques, we provide a method to identify finite generators, demonstrated through…
The representation theory for categorical groups is constructed. Each categorical group determines a monoidal bicategory of representations. Typically, these categories contain representations which are indecomposable but not irreducible. A…
Several structural properties of a universal algebra can be seen from the higher commutators of its congruences. Even on a finite algebra, the sequence of higher commutator operations is an infinite object. In the present paper, we exhibit…
Topological models of empirical and formal inquiry are increasingly prevalent. They have emerged in such diverse fields as domain theory [1, 16], formal learning theory [18], epistemology and philosophy of science [10, 15, 8, 9, 2],…
If an infinite non-periodic word is uniformly recurrent or is of bounded repetition, then the limit of its periodicity complexity is infinity. Moreover, there are uniformly recurrent words with the periodicity complexity arbitrarily high at…
Hypersurfaces embedded in conformal manifolds appear frequently as boundary data in boundary-value problems in cosmology and string theory. Viewed as the non-null conformal infinity of a spacetime, we consider hypersurfaces embedded in a…
We characterize the fixed sets of automorphisms of an arbitrary countable, arithmetically saturated structure.
The input and output algebras of an infinite qubit system and their representations are described.
Higher derivative terms in M-theory are investigated by applying the Noether method. Cancellation of variations under the local supersymmetry is examined to the order linear in F by a computer program. Structure of R^4 terms is uniquely…