|
é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] |
