|
Functor Of Points
In algebraic geometry, a functor represented by a scheme ''X'' is a set-valued contravariant functor on the category of schemes such that the value of the functor at each scheme ''S'' is (up to natural bijections) the set of all morphisms S \to X. The scheme ''X'' is then said to ''represent'' the functor and that ''classify'' geometric objects over ''S'' given by ''F''. The best known example is the Hilbert scheme of a scheme ''X'' (over some fixed base scheme), which, when it exists, represents a functor sending a scheme ''S'' to a flat family of closed subschemes of X \times S. In some applications, it may not be possible to find a scheme that represents a given functor. This led to the notion of a stack, which is not quite a functor but can still be treated as if it were a geometric space. (A Hilbert scheme is a scheme, but not a stack because, very roughly speaking, deformation theory is simpler for closed schemes.) Some moduli problems are solved by giving formal solutions ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Contravariant Functor
In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, and maps between these algebraic objects are associated to continuous maps between spaces. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are important in all areas within mathematics to which category theory is applied. The words ''category'' and ''functor'' were borrowed by mathematicians from the philosophers Aristotle and Rudolf Carnap, respectively. The latter used ''functor'' in a linguistic context; see function word. Definition Let ''C'' and ''D'' be categories. A functor ''F'' from ''C'' to ''D'' is a mapping that * associates each object X in ''C'' to an object F(X) in ''D'', * associates each morphism f \colon X \to Y in ''C'' to a morphism F(f) \colon F(X) \to F(Y) in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Yoneda Lemma
In mathematics, the Yoneda lemma is arguably the most important result in category theory. It is an abstract result on functors of the type ''morphisms into a fixed object''. It is a vast generalisation of Cayley's theorem from group theory (viewing a group as a miniature category with just one object and only isomorphisms). It allows the embedding of any locally small category into a category of functors (contravariant set-valued functors) defined on that category. It also clarifies how the embedded category, of representable functors and their natural transformations, relates to the other objects in the larger functor category. It is an important tool that underlies several modern developments in algebraic geometry and representation theory. It is named after Nobuo Yoneda. Generalities The Yoneda lemma suggests that instead of studying the locally small category \mathcal , one should study the category of all functors of \mathcal into \mathbf (the category of sets with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rational Point
In number theory and algebraic geometry, a rational point of an algebraic variety is a point whose coordinates belong to a given field. If the field is not mentioned, the field of rational numbers is generally understood. If the field is the field of real numbers, a rational point is more commonly called a real point. Understanding rational points is a central goal of number theory and Diophantine geometry. For example, Fermat's Last Theorem may be restated as: for , the Fermat curve of equation x^n+y^n=1 has no other rational points than , , and, if is even, and . Definition Given a field ''k'', and an algebraically closed extension ''K'' of ''k'', an affine variety ''X'' over ''k'' is the set of common zeros in K^n of a collection of polynomials with coefficients in ''k'': :f_1(x_1,\ldots,x_n)=0,\ldots, f_r(x_1,\dots,x_n)=0. These common zeros are called the ''points'' of ''X''. A ''k''-rational point (or ''k''-point) of ''X'' is a point of ''X'' that belongs to ''k''''n'', ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weil Restriction
In mathematics, restriction of scalars (also known as "Weil restriction") is a functor which, for any finite extension of fields ''L/k'' and any algebraic variety ''X'' over ''L'', produces another variety Res''L''/''k''''X'', defined over ''k''. It is useful for reducing questions about varieties over large fields to questions about more complicated varieties over smaller fields. Definition Let ''L/k'' be a finite extension of fields, and ''X'' a variety defined over ''L''. The functor \operatorname_ X from ''k''- schemesop to sets is defined by :\operatorname_X(S) = X(S \times_k L) (In particular, the ''k''-rational points of \operatorname_X are the ''L''-rational points of ''X''.) The variety that represents this functor is called the restriction of scalars, and is unique up to unique isomorphism if it exists. From the standpoint of sheaves of sets, restriction of scalars is just a pushforward along the morphism \operatorname(L) \to \operatorname(k) and is right adjoint t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Frobenius Endomorphism
In commutative algebra and field theory, the Frobenius endomorphism (after Ferdinand Georg Frobenius) is a special endomorphism of commutative rings with prime characteristic , an important class which includes finite fields. The endomorphism maps every element to its -th power. In certain contexts it is an automorphism, but this is not true in general. Definition Let be a commutative ring with prime characteristic (an integral domain of positive characteristic always has prime characteristic, for example). The Frobenius endomorphism ''F'' is defined by :F(r) = r^p for all ''r'' in ''R''. It respects the multiplication of ''R'': :F(rs) = (rs)^p = r^ps^p = F(r)F(s), and is 1 as well. Moreover, it also respects the addition of . The expression can be expanded using the binomial theorem. Because is prime, it divides but not any for ; it therefore will divide the numerator, but not the denominator, of the explicit formula of the binomial coefficients :\frac, if . Ther ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ring Of Dual Numbers
In algebra, the dual numbers are a hypercomplex number, hypercomplex number system first introduced in the 19th century. They are expression (mathematics), expressions of the form , where and are real numbers, and is a symbol taken to satisfy \varepsilon^2 = 0 with \varepsilon\neq 0. Dual numbers can be added component-wise, and multiplied by the formula : (a+b\varepsilon)(c+d\varepsilon) = ac + (ad+bc)\varepsilon, which follows from the property and the fact that multiplication is a bilinear operation. The dual numbers form a commutative algebra (structure), commutative algebra of dimension (linear algebra), dimension two over the reals, and also an Artinian local ring. They are one of the simplest examples of a ring that has nonzero nilpotent element, nilpotent elements. History Dual numbers were introduced in 1873 by William Kingdon Clifford, William Clifford, and were used at the beginning of the twentieth century by the German mathematician Eduard Study, who used them ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Level Structure (algebraic Geometry)
In algebraic geometry, a level structure on a space ''X'' is an extra structure attached to ''X'' that shrinks or eliminates the automorphism group of ''X'', by demanding automorphisms to preserve the level structure; attaching a level structure is often phrased as rigidifying the geometry of ''X''. In applications, a level structure is used in the construction of moduli spaces; a moduli space is often constructed as a quotient. The presence of automorphisms poses a difficulty to forming a quotient; thus introducing level structures helps overcome this difficulty. There is no single definition of a level structure; rather, depending on the space ''X'', one introduces the notion of a level structure. The classic one is that on an elliptic curve (see #Example: an abelian scheme). There is a level structure attached to a formal group called a Drinfeld level structure, introduced in . Level structures on elliptic curves Classically, level structures on elliptic curves E = \mathbb/\L ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lang's Theorem
In algebraic geometry, Lang's theorem, introduced by Serge Lang, states: if ''G'' is a connected smooth algebraic group over a finite field \mathbf_q, then, writing \sigma: G \to G, \, x \mapsto x^q for the Frobenius, the morphism of varieties :G \to G, \, x \mapsto x^ \sigma(x) is surjective. Note that the kernel of this map (i.e., G = G(\overline) \to G(\overline)) is precisely G(\mathbf_q). The theorem implies that H^1(\mathbf_q, G) = H_^1(\operatorname\mathbf_q, G) vanishes, and, consequently, any ''G''-bundle on \operatorname \mathbf_q is isomorphic to the trivial one. Also, the theorem plays a basic role in the theory of finite groups of Lie type. It is not necessary that ''G'' is affine. Thus, the theorem also applies to abelian varieties (e.g., elliptic curves.) In fact, this application was Lang's initial motivation. If ''G'' is affine, the Frobenius \sigma may be replaced by any surjective map with finitely many fixed points (see below for the precise statem ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fiber Product
In category theory, a branch of mathematics, a pullback (also called a fiber product, fibre product, fibered product or Cartesian square) is the limit of a diagram consisting of two morphisms and with a common codomain. The pullback is often written : and comes equipped with two natural morphisms and . The pullback of two morphisms and need not exist, but if it does, it is essentially uniquely defined by the two morphisms. In many situations, may intuitively be thought of as consisting of pairs of elements with in , in , and . For the general definition, a universal property is used, which essentially expresses the fact that the pullback is the "most general" way to complete the two given morphisms to a commutative square. The dual concept of the pullback is the ''pushout''. Universal property Explicitly, a pullback of the morphisms and consists of an object and two morphisms and for which the diagram : commutes. Moreover, the pullback must be universal wit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Berkovich Spectrum
In mathematics, a Berkovich space, introduced by , is a version of an analytic space over a non-Archimedean field (e.g. ''p''-adic field), refining Tate's notion of a rigid analytic space. Motivation In the complex case, algebraic geometry begins by defining the complex affine space to be \Complex^n. For each U\subset\Complex^n, we define \mathcal_U, the ring of analytic functions on U to be the ring of holomorphic functions, i.e. functions on U that can be written as a convergent power series in a neighborhood of each point. We then define a local model space for f_, \ldots, f_\in\mathcal_U to be :X:=\ with \mathcal_X=\mathcal_U/(f_, \ldots,f_). A complex analytic space is a locally ringed \Complex-space (Y, \mathcal_Y) which is locally isomorphic to a local model space. When k is a complete non-Archimedean field, we have that k is totally disconnected. In such a case, if we continue with the same definition as in the complex case, we wouldn't get a good analytic theory. Be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Function Field (scheme Theory)
The sheaf of rational functions ''KX'' of a scheme ''X'' is the generalization to scheme theory of the notion of function field of an algebraic variety in classical algebraic geometry. In the case of varieties, such a sheaf associates to each open set ''U'' the ring of all rational functions on that open set; in other words, ''KX''(''U'') is the set of fractions of regular functions on ''U''. Despite its name, ''KX'' does not always give a field for a general scheme ''X''. Simple cases In the simplest cases, the definition of ''KX'' is straightforward. If ''X'' is an (irreducible) affine algebraic variety, and if ''U'' is an open subset of ''X'', then ''KX''(''U'') will be the field of fractions of the ring of regular functions on ''U''. Because ''X'' is affine, the ring of regular functions on ''U'' will be a localization of the global sections of ''X'', and consequently ''KX'' will be the constant sheaf whose value is the fraction field of the global sections of ''X''. If ''X'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Local Ring
In abstract algebra, more specifically ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on varieties or manifolds, or of algebraic number fields examined at a particular place, or prime. Local algebra is the branch of commutative algebra that studies commutative local rings and their modules. In practice, a commutative local ring often arises as the result of the localization of a ring at a prime ideal. The concept of local rings was introduced by Wolfgang Krull in 1938 under the name ''Stellenringe''. The English term ''local ring'' is due to Zariski. Definition and first consequences A ring ''R'' is a local ring if it has any one of the following equivalent properties: * ''R'' has a unique maximal left ideal. * ''R'' has a unique maximal right ideal. * 1 ≠ 0 and the sum of any two non-units in ''R'' is a non-unit. * 1 ≠ 0 and if ''x'' is any element of ''R ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
