|
Gysin Sequence
In the field of mathematics known as algebraic topology, the Gysin sequence is a long exact sequence which relates the cohomology classes of the base space, the fiber and the total space of a sphere bundle. The Gysin sequence is a useful tool for calculating the cohomology rings given the Euler class of the sphere bundle and vice versa. It was introduced by , and is generalized by the Serre spectral sequence. Definition Consider a fiber-oriented sphere bundle with total space ''E'', base space ''M'', fiber ''S''''k'' and projection map \pi: S^k \hookrightarrow E \stackrel M. Any such bundle defines a degree ''k'' + 1 cohomology class ''e'' called the Euler class of the bundle. De Rham cohomology Discussion of the sequence is clearest with de Rham cohomology. There cohomology classes are represented by differential forms, so that ''e'' can be represented by a (''k'' + 1)-form. The projection map \pi induces a map in cohomology H^\ast called its pullbac ... [...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 t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Shriek Map
In category theory, a branch of mathematics, certain unusual functors are denoted f_! and f^!, with the exclamation mark used to indicate that they are exceptional in some way. They are thus accordingly sometimes called shriek maps, with " shriek" being slang for an exclamation mark, though other terms are used, depending on context. Usage Shriek notation is used in two senses: * To distinguish a functor from a more usual functor f_* or f^*, accordingly as it is covariant or contravariant. * To indicate a map that goes "the wrong way" – a functor that has the same objects as a more familiar functor, but behaves differently on maps and has the opposite variance. For example, it has a pull-back where one expects a push-forward. Examples In algebraic geometry, these arise in image functors for sheaves, particularly Verdier duality, where f_! is a "less usual" functor. In algebraic topology, these arise particularly in fiber bundles, where they yield maps that have the op ... [...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 international ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wang 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 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 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 cohomology of the cohomology. This was still not t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logarithmic Form
In contexts including complex manifolds and algebraic geometry, a logarithmic differential form is a meromorphic differential form with poles of a certain kind. The concept was introduced by Deligne. Let ''X'' be a complex manifold, ''D'' ⊂ ''X'' a divisor, and ω a holomorphic ''p''-form on ''X''−''D''. If ω and ''d''ω have a pole of order at most one along ''D'', then ω is said to have a logarithmic pole along ''D''. ω is also known as a logarithmic ''p''-form. The logarithmic ''p''-forms make up a subsheaf of the meromorphic ''p''-forms on ''X'' with a pole along ''D'', denoted :\Omega^p_X(\log D). In the theory of Riemann surfaces, one encounters logarithmic one-forms which have the local expression :\omega = \frac =\left(\frac + \frac\right)dz for some meromorphic function (resp. rational function) f(z) = z^mg(z) , where ''g'' is holomorphic and non-vanishing at 0, and ''m'' is the order of ''f'' at ''0''. That is, for some open covering, there are local repr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fundamental Class
In mathematics, the fundamental class is a homology class 'M''associated to a connected orientable compact manifold of dimension ''n'', which corresponds to the generator of the homology group H_n(M,\partial M;\mathbf)\cong\mathbf . The fundamental class can be thought of as the orientation of the top-dimensional simplices of a suitable triangulation of the manifold.In past years mathematics.... Definition Closed, orientable When ''M'' is a connected orientable closed manifold of dimension ''n'', the top homology group is infinite cyclic: H_n(M,\mathbf) \cong \mathbf, and an orientation is a choice of generator, a choice of isomorphism \mathbf \to H_n(M,\mathbf). The generator is called the fundamental class. If ''M'' is disconnected (but still orientable), a fundamental class is the direct sum of the fundamental classes for each connected component (corresponding to an orientation for each component). In relation with de Rham cohomology it represents ''integration over M'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Regular Section
The term regular can mean normal or in accordance with rules. It may refer to: People * Moses Regular (born 1971), America football player Arts, entertainment, and media Music * "Regular" (Badfinger song) * Regular tunings of stringed instruments, tunings with equal intervals between the paired notes of successive open strings Other uses in arts, entertainment, and media * Regular character, a main character who appears more frequently and/or prominently than a recurring character * Regular division of the plane, a series of drawings by the Dutch artist M. C. Escher which began in 1936 * '' Regular Show'', an animated television sitcom * ''The Regular Guys'', a radio morning show Language * Regular inflection, the formation of derived forms such as plurals in ways that are typical for the language ** Regular verb * Regular script, the newest of the Chinese script styles Mathematics There are an extremely large number of unrelated notions of "regularity" in mathematics. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intersection Theory
In mathematics, intersection theory is one of the main branches of algebraic geometry, where it gives information about the intersection of two subvarieties of a given variety. The theory for varieties is older, with roots in Bézout's theorem on curves and elimination theory. On the other hand, the topological theory more quickly reached a definitive form. There is yet an ongoing development of intersection theory. Currently the main focus is on: virtual fundamental cycles, quantum intersection rings, Gromov-Witten theory and the extension of intersection theory from schemes to stacks. Topological intersection form For a connected oriented manifold of dimension the intersection form is defined on the -th cohomology group (what is usually called the 'middle dimension') by the evaluation of the cup product on the fundamental class in . Stated precisely, there is a bilinear form :\lambda_M \colon H^n(M,\partial M) \times H^n(M,\partial M)\to \mathbf given by :\lambda ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intersection Product
In mathematics, intersection theory is one of the main branches of algebraic geometry, where it gives information about the intersection of two subvarieties of a given variety. The theory for varieties is older, with roots in Bézout's theorem on curves and elimination theory. On the other hand, the topological theory more quickly reached a definitive form. There is yet an ongoing development of intersection theory. Currently the main focus is on: virtual fundamental cycles, quantum intersection rings, Gromov-Witten theory and the extension of intersection theory from schemes to stacks. Topological intersection form For a connected oriented manifold of dimension the intersection form is defined on the -th cohomology group (what is usually called the 'middle dimension') by the evaluation of the cup product on the fundamental class in . Stated precisely, there is a bilinear form :\lambda_M \colon H^n(M,\partial M) \times H^n(M,\partial M)\to \mathbf given by :\lambda ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Normal Cone
In algebraic geometry, the normal cone C_XY of a subscheme X of a scheme Y is a scheme analogous to the normal bundle or tubular neighborhood in differential geometry. Definition The normal cone or C_ of an embedding , defined by some sheaf of ideals ''I'' is defined as the relative Spec \operatorname_X \left(\bigoplus_^ I^n / I^\right). When the embedding ''i'' is regular the normal cone is the normal bundle, the vector bundle on ''X'' corresponding to the dual of the sheaf . If ''X'' is a point, then the normal cone and the normal bundle to it are also called the tangent cone and the tangent space (Zariski tangent space) to the point. When ''Y'' = Spec ''R'' is affine, the definition means that the normal cone to ''X'' = Spec ''R''/''I'' is the Spec of the associated graded ring of ''R'' with respect to ''I''. If ''Y'' is the product ''X'' × ''X'' and the embedding ''i'' is the diagonal embedding, then the normal bundle to ''X'' in ''Y'' is the tangent bundle to ''X''. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Specialization Homomorphism
Specialization or Specialized may refer to: Academia * Academic specialization, may be a course of study or major at an academic institution or may refer to the field in which a specialist practices * Specialty (medicine), a branch of medical practice Biology * Cellular differentiation, the process by which a less specialized cell becomes a more specialized cell type * Specialty (medicine), a branch of medical science * Generalist and specialist species, in biology and ecology * Specialization in multicellular organisms Computer science * Partial template specialization, a particular form of class template specialization * Template specialization, a style of computer programming which allows alternative implementations to be provided based on certain characteristics of the parameterized type that is being instantiated Economics and industry * Departmentalization, refers to the process of grouping activities into departments * Division of labour, the specialization ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Regular Embedding
In algebraic geometry, a closed immersion i: X \hookrightarrow Y of schemes is a regular embedding of codimension ''r'' if each point ''x'' in ''X'' has an open affine neighborhood ''U'' in ''Y'' such that the ideal of X \cap U is generated by a regular sequence of length ''r''. A regular embedding of codimension one is precisely an effective Cartier divisor. Examples and usage For example, if ''X'' and ''Y'' are smooth over a scheme ''S'' and if ''i'' is an ''S''-morphism, then ''i'' is a regular embedding. In particular, every section of a smooth morphism is a regular embedding. If \operatornameB is regularly embedded into a regular scheme, then ''B'' is a complete intersection ring. The notion is used, for instance, in an essential way in Fulton's approach to intersection theory. The important fact is that when ''i'' is a regular embedding, if ''I'' is the ideal sheaf of ''X'' in ''Y'', then the normal sheaf, the dual of I/I^2, is locally free (thus a vector bundle) and the n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
