|
Bundle Of Principal Parts
In algebraic geometry, given a line bundle ''L'' on a smooth variety ''X'', the bundle of ''n''-th order principal parts of ''L'' is a vector bundle of rank \tbinom that, roughly, parametrizes ''n''-th order Taylor expansions of sections of ''L''. Precisely, let ''I'' be the ideal sheaf defining the diagonal embedding X \hookrightarrow X \times X and p, q: V(I^) \to X the restrictions of projections X \times X \to X to V(I^) \subset X \times X. Then the bundle of ''n''-th order principal parts is :P^n(L) = p_* q^* L. Then P^0(L) = L and there is a natural exact sequence of vector bundles :0 \to \mathrm^n(\Omega_X) \otimes L \to P^n(L) \to P^(L) \to 0. where \Omega_X is the sheaf of differential one-forms on ''X''. See also *Linear system of divisors (bundles of principal parts can be used to study the oscillating behaviors of a linear system.) *Jet (mathematics) In mathematics, the jet is an operation that takes a differentiable function ''f'' and produces a polynomial, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical problems about these sets of zeros. The fundamental objects of study in algebraic geometry are algebraic varieties, which are geometric manifestations of solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are: plane algebraic curves, which include lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscates and Cassini ovals. A point of the plane belongs to an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of the points of special interest like the singular points, the inflection points and the points at infinity. More advanced questions involve the topology of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Line Bundle
In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example, a curve in the plane having a tangent line at each point determines a varying line: the ''tangent bundle'' is a way of organising these. More formally, in algebraic topology and differential topology, a line bundle is defined as a ''vector bundle'' of rank 1. Line bundles are specified by choosing a one-dimensional vector space for each point of the space in a continuous manner. In topological applications, this vector space is usually real or complex. The two cases display fundamentally different behavior because of the different topological properties of real and complex vector spaces: If the origin is removed from the real line, then the result is the set of 1×1 invertible real matrices, which is homotopy-equivalent to a discrete two-point space by contracting the positive and negative reals each to a point; whereas removing the origin from the complex plane ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smooth Variety
In algebraic geometry, a smooth scheme over a field is a scheme which is well approximated by affine space near any point. Smoothness is one way of making precise the notion of a scheme with no singular points. A special case is the notion of a smooth variety over a field. Smooth schemes play the role in algebraic geometry of manifolds in topology. Definition First, let ''X'' be an affine scheme of finite type over a field ''k''. Equivalently, ''X'' has a closed immersion into affine space ''An'' over ''k'' for some natural number ''n''. Then ''X'' is the closed subscheme defined by some equations ''g''1 = 0, ..., ''g''''r'' = 0, where each ''gi'' is in the polynomial ring ''k'' 'x''1,..., ''x''''n'' The affine scheme ''X'' is smooth of dimension ''m'' over ''k'' if ''X'' has dimension at least ''m'' in a neighborhood of each point, and the matrix of derivatives (∂''g''''i''/∂''x''''j'') has rank at least ''n''−''m'' everywhere on ''X''. (It follows that ''X'' has dimension ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Diagonal Embedding
In algebraic geometry, given a morphism of schemes p: X \to S, the diagonal morphism :\delta: X \to X \times_S X is a morphism determined by the universal property of the fiber product X \times_S X of ''p'' and ''p'' applied to the identity 1_X : X \to X and the identity 1_X. It is a special case of a graph morphism: given a morphism f: X \to Y over ''S'', the graph morphism of it is X \to X \times_S Y induced by f and the identity 1_X. The diagonal embedding is the graph morphism of 1_X. By definition, ''X'' is a separated scheme over ''S'' (p: X \to S is a separated morphism) if the diagonal morphism is a closed immersion. Also, a morphism p: X \to S locally of finite presentation is an unramified morphism if and only if the diagonal embedding is an open immersion. Explanation As an example, consider an algebraic variety over an algebraically closed field ''k'' and p: X \to \operatorname(k) the structure map. Then, identifying ''X'' with the set of its ''k''-rational points, X ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear System Of Divisors
In algebraic geometry, a linear system of divisors is an algebraic generalization of the geometric notion of a family of curves; the dimension of the linear system corresponds to the number of parameters of the family. These arose first in the form of a ''linear system'' of algebraic curves in the projective plane. It assumed a more general form, through gradual generalisation, so that one could speak of linear equivalence of divisors ''D'' on a general scheme or even a ringed space (''X'', ''O''''X''). Linear system of dimension 1, 2, or 3 are called a pencil, a net, or a web, respectively. A map determined by a linear system is sometimes called the Kodaira map. Definition Given the fundamental idea of a rational function on a general variety X, or in other words of a function f in the function field of X, f \in k(X), divisors D,E \in \text(X) are linearly equivalent divisors if :D = E + (f)\ where (f) denotes the divisor of zeroes and poles of the function f. Note that i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jet (mathematics)
In mathematics, the jet is an operation that takes a differentiable function ''f'' and produces a polynomial, the truncated Taylor polynomial of ''f'', at each point of its domain. Although this is the definition of a jet, the theory of jets regards these polynomials as being abstract polynomials rather than polynomial functions. This article first explores the notion of a jet of a real valued function in one real variable, followed by a discussion of generalizations to several real variables. It then gives a rigorous construction of jets and jet spaces between Euclidean spaces. It concludes with a description of jets between manifolds, and how these jets can be constructed intrinsically. In this more general context, it summarizes some of the applications of jets to differential geometry and the theory of differential equations. Jets of functions between Euclidean spaces Before giving a rigorous definition of a jet, it is useful to examine some special cases. One-dimensional cas ... [...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] |
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] |
Luc Illusie
Luc Illusie (; born 1940) is a French mathematician, specializing in algebraic geometry. His most important work concerns the theory of the cotangent complex and deformations, crystalline cohomology and the De Rham–Witt complex, and logarithmic geometry. In 2012, he was awarded the Émile Picard Medal of the French Academy of Sciences. Biography Luc Illusie entered the École Normale Supérieure in 1959. At first a student of the mathematician Henri Cartan, he participated in the Cartan–Schwartz seminar of 1963–1964. In 1964, following Cartan's advice, he began to work with Alexandre Grothendieck, collaborating with him on two volumes of the latter's Séminaire de Géométrie Algébrique du Bois Marie. In 1970, Illusie introduced the concept of the cotangent complex. A researcher in the Centre national de la recherche scientifique from 1964 to 1976, Illusie then became a professor at the University of Paris-Sud, retiring as emeritus professor in 2005. Between 1984 and 19 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer Science+Business Media
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] |
