|
Flat Topos
In mathematics, the flat topology is a Grothendieck topology used in algebraic geometry. It is used to define the theory of flat cohomology; it also plays a fundamental role in the theory of descent (faithfully flat descent). The term ''flat'' here comes from flat modules. There are several slightly different flat topologies, the most common of which are the fppf topology and the fpqc topology. ''fppf'' stands for ', and in this topology, a morphism of affine schemes is a covering morphism if it is faithfully flat and of finite presentation. ''fpqc'' stands for ', and in this topology, a morphism of affine schemes is a covering morphism if it is faithfully flat. In both categories, a covering family is defined be a family which is a cover on Zariski open subsets. In the fpqc topology, any faithfully flat and quasi-compact morphism is a cover. These topologies are closely related to descent. The "pure" faithfully flat topology without any further finiteness conditions such as ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Section (sheaf Theory)
In mathematics, a sheaf is a tool for systematically tracking data (such as sets, abelian groups, 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 functions defined on that open set. Such data is well behaved in that it can be restricted to smaller open sets, and also the data assigned to an open set is equivalent to all collections of compatible data assigned to collections of smaller open sets covering the original open set (intuitively, every piece of data is the sum of its parts). The field of mathematics that studies sheaves is called sheaf theory. Sheaves are understood conceptually as general and abstract objects. Their correct definition is rather technical. They are specifically defined as sheaves of sets or as sheaves of rings, for example, depending on the type of data assigned to the open sets. There are also maps (or morphisms) from one ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Galois Cohomology
In mathematics, Galois cohomology is the study of the group cohomology of Galois modules, that is, the application of homological algebra to modules for Galois groups. A Galois group ''G'' associated to a field extension ''L''/''K'' acts in a natural way on some abelian groups, for example those constructed directly from ''L'', but also through other Galois representations that may be derived by more abstract means. Galois cohomology accounts for the way in which taking Galois-invariant elements fails to be an exact functor. History The current theory of Galois cohomology came together around 1950, when it was realised that the Galois cohomology of ideal class groups in algebraic number theory was one way to formulate class field theory, at the time it was in the process of ridding itself of connections to L-functions. Galois cohomology makes no assumption that Galois groups are abelian groups, so this was a non-abelian theory. It was formulated abstractly as a theory of class ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tate–Poitou Duality
In mathematics, Tate duality or Poitou–Tate duality is a duality theorem for Galois cohomology groups of modules over the Galois group of an algebraic number field or local field, introduced by and . Local Tate duality For a ''p''-adic local field k, local Tate duality says there is a perfect pairing of the finite groups arising from Galois cohomology: :\displaystyle H^r(k,M)\times H^(k,M')\rightarrow H^2(k,\mathbb_m)=\Q/ \Z where M is a finite group scheme, M' its dual \operatorname(M,G_m), and \mathbb_m is the multiplicative group. For a local field of characteristic p>0, the statement is similar, except that the pairing takes values in H^2(k, \mu) = \bigcup_ \tfrac \Z/\Z. The statement also holds when k is an Archimedean field, though the definition of the cohomology groups looks somewhat different in this case. Global Tate duality Given a finite group scheme M over a global field k, global Tate duality relates the cohomology of M with that of M' = \operatorname(M,G_m) using ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Michael Artin
Michael Artin (; born 28 June 1934) is a German-American mathematician and a professor emeritus in the Massachusetts Institute of Technology mathematics department, known for his contributions to algebraic geometry.Faculty profile , MIT mathematics department, retrieved 2011-01-03 Life and career Michael Artin or Artinian was born in , Germany, and brought up in . His parents were Natalia Naumovna Jasny (Natascha) and[...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
James Milne (mathematician)
James S. Milne (born 10 October 1942 in Invercargill, New Zealand) is a New Zealand mathematician working in arithmetic geometry. Life Milne attended the High School in Invercargill in New Zealand until 1959, and then studied at the University of Otago in Dunedin (B.A. 1964) and Harvard University (Masters 1966, Ph.D. 1967 under John Tate). From then to 1969 he was a lecturer at University College London. After that he was at the University of Michigan, as Assistant Professor (1969–1972), Associate Professor (1972–1977), Professor (1977–2000), and Professor Emeritus (since 2000). He has also been a visiting professor at King's College London, at the Institut des hautes études scientifiques in Paris (1975, 1978), at the Mathematical Sciences Research Institute in Berkeley, California (1986–87), and the Institute for Advanced Study in Princeton, New Jersey (1976–77, 1982, 1988). In his dissertation, entitled "The conjectures of Birch and Swinnerton-Dyer for constant a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Éléments De Géométrie Algébrique
The ''Éléments de géométrie algébrique'' ("Elements of algebraic geometry, Algebraic Geometry") by Alexander Grothendieck (assisted by Jean Dieudonné), or ''EGA'' for short, is a rigorous treatise, in French language, French, on algebraic geometry that was published (in eight parts or fascicle (book), fascicles) from 1960 through 1967 by the ''Institut des Hautes Études Scientifiques''. In it, Grothendieck established systematic foundations of algebraic geometry, building upon the concept of Scheme (mathematics), schemes, which he defined. The work is now considered the foundation stone and basic reference of modern algebraic geometry. Editions Initially thirteen chapters were planned, but only the first four (making a total of approximately 1500 pages) were published. Much of the material which would have been found in the following chapters can be found, in a less polished form, in the ''Séminaire de géométrie algébrique'' (known as ''SGA''). Indeed, as explained by G ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fpqc Morphism
In algebraic geometry, there are two slightly different definitions of an fpqc morphism, both variations of faithfully flat morphisms. Sometimes an fpqc morphism means one that is faithfully flat and quasicompact. This is where the abbreviation fpqc comes from: fpqc stands for the French phrase "fidèlement plat et quasi-compact", meaning "faithfully flat and quasi-compact". However it is more common to define an fpqc morphism f: X \to Y of schemes to be a faithfully flat morphism that satisfies the following equivalent conditions: # Every quasi-compact open subset of Y is the image of a quasi-compact open subset of ''X''. # There exists a covering V_i of Y by open affine subschemes such that each V_i is the image of a quasi-compact open subset of X. # Each point x \in X has a neighborhood U such that f(U) is open and f: U \to f(U) is quasi-compact. # Each point x \in X has a quasi-compact neighborhood such that f(U) is open affine. Examples: An open faithfully flat morphism is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
étale Cohomology
In mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil conjectures. Étale cohomology theory can be used to construct ℓ-adic cohomology, which is an example of a Weil cohomology theory in algebraic geometry. This has many applications, such as the proof of the Weil conjectures and the construction of representations of finite groups of Lie type. History Étale cohomology was introduced by , using some suggestions by Jean-Pierre Serre, and was motivated by the attempt to construct a Weil cohomology theory in order to prove the Weil conjectures. The foundations were soon after worked out by Grothendieck together with Michael Artin, and published as and SGA 4. Grothendieck used étale cohomology to prove some of the Weil conjectures (Bernard Dwork had already managed to prove the rationality part of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sheaf Of Abelian Groups
In mathematics, a sheaf 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 is well behaved in that it can be restricted to smaller open sets, and also the data assigned to an open set is equivalent to all collections of compatible data assigned to collections of smaller open sets covering the original open set (intuitively, every piece of data is the sum of its parts). The field of mathematics that studies sheaves is called sheaf theory. Sheaves are understood conceptually as general and abstract Mathematical object , objects. Their correct definition is rather technical. They are specifically defined as sheaves of sets or as Sheaf of rings , sheaves of r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Derived Functor
In mathematics, certain functors may be ''derived'' to obtain other functors closely related to the original ones. This operation, while fairly abstract, unifies a number of constructions throughout mathematics. Motivation It was noted in various quite different settings that a short exact sequence often gives rise to a "long exact sequence". The concept of derived functors explains and clarifies many of these observations. Suppose we are given a covariant left exact functor ''F'' : A → B between two abelian categories A and B. If 0 → ''A'' → ''B'' → ''C'' → 0 is a short exact sequence in A, then applying ''F'' yields the exact sequence 0 → ''F''(''A'') → ''F''(''B'') → ''F''(''C'') and one could ask how to continue this sequence to the right to form a long exact sequence. Strictly speaking, this question is ill-posed, since there are always numerous different ways to continue a given exact sequence to the right. But it turns out that (if A is "nice" enough) the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grothendieck Topology
In category theory, a branch of mathematics, a Grothendieck topology is a structure on a category ''C'' that makes the objects of ''C'' act like the open sets of a topological space. A category together with a choice of Grothendieck topology is called a site. Grothendieck topologies axiomatize the notion of an open cover. Using the notion of covering provided by a Grothendieck topology, it becomes possible to define sheaves on a category and their cohomology. This was first done in algebraic geometry and algebraic number theory by Alexander Grothendieck to define the étale cohomology of a scheme. It has been used to define other cohomology theories since then, such as ℓ-adic cohomology, flat cohomology, and crystalline cohomology. While Grothendieck topologies are most often used to define cohomology theories, they have found other applications as well, such as to John Tate's theory of rigid analytic geometry. There is a natural way to associate a site to an ordinary top ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
