|
Sum Of Residues Formula
In mathematics, the residue formula says that the sum of the residues of a meromorphic differential form on a smooth proper algebraic curve vanishes. Statement In this article, ''X'' denotes a proper smooth algebraic curve over a field ''k''. A meromorphic (algebraic) differential form \omega has, at each closed point ''x'' in ''X'', a residue which is denoted \operatorname_x \omega. Since \omega has poles only at finitely many points, in particular the residue vanishes for all but finitely many points. The residue formula states: :\sum_ \operatorname_x \omega=0. Proofs A geometric way of proving the theorem is by reducing the theorem to the case when ''X'' is the projective line, and proving it by explicit computations in this case, for example in . proves the theorem using a notion of traces for certain endomorphisms of infinite-dimensional vector spaces. The residue of a differential form f dg can be expressed in terms of traces of endomorphisms on the fraction field K_x of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proper Morphism
In algebraic geometry, a proper morphism between schemes is an analog of a proper map between complex analytic spaces. Some authors call a proper variety over a field ''k'' a complete variety. For example, every projective variety over a field ''k'' is proper over ''k''. A scheme ''X'' of finite type over the complex numbers (for example, a variety) is proper over C if and only if the space ''X''(C) of complex points with the classical (Euclidean) topology is compact and Hausdorff. A closed immersion is proper. A morphism is finite if and only if it is proper and quasi-finite. Definition A morphism ''f'': ''X'' → ''Y'' of schemes is called universally closed if for every scheme ''Z'' with a morphism ''Z'' → ''Y'', the projection from the fiber product :X \times_Y Z \to Z is a closed map of the underlying topological spaces. A morphism of schemes is called proper if it is separated, of finite type, and universally closed ( GAII, 5.4.. One also says that ''X'' is proper ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smooth Morphism
In algebraic geometry, a morphism f:X \to S between schemes is said to be smooth if *(i) it is locally of finite presentation *(ii) it is flat, and *(iii) for every geometric point \overline \to S the fiber X_ = X \times_S is regular. (iii) means that each geometric fiber of ''f'' is a nonsingular variety (if it is separated). Thus, intuitively speaking, a smooth morphism gives a flat family of nonsingular varieties. If ''S'' is the spectrum of an algebraically closed field and ''f'' is of finite type, then one recovers the definition of a nonsingular variety. Equivalent definitions There are many equivalent definitions of a smooth morphism. Let f: X \to S be locally of finite presentation. Then the following are equivalent. # ''f'' is smooth. # ''f'' is formally smooth (see below). # ''f'' is flat and the sheaf of relative differentials \Omega_ is locally free of rank equal to the relative dimension of X/S. # For any x \in X, there exists a neighborhood \operatornameB of x and a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Curve
In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane curve can be completed in a projective algebraic plane curve by homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation can be restricted to the affine algebraic plane curve of equation . These two operations are each inverse to the other; therefore, the phrase algebraic plane curve is often used without specifying explicitly whether it is the affine or the projective case that is considered. More generally, an algebraic curve is an algebraic variety of dimension one. Equivalently, an algebraic curve is an algebraic variety that is birationally equivalent to an algebraic plane curve. If the curve is contained in an affine space or a projective space, one can take a projection for such a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kähler Differential
In mathematics, Kähler differentials provide an adaptation of differential forms to arbitrary commutative rings or schemes. The notion was introduced by Erich Kähler in the 1930s. It was adopted as standard in commutative algebra and algebraic geometry somewhat later, once the need was felt to adapt methods from calculus and geometry over the complex numbers to contexts where such methods are not available. Definition Let and be commutative rings and be a ring homomorphism. An important example is for a field and a unital algebra over (such as the coordinate ring of an affine variety). Kähler differentials formalize the observation that the derivatives of polynomials are again polynomial. In this sense, differentiation is a notion which can be expressed in purely algebraic terms. This observation can be turned into a definition of the module :\Omega_ of differentials in different, but equivalent ways. Definition using derivations An -linear ''derivation'' on is an -modu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Closed Point
In algebraic geometry and commutative algebra, the Zariski topology is a topology which is primarily defined by its closed sets. It is very different from topologies which are commonly used in the real or complex analysis; in particular, it is not Hausdorff. This topology was introduced primarily by Oscar Zariski and later generalized for making the set of prime ideals of a commutative ring (called the spectrum of the ring) a topological space. The Zariski topology allows tools from topology to be used to study algebraic varieties, even when the underlying field is not a topological field. This is one of the basic ideas of scheme theory, which allows one to build general algebraic varieties by gluing together affine varieties in a way similar to that in manifold theory, where manifolds are built by gluing together charts, which are open subsets of real affine spaces. The Zariski topology of an algebraic variety is the topology whose closed sets are the algebraic subsets ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Residue (complex Analysis)
In mathematics, more specifically complex analysis, the residue is a complex number proportional to the contour integral of a meromorphic function along a path enclosing one of its singularities. (More generally, residues can be calculated for any function f\colon \mathbb \setminus \_k \rightarrow \mathbb that is holomorphic except at the discrete points ''k'', even if some of them are essential singularities.) Residues can be computed quite easily and, once known, allow the determination of general contour integrals via the residue theorem. Definition The residue of a meromorphic function f at an isolated singularity a, often denoted \operatorname(f,a), \operatorname_a(f), \mathop_f(z) or \mathop_f(z), is the unique value R such that f(z)- R/(z-a) has an analytic antiderivative in a punctured disk 0<\vert z-a\vert<\delta. Alternatively, residues can be calculated by finding |
Projective Line
In mathematics, a projective line is, roughly speaking, the extension of a usual line by a point called a ''point at infinity''. The statement and the proof of many theorems of geometry are simplified by the resultant elimination of special cases; for example, two distinct projective lines in a projective plane meet in exactly one point (there is no "parallel" case). There are many equivalent ways to formally define a projective line; one of the most common is to define a projective line over a field ''K'', commonly denoted P1(''K''), as the set of one-dimensional subspaces of a two-dimensional ''K''-vector space. This definition is a special instance of the general definition of a projective space. The projective line over the reals is a manifold; see real projective line for details. Homogeneous coordinates An arbitrary point in the projective line P1(''K'') may be represented by an equivalence class of ''homogeneous coordinates'', which take the form of a pair : _1 : x_2/mat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Trace (linear Algebra)
In linear algebra, the trace of a square matrix , denoted , is defined to be the sum of elements on the main diagonal (from the upper left to the lower right) of . The trace is only defined for a square matrix (). It can be proved that the trace of a matrix is the sum of its (complex) eigenvalues (counted with multiplicities). It can also be proved that for any two matrices and . This implies that similar matrices have the same trace. As a consequence one can define the trace of a linear operator mapping a finite-dimensional vector space into itself, since all matrices describing such an operator with respect to a basis are similar. The trace is related to the derivative of the determinant (see Jacobi's formula). Definition The trace of an square matrix is defined as \operatorname(\mathbf) = \sum_^n a_ = a_ + a_ + \dots + a_ where denotes the entry on the th row and th column of . The entries of can be real numbers or (more generally) complex numbers. The trace is not de ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fraction Field
In abstract algebra, the field of fractions of an integral domain is the smallest field in which it can be embedded. The construction of the field of fractions is modeled on the relationship between the integral domain of integers and the field of rational numbers. Intuitively, it consists of ratios between integral domain elements. The field of fractions of R is sometimes denoted by \operatorname(R) or \operatorname(R), and the construction is sometimes also called the fraction field, field of quotients, or quotient field of R. All four are in common usage, but are not to be confused with the quotient of a ring by an ideal, which is a quite different concept. For a commutative ring which is not an integral domain, the analogous construction is called the localization or ring of quotients. Definition Given an integral domain and letting R^* = R \setminus \, we define an equivalence relation on R \times R^* by letting (n,d) \sim (m,b) whenever nb = md. We denote the equivale ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tate Vector Space
In mathematics, a Tate vector space is a vector space obtained from finite-dimensional vector spaces in a way that makes it possible to extend concepts such as dimension and determinant to an infinite-dimensional situation. Tate spaces were introduced by , who named them after John Tate. Introduction A typical example of a Tate vector space over a field ''k'' are the Laurent power series :V = k((t)). \, It has two characteristic features: * as ''n'' grows, ''V'' is the union of its submodules t^ k t, where k t denotes the power series ring. These submodules are referred to as lattices. * Even though each lattice is an infinite-dimensional vector space, the quotients of any individual lattices, :: t^ k t / t^ k t, \ n \ge m :are ''finite''-dimensional ''k''-vector spaces. Tate modules Tate modules were introduced by to serve as a notion of infinite-dimensional vector bundles. For any ring ''R'', Drinfeld defined elementary Tate modules to be topological ''R''-modules of the for ... [...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] |
Algebraic Curves
In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane curve can be completed in a projective algebraic plane curve by homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation can be restricted to the affine algebraic plane curve of equation . These two operations are each inverse to the other; therefore, the phrase algebraic plane curve is often used without specifying explicitly whether it is the affine or the projective case that is considered. More generally, an algebraic curve is an algebraic variety of dimension one. Equivalently, an algebraic curve is an algebraic variety that is birationally equivalent to an algebraic plane curve. If the curve is contained in an affine space or a projective space, one can take a projection for such a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
