Related papers: Symmetric subgroup schemes
Symmetry packaging is the phenomenon whereby, upon particle creation, all the internal quantum numbers (IQNs) become locked into a single irreducible representation (irrep) block of the gauge group, as required by locality and gauge…
We study biinvariant word metrics on groups. We provide an efficient algorithm for computing the biinvariant word norm on a finitely generated free group and we construct an isometric embedding of a locally compact tree into the biinvariant…
Group equivariant neural networks have proven effective in modelling a wide range of tasks where the data lives in a classical geometric space and exhibits well-defined group symmetries. However, these networks are not suitable for learning…
A scheme theoretic version of the automorphism group of a grading on an algebra is presented, and the classical result that shows that, over algebraically closed fields of characteristic 0, the automorphism group of a grading is the…
We prove a differential analog of a theorem of Chevalley on extending homomorphisms for rings with commuting derivations, generalizing a theorem of Kac. As a corollary, we establish that, under suitable hypotheses, the image of a…
We prove the Chevalley restriction theorem for the commuting scheme of symplectic Lie algebras. The key step is the construction of the inverse map of the Chevalley restriction map called the spectral data map. Along the way, we establish a…
Various constructions for quantum groups have been generalized to $\imath$-quantum groups. Such generalization is called $\imath$-program. In this paper, we fill one of parts in the $\imath$-program. Namely, we provide an equivariant…
Let $f:X\to Y$ be a surjective morphism of integral schemes. Then $X$ is said to be quasi-galois closed over $Y$ by $f$ if $X$ has a unique conjugate over $Y$ in an algebraically closed field. Such a notion has been applied to the…
A quantum symmetric pair consists of a quantum group $\mathbf U$ and its coideal subalgebra ${\mathbf U}^{\imath}_{\boldsymbol{\varsigma}}$ with parameters $\boldsymbol{\varsigma}$ (called an $\imath$quantum group). We initiate a Hall…
Algebraic geometry for groups and Lie algebraic has been recently defined and studied by many authors on the purpose to study set defined by algebraic equations on abstract groups and Lie algebras. The purpose of this paper is to present a…
We study the behaviors of quantum groups under an edge contraction. We show that there exists an explicit embedding induced by an edge contraction operation. We further conjecture that this explicit embedding is a section of an explicit…
We describe quantum enveloping algebras of symmetric Kac-Moody Lie algebras via a finite field Hall algebra construction involving Z_2-graded complexes of quiver representations.
We investigate two constructive approaches to defining quasi-compact and quasi-separated schemes (qcqs-schemes), namely qcqs-schemes as locally ringed lattices and as functors from rings to sets. We work in Homotopy Type Theory and…
We introduce group crosscoders, an extension of crosscoders that systematically discover and analyse symmetrical features in neural networks. While neural networks often develop equivariant representations without explicit architectural…
This thesis investigates certain structural properties of twisted Chevalley groups over commutative rings, focusing on three key problems. Let $R$ be a commutative ring satisfying mild conditions. Let $G_{\pi,\sigma} (\Phi, R)$ denote a…
We prove that finite index subgroups in S-arithmetic Chevalley groups are bounded.
Let $\hat G$ be the finite simply connected version of an exceptional Chevalley group, and let $V$ be a nontrivial irreducible module, of minimal dimension, for $\hat G$ over its field of definition. We explore the overgroup structure of…
This is continuation of the approach to performing quantum algorithms using geometric structures which was presented by Aerts and Czachor. We solve the Simon's problem which, next to the Shor's alghorithm, is a representative of a quantum…
We give a definition of associative schemes, schemes of associative rings, over a field $k,$ using the definition of completion of an associative $k$-algebra in a finite set of simple modules. We start by giving a weaker but sufficient…
We study conformal field theories (CFTs) and their classifications from a modern perspective based on the abstract algebraic formalism of symmetries or conserved charges, known as symmetry topological field theories (SymTFTs). By studying…