|
É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 pa ... [...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] |
Diophantine Geometry
In mathematics, Diophantine geometry is the study of Diophantine equations by means of powerful methods in algebraic geometry. By the 20th century it became clear for some mathematicians that methods of algebraic geometry are ideal tools to study these equations. Diophantine geometry is part of the broader field of arithmetic geometry. Four theorems in Diophantine geometry that are of fundamental importance include: * Mordell–Weil theorem * Roth's theorem * Siegel's theorem * Faltings's theorem Background Serge Lang published a book ''Diophantine Geometry'' in the area in 1962, and by this book he coined the term "Diophantine geometry". The traditional arrangement of material on Diophantine equations was by degree and number of variables, as in Mordell's ''Diophantine Equations'' (1969). Mordell's book starts with a remark on homogeneous equations ''f'' = 0 over the rational field, attributed to C. F. Gauss, that non-zero solutions in integers (even primitive lattice p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up to homeomorphism, though usually most classify up to Homotopy#Homotopy equivalence and null-homotopy, homotopy equivalence. Although algebraic topology primarily uses algebra to study topological problems, using topology to solve algebraic problems is sometimes also possible. Algebraic topology, for example, allows for a convenient proof that any subgroup of a free group is again a free group. Main branches Below are some of the main areas studied in algebraic topology: Homotopy groups In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, which records information about loops in a space. Intuitively, homotopy groups record information ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Deligne–Lusztig Theory
In mathematics, Deligne–Lusztig theory is a way of constructing linear representations of finite groups of Lie type using ℓ-adic cohomology with compact support, introduced by . used these representations to find all representations of all finite simple groups of Lie type. Motivation Suppose that ''G'' is a reductive group defined over a finite field, with Frobenius map ''F''. Ian G. Macdonald conjectured that there should be a map from ''general position'' characters of ''F''-stable maximal tori to irreducible representations of G^F (the fixed points of ''F''). For general linear groups this was already known by the work of . This was the main result proved by Pierre Deligne and George Lusztig; they found a virtual representation for all characters of an ''F''-stable maximal torus, which is irreducible (up to sign) when the character is in general position. When the maximal torus is split, these representations were well known and are given by parabolic induction of cha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Groups Of Lie Type
In mathematics, specifically in group theory, the phrase ''group of Lie type'' usually refers to finite groups that are closely related to the group of rational points of a reductive linear algebraic group with values in a finite field. The phrase ''group of Lie type'' does not have a widely accepted precise definition, but the important collection of finite simple groups of Lie type does have a precise definition, and they make up most of the groups in the classification of finite simple groups. The name "groups of Lie type" is due to the close relationship with the (infinite) Lie groups, since a compact Lie group may be viewed as the rational points of a reductive linear algebraic group over the field of real numbers. and are standard references for groups of Lie type. Classical groups An initial approach to this question was the definition and detailed study of the so-called ''classical groups'' over finite and other fields by . These groups were studied by L. E. Dickson ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Representation Theory
Representation theory is a branch of mathematics that studies abstract algebra, abstract algebraic structures by ''representing'' their element (set theory), elements as linear transformations of vector spaces, and studies Module (mathematics), modules over these abstract algebraic structures. In essence, a representation makes an abstract algebraic object more concrete by describing its elements by matrix (mathematics), matrices and their algebraic operations (for example, matrix addition, matrix multiplication). The algebraic objects amenable to such a description include group (mathematics), groups, associative algebras and Lie algebras. The most prominent of these (and historically the first) is the group representation, representation theory of groups, in which elements of a group are represented by invertible matrices such that the group operation is matrix multiplication. Representation theory is a useful method because it reduces problems in abstract algebra to problems ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
George Lusztig
George Lusztig (born ''Gheorghe Lusztig''; May 20, 1946) is a Romanian-born American mathematician and Abdun Nur Professor at the Massachusetts Institute of Technology (MIT). He was a Norbert Wiener Professor in the Department of Mathematics from 1999 to 2009. Education and career Born in Timișoara to a Hungarian-Jewish family, he did his undergraduate studies at the University of Bucharest, graduating in 1968. Later that year he left Romania for the United Kingdom, where he spent several months at the University of Warwick and Oxford University. In 1969 he moved to the United States, where he went to work for two years with Michael Atiyah at the Institute for Advanced Study in Princeton, New Jersey. He received his PhD in mathematics in 1971 after completing a doctoral dissertation, titled "Novikov's higher signature and families of elliptic operators", under the supervision of William Browder and Michael Atiyah. Lusztig worked for almost seven years at the University of Wa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Constructible Sheaf
In mathematics, a constructible sheaf is a sheaf of abelian groups over some topological space ''X'', such that ''X'' is the union of a finite number of locally closed subsets on each of which the sheaf is a locally constant sheaf. It has its origins in algebraic geometry, where in étale cohomology constructible sheaves are defined in a similar way . For the derived category of constructible sheaves, see a section in ℓ-adic sheaf. The finiteness theorem in étale cohomology states that the higher direct images of a constructible sheaf are constructible. Definition of étale constructible sheaves on a scheme ''X'' Here we use the definition of constructible étale sheaves from the book by Freitag and Kiehl referenced below. In what follows in this subsection, all sheaves \mathcal on schemes X are étale sheaves unless otherwise noted. A sheaf \mathcal is called constructible if X can be written as a finite union of locally closed subschemes i_Y:Y \to X such that for each subsc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fermat's Last Theorem
In number theory, Fermat's Last Theorem (sometimes called Fermat's conjecture, especially in older texts) states that no three positive number, positive integers , , and satisfy the equation for any integer value of greater than . The cases and have been known since antiquity to have infinitely many solutions.Singh, pp. 18–20 The proposition was first stated as a theorem by Pierre de Fermat around 1637 in the margin of a copy of ''Arithmetica''. Fermat added that he had a proof that was too large to fit in the margin. Although other statements claimed by Fermat without proof were subsequently proven by others and credited as theorems of Fermat (for example, Fermat's theorem on sums of two squares), Fermat's Last Theorem resisted proof, leading to doubt that Fermat ever had a correct proof. Consequently, the proposition became known as a conjecture rather than a theorem. After 358 years of effort by mathematicians, Wiles's proof of Fermat's Last Theorem, the first success ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Zermelo–Fraenkel Set Theory
In set theory, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes such as Russell's paradox. Today, Zermelo–Fraenkel set theory, with the historically controversial axiom of choice (AC) included, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics. Zermelo–Fraenkel set theory with the axiom of choice included is abbreviated ZFC, where C stands for "choice", and ZF refers to the axioms of Zermelo–Fraenkel set theory with the axiom of choice excluded. Informally, Zermelo–Fraenkel set theory is intended to formalize a single primitive notion, that of a hereditary well-founded set, so that all entities in the universe of discourse are such sets. Thus the axioms of Zermelo–Fraenkel set theory refer only to pure sets and prevent its models fr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grothendieck Universe
In mathematics, a Grothendieck universe is a set ''U'' with the following properties: # If ''x'' is an element of ''U'' and if ''y'' is an element of ''x'', then ''y'' is also an element of ''U''. (''U'' is a transitive set.) # If ''x'' and ''y'' are both elements of ''U'', then \ is an element of ''U''. # If ''x'' is an element of ''U'', then ''P''(''x''), the power set of ''x'', is also an element of ''U''. # If \_ is a family of elements of ''U'', and if is an element of ''U'', then the union \bigcup_ x_\alpha is an element of ''U''. A Grothendieck universe is meant to provide a set in which all of mathematics can be performed. (In fact, uncountable Grothendieck universes provide models of set theory with the natural ∈-relation, natural powerset operation etc.). Elements of a Grothendieck universe are sometimes called small sets. The idea of universes is due to Alexander Grothendieck, who used them as a way of avoiding proper classes in algebraic geometry. Grothendieck’s o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grothendieck Topos
In mathematics, a topos (, ; plural topoi or , or toposes) is a category that behaves like the category of sheaves of sets on a topological space (or more generally, on a site). Topoi behave much like the category of sets and possess a notion of localization. The Grothendieck topoi find applications in algebraic geometry, and more general elementary topoi are used in logic. The mathematical field that studies topoi is called topos theory. Grothendieck topos (topos in geometry) Since the introduction of sheaves into mathematics in the 1940s, a major theme has been to study a space by studying sheaves on a space. This idea was expounded by Alexander Grothendieck by introducing the notion of a "topos". The main utility of this notion is in the abundance of situations in mathematics where topological heuristics are very effective, but an honest topological space is lacking; it is sometimes possible to find a topos formalizing the heuristic. An important example of this programma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
