|
Motivic Zeta Function
In algebraic geometry, the motivic zeta function of a smooth algebraic variety X is the formal power series :Z(X,t)=\sum_^\infty ^^n Here X^ is the n-th symmetric power of X, i.e., the quotient of X^n by the action of the symmetric group S_n, and ^/math> is the class of X^ in the ring of motives (see below). If the ground field is finite, and one applies the counting measure to Z(X,t), one obtains the local zeta function of X. If the ground field is the complex numbers, and one applies Euler characteristic with compact supports to Z(X,t), one obtains 1/(1-t)^. Motivic measures A motivic measure is a map \mu from the set of finite type schemes over a field k to a commutative ring A, satisfying the three properties :\mu(X)\, depends only on the isomorphism class of X, :\mu(X)=\mu(Z)+\mu(X\setminus Z) if Z is a closed subscheme of X, :\mu(X_1\times X_2)=\mu(X_1)\mu(X_2). For example if k is a finite field and A= is the ring of integers, then \mu(X)=\#(X(k)) defines a motivic m ... [...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 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] |
Partition Function (number Theory)
In number theory, the partition function represents the number of possible partitions of a non-negative integer . For instance, because the integer 4 has the five partitions , , , , and . No closed-form expression for the partition function is known, but it has both asymptotic expansions that accurately approximate it and recurrence relations by which it can be calculated exactly. It grows as an exponential function of the square root of its argument. The multiplicative inverse of its generating function is the Euler function; by Euler's pentagonal number theorem this function is an alternating sum of pentagonal number powers of its argument. Srinivasa Ramanujan first discovered that the partition function has nontrivial patterns in modular arithmetic, now known as Ramanujan's congruences. For instance, whenever the decimal representation of ends in the digit 4 or 9, the number of partitions of will be divisible by 5. Definition and examples For a positive integer , is the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lothar Göttsche
Lothar Göttsche (born January 21, 1961 in Sonderburg, Denmark) is a German mathematician, known for his work in algebraic geometry. He is a research scientist at the International Centre for Theoretical Physics in Trieste, Italy. He is also editor for Geometry & Topology. Biography After studying mathematics at the University of Kiel, he received his Dr. rer. nat. under the direction of Friedrich Hirzebruch at the University of Bonn in 1989. Göttsche was invited as speaker to the International Congress of Mathematicians in Beijing in 2002. In 2012 he became a fellow of the American Mathematical Society. Work Göttsche received international acclaim with his formula for the generating function for the Betti numbers of the Hilbert scheme of points on an algebraic surface: :If S is a smooth surface over an algebraically closed field of characteristic 0, then the generating function for the motives of the Hilbert schemes of S can be expressed in terms of the motivic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert Scheme
In algebraic geometry, a branch of mathematics, a Hilbert scheme is a scheme that is the parameter space for the closed subschemes of some projective space (or a more general projective scheme), refining the Chow variety. The Hilbert scheme is a disjoint union of projective subschemes corresponding to Hilbert polynomials. The basic theory of Hilbert schemes was developed by . Hironaka's example shows that non-projective varieties need not have Hilbert schemes. Hilbert scheme of projective space The Hilbert scheme \mathbf(n) of \mathbb^n classifies closed subschemes of projective space in the following sense: For any locally Noetherian scheme , the set of -valued points :\operatorname(S, \mathbf(n)) of the Hilbert scheme is naturally isomorphic to the set of closed subschemes of \mathbb^n \times S that are flat over . The closed subschemes of \mathbb^n \times S that are flat over can informally be thought of as the families of subschemes of projective space parameterized by . Th ... [...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] |
Rational Function
In mathematics, a rational function is any function that can be defined by a rational fraction, which is an algebraic fraction such that both the numerator and the denominator are polynomials. The coefficients of the polynomials need not be rational numbers; they may be taken in any field ''K''. In this case, one speaks of a rational function and a rational fraction ''over K''. The values of the variables may be taken in any field ''L'' containing ''K''. Then the domain of the function is the set of the values of the variables for which the denominator is not zero, and the codomain is ''L''. The set of rational functions over a field ''K'' is a field, the field of fractions of the ring of the polynomial functions over ''K''. Definitions A function f(x) is called a rational function if and only if it can be written in the form : f(x) = \frac where P\, and Q\, are polynomial functions of x\, and Q\, is not the zero function. The domain of f\, is the set of all values of x\ ... [...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] |
Genus (curve)
In mathematics, genus (plural genera) has a few different, but closely related, meanings. Intuitively, the genus is the number of "holes" of a Surface (topology), surface. A sphere has genus 0, while a torus has genus 1. Topology Orientable surfaces The genus of a Connected space, connected, orientable surface is an integer representing the maximum number of cuttings along non-intersecting Curve#Topological_curve, closed simple curves without rendering the resultant manifold disconnected. It is equal to the number of Handle (mathematics), handles on it. Alternatively, it can be defined in terms of the Euler characteristic ''χ'', via the relationship ''χ'' = 2 − 2''g'' for Surface_(topology)#Closed_surfaces, closed surfaces, where ''g'' is the genus. For surfaces with ''b'' Boundary (topology), boundary components, the equation reads ''χ'' = 2 − 2''g'' − ''b''. In layman's terms, it's the number of "holes" an object has ("holes ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Affine Space
In mathematics, an affine space is a geometric structure that generalizes some of the properties of Euclidean spaces in such a way that these are independent of the concepts of distance and measure of angles, keeping only the properties related to parallelism and ratio of lengths for parallel line segments. In an affine space, there is no distinguished point that serves as an origin. Hence, no vector has a fixed origin and no vector can be uniquely associated to a point. In an affine space, there are instead ''displacement vectors'', also called ''translation'' vectors or simply ''translations'', between two points of the space. Thus it makes sense to subtract two points of the space, giving a translation vector, but it does not make sense to add two points of the space. Likewise, it makes sense to add a displacement vector to a point of an affine space, resulting in a new point translated from the starting point by that vector. Any vector space may be viewed as an affine spa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smooth Algebraic Variety
In the mathematical field of algebraic geometry, a singular point of an algebraic variety is a point that is 'special' (so, singular), in the geometric sense that at this point the tangent space at the variety may not be regularly defined. In case of varieties defined over the reals, this notion generalizes the notion of local non-flatness. A point of an algebraic variety which is not singular is said to be regular. An algebraic variety which has no singular point is said to be non-singular or smooth. Definition A plane curve defined by an implicit equation :F(x,y)=0, where is a smooth function is said to be ''singular'' at a point if the Taylor series of has order at least at this point. The reason for this is that, in differential calculus, the tangent at the point of such a curve is defined by the equation :(x-x_0)F'_x(x_0,y_0) + (y-y_0)F'_y(x_0,y_0)=0, whose left-hand side is the term of degree one of the Taylor expansion. Thus, if this term is zero, the tangent may ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ring (mathematics)
In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. In other words, a ''ring'' is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series. Formally, a ''ring'' is an abelian group whose operation is called ''addition'', with a second binary operation called ''multiplication'' that is associative, is distributive over the addition operation, and has a multiplicative identity element. (Some authors use the term " " with a missing i to refer to the more general structure that omits this last requirement; see .) Whether a ring is commutative (that is, whether the order in which two elements are multiplied might change the result) has ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
