|
étale Spectrum
In algebraic geometry, a branch of mathematics, the étale spectrum of a commutative ring or an E-infinity ring, E∞-ring, denoted by Specét or Spét, is an analog of the prime spectrum Spec of a commutative ring that is obtained by replacing Zariski topology with étale topology. The precise definition depends on one's formalism. But the idea of the definition itself is simple. The usual prime spectrum Spec enjoys the relation: for a scheme (mathematics), scheme (''S'', ''O''''S'') and a commutative ring ''A'', :\operatorname(S, \operatorname(A)) \simeq \operatorname(A, \Gamma(S, \mathcal_S)) where Hom on the left is for morphism of schemes, morphisms of schemes and Hom on the right ring homomorphisms. This is to say Spec is the right adjoint to the global section functor (S, \mathcal_S) \mapsto \Gamma(S, \mathcal_S). So, roughly, one can (and typically does) simply define the étale spectrum Spét to be the right adjoint to the global section functor on the category of "spaces" wi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Geometry
Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; the modern approach generalizes this in a few different aspects. The fundamental objects of study in algebraic geometry are algebraic variety, algebraic varieties, which are geometric manifestations of solution set, solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are line (geometry), lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscate of Bernoulli, lemniscates and Cassini ovals. These are plane algebraic curves. A point of the plane lies on an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of points of special interest like singular point of a curve, singular p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Right Adjoint
In mathematics, specifically category theory, adjunction is a relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories. Two functors that stand in this relationship are known as adjoint functors, one being the left adjoint and the other the right adjoint. Pairs of adjoint functors are ubiquitous in mathematics and often arise from constructions of "optimal solutions" to certain problems (i.e., constructions of objects having a certain universal property), such as the construction of a free group on a set in algebra, or the construction of the Stone–Čech compactification of a topological space in topology. By definition, an adjunction between categories \mathcal and \mathcal is a pair of functors (assumed to be covariant) :F: \mathcal \rightarrow \mathcal and G: \mathcal \rightarrow \mathcal and, for all objects c in \mathcal and d in \mathcal, a bijection between the respective morphism sets :\ma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Derived Scheme
In algebraic geometry, a derived scheme is a homotopy-theoretic generalization of a scheme in which classical commutative rings are replaced with derived versions such as differential graded algebras, commutative simplicial rings, or commutative ring spectra. From the functor of points point-of-view, a derived scheme is a sheaf ''X'' on the category of simplicial commutative rings which admits an open affine covering \. From the locally ringed space point-of-view, a derived scheme is a pair (X, \mathcal) consisting of a topological space ''X'' and a sheaf \mathcal either of simplicial commutative rings or of commutative ring spectra on ''X'' such that (1) the pair (X, \pi_0 \mathcal) is a scheme and (2) \pi_k \mathcal is a quasi-coherent \pi_0 \mathcal- module. A derived stack is a stacky generalization of a derived scheme. Differential graded scheme Over a field of characteristic zero, the theory is closely related to that of a differential graded scheme. By definition ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graded Algebra
In mathematics, in particular abstract algebra, a graded ring is a ring such that the underlying additive group is a direct sum of abelian groups R_i such that . The index set is usually the set of nonnegative integers or the set of integers, but can be any monoid. The direct sum decomposition is usually referred to as gradation or grading. A graded module is defined similarly (see below for the precise definition). It generalizes graded vector spaces. A graded module that is also a graded ring is called a graded algebra. A graded ring could also be viewed as a graded -algebra. The associativity is not important (in fact not used at all) in the definition of a graded ring; hence, the notion applies to non-associative algebras as well; e.g., one can consider a graded Lie algebra. First properties Generally, the index set of a graded ring is assumed to be the set of nonnegative integers, unless otherwise explicitly specified. This is the case in this article. A graded r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field Of Characteristic Zero
In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined and behave as the corresponding operations on rational and real numbers. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics. The best known fields are the field of rational numbers, the field of real numbers and the field of complex numbers. Many other fields, such as fields of rational functions, algebraic function fields, algebraic number fields, and ''p''-adic fields are commonly used and studied in mathematics, particularly in number theory and algebraic geometry. Most cryptographic protocols rely on finite fields, i.e., fields with finitely many elements. The theory of fields proves that angle trisection and squaring the circle cannot be done with a compass and straightedge. Galois theory, devoted to understanding the symmetries of field extensions, provides an elegant proof of the A ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Functor
In mathematics, specifically category theory, a functor is a Map (mathematics), mapping between Category (mathematics), 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 function, 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 Linguistics, linguistic context; see function word. Definition Let ''C'' and ''D'' be category (mathematics), categories. A functor ''F'' from ''C'' to ''D'' is a mapping that * associates each Mathematical object, object X in ''C'' to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Global Section
In mathematics, a sheaf (: sheaves) is a tool for systematically tracking data (such as Set (mathematics), sets, abelian groups, Ring (mathematics), rings) attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could be the ring of continuous function, continuous function (mathematics), functions defined on that open set. Such data are well-behaved in that they can be restricted to smaller open sets, and also the data assigned to an open set are equivalent to all collections of compatible data assigned to collections of smaller open sets cover (topology), covering the original open set (intuitively, every datum is the sum of its constituent data). The field of mathematics that studies sheaves is called sheaf theory. Sheaves are understood conceptually as general and abstract Mathematical object, objects. Their precise definition is rather technical. They are specifically defined as sheaves of sets or as ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ring Homomorphism
In mathematics, a ring homomorphism is a structure-preserving function between two rings. More explicitly, if ''R'' and ''S'' are rings, then a ring homomorphism is a function that preserves addition, multiplication and multiplicative identity; that is, : \begin f(a+b)&= f(a) + f(b),\\ f(ab) &= f(a)f(b), \\ f(1_R) &= 1_S, \end for all ''a'', ''b'' in ''R''. These conditions imply that additive inverses and the additive identity are also preserved. If, in addition, is a bijection, then its inverse −1 is also a ring homomorphism. In this case, is called a ring isomorphism, and the rings ''R'' and ''S'' are called ''isomorphic''. From the standpoint of ring theory, isomorphic rings have exactly the same properties. If ''R'' and ''S'' are s, then the corresponding notion is that of a homomorphism, defined as above except without the third condition ''f''(1''R'') = 1''S''. A homomorphism between (unital) rings need not be a ring homomorphism. The composition of two rin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Morphism Of Schemes
In algebraic geometry, a morphism of schemes generalizes a morphism of algebraic varieties just as a scheme generalizes an algebraic variety. It is, by definition, a morphism in the category of schemes. A morphism of algebraic stacks generalizes a morphism of schemes. Definition By definition, a morphism of schemes is just a morphism of locally ringed spaces. Isomorphisms are defined accordingly. A scheme, by definition, has open affine charts and thus a morphism of schemes can also be described in terms of such charts (compare the definition of morphism of varieties). Let ƒ:''X''→''Y'' be a morphism of schemes. If ''x'' is a point of ''X'', since ƒ is continuous, there are open affine subsets ''U'' = Spec ''A'' of ''X'' containing ''x'' and ''V'' = Spec ''B'' of ''Y'' such that ƒ(''U'') ⊆ ''V''. Then ƒ: ''U'' → ''V'' is a morphism of affine schemes and thus is induced by some ring homomorphism ''B'' → ''A'' (cf. #Affine case.) In fact, one can use this des ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Scheme (mathematics)
In mathematics, specifically algebraic geometry, a scheme is a structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities (the equations and define the same algebraic variety but different schemes) and allowing "varieties" defined over any commutative ring (for example, Fermat curves are defined over the integers). Scheme theory was introduced by Alexander Grothendieck in 1960 in his treatise '' Éléments de géométrie algébrique'' (EGA); one of its aims was developing the formalism needed to solve deep problems of algebraic geometry, such as the Weil conjectures (the last of which was proved by Pierre Deligne). Strongly based on commutative algebra, scheme theory allows a systematic use of methods of topology and homological algebra. Scheme theory also unifies algebraic geometry with much of number theory, which eventually led to Wiles's proof of Fermat's Last Theorem. Schemes elaborate the fundamental idea that an a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
