Related papers: Cubical coherent confluence, $\omega$-groupoids an…

The goal of this note is to compare two notions, one coming from the theory of rewrite systems and the other from proof theory: confluence and cut elimination. We show that to each rewrite system on terms, we can associate a logical system:…

A new version of the Hadwiger theorem on convex functions is established and an explicit representation of functional intrinsic volumes is found using new functional Cauchy-Kubota formulas. In addition, connections between functional…

In the representation theory of reductive $p$-adic groups $G$, the issue of reducibility of induced representations is an issue of great intricacy. It is our contention, expressed as a conjecture in [3], that there exists a simple geometric…

The article studies power complexes and generalized power complexes, and investigates the algebraic structure of their automorphism groups. The combinatorial incidence structures involved are cube-like, in the sense that they have many…

Toward defining commutative cubes in all dimensions, Brown and Spencer introduced the notion of "connection" as a new kind of degeneracy. In this paper, for a cubical set with connections, we show that the connections generate an acyclic…

We define a computational type theory combining the contentful equality structure of cartesian cubical type theory with internal parametricity primitives. The combined theory supports both univalence and its relational equivalent, which we…

Clifford theory relates the representation theory of finite groups to those of a fixed normal subgroup by means of induction and restriction, which is an adjoint pair of functors. We generalize this result to the situation of a…

By regarding the classical non abelian cohomology of groups from a 2-dimensional categorical viewpoint, we are led to a non abelian cohomology of groupoids which continues to satisfy classification, interpretation and representation…

We construct free abelian subgroups of the group $U(A_\Gamma)$ of untwisted outer automorphisms of a right-angled Artin group, thus giving lower bounds on the virtual cohomological dimension. The group $U(A_\Gamma)$ was previously studied…

It is often said that the transition from quantum to classical worlds is caused by decoherence originated from an interaction between a system of interest and its surrounding environment. Here we establish a computational quantum-classical…

Algebras associated with Quantum Electrodynamics and other gauge theories share some mathematical features with T-duality Exploiting this different perspective and some category theory, the full algebra of fermions and bosons can be…

Classical Clifford theory studies the decomposition of simple $G$-modules into simple $H$-modules for some normal subgroup $H \triangleleft G$. In this paper we deal with chains of normal subgroups $1 \triangleleft G_1 \triangleleft \cdots…

We introduce the structural resource lambda-calculus, a new formalism in which strongly normalizing terms of the lambda-calculus can naturally be represented, and at the same time any type derivation can be internally rewritten to its…

We formulate and discuss two conjectures concerning recursive formulae for Branson's $Q$-curvatures. The proposed formulae describe all $Q$-curvatures on manifolds of all even dimensions in terms of respective lower order $Q$-curvatures and…

We reorganize, simplify and expand the theory of contractions or interior products of multivectors, and related topics like Hodge star duality. Many results are generalized and new ones are given, like: geometric characterizations of blade…

We revisit the field content and consistency of the New General Relativity family of theories. These theories are constructed in a geometrical framework with a flat and metric-compatible connection, so the affine structure is entirely…

We introduce the notion of a bicollapsible 2-complex. This allows us to generalize the hyperbolicity of one-relator groups with torsion to a broader class of groups with presentations whose relators are proper powers. We also prove that…

Previously, the authors proved that the presentation complex of a one-relator group $G$ satisfies a geometric condition called negative immersions if every two-generator, one-relator subgroup of $G$ is free. Here, we prove that one-relator…

We describe the representation theory of C*-crossed-products of a unital C*-algebra A by the cyclic group of order 2. We prove that there are two main types of irreducible representations for the crossed-product: those whose restriction to…

The multiplicative structure of the trivial symplectic groupoid over $\mathbb R^d$ associated to the zero Poisson structure can be expressed in terms of a generating function. We address the problem of deforming such a generating function…