Related papers: Coherence for plactic monoids via rewriting theory…
Displays can be thought of as relative versions of Fontaine's notion of strongly divisible lattice from integral $p$-adic Hodge theory. In favourable circumstances, the crystalline cohomology of a smooth projective $R$-scheme $X$ is endowed…
Crystallographic groups describe the symmetries of crystals and other repetitive structures encountered in nature and the sciences. These groups include the wallpaper and space groups. We derive linear and nonlinear representations of…
This paper is a survey of recent results and methods in (Tarskian) algebraic logic. We focus on cylindric algebras. Fix 2<n<\omega. Rainbow constructions are used to solve problems on classes consisting of algebras having a neat embedding…
In physics, Lie groups represent the algebraic structure that describes symmetry transformations of a given system. Then, the descending Lie algebra of those groups are necessarily real. In most cases, the complexification of those Lie…
This paper presents a unified framework for determining the congruences on a number of monoids and categories of transformations, diagrams, matrices and braids, and on all their ideals. The key theoretical advances present an iterative…
Efficient heuristics have predicted many functional materials such as high-temperature superconducting hydrides, while inorganic structural chemistry explains why and how the crystal structures are stabilized. Here we develop the paired…
We investigate the complexity of isomorphism relations for classes of finitely generated and n-generated computably enumerable (c.e.) algebras, presented via c.e. presentations -- that is, as quotients of term algebras over decidable sets…
The symmetries described by Pin groups are the result of combining a finite number of discrete reflections in (hyper)planes. The current work shows how an analysis using geometric algebra provides a picture complementary to that of the…
In this thesis, we consider several aspects of over-extended and very-extended Kac-Moody algebras in relation with theories of gravity coupled to matter. In the first part, we focus on the occurrence of KM algebras in the cosmological…
We present a geometric construction of highest weight crystals for quantum generalized Kac-Moody algebras. It is given in terms of the irreducible components of certain Lagrangian subvarieties of Nakajima's quiver varieties associated to…
The focus of this thesis is on (1) the role of Ka\v c-Moody (KM) algebras in string theory and the development of techniques for systematically building string theory models based on higher level ($K\geq 2$) KM algebras and (2) fractional…
Clarithmetics are number theories based on computability logic (see http://www.csc.villanova.edu/~japaridz/CL/ ). Formulas of these theories represent interactive computational problems, and their "truth" is understood as existence of an…
A monoid structure on families of representations of a quiver is introduced by taking extensions of representations in families, i.e. subvarieties of the varieties of representations. The study of this monoid leads to interesting…
In crystallography, a structure is typically represented by the arrangement of atoms in the direct space. Furthermore, space group symmetry and Wyckoff site notations are applied to characterize crystal structures with only a few variables.…
We characterize subsets of highest weight $\mathfrak{g}$-crystals that arise as unions of Demazure crystals, for any symmetrizable Kac-Moody Lie algebra $\mathfrak{g}$. We provide a local characterization for these subsets and prove they…
The idea in the title is to blow up a finite structure, replacing each 'colour or atom' by infinitely many, using blurs to represent the resulting term algebra, but the blurs are not enough to blur the structure of the finite structure in…
After some definitions, we review in the first part of this talk the construction and classification of classical $W$ (super)algebras symmetries of Toda theories. The second part deals with more recently obtained properties. At first, we…
Polygraphs are a higher-dimensional generalization of the notion of directed graph. Based on those as unifying concept, this monograph on polygraphs revisits the theory of rewriting in the context of strict higher categories, adopting the…
Regular $A_n$-, $B_n$- and $C_n$-crystals are edge-colored directed graphs, with ordered colors $1,2,...,n$, which are related to representations of quantized algebras $U_q(\mathfrak{sl}_{n+1})$, $U_q(\mathfrak{sp}_{2n})$ and…
We give an alternative proof of Naito--Sagaki's conjecture, which states that the restriction of $gl_{2n}(\mathbb{C})$-representations to $sp_{2n}(\mathbb{C})$ can be described in terms of crystals. Using the tableau model for crystals, we…