|
Dévissage
In algebraic geometry, dévissage is a technique introduced by Alexander Grothendieck for proving statements about coherent sheaves on Noetherian schemes. Dévissage is an adaptation of a certain kind of Noetherian induction. It has many applications, including the proof of generic flatness and the proof that higher direct images of coherent sheaves under proper morphisms are coherent. Laurent Gruson and Michel Raynaud extended this concept to the relative situation, that is, to the situation where the scheme under consideration is not necessarily noetherian, but instead admits a finitely presented morphism to another scheme. They did this by defining an object called a relative dévissage which is well-suited to certain kinds of inductive arguments. They used this technique to give a new criterion for a module to be flat. As a consequence, they were able to simplify and generalize the results of EGA IV 11 on descent of flatness. The word ''dévissage'' is French for ''unsc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Noetherian Scheme
In algebraic geometry, a Noetherian scheme is a scheme that admits a finite covering by open affine subsets \operatorname A_i, where each A_i is a Noetherian ring. More generally, a scheme is locally Noetherian if it is covered by spectra of Noetherian rings. Thus, a scheme is Noetherian if and only if it is locally Noetherian and compact. As with Noetherian rings, the concept is named after Emmy Noether. It can be shown that, in a locally Noetherian scheme, if \operatorname A is an open affine subset, then ''A'' is a Noetherian ring; in particular, \operatorname A is a Noetherian scheme if and only if ''A'' is a Noetherian ring. For a locally Noetherian scheme ''X,'' the local rings \mathcal_ are also Noetherian rings. A Noetherian scheme is a Noetherian topological space. But the converse is false in general; consider, for example, the spectrum of a non-Noetherian valuation ring. The definitions extend to formal schemes. Properties and Noetherian hypotheses Having ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Generic Flatness
In algebraic geometry and commutative algebra, the theorems of generic flatness and generic freeness state that under certain hypotheses, a sheaf of modules on a scheme is flat or free. They are due to Alexander Grothendieck. Generic flatness states that if ''Y'' is an integral locally noetherian scheme, is a finite type morphism of schemes, and ''F'' is a coherent ''O''''X''-module, then there is a non-empty open subset ''U'' of ''Y'' such that the restriction of ''F'' to ''u''−1(''U'') is flat over ''U''. Because ''Y'' is integral, ''U'' is a dense open subset of ''Y''. This can be applied to deduce a variant of generic flatness which is true when the base is not integral. Suppose that ''S'' is a noetherian scheme, is a finite type morphism, and ''F'' is a coherent ''O''''X''-module. Then there exists a partition of ''S'' into locally closed subsets ''S''1, ..., ''S''''n'' with the following property: Give each ''S''''i'' its reduced scheme structure, denote by ''X''' ... [...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] |
Flat Module
In algebra, flat modules include free modules, projective modules, and, over a principal ideal domain, torsion-free modules. Formally, a module (mathematics), module ''M'' over a ring (mathematics), ring ''R'' is ''flat'' if taking the tensor product of modules, tensor product over ''R'' with ''M'' preserves exact sequences. A module is faithfully flat if taking the tensor product with a sequence produces an exact sequence if and only if the original sequence is exact. Flatness was introduced by in his paper ''Géometrie Algébrique et Géométrie Analytique''. Definition A left module over a ring is ''flat'' if the following condition is satisfied: for every injective module homomorphism, linear map \varphi: K \to L of right -modules, the map : \varphi \otimes_R M: K \otimes_R M \to L \otimes_R M is also injective, where \varphi \otimes_R M is the map induced by k \otimes m \mapsto \varphi(k) \otimes m. For this definition, it is enough to restrict the injections \varphi to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inventiones Mathematicae
''Inventiones Mathematicae'' is a mathematical journal published monthly by Springer Science+Business Media. It was established in 1966 and is regarded as one of the most prestigious mathematics journals in the world. The current (2023) managing editors are Jean-Benoît Bost (University of Paris-Sud) and Wilhelm Schlag (Yale University Yale University is a Private university, private Ivy League research university in New Haven, Connecticut, United States. Founded in 1701, Yale is the List of Colonial Colleges, third-oldest institution of higher education in the United Stat ...). Abstracting and indexing The journal is abstracted and indexed in: References External links *{{Official website, https://www.springer.com/journal/222 Mathematics journals Academic journals established in 1966 English-language journals Springer Science+Business Media academic journals Monthly journals ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Residue Field
In mathematics, the residue field is a basic construction in commutative algebra. If R is a commutative ring and \mathfrak is a maximal ideal, then the residue field is the quotient ring k=R/\mathfrak, which is a field. Frequently, R is a local ring and \mathfrak is then its unique maximal ideal. In abstract algebra, the splitting field of a polynomial is constructed using residue fields. Residue fields also applied in algebraic geometry, where to every point x of a scheme X one associates its residue field k(x). One can say a little loosely that the residue field of a point of an abstract algebraic variety is the ''natural domain'' for the coordinates of the point. Definition Suppose that R is a commutative local ring, with maximal ideal \mathfrak. Then the residue field is the quotient ring R/\mathfrak. Now suppose that X is a scheme and x is a point of X. By the definition of a scheme, we may find an affine neighbourhood \mathcal = \text(A) of x, with some commutative ring ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vector Space
In mathematics and physics, a vector space (also called a linear space) is a set (mathematics), set whose elements, often called vector (mathematics and physics), ''vectors'', can be added together and multiplied ("scaled") by numbers called scalar (mathematics), ''scalars''. The operations of vector addition and scalar multiplication must satisfy certain requirements, called ''vector axioms''. Real vector spaces and complex vector spaces are kinds of vector spaces based on different kinds of scalars: real numbers and complex numbers. Scalars can also be, more generally, elements of any field (mathematics), field. Vector spaces generalize Euclidean vectors, which allow modeling of Physical quantity, physical quantities (such as forces and velocity) that have not only a Magnitude (mathematics), magnitude, but also a Orientation (geometry), direction. The concept of vector spaces is fundamental for linear algebra, together with the concept of matrix (mathematics), matrices, which ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Space
In mathematics, a topological space is, roughly speaking, a Geometry, geometrical space in which Closeness (mathematics), closeness is defined but cannot necessarily be measured by a numeric Distance (mathematics), distance. More specifically, a topological space is a Set (mathematics), set whose elements are called Point (geometry), points, along with an additional structure called a topology, which can be defined as a set of Neighbourhood (mathematics), neighbourhoods for each point that satisfy some Axiom#Non-logical axioms, axioms formalizing the concept of closeness. There are several equivalent definitions of a topology, the most commonly used of which is the definition through open sets, which is easier than the others to manipulate. A topological space is the most general type of a space (mathematics), mathematical space that allows for the definition of Limit (mathematics), limits, Continuous function (topology), continuity, and Connected space, connectedness. Common types ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Descent (category Theory)
In mathematics, the idea of descent extends the intuitive idea of 'gluing' in topology. Since the topologists' glue is the use of equivalence relations on topological spaces, the theory starts with some ideas on identification. Descent of vector bundles The case of the construction of vector bundles from data on a disjoint union of topological spaces is a straightforward place to start. Suppose is a topological space covered by open sets . Let be the disjoint union of the , so that there is a natural mapping :p: Y \rightarrow X. We think of as 'above' , with the projection 'down' onto . With this language, ''descent'' implies a vector bundle on (so, a bundle given on each ), and our concern is to 'glue' those bundles , to make a single bundle on . What we mean is that should, when restricted to , give back , up to a bundle isomorphism. The data needed is then this: on each overlap :X_, intersection of and , we'll require mappings :f_: V_i \rightarrow V_j to use to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Michel Raynaud
Michel Raynaud (; 16 June 1938 – 10 March 2018 Décès de Michel Raynaud Société Mathématique de France.) was a French working in and a professor at Paris-Sud 11 University. Early life and education He was born in Riom, France as a single son to a modest household. His father was a carp ...[...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Module (mathematics)
In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a (not necessarily commutative) ring. The concept of a ''module'' also generalizes the notion of an abelian group, since the abelian groups are exactly the modules over the ring of integers. Like a vector space, a module is an additive abelian group, and scalar multiplication is distributive over the operations of addition between elements of the ring or module and is compatible with the ring multiplication. Modules are very closely related to the representation theory of groups. They are also one of the central notions of commutative algebra and homological algebra, and are used widely in algebraic geometry and algebraic topology. Introduction and definition Motivation In a vector space, the set of scalars is a field and acts on the vectors by scalar multiplication, subject to certain axioms such as the distributive law. In a module, the scal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alexander Grothendieck
Alexander Grothendieck, later Alexandre Grothendieck in French (; ; ; 28 March 1928 – 13 November 2014), was a German-born French mathematician who became the leading figure in the creation of modern algebraic geometry. His research extended the scope of the field and added elements of commutative algebra, homological algebra, sheaf theory, and category theory to its foundations, while his so-called Grothendieck's relative point of view, "relative" perspective led to revolutionary advances in many areas of pure mathematics. He is considered by many to be the greatest mathematician of the twentieth century. Grothendieck began his productive and public career as a mathematician in 1949. In 1958, he was appointed a research professor at the Institut des Hautes Études Scientifiques, Institut des hautes études scientifiques (IHÉS) and remained there until 1970, when, driven by personal and political convictions, he left following a dispute over military funding. He receive ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
