Related papers: Knuth relations, tableaux and MV-cycles

I give another proof of the geometric Satake equivalence from Mirkovic-Vilonen over a separably closed field. Using Galois descent, I obtain a canonical construction of the Galois form of the full $L$-group.

In his article [J. Comb. Theory Ser. B 16 (1974), 168-174], Tutte called two graphs $T$-equivalent (i.e., codichromatic) if they have the same Tutte polynomial and showed that graphs $G$ and $G'$ are $T$-equivalent if $G'$ is obtained from…

In this paper we show that, for a class of countable graphs, every representation of the associated graph algebra in a separable Hilbert space is unitarily equivalent to a representation obtained via branching systems.

Twin reduction defines an equivalence relation on the vertex set of a graph. I give a characterisation of this equivalence relation. A consequence is a structure theorem for the automorphism group of the graph.

We show that the matrix query language $\mathsf{MATLANG}$ corresponds to a natural fragment of the positive relational algebra on $K$-relations. The fragment is defined by introducing a composition operator and restricting $K$-relation…

We show that certain graphs of groups with cyclic edge groups are aTmenable. In particular, this holds when each vertex group is either virtually special or acts properly and semisimply on $\mathbb{H}^n$.

We describe generators and defining relations for the commutator subgroup of topological full groups of minimal subshifts. We show that the word problem in a topological full group is solvable if and only if the language of the underlying…

We propose to consider ensembles of cycles (quadrics), which are interconnected through conformal-invariant geometric relations (e.g. "to be orthogonal", "to be tangent", etc.), as new objects in an extended Moebius--Lie geometry. It was…

The Hamiltonian description of classical gauge theories is a very well studied subject. The two best known approaches, namely the covariant and canonical Hamiltonian formalisms have received a lot of attention in the literature. However, a…

For an algebra B with an action of a Hopf algebra H we establish the pairing between even equivariant cyclic cohomology and equivariant K-theory for B. We then extend this formalism to compact quantum group actions and show that equivariant…

We give a characterization of the sets of objects of the derived category of a block of a finite group algebra (or other symmetric algebra) that occur as the set of images of simple modules under an equivalence of derived categories. We…

We define a notion of equivalence between algebraic dependent type theories which we call Morita equivalence. This notion has a simple syntactic description and an equivalent description in terms of models of the theories. The category of…

We lift the affine Matsuki correspondence between real and symmetric loop group orbits in affine Grassmannians to an equivalence of derived categories of sheaves. In analogy with the finite-dimensional setting, our arguments depend upon the…

We investigate relative versions of dualizability designed for relative versions of topological field theories (TFTs), also called twisted TFTs, or quiche TFTs in the context of symmetries. In even dimensions we show an equivalence between…

Bazlov generalized the construction of Fomin-Kirillov algebras to arbitrary finite Coxeter groups. They are quadratic approximations of Nichols algebras associated with the conjugacy class of reflections and a (rack) 2-cocycle q^+ with…

We study four operations defined on pairs of tableaux. Algorithms for the first three involve the familiar procedures of jeu de taquin, row insertion, and column insertion. The fourth operation, hopscotch, is new, although specialised…

We take the first steps towards a better understanding of continuous orbit equivalence, i.e., topological orbit equivalence with continuous cocycles. First, we characterise continuous orbit equivalence in terms of isomorphisms of C*-crossed…

We define $G$-cospectrality of two $G$-gain graphs $(\Gamma,\psi)$ and $(\Gamma',\psi')$, proving that it is a switching isomorphism invariant. When $G$ is a finite group, we prove that $G$-cospectrality is equivalent to cospectrality with…

We call a (simple) graph G codismantlable if either it has no edges or else it has a codominated vertex x, meaning that the closed neighborhood of x contains that of one of its neighbor, such that G-x codismantlable. We prove that if G is…

We further explore the implications of our framework in [arXiv:1301.1977, arXiv:1309.4775], and physically derive, from the principle that the spacetime BPS spectra of string-dual M-theory compactifications ought to be equivalent, (i) a 5d…