Division algebras, Galois fields, quadratic residues

Geoffrey Dixon

DOI: https://doi.org/10.48550/arXiv.hep-th/9302113

1993-02-24

Abstract:Intended for mathematical physicists interested in applications of the division algebras to physics, this article highlights some of their more elegant properties with connections to the theories of Galois fields and quadratic residues.

High Energy Physics - Theory,Rings and Algebras

What problem does this paper attempt to address?

Division Algebras and Quadratic Reciprocity

Timothy J. Ford

2024-07-04

Abstract:The Grothendieck and Artin-Mumford exact sequences for the Brauer group of a function field in 1 or 2 variables are applied to derive reciprocity laws for $q$th power residues.

Rings and Algebras,Algebraic Geometry
On, around, and beyond Frobenius' theorem on division algebras

Matej Brešar,Victor S. Shulman

DOI: https://doi.org/10.1080/03081087.2020.1761281

2020-05-18

Linear and Multilinear Algebra

Abstract:Frobenius' Theorem states that, besides the fields of real and complex numbers, the algebra of quaternions <math>H</math> is the only finite-dimensional real division algebra. We first give a short elementary proof of this theorem, then characterize finite-dimensional real algebras that contain either a copy of <math>C</math>, a copy of <math>H</math>, or a pair of anticommuting invertible elements through the dimensions of their (left) ideals, and finally consider the problem of lifting algebraic elements modulo ideals.

mathematics
Division quaternion algebras over some cyclotomic fields

Diana Savin

2024-02-12

Abstract:Let $p_{1}, p_{2}$ be two distinct prime integers, let $n$ be a positive integer, $n$$\geq 3$ and let $\xi_{n} $ be a primitive root of order $n$ of the unity. In this paper we obtain a complete characterization for a quaternion algebra $H\left(p_{1}, p_{2}\right)$ to be a division algebra over the $n$th cyclotomic field $\mathbb{Q}\left(\xi_{n}\right)$, when $n$$\in$$\left\{3,4,6,7,8,9,11,12\right\}$ and also we obtain a characterization for a quaternion algebra $H\left(p_{1}, p_{2}\right)$ to be a division algebra over the $n$th cyclotomic field $\mathbb{Q}\left(\xi_{n}\right)$, when $n$$\in$$\left\{5,10\right\}$. In the 4th section we obtain a complete characterization for a quaternion algebra $H_{\mathbb{Q}\left(\xi_{n}\right)}\left(p_{1}, p_{2}\right)$ to be a division algebra, when $n=l^{k},$ with $l$ a prime integer, $l\equiv 3$ (mod $4$) and $k$ a positive integer. In the last section of this article we obtain a complete characterization for a quaternion algebra $H_{\mathbb{Q}\left(\xi_{l}\right)}\left(p_{1}, p_{2}\right)$ to be a division algebra, when $l$ is a Fermat prime number.

Number Theory
Involutions, odd-degree extensions and generic splitting

Jodi Black,Anne Quéguiner-Mathieu

DOI: https://doi.org/10.48550/arXiv.1310.1505

2014-07-03

Abstract:Let $q$ be a quadratic form over a field $F$ and let $L$ be a field extension of $F$ of odd degree. It is a classical result that if $q_L$ is isotropic (resp. hyperbolic) then $q$ is isotropic (resp. hyperbolic). In turn, given two quadratic forms $q, q^\prime$ over $F$, if $q_L \cong q^\prime_L$ then $q \cong q^\prime$. It is natural to ask whether similar results hold for algebras with involution. We give a survey of the progress on these three questions with particular attention to the relevance of hyperbolicity, isotropy and isomorphism over some {appropriate} function field. Incidentally, we prove the anisotropy property in some {new} low degree cases.

Number Theory
Frobenius' Theorem on Division Algebras

Matej Brešar

2024-05-03

Abstract:Frobenius' Theorem states that the only finite-dimensional real division algebras are the algebra of real numbers $\mathbb R$, the algebra of complex numbers $\mathbb C$, and the algebra of quaternions $\mathbb H$. We present a short proof which uses only standard undergraduate mathematics.

Rings and Algebras
Distinguishing division algebras by finite splitting fields

Daniel Krashen,Kelly McKinnie

DOI: https://doi.org/10.1007/s00229-010-0390-0

2010-08-10

manuscripta mathematica

Abstract:This paper is concerned with the problem of determining the number of division algebras which share the same collection of finite splitting fields. As a corollary we are able to determine when two central division algebras may be distinguished by their finite splitting fields over certain fields.

mathematics
The genus of division algebras over discrete valued fields

S. Srimathy

2024-09-21

Abstract:Given a field with a set of discrete valuations $V$, we show how the genus of a division algebra over the field is related to the genus of the residue algebras at various valuations in $V$ and the ramification data. When the division algebra is a quaternion, we show the triviality of genus over many fields which include higher local fields, function fields of curves over higher local fields and function fields of curves over real closed fields. We also consider function fields of curves over global fields with a rational point and show how the genus problem is related to the $2$-torsion of the Tate-Shafarevich group of its Jacobian. As a special case, we show how the methods developed yield better bounds on the size of the genus over function fields of elliptic curves and demonstrate how they can be computed directly using arithmetic data of the elliptic curve with a number of examples.

Number Theory,Algebraic Geometry,Rings and Algebras
Some Aspects of Operator Algebras in Quantum Physics

A.F. Reyes-Lega

DOI: https://doi.org/10.1142/9789814730884_0001

2016-12-23

Abstract:Motivated by the sharp contrast between classical and quantum physics as probability theories, in these lecture notes I introduce the basic notions of operator algebras that are relevant for the algebraic approach to quantum physics. Aspects of the representation theory of C*-algebras will be motivated and illustrated in physical terms. Particular emphasis will be given to explicit examples from the theory of quantum phase transitions, where concepts coming from strands as diverse as quantum information theory, algebraic quantum physics and statistical mechanics agreeably converge, providing a more complete picture of the physical phenomena involved.

Quantum Physics,Mathematical Physics
Conformal Field Theories, Graphs and Quantum Algebras

Valentina Petkova,Jean-Bernard Zuber

DOI: https://doi.org/10.1007/978-1-4612-0087-1_15

2002-01-01

Abstract:This article reviews some recent progress in our understanding of the structure of rational conformal field theories, based on ideas that originate for a large part in the work of A. Ocneanu. The consistency conditions that generalize modular invariance for a given RCFT in the presence of various types of boundary conditions—open, twisted—are encoded in a system of integer multiplicities that form matrix representations of fusion-like algebras. These multiplicities are also the combinatorial data that enable one to construct an abstract “quantum” algebra, whose 6j-and 3j-symbols contain essential information on the operator product algebra of the RCFT and are part of a cell system, subject to pentagonal identities. It looks quite plausible that the classification of a wide class of RCFT amounts to a classification of “Weak C*- Hopf algebras”.
Open Quadratic Fermion Systems and Algebras of Affine Transformations

Hiroshi Tamura

DOI: https://doi.org/10.48550/arXiv.2301.06069

2023-01-15

Abstract:We study evolution of open quadratic fermion systems in the framework of the quantum Markovian semigroup approach. We show that the algebra concerning commutators of Liouvillians for systems of quadratic interacting fermions of finite number, say $\mathcal{N}$, is isomorphic to that of certain affine transformations on the space of square matrices of size $\mathcal{N}$. By the use of this algebraic structure, we present a perspective method for solving master equations of quadratic fermion systems. Here, we mainly deal with gauge invariant quadratic interacting fermion systems. We briefly mention similar algebraic structures for general quadratic fermion systems and quadratic boson systems. Keywords : open quantum system, Markovian quantum dynamical system, quadratic interacting Fermion, affine transformation, asymptotic behavior, skin effect

