|
Vanishing Cycle
In mathematics, vanishing cycles are studied in singularity theory and other parts of algebraic geometry. They are those homology cycles of a smooth fiber in a family which vanish in the singular fiber. For example, in a map from a connected complex surface to the complex projective line, a generic fiber is a smooth Riemann surface of some fixed genus g and, generically, there will be isolated points in the target whose preimages are nodal curves. If one considers an isolated critical value and a small loop around it, in each fiber, one can find a smooth loop such that the singular fiber can be obtained by pinching that loop to a point. The loop in the smooth fibers gives an element of the first homology group of a surface, and the monodromy of the critical value is defined to be the monodromy of the first homology of the fibers as the loop is traversed, i.e. an invertible map of the first homology of a (real) surface of genus g. A classical result is the Picard–Lefschetz form ... [...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] |
Weil Conjectures
In mathematics, the Weil conjectures were highly influential proposals by . They led to a successful multi-decade program to prove them, in which many leading researchers developed the framework of modern algebraic geometry and number theory. The conjectures concern the generating functions (known as local zeta functions) derived from counting points on algebraic varieties over finite fields. A variety over a finite field with elements has a finite number of rational points (with coordinates in the original field), as well as points with coordinates in any finite extension of the original field. The generating function has coefficients derived from the numbers of points over the extension field with elements. Weil conjectured that such ''zeta functions'' for smooth varieties are rational functions, satisfy a certain functional equation, and have their zeros in restricted places. The last two parts were consciously modelled on the Riemann zeta function, a kind of generating f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, o ... [...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] |
Thom–Sebastiani Theorem
In complex analysis, a branch of mathematics, the Thom–Sebastiani Theorem states: given the germ f : (\mathbb^, 0) \to (\mathbb, 0) defined as f(z_1, z_2) = f_1(z_1) + f_2(z_2) where f_i are germs of holomorphic functions with isolated singularities, the vanishing cycle complex of f is isomorphic to the tensor product of those of f_1, f_2. Moreover, the isomorphism respects the monodromy operators in the sense: T_ \otimes T_ = T_f. The theorem was introduced by Thom and Sebastiani in 1971. Observing that the analog fails in positive characteristic In mathematics, the characteristic of a ring , often denoted , is defined to be the smallest number of times one must use the ring's multiplicative identity (1) in a sum to get the additive identity (0). If this sum never reaches the additive id ..., Deligne suggested that, in positive characteristic, a tensor product should be replaced by a (certain) local convolution product. References * Theorems in complex analysis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
D-module
In mathematics, a ''D''-module is a module (mathematics), module over a ring (mathematics), ring ''D'' of differential operators. The major interest of such ''D''-modules is as an approach to the theory of linear partial differential equations. Since around 1970, ''D''-module theory has been built up, mainly as a response to the ideas of Mikio Sato on algebraic analysis, and expanding on the work of Sato and Joseph Bernstein on the Bernstein–Sato polynomial. Early major results were the Kashiwara constructibility theorem and Kashiwara index theorem of Masaki Kashiwara. The methods of ''D''-module theory have always been drawn from sheaf theory and other techniques with inspiration from the work of Alexander Grothendieck in algebraic geometry. The approach is global in character, and differs from the functional analysis techniques traditionally used to study differential operators. The strongest results are obtained for over-determined systems (holonomic systems), and on the charac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Distinguished Triangle
In mathematics, a triangulated category is a category with the additional structure of a "translation functor" and a class of "exact triangles". Prominent examples are the derived category of an abelian category, as well as the stable homotopy category. The exact triangles generalize the short exact sequences in an abelian category, as well as fiber sequences and cofiber sequences in topology. Much of homological algebra is clarified and extended by the language of triangulated categories, an important example being the theory of sheaf cohomology. In the 1960s, a typical use of triangulated categories was to extend properties of sheaves on a space ''X'' to complexes of sheaves, viewed as objects of the derived category of sheaves on ''X''. More recently, triangulated categories have become objects of interest in their own right. Many equivalences between triangulated categories of different origins have been proved or conjectured. For example, the homological mirror symmetry co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Higher Direct Image
In mathematics, the direct image functor is a construction in sheaf theory that generalizes the global sections functor to the relative case. It is of fundamental importance in topology and algebraic geometry. Given a sheaf ''F'' defined on a topological space ''X'' and a continuous map ''f'': ''X'' → ''Y'', we can define a new sheaf ''f''∗''F'' on ''Y'', called the direct image sheaf or the pushforward sheaf of ''F'' along ''f'', such that the global sections of ''f''∗''F'' is given by the global sections of ''F''. This assignment gives rise to a functor ''f''∗ from the category of sheaves on ''X'' to the category of sheaves on ''Y'', which is known as the direct image functor. Similar constructions exist in many other algebraic and geometric contexts, including that of quasi-coherent sheaves and étale sheaves on a scheme. Definition Let ''f'': ''X'' → ''Y'' be a continuous map of topological spaces, and let Sh(–) denote the category of sheaves of abelian groups on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Derived Categories
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] |
L-adic Cohomology
In mathematics, the -adic number system for any prime number extends the ordinary arithmetic of the rational numbers in a different way from the extension of the rational number system to the real and complex number systems. The extension is achieved by an alternative interpretation of the concept of "closeness" or absolute value. In particular, two -adic numbers are considered to be close when their difference is divisible by a high power of : the higher the power, the closer they are. This property enables -adic numbers to encode congruence information in a way that turns out to have powerful applications in number theory – including, for example, in the famous proof of Fermat's Last Theorem by Andrew Wiles. These numbers were first described by Kurt Hensel in 1897, though, with hindsight, some of Ernst Kummer's earlier work can be interpreted as implicitly using -adic numbers.Translator's introductionpage 35 "Indeed, with hindsight it becomes apparent that a discret ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Singularity Theory
In mathematics, singularity theory studies spaces that are almost manifolds, but not quite. A string can serve as an example of a one-dimensional manifold, if one neglects its thickness. A singularity can be made by balling it up, dropping it on the floor, and flattening it. In some places the flat string will cross itself in an approximate "X" shape. The points on the floor where it does this are one kind of singularity, the double point: one bit of the floor corresponds to more than one bit of string. Perhaps the string will also touch itself without crossing, like an underlined "U". This is another kind of singularity. Unlike the double point, it is not ''stable'', in the sense that a small push will lift the bottom of the "U" away from the "underline". Vladimir Arnold defines the main goal of singularity theory as describing how objects depend on parameters, particularly in cases where the properties undergo sudden change under a small variation of the parameters. These ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
