|
Rational Singularity
In mathematics, more particularly in the field of algebraic geometry, a scheme (mathematics), scheme X has rational singularities, if it is normal scheme, normal, of finite type over a field of characteristic of a ring, characteristic zero, and there exists a proper morphism, proper birational map :f \colon Y \rightarrow X from a Glossary of scheme theory#Properties of schemes, regular scheme Y such that the higher direct images of f_* applied to \mathcal_Y are trivial. That is, :R^i f_* \mathcal_Y = 0 for i > 0. If there is one such resolution, then it follows that all resolutions share this property, since any two resolutions of singularities can be dominated by a third. For surfaces, rational singularities were defined by . Formulations Alternately, one can say that X has rational singularities if and only if the natural map in the derived category :\mathcal_X \rightarrow R f_* \mathcal_Y is a quasi-isomorphism. Notice that this includes the statement that \mathcal_X \s ... [...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] |
Du Bois Singularities
In algebraic geometry, Du Bois singularities are singularities of complex varieties studied by . gave the following characterisation of Du Bois singularities. Suppose that X is a reduced closed subscheme of a smooth scheme Y. Take a log resolution \pi: Z \to Y of X in Y that is an isomorphism outside X, and let E be the reduced preimage of X in Z. Then X has Du Bois singularities if and only if the induced map \mathcal_X \to R\pi_\mathcal_E is a quasi-isomorphism In homological algebra, a branch of mathematics, a quasi-isomorphism or quism is a morphism ''A'' → ''B'' of chain complexes (respectively, cochain complexes) such that the induced morphisms :H_n(A_\bullet) \to H_n(B_\bullet)\ (\text H^n(A^\bull .... References * * Singularity theory Algebraic geometry {{algebraic-geometry-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Publications Mathématiques De L'IHÉS
''Publications Mathématiques de l'IHÉS'' is a peer-reviewed mathematical journal. It is published by Springer Science+Business Media on behalf of the Institut des Hautes Études Scientifiques, with the help of the Centre National de la Recherche Scientifique. The journal was established in 1959 and was published at irregular intervals, from one to five volumes a year. It is now biannual. The editor-in-chief is Claire Voisin (Collège de France). See also *''Annals of Mathematics'' *'' Journal of the American Mathematical Society'' *''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 ...'' External links * Back issues from 1959 to 2010 Mathematics journals Publications established in 1959 Springer Science+Business Media academic journals Biannual journal ... [...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 Henry VIII of England, King Henry VIII in 1534, it is the oldest university press A university press is an academic publishing house specializing in monographs and scholarly journals. Most are nonprofit organizations and an integral component of a large research university. They publish work that has been reviewed by schola ... 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 Country, 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 uni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 States, established in 1878 at the Johns Hopkins University by James Joseph Sylvester, an English-born mathematician who also served as the journal's editor-in-chief from its inception through early 1884. Initially W. E. Story was associate editor in charge; he was replaced by Thomas Craig in 1880. For volume 7 Simon Newcomb became chief editor with Craig managing until 1894. Then with volume 16 it was "Edited by Thomas Craig with the Co-operation of Simon Newcomb" until 1898. Other notable mathematicians who have served as editors or editorial associates of the journal include Frank Morley, Oscar Zariski, Lars Ahlfors, Hermann Weyl, Wei-Liang Chow, S. S. Chern, André Weil, Harish-Chandra, Jean Dieudonné, Henri Cartan, Stephen S ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elliptic Singularity
In algebraic geometry, an elliptic singularity of a surface, introduced by , is a surface singularity such that the arithmetic genus of its local ring is 1. See also *Rational singularity In mathematics, more particularly in the field of algebraic geometry, a scheme (mathematics), scheme X has rational singularities, if it is normal scheme, normal, of finite type over a field of characteristic of a ring, characteristic zero, and the ... References * Algebraic surfaces Singularity theory {{geometry-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Du Val Singularities
In algebraic geometry, a Du Val singularity, also called simple surface singularity, Kleinian singularity, or rational double point, is an isolated singularity of a complex surface which is modeled on a double branched cover of the plane, with minimal resolution obtained by replacing the singular point with a tree of smooth rational curves, with intersection pattern dual to a Dynkin diagram of A-D-E singularity type. They are the canonical singularities (or, equivalently, rational Gorenstein singularities) in dimension 2. They were studied by Patrick du Val and Felix Klein. The Du Val singularities also appear as quotients of \Complex^2 by a finite subgroup of SL2(\Complex); equivalently, a finite subgroup of SU(2), which are known as binary polyhedral groups. The rings of invariant polynomials of these finite group actions were computed by Klein, and are essentially the coordinate rings of the singularities; this is a classic result in invariant theory. Classification The ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Surface
In mathematics, an algebraic surface is an algebraic variety of dimension two. In the case of geometry over the field of complex numbers, an algebraic surface has complex dimension two (as a complex manifold, when it is non-singular) and so of dimension four as a smooth manifold. The theory of algebraic surfaces is much more complicated than that of algebraic curves (including the compact Riemann surfaces, which are genuine surfaces of (real) dimension two). Many results were obtained, however, in the Italian school of algebraic geometry, and are up to 100 years old. Classification by the Kodaira dimension In the case of dimension one varieties are classified by only the topological genus, but dimension two, the difference between the arithmetic genus p_a and the geometric genus p_g turns to be important because we cannot distinguish birationally only the topological genus. Then we introduce the irregularity for the classification of them. A summary of the results (in det ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Double Point
In geometry, a singular point on a curve is one where the curve is not given by a smooth embedding of a parameter. The precise definition of a singular point depends on the type of curve being studied. Algebraic curves in the plane Algebraic curves in the plane may be defined as the set of points satisfying an equation of the form f(x,y) = 0, where is a polynomial function If is expanded as f = a_0 + b_0 x + b_1 y + c_0 x^2 + 2c_1 xy + c_2 y^2 + \cdots If the origin is on the curve then . If then the implicit function theorem guarantees there is a smooth function so that the curve has the form near the origin. Similarly, if then there is a smooth function so that the curve has the form near the origin. In either case, there is a smooth map from to the plane which defines the curve in the neighborhood of the origin. Note that at the origin b_0 = \frac, \; b_1 = \frac, so the curve is non-singular or ''regular'' at the origin if at least one of the partial derivatives o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quadric Cone
In mathematics, a quadric or quadric surface (quadric hypersurface in higher dimensions), is a generalization of conic sections (ellipses, parabolas, and hyperbolas). It is a hypersurface (of dimension ''D'') in a -dimensional space, and it is defined as the zero set of an irreducible polynomial of degree two in ''D'' + 1 variables; for example, in the case of conic sections. When the defining polynomial is not absolutely irreducible, the zero set is generally not considered a quadric, although it is often called a ''degenerate quadric'' or a ''reducible quadric''. In coordinates , the general quadric is thus defined by the algebraic equationSilvio LevQuadricsin "Geometry Formulas and Facts", excerpted from 30th Edition of ''CRC Standard Mathematical Tables and Formulas'', CRC Press, from The Geometry Center at University of Minnesota : \sum_^ x_i Q_ x_j + \sum_^ P_i x_i + R = 0 which may be compactly written in vector and matrix notation as: : x Q x^\mathrm + P x^\mathrm + ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Log Terminal
In mathematics, canonical singularities appear as singularities of the canonical model of a projective variety, and terminal singularities are special cases that appear as singularities of minimal models. They were introduced by . Terminal singularities are important in the minimal model program because smooth minimal models do not always exist, and thus one must allow certain singularities, namely the terminal singularities. Definition Suppose that ''Y'' is a normal variety such that its canonical class ''K''''Y'' is Q-Cartier, and let ''f'':''X''→''Y'' be a resolution of the singularities of ''Y''. Then :\displaystyle K_X = f^*(K_Y)+\sum_i a_iE_i where the sum is over the irreducible exceptional divisors, and the ''a''''i'' are rational numbers, called the discrepancies. Then the singularities of ''Y'' are called: :terminal if ''a''''i'' > 0 for all ''i'' :canonical if ''a''''i'' ≥ 0 for all ''i'' :log terminal if ''a''''i'' > −1 for all ''i'' :log canonical if ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Q-Gorenstein
In algebraic geometry, a Gorenstein scheme is a locally Noetherian scheme whose local rings are all Gorenstein. The canonical line bundle is defined for any Gorenstein scheme over a field, and its properties are much the same as in the special case of smooth schemes. Related properties For a Gorenstein scheme ''X'' of finite type over a field, ''f'': ''X'' → Spec(''k''), the dualizing complex ''f''!(''k'') on ''X'' is a line bundle (called the canonical bundle ''K''''X''), viewed as a complex in degree −dim(''X''). If ''X'' is smooth of dimension ''n'' over ''k'', the canonical bundle ''K''''X'' can be identified with the line bundle Ω''n'' of top-degree differential forms. Using the canonical bundle, Serre duality takes the same form for Gorenstein schemes as it does for smooth schemes. Let ''X'' be a normal scheme of finite type over a field ''k''. Then ''X'' is regular outside a closed subset of codimension at least 2. Let ''U'' be the open subset where ''X'' is regula ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> American Journal Of Mathematics")
