Related papers: Automated Ring-Diagram Framework for Classifying C…

Let $A$ be the ring of integers of global field $K$. Let $G \subseteq GL_2(A)$ be a finite group. Let $G$ act linearly on $R = A[X,Y]$ (fixing $A$). Let $R^G$ be the ring of invariants. In the equi-characteristic case we prove $R^G$ is…

We study $2\times 2$ matrices over noncommutative rings with anti-involution, with a special focus on the symplectic group $\mathrm{Sp}_2(\mathcal{A},\sigma)$. We define traces and determinants of such matrices and use them to prove a…

With this paper we extend our studies [1] on polarized beams by distilling tools from the theory of principal bundles. Four major theorems are presented, one which ties invariant fields with the notion of normal form, one which allows one…

Classical Hamiltonian mechanics, characterized by a single conserved Hamiltonian (energy) and symplectic geometry, `hides' other invariants into symmetries of the Hamiltonian or into the kernel of the Poisson tensor. Nambu mechanics aims to…

The most basic structure of chiral conformal field theory (CFT) is the Verlinde ring. Freed-Hopkins-Teleman have expressed the Verlinde ring for the CFT's associated to loop groups, as twisted equivariant K-theory. We build on their work to…

We show the fundamental theorems of curves and surfaces in the 3-dimensional Heisenberg group and find a complete set of invariants for curves and surfaces respectively. The proofs are based on Cartan's method of moving frames and Lie group…

With recent breakthroughs in the construction of good qLDPC codes and nearly good qLTCs, the study of (co)homological invariants of quantum code complexes, which fundamentally underlie their logical operations, has become evidently…

This expository monograph cuts a short path from the common, elementary background in geometry (linear algebra, vector bundles, and algebraic ideals) to the most advanced theorems about involutive exterior differential systems: (1) The…

We introduce a systematic framework for counting and finding independent operators in effective field theories, taking into account the redundancies associated with use of the classical equations of motion and integration by parts. By…

We give a new proof of some characteristic-free fundamental theorems in invariant theory first proved in C. De Concini and C. Procesi, A characteristic free approach to invariant theory, Adv. Math. 21 (1976), 330--354. We treat the action…

It is shown in this paper how a connection may be made between the symmetry generators of the Hamiltonian (or potential) invariant under a symmetry group $G$, and the subcasimirs that come about when the rank of the Poisson structure of a…

If $R$ is a commutative unital ring and $M$ is a unital $R$-module, then each element of $\operatorname{End}_R(M)$ determines a left $\operatorname{End}_{R}(M)[X]$-module structure on $\operatorname{End}_{R}(M)$, where…

Sharing of notations and theories across an inheritance hierarchy of mathematical structures, e.g., groups and rings, is important for productivity when formalizing mathematics in proof assistants. The packed classes methodology is a…

These notes illustrates the power of formulating ideas of commutative algebra in a homotopy invariant form. They can then be applied to derived categories of rings or ring spectra. These ideas are powerful in classical algebra, in…

Simple semitoric systems were classified about ten years ago in terms of a collection of invariants, essentially given by a convex polygon with some marked points corresponding to focus-focus singularities. Each marked point is endowed with…

We approach the well-studied problem of supervised group invariant and equivariant machine learning from the point of view of geometric topology. We propose a novel approach using a pre-processing step, which involves projecting the input…

We take advantage of the principal bundle geometry of the space of connections to obtain general results on the presymplectic structure of two classes of (pure) gauge theories: invariant theories, and non-invariant theories satisfying two…

We study a framework in which fields are labeled by basis elements of a fusion algebra with non-invertible fusion rules. In particular, we consider the case where fields are labeled by conjugacy classes of a finite group rather than its…

We propose a quantum field theory (QFT) method to approach the classification of indefinite sector of Kac-Moody algebras. In this approach, Vinberg relations are interpreted as the discrete version of the QFT_{2} equation of motion of a…

I construct a global version of the local polysymplectic approach to covariant Hamiltonian field theory pioneered by C. Gunther. Beginning with the geometric framework of the theory, I specialize to vertical vector fields to construct the…