Gauss–Manin Connection
In mathematics, the Gauss–Manin connection is a connection on a certain vector bundle over a base space ''S'' of a family of algebraic varieties V_s. The fibers of the vector bundle are the de Rham cohomology groups H^k_(V_s) of the fibers V_s of the family. It was introduced by for curves ''S'' and by in higher dimensions. Flat sections of the bundle are described by differential equations; the best-known of these is the Picard–Fuchs equation, which arises when the family of varieties is taken to be the family of elliptic curves. In intuitive terms, when the family is locally trivial, cohomology classes can be moved from one fiber in the family to nearby fibers, providing the 'flat section' concept in purely topological terms. The existence of the connection is to be inferred from the flat sections. Intuition Consider a smooth morphism of schemes X\to B over characteristic 0. If we consider these spaces as complex analytic spaces, then the Ehresmann fibration theorem te ... [...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]   |
|
Grothendieck–Katz P-curvature Conjecture
In mathematics, the Grothendieck–Katz p-curvature conjecture is a local-global principle for linear ordinary differential equations, related to differential Galois theory and in a loose sense analogous to the result in the Chebotarev density theorem considered as the polynomial case. It is a conjecture of Alexander Grothendieck from the late 1960s, and apparently not published by him in any form. The general case remains unsolved, despite recent progress; it has been linked to geometric investigations involving algebraic foliations. Formulation In a simplest possible statement the conjecture can be stated in its essentials for a vector system written as :dv/dz = A(z)v for a vector ''v'' of size ''n'', and an ''n''×''n'' matrix ''A'' of algebraic functions with algebraic number coefficients. The question is to give a criterion for when there is a ''full set'' of algebraic function solutions, meaning a fundamental matrix (i.e. ''n'' vector solutions put into a block mat ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
American Mathematical Society
The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs. The society is one of the four parts of the Joint Policy Board for Mathematics and a member of the Conference Board of the Mathematical Sciences. History The AMS was founded in 1888 as the New York Mathematical Society, the brainchild of Thomas Fiske, who was impressed by the London Mathematical Society on a visit to England. John Howard Van Amringe was the first president and Fiske became secretary. The society soon decided to publish a journal, but ran into some resistance, due to concerns about competing with the American Journal of Mathematics. The result was the ''Bulletin of the American Mathematical Society'', with Fiske as editor-in-chief. The de facto journal, as intended, was influential in in ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Publications Mathématiques De L'IHÉS
''Publications Mathématiques de l'IHÉS'' is a peer-reviewed mathematical journal. It is published by Springer Science+Business Media on behalf of the Institut des Hautes Études Scientifiques, with the help of the Centre National de la Recherche Scientifique. The journal was established in 1959 and was published at irregular intervals, from one to five volumes a year. It is now biannual. The editor-in-chief is Claire Voisin (Collège de France). See also *''Annals of Mathematics'' *'' Journal of the American Mathematical Society'' *''Inventiones Mathematicae ''Inventiones Mathematicae'' is a mathematical journal published monthly by Springer Science+Business Media. It was established in 1966 and is regarded as one of the most prestigious mathematics journals in the world. The current managing editors ...'' External links * Back issues from 1959 to 2010 Mathematics journals Publications established in 1959 Springer Science+Business Media academic journals Biannual journal ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Meromorphic Connection
In the mathematical field of complex analysis, a meromorphic function on an open subset ''D'' of the complex plane is a function that is holomorphic on all of ''D'' ''except'' for a set of isolated points, which are pole (complex analysis), poles of the function. The term comes from the Greek ''meros'' ( μέρος), meaning "part". Every meromorphic function on ''D'' can be expressed as the ratio between two holomorphic functions (with the denominator not constant 0) defined on ''D'': any pole must coincide with a zero of the denominator. Heuristic description Intuitively, a meromorphic function is a ratio of two well-behaved (holomorphic) functions. Such a function will still be well-behaved, except possibly at the points where the denominator of the fraction is zero. If the denominator has a zero at ''z'' and the numerator does not, then the value of the function will approach infinity; if both parts have a zero at ''z'', then one must compare the multiplicity of these zeros ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mixed Hodge Module
In mathematics, mixed Hodge modules are the culmination of Hodge theory, mixed Hodge structures, intersection cohomology, and the decomposition theorem yielding a coherent framework for discussing variations of degenerating mixed Hodge structures through the six functor formalism. Essentially, these objects are a pair of a filtered D-module (M, F^\bullet) together with a perverse sheaf \mathcal such that the functor from the Riemann–Hilbert correspondence sends (M, F^\bullet) to \mathcal. This makes it possible to construct a Hodge structure on intersection cohomology, one of the key problems when the subject was discovered. This was solved by Morihiko Saito who found a way to use the filtration on a coherent D-module as an analogue of the Hodge filtration for a Hodge structure. This made it possible to give a Hodge structure on an intersection cohomology sheaf, the simple objects in the Abelian category of perverse sheaves. Abstract structure Before going into the nitty gritty ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mirror Symmetry Conjecture
In mathematics, mirror symmetry is a conjectural relationship between certain Calabi–Yau manifolds and a constructed "mirror manifold". The conjecture allows one to relate the number of rational curves on a Calabi-Yau manifold (encoded as Gromov–Witten invariants) to integrals from a family of varieties (encoded as period integrals on a variation of Hodge structures). In short, this means there is a relation between the number of genus g algebraic curves of degree d on a Calabi-Yau variety X and integrals on a dual variety \check. These relations were original discovered by Candelas, de la Ossa, Green, and Parkes in a paper studying a generic quintic threefold in \mathbb^4 as the variety X and a construction from the quintic Dwork family X_\psi giving \check = \tilde_\psi. Shortly after, Sheldon Katz wrote a summary paper outlining part of their construction and conjectures what the rigorous mathematical interpretation could be. Constructing the mirror of a quintic threefo ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Bulletin Of The American Mathematical Society
The ''Bulletin of the American Mathematical Society'' is a quarterly mathematical journal published by the American Mathematical Society. Scope It publishes surveys on contemporary research topics, written at a level accessible to non-experts. It also publishes, by invitation only, book reviews and short ''Mathematical Perspectives'' articles. History It began as the ''Bulletin of the New York Mathematical Society'' and underwent a name change when the society became national. The Bulletin's function has changed over the years; its original function was to serve as a research journal for its members. Indexing The Bulletin is indexed in Mathematical Reviews, Science Citation Index, ISI Alerting Services, CompuMath Citation Index, and Current Contents/Physical, Chemical & Earth Sciences. See also *'' Journal of the American Mathematical Society'' *''Memoirs of the American Mathematical Society'' *''Notices of the American Mathematical Society'' *'' Proceedings of the American M ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
P-curvature
In algebraic geometry, -curvature is an invariant of a connection on a coherent sheaf for schemes of characteristic . It is a construction similar to a usual curvature, but only exists in finite characteristic. Definition Suppose ''X/S'' is a smooth morphism of schemes of finite characteristic , ''E'' a vector bundle on ''X'', and \nabla a connection on ''E''. The -curvature of \nabla is a map \psi: E \to E\otimes \Omega^1_ defined by :\psi(e)(D) = \nabla^p_D(e) - \nabla_(e) for any derivation ''D'' of \mathcal_X over ''S''. Here we use that the ''p''th power of a derivation is still a derivation over schemes of characteristic . By the definition -curvature measures the failure of the map \operatorname_ \to \operatorname(E) to be a homomorphism of restricted Lie algebras, just like the usual curvature in differential geometry measures how far this map is from being a homomorphism of Lie algebras. See also * Grothendieck–Katz p-curvature conjecture *Restricted Lie alge ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Yves André
Yves André (born December 11, 1959) is a French mathematician, specializing in arithmetic geometry. Biography André received his doctorate in 1984 from Pierre and Marie Curie University (Paris VI) with thesis advisor Daniel Bertrand and thesis ''Structure de Hodge, équations différentielles p-adiques, et indépendance algébrique de périodes d'intégrales abéliennes''. He became at CNRS in 1985 a Researcher, in 2000 a Research Director 2nd Class, and in 2009 a Research Director 1st Class (at École Normale Supérieure and Institut de mathématiques de Jussieu – Paris Rive Gauche). Research In 1989, he formulated the one-dimensional-subvariety case of what is now known as the André-Oort conjecture on special subvarieties of Shimura varieties. Only partial results have been proven so far; by André himself and by Jonathan Pila in 2009. In 2016, André used Scholze's method of perfectoid spaces to prove Melvin Hochster's direct summand conjecture that any finite extension ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Transcendental Number Theory
Transcendental number theory is a branch of number theory that investigates transcendental numbers (numbers that are not solutions of any polynomial equation with rational coefficients), in both qualitative and quantitative ways. Transcendence The fundamental theorem of algebra tells us that if we have a non-constant polynomial with rational coefficients (or equivalently, by clearing denominators, with integer coefficients) then that polynomial will have a root in the complex numbers. That is, for any non-constant polynomial P with rational coefficients there will be a complex number \alpha such that P(\alpha)=0. Transcendence theory is concerned with the converse question: given a complex number \alpha, is there a polynomial P with rational coefficients such that P(\alpha)=0? If no such polynomial exists then the number is called transcendental. More generally the theory deals with algebraic independence of numbers. A set of numbers is called algebraically independent ove ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Siegel G-function
In mathematics, the Siegel G-functions are a class of functions in transcendental number theory introduced by C. L. Siegel. They satisfy a linear differential equation with polynomial coefficients, and the coefficients of their power series expansion lie in a fixed algebraic number field and have heights of at most exponential growth. Definition A Siegel G-function is a function given by an infinite power series : f(z)=\sum_^\infty a_n z^n where the coefficients ''an'' all belong to the same algebraic number field, ''K'', and with the following two properties. # ''f'' is the solution to a linear differential equation with coefficients that are polynomials in ''z''; # the projective height of the first ''n'' coefficients is ''O''(''cn'') for some fixed constant ''c'' > 0. The second condition means the coefficients of ''f'' grow no faster than a geometric series. Indeed, the functions can be considered as generalisations of geometric series, whence the name G-func ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |