DOCSLIB.ORG

Biquaternionic Dirac Equation Predicts Zero Mass for Majorana Fermions

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Biquaternionic Dirac Equation Predicts Zero Mass for Majorana Fermions S S symmetry Article Biquaternionic Dirac Equation Predicts Zero Mass for Majorana Fermions Avraham Nofech Department of Mathematics and Statistics, MacEwan University, Edmonton, AB T5J 4S2, Canada; [email protected] or [email protected] Received: 1 June 2020; Accepted: 3 July 2020; Published: 8 July 2020 Abstract: A biquaternionic version of the Dirac Equation is introduced, with a procedure for converting four-component spinors to elements of the Pauli algebra. In this version, mass appears as a coefficient between the 4-gradient of a spinor and its image under an outer automorphism of the Pauli algebra. The charge conjugation operator takes a particulary simple form in this formulation and switches the sign of the mass coefficient, so that for a solution invariant under charge conjugation the mass has to equal zero. The multiple of the charge conjugation operator by the imaginary unit turns out to be a complex Lorentz transformation. It commutes with the outer automorphism, while the charge conjugation operator itself anticommutes with it, providing a second more algebraic proof of the main theorem. Considering the Majorana equation, it is shown that non-zero mass of its solution is imaginary. Keywords: Dirac Equation; biquaternion; Majorana; mass; Pauli algebra; outer automorphism; neutrinoless double beta decay 1. Introduction It is well known that Majorana fermions can exist as composite particles [1], but the question whether they can exist as single elementary particles remains open since the work of Majorana [2,3]. There is ongoing work attempting to detect Majorana neutrinos using the neutrinoless double beta decay [4,5]. The aim of this article is to show that if a solution of the Dirac Equation coincides with its own image under the charge conjugation operator, then its mass must necessarily be zero. The very first step is to complete a four-component spinor with a second column, so that the four new scalar equations thus obtained will be exactly the four scalar equations of the conjugate Dirac Equation. Then the Dirac Equation would contain exactly the same eight scalar equations as its conjugate equation. This symmetry of the Dirac Equation exists only if mass is a real scalar. In the four rows by two columns spinor the bottom square becomes a quaternion and the top square becomes a product of a quaternion with an imaginary unit (3). The sum of these two squares thus becomes a biquaternion, and the difference its biquaternion conjugate. A biquaternionic form of the Dirac Equation is introduced, and shown to be equivalent to both the standard equation and its Hermitian conjugate (which both consist of the same eight scalar equations when completed with a second column). The biquaternionic form of the Dirac Equation (16) involves the so-called bar-star outer automorphism of the Pauli algebra (1). There is a simple expression for the conserved probability current in this formulation (29). A transformation of two-column spinors (10) results in a symmetry of the Dirac Equation that reverses the signs of mass, leaving everything else unchanged. This symmetry takes a particularly simple form in the biquaternionic formulation (31), where it reverses the sign of mass. From there it Symmetry 2020, 12, 1144; doi:10.3390/sym12071144 www.mdpi.com/journal/symmetry Symmetry 2020, 12, 1144 2 of 19 is an easy conclusion that Majorana solutions of DE that are transformed by this charge conjugation symmetry to themselves must have zero mass. When multiplied by the imaginary unit charge conjugation becomes a complex Lorentz transformation (2). This Lorentz transformation commutes with the bar-star automorphism while the charge conjugation operator itself anticommutes with the bar-star automorphism (12). This anticommutation is used in the second, more algebraic proof that the mass of a Majorana solution has to equal zero (13). For the Majorana equation it is shown that if mass of its solution is non-zero then it is imaginary. The main assumption used in this article is the validity of using the multiplicative structure of the biquaternionic spinor space; see also [6], which uses the multiplicative properties of the space-time algebra. 2. Notation and Terminology The letter P is used for the Pauli algebra Cl3,0(R) ' Cl1,2(R) ' M2(C) ' P. Since it is isomorphic to the algebra of biquaternions, these terms are used interchangeably. The upper case Greek letter Y is used for four-component Dirac spinors, the lower case y for Pauli algebra, or equivalently, biquaternionic spinors. The standard Dirac–Pauli representation is used throughout. The asterisk is used both for Hermitian conjugate and for complex conjugation. The space inversion is denoted by an overbar: k z = z0 + z z¯ = z0 − z z = zks here z 2 P is an arbitrary element of the Pauli algebra split into scalar and vector components. Note. The use of overbar here is different from the Dirac adjoint! In matrix form an element z 2 P and its parity conjugate z¯ look like: 2 3 2 3 z0 + z3 −iz2 + z1 z0 − z3 iz2 − z1 6 7 6 7 z = 4 5 z¯ = 4 5 iz2 + z1 z0 − z3 −iz2 − z1 z0 + z3 The product of an element with its parity conjugate is a scalar: zz¯ = zz¯ = det(z)I2. This is formal and applies also to the product of the four-gradient with its parity conjugate: 2 2 2 3 ¶0 − r 0 ¯ = − r + r = 6 7 = ¶¶ (¶0 )(¶0 ) 4 5 I2 2 2 0 ¶0 − r ¯ m where is the D’Alembertian, ¶ = ¶m, ¶ = ¶ . The algebra of quaternions is a subalgebra of Pauli algebra characterised by the condition: H = f h 2 P j h∗ = h¯ g Another way to characterise the subalgebra of quaternions is as those elements of Pauli algebra whose scalar component is real and whose vector components are purely imaginary: h 2 H , h = h0 + ih hm 2 R Symmetry 2020, 12, 1144 3 of 19 Still another way to characterise quaternions is that they are represented by complex matrices of the form: 2 3 2 3 c −d∗ a b∗ 6 7 6 7 u, v 2 H u = 4 5 iv = 4 5 (1) d c∗ b −a∗ For any quaternion its product with its parity conjugate is the square of its norm: 2 −1 q¯ q 2 H qq¯ = jjqjj I2 q = qq¯ The division is unambiguous because qq¯ is a scalar. Charge conjugation is denoted either as yc or as Cˆ y when using operator notation, (11) and (31). 2.1. The “Bar-Star" Outer Automorphism of the Pauli Algebra ∗ Since Hermitian conjugation z ! z and parity (space inversion) z = z0 + z ! z¯ = z0 − z are both anti-automorphisms, their composition is an automorphism. It is straightforward to check that the composition of Hermitian conjugation and of parity does not depend on their order. This can be summed up as: (xy)∗ = x∗ y∗ Proposition 1. “Bar-star" is an outer automorphism. Proof. The proof is by checking the determinants: ∗ ∗ ∗ ∗ z0 + z3 −iz2 + z1 z0 − z3 iz2 − z1 ∗ ∗ det z = = z2 − z2 − z2 − z2 6= det z = = z2 − z2 − z2 − z2 0 1 2 3 0 1 2 3 ∗ ∗ ∗ ∗ iz2 + z1 z0 − z3 −iz2 − z1 z0 + z3 Proposition 2. Quaternions are those elements of the Pauli algebra that are fixed by the bar-star automorphism. Proof. Since both Hermitian conjugation and parity inversion are involutions it immediately follows that h∗ = h¯ () h = h∗ When writing the bar-star automorphism as an operator the letter iota is used:i ˆy = y∗. 2.2. The Algebra of Biquaternions The algebra of biquaternions is the complexification of the quaternion algebra. The Pauli algebra is the same as the algebra of biquaternions because any of its elements can be written in the form: z 2 P z = u + iv = (u0 + iu) + i(v0 + iv) u, v 2 H z0 = u0 + iv0 z = u + iv Proposition 3. The bar-star automorphism is the conjugation of the biquaternion algebra. Proof. This follows from the action of the bar-star automorphism on both the real and imaginary quaternion components being the identity, so its only result is the switching the sign of the imaginary component. Symmetry 2020, 12, 1144 4 of 19 Note. “Real" and “Imaginary" parts of a biquaternion. Let z = au + ibv, u, v 2 H , jjujj = jjvjj = 1 a, b 2 R be an arbitrary biquaternion written using two unit quaternions. Let us call it “real" if b = 0 and “purely imaginary" if a = 0. Of course in a “real" quaternion only the time coordinate is real, but the three spatial coordinates are purely imaginary. It is the opposite for the purely imaginary quaternion component of a biquaternion. 3. Symmetries of the Dirac Equation For convenience, the four-component spinor is written with a standard choice of letters instead of numbered indices: 2 3 2 3 y1(x) a 6 ( )7 6 7 6y2 x 7 6b7 6 7 = 6 7 (2) 4y3(x)5 4c5 y4(x) d where the letters represent complex scalar functions. Then the spinor is completed with a second column as follows: 2 3 2 3 a a b∗ 2 3 2 3 y iv 6b7 6b −a∗ 7 upp 6 7 −! Y = 6 7 = 6 ··· 7 = 6···7 u, v 2 H (3) 6c7 6c −d∗7 4 5 4 5 4 5 4 5 y u d d c∗ low The spinor thus completed with the right column can be rewritten as a column of two Pauli algebra spinors, the upper and the lower. The lower spinor is a quaternion and the upper spinor is a product of a quaternion with the imaginary unit; see (1).
Load more