Mathematical Physics
Coincidences of Division Fields of an elliptic curve defined over a number field

Zoé Yvon

2024-07-22

Abstract:For an elliptic curve defined over a number field, the absolute Galois group acts on the group of torsion points of the elliptic curve, giving rise to a Galois representation in $\mathrm{GL}_2(\hat{\mathbb{Z}})$. The obstructions to the surjectivity of this representation are either local (i.e. at a prime), or due to nonsurjectivity on the product of local Galois images. In this article, we study an extreme case: the coincidence i.e. the equality of $n$-division fields, generated by the $n$-torsion points, attached to different positive integers $n$. We give necessary conditions for coincidences, dealing separately with vertical coincidences, at a given prime, and horizontal coincidences, across multiple primes, in particular when the Galois group on the $n$-torsion contains the special linear group. We also give a non-trivial construction for coincidences not occurring over $\mathbb{Q}$.

Number Theory,Group Theory
On the non-special divisors in algebraic function fields defined over $\mathbb{F}_q$

S Ballet,M Koutchoukali

2024-11-04

Abstract:In the theory of algebraic function fields and their applications to the information theory, the Riemann-Roch theorem plays a fundamental role. But its use, delicate in general, is efficient and practical for applications especially in the case of non-special divisors. So, in this paper, we give a survey of the known results concerning the non-special divisors in the algebraic function fields defined over finite fields, enriched with some new results about the existence of such divisors in curves of defect k. In particular, we have chosen to be self-contained by giving the full proofs of each result, the original proofs or shorter alternative proofs.

Algebraic Geometry
Division in Associative $D$-Algebra

Aleks Kleyn

DOI: https://doi.org/10.48550/arXiv.1412.5425

2014-12-13

Abstract:From the symmetry between definitions of left and right divisors in associative $D$-algebra $A$, the possibility to define quotient as $A\otimes A$-number follows. In the paper, I considered division and division with remainder. I considered also definition of prime $A$-number.

General Mathematics
Corestrictions of algebras and splitting fields

Daniel Krashen

DOI: https://doi.org/10.1090/s0002-9947-10-04967-6

IF: 1.3529

2010-04-26

Transactions of the American Mathematical Society

Abstract:Given a field F F , an étale extension L / F L/F and an Azumaya algebra A / L A/L , one knows that there are extensions E / F E/F such that A ⊗ F E A \otimes _F E is a split algebra over L ⊗ F E L \otimes _F E . In this paper we bound the degree of a minimal splitting field of this type from above and show that our bound is sharp in certain situations, even in the case where L / F L/F is a split extension. This gives in particular a number of generalizations of the classical fact that when the tensor product of two quaternion algebras is not a division algebra, the two quaternion algebras must share a common quadratic splitting field. In another direction, our constructions combined with results of Karpenko (1995) also show that for any odd prime number p p , the generic algebra of index p n p^n and exponent p p cannot be expressed nontrivially as the corestriction of an algebra over any extension field if n > p 2 n > p^2 .

mathematics
On the Decomposition of Clifford Algebras of Arbitrary Bilinear Form

Bertfried Fauser,Rafal Ablamowicz

DOI: https://doi.org/10.48550/arXiv.math/9911180

1999-11-25

