|
Fulton–Hansen Connectedness Theorem
In mathematics, the Fulton–Hansen connectedness theorem is a result from intersection theory in algebraic geometry, for the case of subvarieties of projective space with codimension large enough to make the intersection have components of dimension at least 1. It is named after William Fulton and Johan Hansen, who proved it in 1979. The formal statement is that if ''V'' and ''W'' are irreducible algebraic subvarieties of a projective space ''P'', all over an algebraically closed field, and if : \dim(V) + \dim (W) > \dim (P) in terms of the dimension of an algebraic variety, then the intersection ''U'' of ''V'' and ''W'' is connected. More generally, the theorem states that if Z is a projective variety and f\colon Z \to P^n \times P^n is any morphism such that \dim f(Z) > n, then f^\Delta is connected, where \Delta is the diagonal In geometry, a diagonal is a line segment joining two vertices of a polygon or polyhedron, when those vertices are not on the same edge. In ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...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 M of dimension 2n the intersection form is defined on the n-th cohomology group (what is usually called the 'middle dimension') by the evaluation of the cup product on the fundamental class /math> in H_(M,\partial M). Stated precisely, there is a bilinear form :\lambda_M \colon H^n(M,\partial M) \times H^n(M,\partial M)\ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Geometry
Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; the modern approach generalizes this in a few different aspects. The fundamental objects of study in algebraic geometry are algebraic variety, algebraic varieties, which are geometric manifestations of solution set, solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are line (geometry), lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscate of Bernoulli, lemniscates and Cassini ovals. These are plane algebraic curves. A point of the plane lies on an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of points of special interest like singular point of a curve, singular p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subvariety (algebraic Geometry)
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 determi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Space
In mathematics, the concept of a projective space originated from the visual effect of perspective, where parallel lines seem to meet ''at infinity''. A projective space may thus be viewed as the extension of a Euclidean space, or, more generally, an affine space with points at infinity, in such a way that there is one point at infinity of each direction of parallel lines. This definition of a projective space has the disadvantage of not being isotropic, having two different sorts of points, which must be considered separately in proofs. Therefore, other definitions are generally preferred. There are two classes of definitions. In synthetic geometry, ''point'' and ''line'' are primitive entities that are related by the incidence relation "a point is on a line" or "a line passes through a point", which is subject to the axioms of projective geometry. For some such set of axioms, the projective spaces that are defined have been shown to be equivalent to those resulting from the f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Codimension
In mathematics, codimension is a basic geometric idea that applies to subspaces in vector spaces, to submanifolds in manifolds, and suitable subsets of algebraic varieties. For affine and projective algebraic varieties, the codimension equals the height of the defining ideal. For this reason, the height of an ideal is often called its codimension. The dual concept is relative dimension. Definition Codimension is a ''relative'' concept: it is only defined for one object ''inside'' another. There is no “codimension of a vector space (in isolation)”, only the codimension of a vector ''sub''space. If ''W'' is a linear subspace of a finite-dimensional vector space ''V'', then the codimension of ''W'' in ''V'' is the difference between the dimensions: :\operatorname(W) = \dim(V) - \dim(W). It is the complement of the dimension of ''W,'' in that, with the dimension of ''W,'' it adds up to the dimension of the ambient space ''V:'' :\dim(W) + \operatorname(W) = \dim(V). Simi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
William Fulton (mathematician)
William Edgar Fulton (born August 29, 1939) is an American mathematician, specializing in algebraic geometry. Education and career He received his undergraduate degree from Brown University in 1961 and his doctorate from Princeton University in 1966. His Ph.D. thesis, written under the supervision of Gerard Washnitzer, was on ''The fundamental group of an algebraic curve''. Fulton worked at Princeton and Brandeis University from 1965 until 1970, when he began teaching at Brown. In 1987 he moved to the University of Chicago.Announcement of the 1996 Steele Prizes at the American Mathematical Societ ...
[...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraically Closed Field
In mathematics, a field is algebraically closed if every non-constant polynomial in (the univariate polynomial ring with coefficients in ) has a root in . In other words, a field is algebraically closed if the fundamental theorem of algebra holds for it. Every field K is contained in an algebraically closed field C, and the roots in C of the polynomials with coefficients in K form an algebraically closed field called an algebraic closure of K. Given two algebraic closures of K there are isomorphisms between them that fix the elements of K. Algebraically closed fields appear in the following chain of class inclusions: Examples As an example, the field of real numbers is not algebraically closed, because the polynomial equation x^2+1=0 has no solution in real numbers, even though all its coefficients (1 and 0) are real. The same argument proves that no subfield of the real field is algebraically closed; in particular, the field of rational numbers is not algebraically cl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dimension Of An Algebraic Variety
In mathematics and specifically in algebraic geometry, the dimension of an algebraic variety may be defined in various equivalent ways. Some of these definitions are of geometric nature, while some other are purely algebraic and rely on commutative algebra. Some are restricted to algebraic varieties while others apply also to any algebraic set. Some are intrinsic, as independent of any embedding of the variety into an affine or projective space, while other are related to such an embedding. Dimension of an affine algebraic set Let be a field, and be an algebraically closed extension. An affine algebraic set is the set of the common zeros in of the elements of an ideal in a polynomial ring R=K _1, \ldots, x_n Let A=R/I be the ''K''-algebra of the polynomial functions over . The dimension of is any of the following integers. It does not change if is enlarged, if is replaced by another algebraically closed extension of and if is replaced by another ideal having ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Connected Space
In topology and related branches of mathematics, a connected space is a topological space that cannot be represented as the union (set theory), union of two or more disjoint set, disjoint Empty set, non-empty open (topology), open subsets. Connectedness is one of the principal topological properties that distinguish topological spaces. A subset of a topological space X is a if it is a connected space when viewed as a Subspace topology, subspace of X. Some related but stronger conditions are #Path connectedness, path connected, Simply connected space, simply connected, and N-connected space, n-connected. Another related notion is Locally connected space, locally connected, which neither implies nor follows from connectedness. Formal definition A topological space X is said to be if it is the union of two disjoint non-empty open sets. Otherwise, X is said to be connected. A subset of a topological space is said to be connected if it is connected under its subspace topology. So ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Diagonal
In geometry, a diagonal is a line segment joining two vertices of a polygon or polyhedron, when those vertices are not on the same edge. Informally, any sloping line is called diagonal. The word ''diagonal'' derives from the ancient Greek διαγώνιος ''diagonios'', "from corner to corner" (from διά- ''dia-'', "through", "across" and γωνία ''gonia'', "corner", related to ''gony'' "knee"); it was used by both Strabo and Euclid to refer to a line connecting two vertices of a rhombus or cuboid, and later adopted into Latin as ''diagonus'' ("slanting line"). Polygons As applied to a polygon, a diagonal is a line segment joining any two non-consecutive vertices. Therefore, a quadrilateral has two diagonals, joining opposite pairs of vertices. For any convex polygon, all the diagonals are inside the polygon, but for re-entrant polygons, some diagonals are outside of the polygon. Any ''n''-sided polygon (''n'' ≥ 3), convex or concave, has \tfrac ''total'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Zariski's Connectedness Theorem
In algebraic geometry, Zariski's connectedness theorem (due to Oscar Zariski) says that under certain conditions the fibers of a morphism of varieties are connected. It is an extension of Zariski's main theorem to the case when the morphism of varieties need not be birational. Zariski's connectedness theorem gives a rigorous version of the "principle of degeneration" introduced by Federigo Enriques, which says roughly that a limit of absolutely irreducible cycles is absolutely connected. Statement Suppose that ''f'' is a proper surjective morphism of varieties from ''X'' to ''Y'' such that the function field of ''Y'' is separably closed In mathematics, particularly abstract algebra, an algebraic closure of a field ''K'' is an algebraic extension of ''K'' that is algebraically closed. It is one of many closures in mathematics. Using Zorn's lemmaMcCarthy (1991) p.21Kaplansky (1 ... in that of ''X''. Then Zariski's connectedness theorem says that the inverse image of any norma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
