Castelnuovo–de Franchis Theorem
   HOME
*





Castelnuovo–de Franchis Theorem
In mathematics, the Castelnuovo–de Franchis theorem is a classical result on complex algebraic surfaces. Let ''X'' be such a surface, projective and non-singular, and let :ω1 and ω2 be two differentials of the first kind on ''X'' which are linearly independent but with wedge product 0. Then this data can be represented as a pullback of an algebraic curve: there is a non-singular algebraic curve ''C'', a morphism :φ: ''X'' → ''C'', and differentials of the first kind ω1 and ω2 on ''C'' such that :φ*('1) = ''ω''1 and φ*('2) = ''ω''2. This result is due to Guido Castelnuovo Guido Castelnuovo (14 August 1865 – 27 April 1952) was an Italian mathematician. He is best known for his contributions to the field of algebraic geometry, though his contributions to the study of statistics and probability theory are also signi ... and Michele de Franchis (1875–1946). The converse, that two such pullbacks would have wedge 0, is immediate. See also * de Franchis theorem ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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]  


Algebraic Surface
In mathematics, an algebraic surface is an algebraic variety of dimension two. In the case of geometry over the field of complex numbers, an algebraic surface has complex dimension two (as a complex manifold, when it is non-singular) and so of dimension four as a smooth manifold. The theory of algebraic surfaces is much more complicated than that of algebraic curves (including the compact Riemann surfaces, which are genuine surfaces of (real) dimension two). Many results were obtained, however, in the Italian school of algebraic geometry, and are up to 100 years old. Classification by the Kodaira dimension In the case of dimension one varieties are classified by only the topological genus, but dimension two, the difference between the arithmetic genus p_a and the geometric genus p_g turns to be important because we cannot distinguish birationally only the topological genus. Then we introduce the irregularity for the classification of them. A summary of the results (in det ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Algebraic Curve
In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane curve can be completed in a projective algebraic plane curve by homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation can be restricted to the affine algebraic plane curve of equation . These two operations are each inverse to the other; therefore, the phrase algebraic plane curve is often used without specifying explicitly whether it is the affine or the projective case that is considered. More generally, an algebraic curve is an algebraic variety of dimension one. Equivalently, an algebraic curve is an algebraic variety that is birationally equivalent to an algebraic plane curve. If the curve is contained in an affine space or a projective space, one can take a projection for such a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Differentials Of The First Kind
In mathematics, ''differential of the first kind'' is a traditional term used in the theories of Riemann surfaces (more generally, complex manifolds) and algebraic curves (more generally, algebraic varieties), for everywhere-regular differential 1-forms. Given a complex manifold ''M'', a differential of the first kind ω is therefore the same thing as a 1-form that is everywhere holomorphic; on an algebraic variety ''V'' that is non-singular it would be a global section of the coherent sheaf Ω1 of Kähler differentials. In either case the definition has its origins in the theory of abelian integrals. The dimension of the space of differentials of the first kind, by means of this identification, is the Hodge number :''h''1,0. The differentials of the first kind, when integrated along paths, give rise to integrals that generalise the elliptic integrals to all curves over the complex numbers. They include for example the hyperelliptic integrals of type : \int\frac where ''Q'' ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Wedge Product
A wedge is a triangular shaped tool, and is a portable inclined plane, and one of the six simple machines. It can be used to separate two objects or portions of an object, lift up an object, or hold an object in place. It functions by converting a force applied to its blunt end into forces perpendicular (normal) to its inclined surfaces. The mechanical advantage of a wedge is given by the ratio of the length of its slope to its width..''McGraw-Hill Concise Encyclopedia of Science & Technology'', Third Ed., Sybil P. Parker, ed., McGraw-Hill, Inc., 1992, p. 2041. Although a short wedge with a wide angle may do a job faster, it requires more force than a long wedge with a narrow angle. The force is applied on a flat, broad surface. This energy is transported to the pointy, sharp end of the wedge, hence the force is transported. The wedge simply transports energy in the form of friction and collects it to the pointy end, consequently breaking the item. History Wedges have exi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Pullback
In mathematics, a pullback is either of two different, but related processes: precomposition and fiber-product. Its dual is a pushforward. Precomposition Precomposition with a function probably provides the most elementary notion of pullback: in simple terms, a function f of a variable y, where y itself is a function of another variable x, may be written as a function of x. This is the pullback of f by the function y. f(y(x)) \equiv g(x) It is such a fundamental process that it is often passed over without mention. However, it is not just functions that can be "pulled back" in this sense. Pullbacks can be applied to many other objects such as differential forms and their cohomology classes; see * Pullback (differential geometry) * Pullback (cohomology) Fiber-product The pullback bundle is an example that bridges the notion of a pullback as precomposition, and the notion of a pullback as a Cartesian square. In that example, the base space of a fiber bundle is pulled back, in ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Algebraic Curve
In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane curve can be completed in a projective algebraic plane curve by homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation can be restricted to the affine algebraic plane curve of equation . These two operations are each inverse to the other; therefore, the phrase algebraic plane curve is often used without specifying explicitly whether it is the affine or the projective case that is considered. More generally, an algebraic curve is an algebraic variety of dimension one. Equivalently, an algebraic curve is an algebraic variety that is birationally equivalent to an algebraic plane curve. If the curve is contained in an affine space or a projective space, one can take a projection for such a ...
[...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]  


picture info

Guido Castelnuovo
Guido Castelnuovo (14 August 1865 – 27 April 1952) was an Italian mathematician. He is best known for his contributions to the field of algebraic geometry, though his contributions to the study of statistics and probability theory are also significant. Life Early life Castelnuovo was born in Venice. His father, Enrico Castelnuovo, was a novelist and campaigner for the unification of Italy. His mother Emma Levi was a relative of Cesare Lombroso and David Levi. His wife Elbina Marianna Enriques was the sister of mathematician Federigo Enriques and zoologist Paolo Enriques. After attending a grammar school at in Venice, he went to the University of Padua, from where he graduated in 1886. At the University of Padua he was taught by Giuseppe Veronese. He also achieved minor fame due to winning the university salsa dancing competition. After his graduation, he sent one of his papers to Corrado Segre, whose replies he found remarkably helpful. It marked the beginning of a long p ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


De Franchis Theorem
In mathematics, the de Franchis theorem is one of a number of closely related statements applying to compact Riemann surfaces, or, more generally, algebraic curves, ''X'' and ''Y'', in the case of genus ''g'' > 1. The simplest is that the automorphism group of ''X'' is finite (see though Hurwitz's automorphisms theorem). More generally, *the set of non-constant morphisms from ''X'' to ''Y'' is finite; *fixing ''X'', for all but a finite number of such ''Y'', there is no non-constant morphism from ''X'' to ''Y''. These results are named for (1875–1946). It is sometimes referenced as the De Franchis-Severi theorem. It was used in an important way by Gerd Faltings to prove the Mordell conjecture. See also *Castelnuovo–de Franchis theorem In mathematics, the Castelnuovo–de Franchis theorem is a classical result on complex algebraic surfaces. Let ''X'' be such a surface, projective and non-singular, and let :ω1 and ω2 be two differentials of the first kind on ''X'' whic ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Algebraic Surfaces
In mathematics, an algebraic surface is an algebraic variety of dimension two. In the case of geometry over the field of complex numbers, an algebraic surface has complex dimension two (as a complex manifold, when it is non-singular) and so of dimension four as a smooth manifold. The theory of algebraic surfaces is much more complicated than that of algebraic curves (including the compact Riemann surfaces, which are genuine surfaces of (real) dimension two). Many results were obtained, however, in the Italian school of algebraic geometry, and are up to 100 years old. Classification by the Kodaira dimension In the case of dimension one varieties are classified by only the topological genus, but dimension two, the difference between the arithmetic genus p_a and the geometric genus p_g turns to be important because we cannot distinguish birationally only the topological genus. Then we introduce the irregularity for the classification of them. A summary of the results (in det ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]