Abstract:Clifford algebras are naturally associated with quadratic forms. These algebras are Z_2-graded by construction. However, only a Z_n-gradation induced by a choice of a basis, or even better, by a Chevalley vector space isomorphism Cl(V) <-> \bigwedge V and an ordering, guarantees a multi-vector decomposition into scalars, vectors, tensors, and so on, mandatory in physics. We show that the Chevalley isomorphism theorem cannot be generalized to algebras if the Z_n-grading or other structures are added, e.g., a linear form. We work with pairs consisting of a Clifford algebra and a linear form or a Z_n-grading which we now call 'Clifford algebras of multi-vectors' or 'quantum Clifford algebras'. It turns out, that in this sense, all multi-vector Clifford algebras of the same quadratic but different bilinear forms are non-isomorphic. The usefulness of such algebras in quantum field theory and superconductivity was shown elsewhere. Allowing for arbitrary bilinear forms however spoils their diagonalizability which has a considerable effect on the tensor decomposition of the Clifford algebras governed by the periodicity theorems, including the Atiyah-Bott-Shapiro mod 8 periodicity. We consider real algebras Cl_{p,q} which can be decomposed in the symmetric case into a tensor product Cl_{p-1,q-1} \otimes Cl_{1,1}. The general case used in quantum field theory lacks this feature. Theories with non-symmetric bilinear forms are however needed in the analysis of multi-particle states in interacting theories. A connection to q-deformed structures through nontrivial vacuum states in quantum theories is outlined.

Quantum Algebra,Mathematical Physics,Representation Theory
Quantum mechanics and quantum field theory. Algebraic and geometric approaches

Igor Frolov,Albert Schwarz

2023-06-19

Abstract:This is a non-standard exposition of the main notions of quantum mechanics and quantum field theory including some recent results. It is based on the algebraic approach where the starting point is a star-algebra and on the geometric approach where the starting point is a convex set of states. Standard formulas for quantum probabilities are derived from decoherence. This derivation allows us to go beyond quantum theory in the geometric approach. Particles are defined as elementary excitations of the ground state (and quasiparticles as elementary excitations of any translation invariant state). The conventional scattering matrix does not work for quasiparticles (and even for particles if the theory does not have particle interpretation). The analysis of scattering in these cases is based on the notion of inclusive scattering matrix, closely related to inclusive cross-sections. It is proven that the conventional scattering matrix can be expressed in terms of Green functions (LSZ formula) and the inclusive scattering matrix can be expressed in terms of generalized Green functions that appear in the Keldysh formalism of non-equilibrium statistical physics. The derivation of the expression of the evolution operator and other physical quantities in terms of functional integrals is based on the notion of the symbol of an operator; these arguments can be applied also in the geometric approach. The notion of inclusive scattering matrix makes sense in the geometric approach (but it seems that one cannot give a definition of the conventional scattering matrix in this situation). The geometric approach is used to show that quantum mechanics and its generalizations can be considered as classical theories where our devices can measure only a part of observables.

Quantum Physics,Statistical Mechanics,High Energy Physics - Theory,Mathematical Physics
Mixed multiquadratic splitting fields

Fatma Kader Bingöl,Adam Chapman,Ahmed Laghribi

2024-06-20

Abstract:We study mixed multiquadratic field extensions as splitting fields for central simple algebras of exponent $2$ in characteristic $2$. As an application, we provide examples of nonexcellent mixed biquadratic field extensions.

Number Theory,Rings and Algebras
On the hypercomplex numbers and normed division algebras in all dimensions: A unified multiplication

Pushpendra Singh,Anubha Gupta,Shiv Dutt Joshi

DOI: https://doi.org/10.1371/journal.pone.0312502

IF: 3.7

2024-10-26

PLoS ONE

Abstract:Mathematics is the foundational discipline for all sciences, engineering, and technology, and the pursuit of normed division algebras in all finite dimensions represents a paramount mathematical objective. In the quest for a real three-dimensional, normed, associative division algebra, Hamilton discovered quaternions, constituting a non-commutative division algebra of quadruples. Subsequent investigations revealed the existence of only four division algebras over reals, each with dimensions 1, 2, 4, and 8. This study transcends such limitations by introducing generalized hypercomplex numbers extending across all dimensions, serving as extensions of traditional complex numbers. The space formed by these numbers constitutes a non-distributive normed division algebra extendable to all finite dimensions. The derivation of these extensions involves the definitions of two new π -periodic functions and a unified multiplication operation, designated as spherical multiplication, that is fully compatible with the existing multiplication structures. Importantly, these new hypercomplex numbers and their associated algebras are compatible with the existing real and complex number systems, ensuring continuity across dimensionalities. Most importantly, like the addition operation, the proposed multiplication in all dimensions forms an Abelian group while simultaneously preserving the norm. In summary, this study presents a comprehensive generalization of complex numbers and the Euler identity in higher dimensions, shedding light on the geometric properties of vectors within these extended spaces. Finally, we elucidate the practical applications of the proposed methodology as a viable alternative for expressing a quantum state through the multiplication of specified quantum states, thereby offering a potential complement to the established superposition paradigm. Additionally, we explore its utility in point cloud image processing.

