Related papers: Bruhat-Tits group schemes over higher dimensional …

This paper presents the first in a series of results that allow us to develop a theory providing finer control over the complexity of normalisation, and in particular of cut elimination. By considering atoms as self-dual non-commutative…

In this paper, we extend Manin and Schechtman's higher Bruhat orders for the symmetric group to higher Bruhat orders for non-longest words $w$ in $S_n$. We prove that the higher Bruhat orders of non-longest words are ranked posets with…

We establish some structural results for the Witt and Grothendieck-Witt groups of schemes over $\mathbb{Z}[1/2]$, including homotopy invariance for Witt groups and a formula for the Witt and Grothendieck-Witt groups of punctured affine…

The affine $su(3)$ modular invariant partition functions in 2d RCFT are associated with a set of generalized Coxeter graphs. These partition functions fall into two classes, the block-diagonal (Type I) and the non block-diagonal (Type II)…

We extend the classical duality results of Poitou and Tate for finite discrete Galois modules over local and global fields (local duality, nine-term exact sequence, etc.) to all affine commutative group schemes of finite type, building on…

This paper describes an axiomatic theory BT for constructive mathematics. BT has a predicative comprehension axiom for a countable number of set types and usual combinatorial operations. BT has intuitionistic logic, is consistent with…

We introduce skein theoretic techniques to compute the Yang-Baxter (YB) homology and cohomology groups of the R-matrix corresponding to the Jones polynomial. More specifically, we show that the YB operator $R$ for Jones, normalized for…

There has been recently a surge of interest in Grand Unified Theories on orbifolds of higher dimensional spaces. In particular, the higher dimensional doublet-triplet splitting mechanism has been of much interest. I revisit the superstring…

A difference matrix over a group is a discrete structure that is intimately related to many other combinatorial designs, including mutually orthogonal Latin squares, orthogonal arrays, and transversal designs. Interest in constructing…

In recent years, attempts to generalize lattice gauge theories to model topological order have been carried out through the so called $2$-gauge theories. These have opened the door to interesting new models and new topological phases which…

We classify group schemes in terms of their Cartier modules. We also prove the equivalence of different definitions of the tangent space and the dimension for these group schemes; in particular, the minimal dimension of a formal group law…

For a reduced projective scheme over the ring of integers of a number field, the set of places over which the fibres of the scheme are not reduced is a finite set. We give an explicit upper bound for the product of the norms of places in…

Enhanced gauge symmetry appears in Type II string theory (as well as F- and M-theory) compactified on Calabi--Yau manifolds containing exceptional divisors meeting in Dynkin configurations. It is shown that in many such cases, at enhanced…

Recently, Lu and Wang formulated a Drinfeld type presentation for $\imath$quantum group $\widetilde{{\mathbf U}}^\imath$ arising from quantum symmetric pairs of split affine ADE type. In this paper, we generalize their results by…

We generalize to the super context, the known fact that if an affine algebraic group $G$ over a commutative ring $k$ acts freely (in an appropriate sense) on an affine scheme $X$ over $k$, then the dur sheaf $X\tilde{\tilde{/}}G$ of…

We propose an abelian categorification of $\hat{Z}$-invariants for Seifert $3$-manifolds. First, we give a recursive combinatorial derivation of these $\hat{Z}$-invariants using graphs with certain hypercubic structures. Next, we consider…

Dijkgraaf-Witten theories are quantum field theories based on (form degree 1) gauge fields valued in finite groups. We describe their generalization based on $p$-form gauge fields valued in finite abelian groups, as field theories extended…

We establish a dimension formula for certain union $X^G(\mu,b)_J$ of affine Deligne-Lusztig varieties associated to arbitrary parahoric level structures of split reductive groups, under certain genericity hypotheses.

We continue classification of finite groups which can be used as symmetry group of the scalar sector of the four-Higgs-doublet model (4HDM). Our objective is to systematically construct non-abelian groups via the group extension procedure,…

Given a semisimple group over a local field of residual characteristic p, its topological group of rational points admits maximal pro-p-subgroups. Quasi-split simply-connected semisimple groups can be described in the combinatorial terms of…