|
Enriques Surface
In mathematics, Enriques surfaces are algebraic surfaces such that the irregularity ''q'' = 0 and the canonical line bundle ''K'' is non-trivial but has trivial square. Enriques surfaces are all projective (and therefore Kähler over the complex numbers) and are elliptic surfaces of genus 0. Over fields of characteristic not 2 they are quotients of K3 surfaces by a group of order 2 acting without fixed points and their theory is similar to that of algebraic K3 surfaces. Enriques surfaces were first studied in detail by as an answer to a question discussed by about whether a surface with ''q'' = ''p''''g'' = 0 is necessarily rational, though some of the Reye congruences introduced earlier by are also examples of Enriques surfaces. Enriques surfaces can also be defined over other fields. Over fields of characteristic other than 2, showed that the theory is similar to that over the complex numbers. Over fields of characteristic 2 the definition is modified, and there are two new ... [...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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Isomorphism
In abstract algebra, a group isomorphism is a function between two groups that sets up a one-to-one correspondence between the elements of the groups in a way that respects the given group operations. If there exists an isomorphism between two groups, then the groups are called isomorphic. From the standpoint of group theory, isomorphic groups have the same properties and need not be distinguished. Definition and notation Given two groups (G, *) and (H, \odot), a ''group isomorphism'' from (G, *) to (H, \odot) is a bijective group homomorphism from G to H. Spelled out, this means that a group isomorphism is a bijective function f : G \to H such that for all u and v in G it holds that f(u * v) = f(u) \odot f(v). The two groups (G, *) and (H, \odot) are isomorphic if there exists an isomorphism from one to the other. This is written (G, *) \cong (H, \odot). Often shorter and simpler notations can be used. When the relevant group operations are understood, they are omitted and one ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Surfaces
Complex commonly refers to: * Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe ** Complex system, a system composed of many components which may interact with each other * Complex (psychology), a core pattern of emotions etc. in the personal unconscious organized around a common theme such as power or status Complex may also refer to: Arts, entertainment and media * Complex (English band), formed in 1968, and their 1971 album ''Complex'' * Complex (band), a Japanese rock band * ''Complex'' (album), by Montaigne, 2019, and its title track * ''Complex'' (EP), by Rifle Sport, 1985 * "Complex" (song), by Gary Numan, 1979 * Complex Networks, publisher of magazine ''Complex'', now online Biology * Protein–ligand complex, a complex of a protein bound with a ligand * Exosome complex, a multi-protein intracellular complex * Protein complex, a group of two or more associated polypeptide chains * Sp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inventiones Mathematicae
''Inventiones Mathematicae'' is a mathematical journal published monthly by Springer Science+Business Media. It was established in 1966 and is regarded as one of the most prestigious mathematics journals in the world. The current managing editors are Camillo De Lellis (Institute for Advanced Study, Princeton) and Jean-Benoît Bost (University of Paris-Sud Paris-Sud University (French: ''Université Paris-Sud''), also known as University of Paris — XI (or as Université d'Orsay before 1971), was a French research university distributed among several campuses in the southern suburbs of Paris, in ...). Abstracting and indexing The journal is abstracted and indexed in: References External links *{{Official website, https://www.springer.com/journal/222 Mathematics journals Publications established in 1966 English-language journals Springer Science+Business Media academic journals Monthly journals ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Supersingular Variety
In mathematics, a supersingular variety is (usually) a smooth projective variety in nonzero characteristic such that for all ''n'' the slopes of the Newton polygon of the ''n''th crystalline cohomology are all ''n''/2 . For special classes of varieties such as elliptic curves it is common to use various ad hoc definitions of "supersingular", which are (usually) equivalent to the one given above. The term "singular elliptic curve" (or "singular ''j''-invariant") was at one times used to refer to complex elliptic curves whose ring of endomorphisms has rank 2, the maximum possible. Helmut Hasse discovered that, in finite characteristic, elliptic curves can have larger rings of endomorphisms of rank 4, and these were called "supersingular elliptic curves". Supersingular elliptic curves can also be characterized by the slopes of their crystalline cohomology, and the term "supersingular" was later extended to other varieties whose cohomology has similar properties. The ter ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Enriques–Kodaira Classification
In mathematics, the Enriques–Kodaira classification is a classification of compact complex surfaces into ten classes. For each of these classes, the surfaces in the class can be parametrized by a moduli space. For most of the classes the moduli spaces are well understood, but for the class of surfaces of general type the moduli spaces seem too complicated to describe explicitly, though some components are known. Max Noether began the systematic study of algebraic surfaces, and Guido Castelnuovo proved important parts of the classification. described the classification of complex projective surfaces. later extended the classification to include non-algebraic compact surfaces. The analogous classification of surfaces in positive characteristic was begun by and completed by ; it is similar to the characteristic 0 projective case, except that one also gets singular and supersingular Enriques surfaces in characteristic 2, and quasi-hyperelliptic surfaces in characteristics 2 and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
List Of Algebraic Surfaces
This is a list of named algebraic surfaces, compact complex surfaces, and families thereof, sorted according to their Kodaira dimension following Enriques–Kodaira classification. Kodaira dimension −∞ Rational surfaces * Projective plane Quadric surfaces *Cone (geometry) *Cylinder *Ellipsoid *Hyperboloid *Paraboloid *Sphere *Spheroid Rational cubic surfaces * Cayley nodal cubic surface, a certain cubic surface with 4 nodes * Cayley's ruled cubic surface * Clebsch surface or Klein icosahedral surface * Fermat cubic * Monkey saddle * Parabolic conoid * Plücker's conoid * Whitney umbrella Rational quartic surfaces * Châtelet surfaces * Dupin cyclides, inversions of a cylinder, torus, or double cone in a sphere * Gabriel's horn * Right circular conoid * Roman surface or Steiner surface, a realization of the real projective plane in real affine space * Tori, surfaces of revolution generated by a circle about a coplanar axis Other rational surfaces in space * Boy's s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Automorphism
In mathematics, an automorphism is an isomorphism from a mathematical object to itself. It is, in some sense, a symmetry of the object, and a way of mapping the object to itself while preserving all of its structure. The set of all automorphisms of an object forms a group, called the automorphism group. It is, loosely speaking, the symmetry group of the object. Definition In the context of abstract algebra, a mathematical object is an algebraic structure such as a group, ring, or vector space. An automorphism is simply a bijective homomorphism of an object with itself. (The definition of a homomorphism depends on the type of algebraic structure; see, for example, group homomorphism, ring homomorphism, and linear operator.) The identity morphism (identity mapping) is called the trivial automorphism in some contexts. Respectively, other (non-identity) automorphisms are called nontrivial automorphisms. The exact definition of an automorphism depends on the type of "mathematical ob ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homogeneous Polynomial
In mathematics, a homogeneous polynomial, sometimes called quantic in older texts, is a polynomial whose nonzero terms all have the same degree. For example, x^5 + 2 x^3 y^2 + 9 x y^4 is a homogeneous polynomial of degree 5, in two variables; the sum of the exponents in each term is always 5. The polynomial x^3 + 3 x^2 y + z^7 is not homogeneous, because the sum of exponents does not match from term to term. The function defined by a homogeneous polynomial is always a homogeneous function. An algebraic form, or simply form, is a function defined by a homogeneous polynomial. A binary form is a form in two variables. A ''form'' is also a function defined on a vector space, which may be expressed as a homogeneous function of the coordinates over any basis. A polynomial of degree 0 is always homogeneous; it is simply an element of the field or ring of the coefficients, usually called a constant or a scalar. A form of degree 1 is a linear form. A form of degree 2 is a quadratic fo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tetrahedron
In geometry, a tetrahedron (plural: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners. The tetrahedron is the simplest of all the ordinary convex polyhedra and the only one that has fewer than 5 faces. The tetrahedron is the three-dimensional case of the more general concept of a Euclidean simplex, and may thus also be called a 3-simplex. The tetrahedron is one kind of pyramid, which is a polyhedron with a flat polygon base and triangular faces connecting the base to a common point. In the case of a tetrahedron the base is a triangle (any of the four faces can be considered the base), so a tetrahedron is also known as a "triangular pyramid". Like all convex polyhedra, a tetrahedron can be folded from a single sheet of paper. It has two such nets. For any tetrahedron there exists a sphere (called the circumsphere) on which all four vertices lie, and another sphere ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Betti Number
In algebraic topology, the Betti numbers are used to distinguish topological spaces based on the connectivity of ''n''-dimensional simplicial complexes. For the most reasonable finite-dimensional spaces (such as compact manifolds, finite simplicial complexes or CW complexes), the sequence of Betti numbers is 0 from some point onward (Betti numbers vanish above the dimension of a space), and they are all finite. The ''n''th Betti number represents the rank of the ''n''th homology group, denoted ''H''''n'', which tells us the maximum number of cuts that can be made before separating a surface into two pieces or 0-cycles, 1-cycles, etc. For example, if H_n(X) \cong 0 then b_n(X) = 0, if H_n(X) \cong \mathbb then b_n(X) = 1, if H_n(X) \cong \mathbb \oplus \mathbb then b_n(X) = 2, if H_n(X) \cong \mathbb \oplus \mathbb\oplus \mathbb then b_n(X) = 3, etc. Note that only the ranks of infinite groups are considered, so for example if H_n(X) \cong \mathbb^k \oplus \mathbb/(2) , where \mat ... [...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] |
.jpg "Click for more on -> Tetrahedron")
