Related papers: On Turing dynamical systems and the Atiyah problem
The Temperley-Lieb algebra \tln(\beta) can be defined as the set of rectangular diagrams with n points on each of their vertical sides, with all points joined pairwise by non-intersecting strings. The multiplication is then the…
The T and Y-systems are ubiquitous structures in classical and quantum integrable systems. They are difference equations having a variety of aspects related to commuting transfer matrices in solvable lattice models, q-characters of…
A commutative ring is said to have ITI with respect to an ideal a if the a-torsion functor preserves injectivity of modules. Classes of rings with ITI or without ITI with respect to certain sets of ideals are identified. Behaviour of ITI…
We present a generalization of standard Turing machines based on allowing unusual tapes. We present a set of reasonable constraints on tape geometry and classify all tapes conforming to these constraints. Surprisingly, this generalization…
Given an exceptional compact simple Lie group $G$ we describe new left-invariant Einstein metrics which are not naturally reductive. In particular, we consider fibrations of $G$ over flag manifolds with a certain kind of isotropy…
A group $G$ is said to be totally $2$-closed if in each of its faithful permutation representations, say on a set $\Omega$, $G$ is the largest subgroup of $\mathrm{Sym}(\Omega)$ which leaves invariant each of the $G$-orbits for the induced…
We prove that Atiyah duality holds in the $\infty$-category of non-$\mathbb A^1$-invariant motivic spectra over arbitrary derived schemes: every smooth projective scheme is dualizable with dual given by the Thom spectrum of its negative…
We construct and study general connections on Lie groupoids and differentiable stacks as well as on principal bundles over them using Atiyah sequences associated to transversal tangential distributions.
It is well known that the abelian $Z_2$ anyonic model (toric code) can be realized on a highly entangled two-dimensional spin lattice, where the anyons are quasiparticles located at the endpoints of string-like concatenations of Pauli…
We introduce a notion of rank completion for bi-modules over a finite tracial von Neumann algebra. We show that the functor of rank completion is exact and that the category of complete modules is abelian with enough projective objects.…
We define group-twisted Alexander-Whitney and Eilenberg-Zilber maps for converting between bimodule resolutions of skew group algebras. These algebras are the natural semidirect products recording actions of finite groups by automorphisms.…
Motivated by numerical integration on manifolds, we relate the algebraic properties of invariant connections to their geometric properties. Using this perspective, we generalize some classical results of Cartan and Nomizu to invariant…
In the first half of this paper, we study the way that sets of real numbers closed under Turing equivalence sit inside the real line from the perspective of algebra, measure and order. Afterwards, we combine the results from our study of…
We announce results about the structure and arithmeticity of all possible lattice embeddings of a class of countable groups which encompasses all linear groups with simple Zariski closure, all groups with non-vanishing first l2-Betti…
In this note we use techniques in the topology of 2-complexes to recast some tools that have arisen in the study of planar tiling questions. With spherical pictures we show that the tile counting group associated to a set $T$ of tiles and a…
We provide a proof for an inequality between volume and L2-Betti numbers of aspherical manifolds for which Gromov outlined a strategy based on general ideas of Connes. The implementation of that strategy involves measured equivalence…
In this paper, we will develop a significantly more general notion of classical Ramsey numbers (extending most other graph-theoretic generalizations) and make some preliminary characterizations of these new Ramsey numbers using simple…
The language of Lagrangian submanifolds is used to extend a geometric characterization of the inverse problem of the calculus of variations on tangent bundles to regular Lie algebroids. Since not all closed sections are locally exact on Lie…
The aim of this article is to investigate the cohomology (l-adic as well as Betti) of schemes, and more generally of certain algebraic stacks, that are proper and smooth over the integers and have the property that there exists a polynomial…
Motivated from target space covariant formulations of topological sigma models and from a graded-geometric approach to higher gauge theory, we study connections on Lie and Courant algebroids and on their description as differential graded…