Related papers: Reduction theory of binary forms
We define noncommutative binary forms. Using the typical representation of Hermite we prove the fundamental theorem of algebra and we derive a noncommutative Cardano formula for cubic forms. We define quantized elliptic and hyperelliptic…
Inspired by the work about solutions of a system of real polynomial equations done by Hermite, this paper introduces a Hermitian form, which encodes information about solutions of a system of complex polynomial equations with conjugate…
The Waring Problem over polynomial rings asks for how to decompose an homogeneous polynomial of degree $d$ as a finite sum of $d^{th}$ powers of linear forms. First, we give a constructive method to obtain a real Waring decomposition of any…
Reductions of N-wave type equations related to simple Lie algebras and the hierarchy of their Hamiltonian structures are studied. The reduction group G_R is realized as a subgroup of the Weyl group of the corresponding algebra. Some of the…
We study numerically the $\alpha$- and $\omega$-limits of the Newton maps of two of the most elementary families of polynomial transformations on the plane: those with a linear component and those with both components of degree two. Our…
Jordan Normal Forms serve as excellent representatives of conjugacy classes of matrices over closed fields. Once we knows normal forms, we can compute functions of matrices, their main invariant, etc. The situation is much more complicated…
We define and compute a cohomology of the space of Jacobi forms based on precise analogues of Zhu reduction formulas. A counterpart of the Bott-Segal theorem for the reduction cohomology of Jacobi forms on the torus is proven. It is shown…
Given an indefinite binary quaternionic Hermitian form $f$ with coefficients in a maximal order of a definite quaternion algebra over $\mathbb Q$, we give a precise asymptotic equivalent to the number of nonequivalent representations,…
In this paper we present a unified algebraic framework to discuss the reduction of classical and quantum systems. The underlying algebraic structure is a Lie-Jordan algebra supplemented, in the quantum case, with a Banach structure. We…
In this paper we present the first-ever computer formalization of the theory of Gr\"obner bases in reduction rings, which is an important theory in computational commutative algebra, in Theorema. Not only the formalization, but also the…
The classical theorems relating integral binary quadratic forms and ideal classes of quadratic orders have been of tremendous importance in mathematics, and many authors have given extensions of these theorems to rings other than the…
We present an alternative account of the problem of classifying and finding normal forms for arbitrary bilinear forms. Beginning from basic results developed by Riehm, our solution to this problem hinges on the classification of…
Consistent couplings among a set of scalar fields, two types of one-forms and a system of two-forms are investigated in the light of the Hamiltonian BRST cohomology, giving a four-dimensional nonlinear gauge theory. The emerging…
We define a quantum version of Hamiltonian reduction by stages, producing a construction in type A for a quantum Hamiltonian reduction from the W-algebra $U(\mathfrak{g},e_1)$ to an algebra conjecturally isomorphic to $U(\mathfrak{g},e_2)$,…
In an earlier paper we introduced the notion of 'bifurcating continued fractions' in a heuristic manner. In this paper a formal theory is developed for the 'bifurcating continued fractions'.
We develop a theory of descent and forms of tensor categories over arbitrary fields. We describe the general scheme of classification of such forms using algebraic and homotopical language, and give examples of explicit classification of…
Continuous reducibilities are a proven tool in computable analysis, and have applications in other fields such as constructive mathematics or reverse mathematics. We study the order-theoretic properties of several variants of the two most…
In this paper we present a theory of reduction of quantum systems in the presence of symmetries and constraints. The language used is that of Lie--Jordan Banach algebras, which are discussed in some detail together with spectrum properties…
The paper studies modular reduction techniques for abstract regular and chiral polytopes, with two purposes in mind: first, to survey the literature about modular reduction in polytopes; and second, to apply modular reduction, with moduli…
We study a new model theory for formal mathematical systems that we developed in a previous paper. We introduce isomorphic and homomorphic structures for formal languages, present some results and examples and conclude our paper with a…