multidisciplinary sciences
Lattices in function fields and applications

Christian Bagshaw,Bryce Kerr

2023-04-11

Abstract:In recent decades, the use of ideas from Minkowski's Geometry of Numbers has gained recognition as a helpful tool in bounding the number of solutions to modular congruences with variables from short intervals. In 1941, Mahler introduced an analogue to the Geometry of Numbers in function fields over finite fields. Here, we build on Mahler's ideas and develop results useful for bounding the sizes of intersections of lattices and convex bodies in $\mathbb{F}_q((1/T))^d$, which are more precise than what is known over $\mathbb{R}^d$. These results are then applied to various problems regarding bounding the number of solutions to congruences in $\mathbb{F}_q[T]$, such as the number of points on polynomial curves in low dimensional subspaces of finite fields. Our results improve on a number of previous bounds due to Bagshaw, Cilleruelo, Shparlinski and Zumalacárregui. We also present previous techniques developed by various authors for estimating certain energy/point counts in a unified manner.

Number Theory
Tropical Geometry, Quantum Affine Algebras, and Scattering Amplitudes

Nick Early,Jian-Rong Li

2024-04-14

Abstract:The goal of this paper is to make a connection between tropical geometry, representations of quantum affine algebras, and scattering amplitudes in physics. The connection allows us to study important and difficult questions in these areas: (1) We give a systematic construction of prime modules (including prime non-real modules) of quantum affine algebras using tropical geometry. We also introduce new objects which generalize positive tropical Grassmannians. (2) We propose a generalization of Grassmannian string integrals in physics, in which the integrand is no longer a finite, but rather an infinite product indexed by prime modules of a quantum affine algebra. We give a general formula of $u$-variables using prime tableaux (corresponding to prime modules of quantum affine algebras of type $A$) and Auslander-Reiten quivers of Grassmannian cluster categories. (3) We study limit $g$-vectors of cluster algebras. This is another way to obtain prime non-real modules of quantum affine algebras systematically. Using limit $g$-vectors, we construct new examples of non-real modules of quantum affine algebras.

Quantum Algebra,High Energy Physics - Theory,Combinatorics,Representation Theory

Division algebras, Galois fields, quadratic residues

Division Algebras and Quadratic Reciprocity

On, around, and beyond Frobenius' theorem on division algebras

Division quaternion algebras over some cyclotomic fields

Involutions, odd-degree extensions and generic splitting

Frobenius' Theorem on Division Algebras

Distinguishing division algebras by finite splitting fields

The genus of division algebras over discrete valued fields

Some Aspects of Operator Algebras in Quantum Physics

Conformal Field Theories, Graphs and Quantum Algebras

Open Quadratic Fermion Systems and Algebras of Affine Transformations

Coincidences of Division Fields of an elliptic curve defined over a number field

On the non-special divisors in algebraic function fields defined over $\mathbb{F}_q$

Division in Associative $D$-Algebra

Corestrictions of algebras and splitting fields

On the Decomposition of Clifford Algebras of Arbitrary Bilinear Form

Quantum mechanics and quantum field theory. Algebraic and geometric approaches

Mixed multiquadratic splitting fields

On the hypercomplex numbers and normed division algebras in all dimensions: A unified multiplication

Lattices in function fields and applications

Tropical Geometry, Quantum Affine Algebras, and Scattering Amplitudes