|
Segre Class
In mathematics, the Segre class is a characteristic class used in the study of cones, a generalization of vector bundles. For vector bundles the total Segre class is inverse to the total Chern class, and thus provides equivalent information; the advantage of the Segre class is that it generalizes to more general cones, while the Chern class does not. The Segre class was introduced in the non-singular case by Segre (1953).. In the modern treatment of intersection theory in algebraic geometry, as developed e.g. in the definitive book of Fulton (1998), Segre classes play a fundamental role. Definition Suppose C is a cone over X , q is the projection from the projective completion \mathbb(C \oplus 1) of C to X, and \mathcal(1) is the anti-tautological line bundle on \mathbb(C \oplus 1). Viewing the Chern class c_1(\mathcal(1)) as a group endomorphism of the Chow group of \mathbb(C \oplus 1), the total Segre class of C is given by: :s(C) = q_* \left( \sum_ c_1(\mathcal(1))^ mathbb(C ... [...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] |
Algebraic Scheme
This is a glossary of algebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For the number-theoretic applications, see glossary of arithmetic and Diophantine geometry. For simplicity, a reference to the base scheme is often omitted; i.e., a scheme will be a scheme over some fixed base scheme ''S'' and a morphism an ''S''-morphism. !$@ A B C D E F G H I J K L M N O P ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ergebnisse Der Mathematik Und Ihrer Grenzgebiete
''Ergebnisse der Mathematik und ihrer Grenzgebiete''/''A Series of Modern Surveys in Mathematics'' is a series of scholarly monographs published by Springer Science+Business Media. The title literally means "Results in mathematics and related areas". Most of the books were published in German or English, but there were a few in French and Italian. There have been several sequences, or ''Folge'': the original series, neue Folge, and 3.Folge. Some of the most significant mathematical monographs of 20th century appeared in this series. Original series The series started in 1932 with publication of ''Knotentheorie'' by Kurt Reidemeister as "Band 1" (English: volume 1). There seems to have been double numeration in this sequence. Neue Folge This sequence started in 1950 with the publication of ''Transfinite Zahlen'' by Heinz Bachmann. The volumes are consecutively numbered, designated as either "Band" or "Heft". A total of 100 volumes was published, often in multiple editions, but pre ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Multiplicity Of A Module
In abstract algebra, multiplicity theory concerns the multiplicity of a module ''M'' at an ideal ''I'' (often a maximal ideal) :\mathbf_I(M). The notion of the multiplicity of a module is a generalization of the degree of a projective variety. By Serre's intersection formula, it is linked to an intersection multiplicity in the intersection theory. The main focus of the theory is to detect and measure a singular point of an algebraic variety (cf. resolution of singularities). Because of this aspect, valuation theory, Rees algebras and integral closure are intimately connected to multiplicity theory. Multiplicity of a module Let ''R'' be a positively graded ring such that ''R'' is finitely generated as an ''R''0-algebra and ''R''0 is Artinian. Note that ''R'' has finite Krull dimension ''d''. Let ''M'' be a finitely generated ''R''-module and ''F''''M''(''t'') its Hilbert–Poincaré series. This series is a rational function of the form :\frac, where P(t) is a polynomial. By ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Properties
Property is the ownership of land, resources, improvements or other tangible objects, or intellectual property. Property may also refer to: Mathematics * Property (mathematics) Philosophy and science * Property (philosophy), in philosophy and logic, an abstraction characterizing an object *Material properties, properties by which the benefits of one material versus another can be assessed *Chemical property, a material's properties that becomes evident during a chemical reaction *Physical property, any property that is measurable whose value describes a state of a physical system *Semantic property *Thermodynamic properties, in thermodynamics and materials science, intensive and extensive physical properties of substances *Mental property, a property of the mind studied by many sciences and parasciences Computer science * Property (programming), a type of class member in object-oriented programming * .properties, a Java Properties File to store program settings as name-value p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Scheme-theoretic Intersection
In algebraic geometry, the scheme-theoretic intersection of closed subschemes ''X'', ''Y'' of a scheme ''W'' is X \times_W Y, the fiber product of the closed immersions X \hookrightarrow W, Y \hookrightarrow W. It is denoted by X \cap Y. Locally, ''W'' is given as \operatorname R for some ring ''R'' and ''X'', ''Y'' as \operatorname(R/I), \operatorname(R/J) for some ideals ''I'', ''J''. Thus, locally, the intersection X \cap Y is given as :\operatorname(R/(I+J)). Here, we used R/I \otimes_R R/J \simeq R/(I + J) (for this identity, see tensor product of modules#Examples.) Example: Let X \subset \mathbb^n be a projective variety with the homogeneous coordinate ring ''S/I'', where ''S'' is a polynomial ring. If H = \ \subset \mathbb^n is a hypersurface defined by some homogeneous polynomial ''f'' in ''S'', then : X \cap H = \operatorname(S/(I, f)). If ''f'' is linear (deg = 1), it is called a hyperplane section. See also: Bertini's theorem. Now, a scheme-theoretic intersection may ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conics Tangent To Given Five Conics
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 deg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Bundle
In mathematics, a projective bundle is a fiber bundle whose fibers are projective spaces. By definition, a scheme ''X'' over a Noetherian scheme ''S'' is a P''n''-bundle if it is locally a projective ''n''-space; i.e., X \times_S U \simeq \mathbb^n_U and transition automorphisms are linear. Over a regular scheme ''S'' such as a smooth variety, every projective bundle is of the form \mathbb(E) for some vector bundle (locally free sheaf) ''E''. The projective bundle of a vector bundle Every vector bundle over a variety ''X'' gives a projective bundle by taking the projective spaces of the fibers, but not all projective bundles arise in this way: there is an obstruction in the cohomology group ''H''2(''X'',O*). To see why, recall that a projective bundle comes equipped with transition functions on double intersections of a suitable open cover. On triple overlaps, any lift of these transition functions satisfies the cocycle condition up to an invertible function. The collection of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grassmann Bundle
Hermann Günther Grassmann (german: link=no, Graßmann, ; 15 April 1809 – 26 September 1877) was a German polymath known in his day as a linguist and now also as a mathematician. He was also a physicist, general scholar, and publisher. His mathematical work was little noted until he was in his sixties. Biography Hermann Grassmann was the third of 12 children of Justus Günter Grassmann, an ordained minister who taught mathematics and physics at the Stettin Gymnasium, where Hermann was educated. Grassmann was an undistinguished student until he obtained a high mark on the examinations for admission to Prussian universities. Beginning in 1827, he studied theology at the University of Berlin, also taking classes in classical languages, philosophy, and literature. He does not appear to have taken courses in mathematics or physics. Although lacking university training in mathematics, it was the field that most interested him when he returned to Stettin in 1830 after completing ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Enumerative Geometry
In mathematics, enumerative geometry is the branch of algebraic geometry concerned with counting numbers of solutions to geometric questions, mainly by means of intersection theory. History The problem of Apollonius is one of the earliest examples of enumerative geometry. This problem asks for the number and construction of circles that are tangent to three given circles, points or lines. In general, the problem for three given circles has eight solutions, which can be seen as 23, each tangency condition imposing a quadratic condition on the space of circles. However, for special arrangements of the given circles, the number of solutions may also be any integer from 0 (no solutions) to six; there is no arrangement for which there are seven solutions to Apollonius' problem. Key tools A number of tools, ranging from the elementary to the more advanced, include: * Dimension counting * Bézout's theorem * Schubert calculus, and more generally characteristic classes in cohomology ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Normal Cone
In algebraic geometry, the normal cone C_XY of a subscheme X of a scheme Y is a scheme analogous to the normal bundle or tubular neighborhood in differential geometry. Definition The normal cone or C_ of an embedding , defined by some sheaf of ideals ''I'' is defined as the relative Spec \operatorname_X \left(\bigoplus_^ I^n / I^\right). When the embedding ''i'' is regular the normal cone is the normal bundle, the vector bundle on ''X'' corresponding to the dual of the sheaf . If ''X'' is a point, then the normal cone and the normal bundle to it are also called the tangent cone and the tangent space (Zariski tangent space) to the point. When ''Y'' = Spec ''R'' is affine, the definition means that the normal cone to ''X'' = Spec ''R''/''I'' is the Spec of the associated graded ring of ''R'' with respect to ''I''. If ''Y'' is the product ''X'' × ''X'' and the embedding ''i'' is the diagonal embedding, then the normal bundle to ''X'' in ''Y'' is the tangent bundle to ''X''. Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