Recommended publications
  • Math 651 Homework 1 - Algebras and Groups Due 2/22/2013
    Math 651 Homework 1 - Algebras and Groups Due 2/22/2013 1) Consider the Lie Group SU(2), the group of 2 × 2 complex matrices A T with A A = I and det(A) = 1. The underlying set is z −w jzj2 + jwj2 = 1 (1) w z with the standard S3 topology. The usual basis for su(2) is 0 i 0 −1 i 0 X = Y = Z = (2) i 0 1 0 0 −i (which are each i times the Pauli matrices: X = iσx, etc.). a) Show this is the algebra of purely imaginary quaternions, under the commutator bracket. b) Extend X to a left-invariant field and Y to a right-invariant field, and show by computation that the Lie bracket between them is zero. c) Extending X, Y , Z to global left-invariant vector fields, give SU(2) the metric g(X; X) = g(Y; Y ) = g(Z; Z) = 1 and all other inner products zero. Show this is a bi-invariant metric. d) Pick > 0 and set g(X; X) = 2, leaving g(Y; Y ) = g(Z; Z) = 1. Show this is left-invariant but not bi-invariant. p 2) The realification of an n × n complex matrix A + −1B is its assignment it to the 2n × 2n matrix A −B (3) BA Any n × n quaternionic matrix can be written A + Bk where A and B are complex matrices. Its complexification is the 2n × 2n complex matrix A −B (4) B A a) Show that the realification of complex matrices and complexifica- tion of quaternionic matrices are algebra homomorphisms.
    [Show full text]
  • CLIFFORD ALGEBRAS and THEIR REPRESENTATIONS Introduction
    CLIFFORD ALGEBRAS AND THEIR REPRESENTATIONS Andrzej Trautman, Uniwersytet Warszawski, Warszawa, Poland Article accepted for publication in the Encyclopedia of Mathematical Physics c 2005 Elsevier Science Ltd ! Introduction Introductory and historical remarks Clifford (1878) introduced his ‘geometric algebras’ as a generalization of Grassmann alge- bras, complex numbers and quaternions. Lipschitz (1886) was the first to define groups constructed from ‘Clifford numbers’ and use them to represent rotations in a Euclidean ´ space. E. Cartan discovered representations of the Lie algebras son(C) and son(R), n > 2, that do not lift to representations of the orthogonal groups. In physics, Clifford algebras and spinors appear for the first time in Pauli’s nonrelativistic theory of the ‘magnetic elec- tron’. Dirac (1928), in his work on the relativistic wave equation of the electron, introduced matrices that provide a representation of the Clifford algebra of Minkowski space. Brauer and Weyl (1935) connected the Clifford and Dirac ideas with Cartan’s spinorial represen- tations of Lie algebras; they found, in any number of dimensions, the spinorial, projective representations of the orthogonal groups. Clifford algebras and spinors are implicit in Euclid’s solution of the Pythagorean equation x2 y2 + z2 = 0 which is equivalent to − y x z p = 2 p q (1) −z y + x q ! " ! " # $ so that x = q2 p2, y = p2 + q2, z = 2pq. If the numbers appearing in (1) are real, then − this equation can be interpreted as providing a representation of a vector (x, y, z) R3, null ∈ with respect to a quadratic form of signature (1, 2), as the ‘square’ of a spinor (p, q) R2.
    [Show full text]
  • A Study of Fractional Schrödinger Equation-Composed Via Jumarie Fractional Derivative
    A Study of Fractional Schrödinger Equation-composed via Jumarie fractional derivative Joydip Banerjee1, Uttam Ghosh2a , Susmita Sarkar2b and Shantanu Das3 Uttar Buincha Kajal Hari Primary school, Fulia, Nadia, West Bengal, India email- [email protected] 2Department of Applied Mathematics, University of Calcutta, Kolkata, India; 2aemail : [email protected] 2b email : [email protected] 3 Reactor Control Division BARC Mumbai India email : [email protected] Abstract One of the motivations for using fractional calculus in physical systems is due to fact that many times, in the space and time variables we are dealing which exhibit coarse-grained phenomena, meaning that infinitesimal quantities cannot be placed arbitrarily to zero-rather they are non-zero with a minimum length. Especially when we are dealing in microscopic to mesoscopic level of systems. Meaning if we denote x the point in space andt as point in time; then the differentials dx (and dt ) cannot be taken to limit zero, rather it has spread. A way to take this into account is to use infinitesimal quantities as ()Δx α (and ()Δt α ) with 01<α <, which for very-very small Δx (and Δt ); that is trending towards zero, these ‘fractional’ differentials are greater that Δx (and Δt ). That is()Δx α >Δx . This way defining the differentials-or rather fractional differentials makes us to use fractional derivatives in the study of dynamic systems. In fractional calculus the fractional order trigonometric functions play important role. The Mittag-Leffler function which plays important role in the field of fractional calculus; and the fractional order trigonometric functions are defined using this Mittag-Leffler function.
    [Show full text]
  • Newtonian Gravity and Special Relativity 12.1 Newtonian Gravity
    Physics 411 Lecture 12 Newtonian Gravity and Special Relativity Lecture 12 Physics 411 Classical Mechanics II Monday, September 24th, 2007 It is interesting to note that under Lorentz transformation, while electric and magnetic fields get mixed together, the force on a particle is identical in magnitude and direction in the two frames related by the transformation. Indeed, that was the motivation for looking at the manifestly relativistic structure of Maxwell's equations. The idea was that Maxwell's equations and the Lorentz force law are automatically in accord with the notion that observations made in inertial frames are physically equivalent, even though observers may disagree on the names of these forces (electric or magnetic). Today, we will look at a force (Newtonian gravity) that does not have the property that different inertial frames agree on the physics. That will lead us to an obvious correction that is, qualitatively, a prediction of (linearized) general relativity. 12.1 Newtonian Gravity We start with the experimental observation that for a particle of mass M and another of mass m, the force of gravitational attraction between them, according to Newton, is (see Figure 12.1): G M m F = − RR^ ≡ r − r 0: (12.1) r 2 From the force, we can, by analogy with electrostatics, construct the New- tonian gravitational field and its associated point potential: GM GM G = − R^ = −∇ − : (12.2) r 2 r | {z } ≡φ 1 of 7 12.2. LINES OF MASS Lecture 12 zˆ m !r M !r ! yˆ xˆ Figure 12.1: Two particles interacting via the Newtonian gravitational force.
    [Show full text]
  • How to Show That Various Numbers Either Can Or Cannot Be Constructed Using Only a Straightedge and Compass
    How to show that various numbers either can or cannot be constructed using only a straightedge and compass Nick Janetos June 3, 2010 1 Introduction It has been found that a circular area is to the square on a line equal to the quadrant of the circumference, as the area of an equilateral rectangle is to the square on one side... -Indiana House Bill No. 246, 1897 Three problems of classical Greek geometry are to do the following using only a compass and a straightedge: 1. To "square the circle": Given a circle, to construct a square of the same area, 2. To "trisect an angle": Given an angle, to construct another angle 1/3 of the original angle, 3. To "double the cube": Given a cube, to construct a cube with twice the area. Unfortunately, it is not possible to complete any of these tasks until additional tools (such as a marked ruler) are provided. In section 2 we will examine the process of constructing numbers using a compass and straightedge. We will then express constructions in algebraic terms. In section 3 we will derive several results about transcendental numbers. There are two goals: One, to show that the numbers e and π are transcendental, and two, to show that the three classical geometry problems are unsolvable. The two goals, of course, will turn out to be related. 2 Constructions in the plane The discussion in this section comes from [8], with some parts expanded and others removed. The classical Greeks were clear on what constitutes a construction. Given some set of points, new points can be defined at the intersection of lines with other lines, or lines with circles, or circles with circles.
    [Show full text]
  • Hypercomplex Algebras and Their Application to the Mathematical
    Hypercomplex Algebras and their application to the mathematical formulation of Quantum Theory Torsten Hertig I1, Philip H¨ohmann II2, Ralf Otte I3 I tecData AG Bahnhofsstrasse 114, CH-9240 Uzwil, Schweiz 1 [email protected] 3 [email protected] II info-key GmbH & Co. KG Heinz-Fangman-Straße 2, DE-42287 Wuppertal, Deutschland 2 [email protected] March 31, 2014 Abstract Quantum theory (QT) which is one of the basic theories of physics, namely in terms of ERWIN SCHRODINGER¨ ’s 1926 wave functions in general requires the field C of the complex numbers to be formulated. However, even the complex-valued description soon turned out to be insufficient. Incorporating EINSTEIN’s theory of Special Relativity (SR) (SCHRODINGER¨ , OSKAR KLEIN, WALTER GORDON, 1926, PAUL DIRAC 1928) leads to an equation which requires some coefficients which can neither be real nor complex but rather must be hypercomplex. It is conventional to write down the DIRAC equation using pairwise anti-commuting matrices. However, a unitary ring of square matrices is a hypercomplex algebra by definition, namely an associative one. However, it is the algebraic properties of the elements and their relations to one another, rather than their precise form as matrices which is important. This encourages us to replace the matrix formulation by a more symbolic one of the single elements as linear combinations of some basis elements. In the case of the DIRAC equation, these elements are called biquaternions, also known as quaternions over the complex numbers. As an algebra over R, the biquaternions are eight-dimensional; as subalgebras, this algebra contains the division ring H of the quaternions at one hand and the algebra C ⊗ C of the bicomplex numbers at the other, the latter being commutative in contrast to H.
    [Show full text]
  • On the Complexification of the Classical Geometries And
    On the complexication of the classical geometries and exceptional numb ers April Intro duction The classical groups On R Spn R and GLn C app ear as the isometry groups of sp ecial geome tries on a real vector space In fact the orthogonal group On R represents the linear isomorphisms of arealvector space V of dimension nleaving invariant a p ositive denite and symmetric bilinear form g on V The symplectic group Spn R represents the isometry group of a real vector space of dimension n leaving invariant a nondegenerate skewsymmetric bilinear form on V Finally GLn C represents the linear isomorphisms of a real vector space V of dimension nleaving invariant a complex structure on V ie an endomorphism J V V satisfying J These three geometries On R Spn R and GLn C in GLn Rintersect even pairwise in the unitary group Un C Considering now the relativeversions of these geometries on a real manifold of dimension n leads to the notions of a Riemannian manifold an almostsymplectic manifold and an almostcomplex manifold A symplectic manifold however is an almostsymplectic manifold X ie X is a manifold and is a nondegenerate form on X so that the form is closed Similarly an almostcomplex manifold X J is called complex if the torsion tensor N J vanishes These three geometries intersect in the notion of a Kahler manifold In view of the imp ortance of the complexication of the real Lie groupsfor instance in the structure theory and representation theory of semisimple real Lie groupswe consider here the question on the underlying geometrical
    [Show full text]
  • Chapter 5 the Relativistic Point Particle
    Chapter 5 The Relativistic Point Particle To formulate the dynamics of a system we can write either the equations of motion, or alternatively, an action. In the case of the relativistic point par- ticle, it is rather easy to write the equations of motion. But the action is so physical and geometrical that it is worth pursuing in its own right. More importantly, while it is difficult to guess the equations of motion for the rela- tivistic string, the action is a natural generalization of the relativistic particle action that we will study in this chapter. We conclude with a discussion of the charged relativistic particle. 5.1 Action for a relativistic point particle How can we find the action S that governs the dynamics of a free relativis- tic particle? To get started we first think about units. The action is the Lagrangian integrated over time, so the units of action are just the units of the Lagrangian multiplied by the units of time. The Lagrangian has units of energy, so the units of action are L2 ML2 [S]=M T = . (5.1.1) T 2 T Recall that the action Snr for a free non-relativistic particle is given by the time integral of the kinetic energy: 1 dx S = mv2(t) dt , v2 ≡ v · v, v = . (5.1.2) nr 2 dt 105 106 CHAPTER 5. THE RELATIVISTIC POINT PARTICLE The equation of motion following by Hamilton’s principle is dv =0. (5.1.3) dt The free particle moves with constant velocity and that is the end of the story.
    [Show full text]
  • Patterns of Maximally Entangled States Within the Algebra of Biquaternions
    J. Phys. Commun. 4 (2020) 055018 https://doi.org/10.1088/2399-6528/ab9506 PAPER Patterns of maximally entangled states within the algebra of OPEN ACCESS biquaternions RECEIVED 21 March 2020 Lidia Obojska REVISED 16 May 2020 Siedlce University of Natural Sciences and Humanities, ul. 3 Maja 54, 08-110 Siedlce, Poland ACCEPTED FOR PUBLICATION E-mail: [email protected] 20 May 2020 Keywords: bipartite entanglement, biquaternions, density matrix, mereology PUBLISHED 28 May 2020 Original content from this Abstract work may be used under This paper proposes a description of maximally entangled bipartite states within the algebra of the terms of the Creative Commons Attribution 4.0 biquaternions–Ä . We assume that a bipartite entanglement is created in a process of splitting licence. one particle into a pair of two indiscernible, yet not identical particles. As a result, we describe an Any further distribution of this work must maintain entangled correlation by the use of a division relation and obtain twelve forms of biquaternions, attribution to the author(s) and the title of representing pure maximally entangled states. Additionally, we obtain other patterns, describing the work, journal citation mixed entangled states. Finally, we show that there are no other maximally entangled states in Ä and DOI. than those presented in this work. 1. Introduction In 1935, Einstein, Podolski and Rosen described a strange phenomenon, in which in its pure state, one particle behaves like a pair of two indistinguishable, yet not identical, particles [1]. This phenomenon, called by Einstein ’a spooky action at a distance’, has been investigated by many authors, who tried to explain this strange correlation [2–9].
    [Show full text]
  • K-Theory and Algebraic Geometry
    http://dx.doi.org/10.1090/pspum/058.2 Recent Titles in This Series 58 Bill Jacob and Alex Rosenberg, editors, ^-theory and algebraic geometry: Connections with quadratic forms and division algebras (University of California, Santa Barbara) 57 Michael C. Cranston and Mark A. Pinsky, editors, Stochastic analysis (Cornell University, Ithaca) 56 William J. Haboush and Brian J. Parshall, editors, Algebraic groups and their generalizations (Pennsylvania State University, University Park, July 1991) 55 Uwe Jannsen, Steven L. Kleiman, and Jean-Pierre Serre, editors, Motives (University of Washington, Seattle, July/August 1991) 54 Robert Greene and S. T. Yau, editors, Differential geometry (University of California, Los Angeles, July 1990) 53 James A. Carlson, C. Herbert Clemens, and David R. Morrison, editors, Complex geometry and Lie theory (Sundance, Utah, May 1989) 52 Eric Bedford, John P. D'Angelo, Robert E. Greene, and Steven G. Krantz, editors, Several complex variables and complex geometry (University of California, Santa Cruz, July 1989) 51 William B. Arveson and Ronald G. Douglas, editors, Operator theory/operator algebras and applications (University of New Hampshire, July 1988) 50 James Glimm, John Impagliazzo, and Isadore Singer, editors, The legacy of John von Neumann (Hofstra University, Hempstead, New York, May/June 1988) 49 Robert C. Gunning and Leon Ehrenpreis, editors, Theta functions - Bowdoin 1987 (Bowdoin College, Brunswick, Maine, July 1987) 48 R. O. Wells, Jr., editor, The mathematical heritage of Hermann Weyl (Duke University, Durham, May 1987) 47 Paul Fong, editor, The Areata conference on representations of finite groups (Humboldt State University, Areata, California, July 1986) 46 Spencer J. Bloch, editor, Algebraic geometry - Bowdoin 1985 (Bowdoin College, Brunswick, Maine, July 1985) 45 Felix E.
    [Show full text]
  • Operations with Complex Numbers Adding & Subtracting: Combine Like Terms (풂 + 풃풊) + (풄 + 풅풊) = (풂 + 풄) + (풃 + 풅)풊 Examples: 1
    Name: __________________________________________________________ Date: _________________________ Period: _________ Chapter 2: Polynomial and Rational Functions Topic 1: Complex Numbers What is an imaginary number? What is a complex number? The imaginary unit is defined as 풊 = √−ퟏ A complex number is defined as the set of all numbers in the form of 푎 + 푏푖, where 푎 is the real component and 푏 is the coefficient of the imaginary component. An imaginary number is when the real component (푎) is zero. Checkpoint: Since 풊 = √−ퟏ Then 풊ퟐ = Operations with Complex Numbers Adding & Subtracting: Combine like terms (풂 + 풃풊) + (풄 + 풅풊) = (풂 + 풄) + (풃 + 풅)풊 Examples: 1. (5 − 11푖) + (7 + 4푖) 2. (−5 + 7푖) − (−11 − 6푖) 3. (5 − 2푖) + (3 + 3푖) 4. (2 + 6푖) − (12 − 4푖) Multiplying: Just like polynomials, use the distributive property. Then, combine like terms and simplify powers of 푖. Remember! Multiplication does not require like terms. Every term gets distributed to every term. Examples: 1. 4푖(3 − 5푖) 2. (7 − 3푖)(−2 − 5푖) 3. 7푖(2 − 9푖) 4. (5 + 4푖)(6 − 7푖) 5. (3 + 5푖)(3 − 5푖) A note about conjugates: Recall that when multiplying conjugates, the middle terms will cancel out. With complex numbers, this becomes even simpler: (풂 + 풃풊)(풂 − 풃풊) = 풂ퟐ + 풃ퟐ Try again with the shortcut: (3 + 5푖)(3 − 5푖) Dividing: Just like polynomials and rational expressions, the denominator must be a rational number. Since complex numbers include imaginary components, these are not rational numbers. To remove a complex number from the denominator, we multiply numerator and denominator by the conjugate of the Remember! You can simplify first IF factors can be canceled.
    [Show full text]
  • Hyperbolicity of Hermitian Forms Over Biquaternion Algebras
    HYPERBOLICITY OF HERMITIAN FORMS OVER BIQUATERNION ALGEBRAS NIKITA A. KARPENKO Abstract. We show that a non-hyperbolic hermitian form over a biquaternion algebra over a field of characteristic 6= 2 remains non-hyperbolic over a generic splitting field of the algebra. Contents 1. Introduction 1 2. Notation 2 3. Krull-Schmidt principle 3 4. Splitting off a motivic summand 5 5. Rost correspondences 7 6. Motivic decompositions of some isotropic varieties 12 7. Proof of Main Theorem 14 References 16 1. Introduction Throughout this note (besides of x3 and x4) F is a field of characteristic 6= 2. The basic reference for the staff related to involutions on central simple algebras is [12].p The degree deg A of a (finite dimensional) central simple F -algebra A is the integer dimF A; the index ind A of A is the degree of a central division algebra Brauer-equivalent to A. Conjecture 1.1. Let A be a central simple F -algebra endowed with an orthogonal invo- lution σ. If σ becomes hyperbolic over the function field of the Severi-Brauer variety of A, then σ is hyperbolic (over F ). In a stronger version of Conjecture 1.1, each of two words \hyperbolic" is replaced by \isotropic", cf. [10, Conjecture 5.2]. Here is the complete list of indices ind A and coindices coind A = deg A= ind A of A for which Conjecture 1.1 is known (over an arbitrary field of characteristic 6= 2), given in the chronological order: • ind A = 1 | trivial; Date: January 2008. Key words and phrases.
    [Show full text]