An Equational Characterization of the Conic Construction of Cubic Curves


Book Description

An n-ary Steiner law f(x[sub 1], x[sub 2], [hor-ellipsis], x[sub n]) on a projective curve[Gamma] over an algebraically closed field k is a totally symmetric n-ary morphism f from[Gamma][sup n] to[Gamma] satisfying the universal identity f(x[sub 1], x[sub 2], [hor-ellipsis], x[sub n-1], f(x[sub 1], x[sub 2], [hor-ellipsis], x[sub n]))= x[sub n]. An element e in[Gamma] is called an idempotent for f if f(e, e, [hor-ellipsis], e)= e. The binary morphism x* y of the classical chord-tangent construction on a nonsingular cubic curve is an example of a binary Steiner law on the curve, and the idempotents of* are precisely the inflection points of the curve. In this paper, the authors prove that if f and g are two 5-ary Steiner laws on an elliptic curve[Gamma] sharing a common idempotent, then f= g. They use a new rule of inference rule=(gL)[implies], extracted from a powerful local-to-global principal in algebraic geometry. This rule is implemented in the theorem-proving program OTTER. Then they use OTTER to automatically prove the uniqueness of the 5-ary Steiner law on an elliptic curve. Very much like the binary case, this theorem provides an algebraic characterization of a geometric construction process involving conics and cubics. The well-known theorem of the uniqueness of the group law on such a curve is shown to be a consequence of this result.




Automated Deduction in Equational Logic and Cubic Curves


Book Description

This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics and then intensified their joint effort. Mathematicians will find many new results from equational logic, universal algebra, and algebraic geometry and benefit from the state-of-the-art outline of the capabilities of automated deduction techniques. Computer scientists will find a large and varied source of theorems and problems that will be useful in designing and evaluation automated theorem proving systems and strategies.




Algebraic Curves


Book Description

This book offers a concise yet thorough introduction to the notion of moduli spaces of complex algebraic curves. Over the last few decades, this notion has become central not only in algebraic geometry, but in mathematical physics, including string theory, as well. The book begins by studying individual smooth algebraic curves, including the most beautiful ones, before addressing families of curves. Studying families of algebraic curves often proves to be more efficient than studying individual curves: these families and their total spaces can still be smooth, even if there are singular curves among their members. A major discovery of the 20th century, attributed to P. Deligne and D. Mumford, was that curves with only mild singularities form smooth compact moduli spaces. An unexpected byproduct of this discovery was the realization that the analysis of more complex curve singularities is not a necessary step in understanding the geometry of the moduli spaces. The book does not use the sophisticated machinery of modern algebraic geometry, and most classical objects related to curves – such as Jacobian, space of holomorphic differentials, the Riemann-Roch theorem, and Weierstrass points – are treated at a basic level that does not require a profound command of algebraic geometry, but which is sufficient for extending them to vector bundles and other geometric objects associated to moduli spaces. Nevertheless, it offers clear information on the construction of the moduli spaces, and provides readers with tools for practical operations with this notion. Based on several lecture courses given by the authors at the Independent University of Moscow and Higher School of Economics, the book also includes a wealth of problems, making it suitable not only for individual research, but also as a textbook for undergraduate and graduate coursework







Conics and Cubics


Book Description

Algebraic curves are the graphs of polynomial equations in two vari 3 ables, such as y3 + 5xy2 = x + 2xy. By focusing on curves of degree at most 3-lines, conics, and cubics-this book aims to fill the gap between the familiar subject of analytic geometry and the general study of alge braic curves. This text is designed for a one-semester class that serves both as a a geometry course for mathematics majors in general and as a sequel to college geometry for teachers of secondary school mathe matics. The only prerequisite is first-year calculus. On the one hand, this book can serve as a text for an undergraduate geometry course for all mathematics majors. Algebraic geometry unites algebra, geometry, topology, and analysis, and it is one of the most exciting areas of modem mathematics. Unfortunately, the subject is not easily accessible, and most introductory courses require a prohibitive amount of mathematical machinery. We avoid this problem by focusing on curves of degree at most 3. This keeps the results tangible and the proofs natural. It lets us emphasize the power of two fundamental ideas, homogeneous coordinates and intersection multiplicities.










Multivariate Analysis


Book Description

When measuring a few factors on a complex test unit, it is frequently important to break down the factors all the while, as opposed to separate them and think of them as independently. This book Multivariate investigation empowers analysts to investigate the joint execution of such factors and to decide the impact of every factor within the sight of the others. This book gives understudies of every single measurable foundation with both the major and more modern aptitudes important to ace the train. To represent multivariate applications, the creator gives cases and activities in light of fifty-nine genuine informational collections from a wide assortment of logical fields. Here takes a "e;strategies"e; way to deal with his subject, with an accentuation on how understudies and professionals can utilize multivariate investigation, all things considered, circumstances. This book sections like: Cluster analysis; Multidimensional scaling; Correspondence analysis; Biplots.