|
Del Pezzo Surface
In mathematics, a del Pezzo surface or Fano surface is a two-dimensional Fano variety, in other words a non-singular projective algebraic surface with ample anticanonical divisor class. They are in some sense the opposite of surfaces of general type, whose canonical class is big. They are named for Pasquale del Pezzo who studied the surfaces with the more restrictive condition that they have a very ample anticanonical divisor class, or in his language the surfaces with a degree ''n'' embedding in ''n''-dimensional projective space , which are the del Pezzo surfaces of degree at least 3. Classification A del Pezzo surface is a complete non-singular surface with ample anticanonical bundle. There are some variations of this definition that are sometimes used. Sometimes del Pezzo surfaces are allowed to have singularities. They were originally assumed to be embedded in projective space by the anticanonical embedding, which restricts the degree to be at least 3. The degree ''d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unimodular Lattice
In geometry and mathematical group theory, a unimodular lattice is an integral lattice of determinant 1 or −1. For a lattice in ''n''-dimensional Euclidean space, this is equivalent to requiring that the volume of any fundamental domain for the lattice be 1. The ''E''8 lattice and the Leech lattice are two famous examples. Definitions * A lattice is a free abelian group of finite rank with a symmetric bilinear form (·, ·). * The lattice is integral if (·,·) takes integer values. * The dimension of a lattice is the same as its rank (as a Z-module). * The norm of a lattice element ''a'' is (''a'', ''a''). * A lattice is positive definite if the norm of all nonzero elements is positive. * The determinant of a lattice is the determinant of the Gram matrix, a matrix with entries (''ai'', ''aj''), where the elements ''ai'' form a basis for the lattice. * An integral lattice is unimodular if its determinant is 1 or −1. * A unimodular lattice is ev ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cambridge University Press
Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by King Henry VIII in 1534, it is the oldest university press in the world. It is also the King's Printer. Cambridge University Press is a department of the University of Cambridge and is both an academic and educational publisher. It became part of Cambridge University Press & Assessment, following a merger with Cambridge Assessment in 2021. With a global sales presence, publishing hubs, and offices in more than 40 countries, it publishes over 50,000 titles by authors from over 100 countries. Its publishing includes more than 380 academic journals, monographs, reference works, school and university textbooks, and English language teaching and learning publications. It also publishes Bibles, runs a bookshop in Cambridge, sells through Amazon, and has a conference venues business in Cambridge at the Pitt Building and the Sir Geoffrey Cass Sports and Social Centre. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coble Surface
In algebraic geometry, a Coble surface was defined by to be a smooth rational projective surface with empty anti-canonical linear system , −K, and non-empty anti-bicanonical linear system , −2K, . An example of a Coble surface is the blowing up of the projective plane at the 10 nodes of a Coble curve. References *{{Citation , doi=10.1353/ajm.2001.0002 , last1=Dolgachev , first1=Igor V. , last2=Zhang , first2=De-Qi , title=Coble Rational Surfaces , jstor=25099046 , publisher=The Johns Hopkins University Press , year=2001 , journal=American Journal of Mathematics The ''American Journal of Mathematics'' is a bimonthly mathematics journal published by the Johns Hopkins University Press. History The ''American Journal of Mathematics'' is the oldest continuously published mathematical journal in the United S ... , issn=0002-9327 , volume=123 , issue=1 , pages=79–114, mr=1827278, arxiv=math/9909135 Algebraic surfaces Complex surfaces ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
M-theory
M-theory is a theory in physics that unifies all consistent versions of superstring theory. Edward Witten first conjectured the existence of such a theory at a string theory conference at the University of Southern California in 1995. Witten's announcement initiated a flurry of research activity known as the second superstring revolution. Prior to Witten's announcement, string theorists had identified five versions of superstring theory. Although these theories initially appeared to be very different, work by many physicists showed that the theories were related in intricate and nontrivial ways. Physicists found that apparently distinct theories could be unified by mathematical transformations called S-duality and T-duality. Witten's conjecture was based in part on the existence of these dualities and in part on the relationship of the string theories to a field theory called eleven-dimensional supergravity. Although a complete formulation of M-theory is not known, such a form ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Veronese Embedding
In mathematics, the Veronese surface is an algebraic surface in five-dimensional projective space, and is realized by the Veronese embedding, the embedding of the projective plane given by the complete linear system of conics. It is named after Giuseppe Veronese (1854–1917). Its generalization to higher dimension is known as the Veronese variety. The surface admits an embedding in the four-dimensional projective space defined by the projection from a general point in the five-dimensional space. Its general projection to three-dimensional projective space is called a Steiner surface. Definition The Veronese surface is the image of the mapping :\nu:\mathbb^2\to \mathbb^5 given by :\nu: :y:z\mapsto ^2:y^2:z^2:yz:xz:xy/math> where :\cdots/math> denotes homogeneous coordinates. The map \nu is known as the Veronese embedding. Motivation The Veronese surface arises naturally in the study of conics. A conic is a degree 2 plane curve, thus defined by an equation: :Ax^2 + Bxy + C ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hirzebruch Surface
In mathematics, a Hirzebruch surface is a ruled surface over the projective line. They were studied by . Definition The Hirzebruch surface \Sigma_n is the \mathbb^1-bundle, called a Projective bundle, over \mathbb^1 associated to the sheaf\mathcal\oplus \mathcal(-n).The notation here means: \mathcal(n) is the -th tensor power of the Serre twist sheaf \mathcal(1), the invertible sheaf or line bundle with associated Cartier divisor a single point. The surface \Sigma_0 is isomorphic to , and \Sigma_1 is isomorphic to blown up at a point so is not minimal. GIT quotient One method for constructing the Hirzebruch surface is by using a GIT quotient\Sigma_n = (\Complex^2-\)\times (\Complex^2-\)/(\Complex^*\times\Complex^*)where the action of \Complex^*\times\Complex^* is given by(\lambda, \mu)\cdot(l_0,l_1,t_0,t_1) = (\lambda l_0, \lambda l_1, \mu t_0,\lambda^\mu t_1)This action can be interpreted as the action of \lambda on the first two factors comes from the action of \Complex^* o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Segre Surface
In algebraic geometry, a Segre surface, studied by and , is an intersection of two quadrics in 4-dimensional projective space. They are rational surfaces isomorphic to a projective plane blown up in 5 points with no 3 on a line, and are del Pezzo surface In mathematics, a del Pezzo surface or Fano surface is a two-dimensional Fano variety, in other words a non-singular projective algebraic surface with ample anticanonical divisor class. They are in some sense the opposite of surfaces of general ...s of degree 4, and have 16 rational lines. The term "Segre surface" is also occasionally used for various other surfaces, such as a quadric in 3-dimensional projective space, or the hypersurface :x_1 x_2 x_3 + x_2 x_3 x_4 + x_3 x_4 x_5 + x_4 x_5 x_1 + x_5 x_1 x_2 = 0. \, References * *{{Citation , doi=10.1093/qmath/2.1.216 , last1=Segre , first1=Beniamino , title=On the inflexional curve of an algebraic surface in S4 , mr=0044861 , year=1951 , journal=The Quarterly Journa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cubic Surface
In mathematics, a cubic surface is a surface in 3-dimensional space defined by one polynomial equation of degree 3. Cubic surfaces are fundamental examples in algebraic geometry. The theory is simplified by working in projective space rather than affine space, and so cubic surfaces are generally considered in projective 3-space \mathbf^3. The theory also becomes more uniform by focusing on surfaces over the complex numbers rather than the real numbers; note that a complex surface has real dimension 4. A simple example is the Fermat cubic surface :x^3+y^3+z^3+w^3=0 in \mathbf^3. Many properties of cubic surfaces hold more generally for del Pezzo surfaces. Rationality of cubic surfaces A central feature of smooth cubic surfaces ''X'' over an algebraically closed field is that they are all rational, as shown by Alfred Clebsch in 1866. That is, there is a one-to-one correspondence defined by rational functions between the projective plane \mathbf^2 minus a lower-dimensional su ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bitangents Of A Quartic
In the theory of algebraic plane curves, a general quartic plane curve has 28 bitangent lines, lines that are tangent to the curve in two places. These lines exist in the complex projective plane, but it is possible to define quartic curves for which all 28 of these lines have real numbers as their coordinates and therefore belong to the Euclidean plane. An explicit quartic with twenty-eight real bitangents was first given by As Plücker showed, the number of real bitangents of any quartic must be 28, 16, or a number less than 9. Another quartic with 28 real bitangents can be formed by the locus of centers of ellipses with fixed axis lengths, tangent to two non-parallel lines. gave a different construction of a quartic with twenty-eight bitangents, formed by projecting a cubic surface; twenty-seven of the bitangents to Shioda's curve are real while the twenty-eighth is the line at infinity in the projective plane. Example The Trott curve, another curve with 28 real bitangents, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quartic Plane Curve
In algebraic geometry, a quartic plane curve is a plane algebraic curve of the fourth degree. It can be defined by a bivariate quartic equation: :Ax^4+By^4+Cx^3y+Dx^2y^2+Exy^3+Fx^3+Gy^3+Hx^2y+Ixy^2+Jx^2+Ky^2+Lxy+Mx+Ny+P=0, with at least one of not equal to zero. This equation has 15 constants. However, it can be multiplied by any non-zero constant without changing the curve; thus by the choice of an appropriate constant of multiplication, any one of the coefficients can be set to 1, leaving only 14 constants. Therefore, the space of quartic curves can be identified with the real projective space It also follows, from Cramer's theorem on algebraic curves, that there is exactly one quartic curve that passes through a set of 14 distinct points in general position, since a quartic has 14 degrees of freedom. A quartic curve can have a maximum of: * Four connected components * Twenty-eight bi-tangents * Three ordinary double points. One may also consider quartic curves over othe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conic
In mathematics, a conic section, quadratic curve or conic is a curve obtained as the intersection of the surface of a cone with a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a special case of the ellipse, though historically it was sometimes called a fourth type. The ancient Greek mathematicians studied conic sections, culminating around 200 BC with Apollonius of Perga's systematic work on their properties. The conic sections in the Euclidean plane have various distinguishing properties, many of which can be used as alternative definitions. One such property defines a non-circular conic to be the set of those points whose distances to some particular point, called a '' focus'', and some particular line, called a ''directrix'', are in a fixed ratio, called the '' eccentricity''. The type of conic is determined by the value of the eccentricity. In analytic geometry, a conic may be defined as a plane algebraic curve of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
