|
Motivic Cohomology
Motivic cohomology is an invariant of algebraic varieties and of more general schemes. It is a type of cohomology related to motives and includes the Chow ring of algebraic cycles as a special case. Some of the deepest problems in algebraic geometry and number theory are attempts to understand motivic cohomology. Motivic homology and cohomology Let ''X'' be a scheme of finite type over a field ''k''. A key goal of algebraic geometry is to compute the Chow groups of ''X'', because they give strong information about all subvarieties of ''X''. The Chow groups of ''X'' have some of the formal properties of Borel–Moore homology in topology, but some things are missing. For example, for a closed subscheme ''Z'' of ''X'', there is an exact sequence of Chow groups, the localization sequence :CH_i(Z) \rightarrow CH_i(X) \rightarrow CH_i(X-Z) \rightarrow 0, whereas in topology this would be part of a long exact sequence. This problem was resolved by generalizing Chow groups to a bigrad ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Variety
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition. Conventions regarding the definition of an algebraic variety differ slightly. For example, some definitions require an algebraic variety to be irreducible, which means that it is not the union of two smaller sets that are closed in the Zariski topology. Under this definition, non-irreducible algebraic varieties are called algebraic sets. Other conventions do not require irreducibility. The fundamental theorem of algebra establishes a link between algebra and geometry by showing that a monic polynomial (an algebraic object) in one variable with complex number coefficients is determined ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spectral Sequence
In homological algebra and algebraic topology, a spectral sequence is a means of computing homology groups by taking successive approximations. Spectral sequences are a generalization of exact sequences, and since their introduction by , they have become important computational tools, particularly in algebraic topology, algebraic geometry and homological algebra. Discovery and motivation Motivated by problems in algebraic topology, Jean Leray introduced the notion of a sheaf (mathematics), sheaf and found himself faced with the problem of computing sheaf cohomology. To compute sheaf cohomology, Leray introduced a computational technique now known as the Leray spectral sequence. This gave a relation between cohomology groups of a sheaf and cohomology groups of the direct image of a sheaf, pushforward of the sheaf. The relation involved an infinite process. Leray found that the cohomology groups of the pushforward formed a natural chain complex, so that he could take the cohomolo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Andrei Suslin
Andrei Suslin (russian: Андре́й Алекса́ндрович Су́слин, sometimes transliterated Souslin) was a Russian mathematician who contributed to algebraic K-theory and its connections with algebraic geometry. He was a Trustee Chair and Professor of mathematics at Northwestern University. He was born on 27 December 1950 in St. Petersburg, Russia. As a youth, he was an "all Leningrad" gymnast. He received his PhD from Leningrad University in 1974; his thesis was titled ''Projective modules over polynomial rings''. In 1976 he and Daniel Quillen independently proved Serre's conjecture about the triviality of algebraic vector bundles on affine space. In 1982 he and Alexander Merkurjev proved the Merkurjev–Suslin theorem on the norm residue homomorphism in Milnor K2-theory, with applications to the Brauer group. Suslin was an invited speaker at the International Congress of Mathematicians in 1978 and 1994, and he gave a plenary invited address at the Congre ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eric Friedlander
Eric Mark Friedlander (born January 7, 1944 in Santurce, Puerto Rico) is an American mathematician who is working in algebraic topology, algebraic geometry, algebraic K-theory and representation theory. Friedlander graduated from Swarthmore College with bachelor's degree in 1965 and in 1970 received a Ph.D. from the Massachusetts Institute of Technology, under the supervision of Michael Artin, (''Fibrations in Étale Homotopy Theory''). He was a postdoctoral instructor at Princeton University: a lecturer in 1971 and assistant professor in 1972. From 1973 to 1974, he was, through the US exchange program, at France, in particular at the Institut des Hautes Études Scientifiques. In 1975, he became an associate professor and in 1980 a professor at Northwestern University, where he was a chairman of the mathematics department from 1987 to 1990 and from 1999 to 2003. In 1999, he became Henry S. Noyes Professor of mathematics. As of 2008, he is Dean's Professor at the University of So ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stephen Lichtenbaum
Stephen Lichtenbaum (1939 in Brooklyn) is an American mathematician who is working in the fields of algebraic geometry, algebraic number theory and algebraic K-theory. Lichtenbaum was an undergraduate at Harvard University (bachelor's degree "summa cum laude" in 1960), where he also obtained his Ph.D. in 1964 (Curves over discrete valuation rings, American Journal of Mathematics Bd.90, 1968, S.380-405). After that, he was a lecturer at the Princeton University, in 1960 he was assistant professor at Cornell University, where he became associate professor in 1969 and professor in 1973. From 1979 to 1982 he was a member of the Faculty Board. Since 1990 he is professor at Brown University, where he was Chairman from 1994 to 1997. He was also a visiting scientist at Institute for Advanced Study (1973, 1984), University of Paris (VI, XI, VII, XIII), IHES (1974, 1977, 1982 / 83, 1987/88, 1997), MSRI (1987), Isaac Newton Institute (1998, 2002). Since 2003, he has been an associate profe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Universal Coefficient Theorem
In algebraic topology, universal coefficient theorems establish relationships between homology groups (or cohomology groups) with different coefficients. For instance, for every topological space , its ''integral homology groups'': : completely determine its ''homology groups with coefficients in'' , for any abelian group : : Here might be the simplicial homology, or more generally the singular homology: the result itself is a pure piece of homological algebra about chain complexes of free abelian groups. The form of the result is that other coefficients may be used, at the cost of using a Tor functor. For example it is common to take to be , so that coefficients are modulo 2. This becomes straightforward in the absence of 2-torsion in the homology. Quite generally, the result indicates the relationship that holds between the Betti numbers of and the Betti numbers with coefficients in a field . These can differ, but only when the characteristic of is a prime number fo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Regular Function
In algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular function. A regular map whose inverse is also regular is called biregular, and they are isomorphisms in the category of algebraic varieties. Because regular and biregular are very restrictive conditions – there are no non-constant regular functions on projective varieties – the weaker condition of a rational map and birational maps are frequently used as well. Definition If ''X'' and ''Y'' are closed subvarieties of \mathbb^n and \mathbb^m (so they are affine varieties), then a regular map f\colon X\to Y is the restriction of a polynomial map \mathbb^n\to \mathbb^m. Explicitly, it has the form: :f = (f_1, \dots, f_m) where the f_is are in the coordinate ring of ''X'': :k = k _1, \dots, x_nI, where ''I'' is the ideal defining ''X'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Multiplicative Group
In mathematics and group theory, the term multiplicative group refers to one of the following concepts: *the group under multiplication of the invertible elements of a field, ring, or other structure for which one of its operations is referred to as multiplication. In the case of a field ''F'', the group is , where 0 refers to the zero element of ''F'' and the binary operation • is the field multiplication, *the algebraic torus GL(1).. Examples *The multiplicative group of integers modulo ''n'' is the group under multiplication of the invertible elements of \mathbb/n\mathbb. When ''n'' is not prime, there are elements other than zero that are not invertible. * The multiplicative group of positive real numbers \mathbb^+ is an abelian group with 1 its identity element. The logarithm is a group isomorphism of this group to the additive group of real numbers, \mathbb. * The multiplicative group of a field F is the set of all nonzero elements: F^\times = F -\, under the multiplic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Derived Category
In mathematics, the derived category ''D''(''A'') of an abelian category ''A'' is a construction of homological algebra introduced to refine and in a certain sense to simplify the theory of derived functors defined on ''A''. The construction proceeds on the basis that the objects of ''D''(''A'') should be chain complexes in ''A'', with two such chain complexes considered isomorphic when there is a chain map that induces an isomorphism on the level of homology of the chain complexes. Derived functors can then be defined for chain complexes, refining the concept of hypercohomology. The definitions lead to a significant simplification of formulas otherwise described (not completely faithfully) by complicated spectral sequences. The development of the derived category, by Alexander Grothendieck and his student Jean-Louis Verdier shortly after 1960, now appears as one terminal point in the explosive development of homological algebra in the 1950s, a decade in which it had made remarkab ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nisnevich Topology
In algebraic geometry, the Nisnevich topology, sometimes called the completely decomposed topology, is a Grothendieck topology on the category of schemes which has been used in algebraic K-theory, A¹ homotopy theory, and the theory of motives. It was originally introduced by Yevsey Nisnevich, who was motivated by the theory of adeles. Definition A morphism of schemes f:Y \to X is called a Nisnevich morphism if it is an étale morphism such that for every (possibly non-closed) point ''x'' ∈ ''X'', there exists a point ''y'' ∈ ''Y'' in the fiber such that the induced map of residue fields ''k''(''x'') → ''k''(''y'') is an isomorphism. Equivalently, ''f'' must be flat, unramified, locally of finite presentation, and for every point ''x'' ∈ ''X'', there must exist a point ''y'' in the fiber such that ''k''(''x'') → ''k''(''y'') is an isomorphism. A family of morphisms is a Nisnevich cover if each morphism in the family is étale and for every (possibly non-closed) po ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sheaf (mathematics)
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] |
