|
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 ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unimodular Lattice
In geometry and mathematical group theory, a unimodular lattice is an integral Lattice (group), lattice of Lattice (group)#Dividing space according to a lattice, 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 E8 lattice, ''E''8 lattice and the Leech lattice are two famous examples. Definitions * A lattice is a free abelian group of finite free abelian group, rank with a symmetric bilinear form (·, ·). * The lattice is integral if (·,·) takes integer values. * The dimension of a lattice is the same as its free module, rank (as a Z-module (mathematics), 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 (mathematics), matrix with entries (''ai'', ''aj'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cambridge University Press
Cambridge University Press was the university press of the University of Cambridge. Granted a letters patent by King Henry VIII in 1534, it was the oldest university press in the world. Cambridge University Press merged with Cambridge Assessment to form Cambridge University Press and Assessment under Queen Elizabeth II's approval in August 2021. With a global sales presence, publishing hubs, and offices in more than 40 countries, it published over 50,000 titles by authors from over 100 countries. Its publications include more than 420 academic journals, monographs, reference works, school and university textbooks, and English language teaching and learning publications. It also published 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. It also served as the King's Printer. Cambridge University Press, as part of the University of Cambridge, was a ... [...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 In algebraic geometry, a Coble curve is an irreducible degree-6 planar curve with 10 double points (some of them may be infinitely near points). They were studied by . See also * Coble surface References * *{{Citation , last1=Coble , first1 .... References {{reflist Algebraic surfaces Complex surfaces ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
M-theory
In physics, M-theory is a theory that unifies all Consistency, 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 (physics), field theory called eleven-dimensional supergravity. Although a complete formulation o ... [...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 + Cy^2 ... [...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 (a projective bundle) over the projective line \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 \mathbb P^1\times \mathbb P^1; and \Sigma_1 is isomorphic to the projective plane \mathbb P^2 blown up at a point, so it 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 ... [...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 genera ...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 Journal ... [...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 scheme, smooth cubic surfaces ''X'' over an algebraically closed field is that they are all rational variety, 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 min ... [...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 oth ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conic
A conic section, conic or a quadratic curve is a curve obtained from a cone's surface intersecting 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 it was sometimes considered 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 degree 2; that is, as the set o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
