|
Analytic Space
An analytic space is a generalization of an analytic manifold that allows singularities. An analytic space is a space that is locally the same as an analytic variety. They are prominent in the study of several complex variables, but they also appear in other contexts. Definition Fix a field ''k'' with a valuation. Assume that the field is complete and not discrete with respect to this valuation. For example, this includes R and C with respect to their usual absolute values, as well as fields of Puiseux series with respect to their natural valuations. Let ''U'' be an open subset of ''k''''n'', and let ''f''1, ..., ''f''''k'' be a collection of analytic functions on ''U''. Denote by ''Z'' the common vanishing locus of ''f''1, ..., ''f''''k'', that is, let ''Z'' = . ''Z'' is an analytic variety. Suppose that the structure sheaf of ''U'' is \mathcal_U. Then ''Z'' has a structure sheaf \mathcal_Z = \mathcal_U / \mathcal_Z, where \mathcal_Z is the ideal generated by ''f''1, . ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Analytic Manifold
In mathematics, an analytic manifold, also known as a C^\omega manifold, is a differentiable manifold with analytic transition maps. The term usually refers to real analytic manifolds, although complex manifolds are also analytic. In algebraic geometry, analytic spaces are a generalization of analytic manifolds such that singularities are permitted. For U \subseteq \R^n, the space of analytic functions, C^(U), consists of infinitely differentiable functions f:U \to \R , such that the Taylor series T_f(\mathbf) = \sum_\frac (\mathbf-\mathbf)^\alpha converges to f(\mathbf) in a neighborhood of \mathbf, for all \mathbf \in U. The requirement that the transition maps be analytic is significantly more restrictive than that they be infinitely differentiable; the analytic manifolds are a proper subset of the smooth, i.e. C^\infty, manifolds. There are many similarities between the theory of analytic and smooth manifolds, but a critical difference is that analytic manifolds do not admi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tangent Space
In mathematics, the tangent space of a manifold generalizes to higher dimensions the notion of '' tangent planes'' to surfaces in three dimensions and ''tangent lines'' to curves in two dimensions. In the context of physics the tangent space to a manifold at a point can be viewed as the space of possible velocities for a particle moving on the manifold. Informal description In differential geometry, one can attach to every point x of a differentiable manifold a ''tangent space''—a real vector space that intuitively contains the possible directions in which one can tangentially pass through x . The elements of the tangent space at x are called the ''tangent vectors'' at x . This is a generalization of the notion of a vector, based at a given initial point, in a Euclidean space. The dimension of the tangent space at every point of a connected manifold is the same as that of the manifold itself. For example, if the given manifold is a 2 -sphere, then one can picture the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Analytic Variety
In mathematics, and in particular differential geometry and complex geometry, a complex analytic variety Complex analytic variety (or just variety) is sometimes required to be irreducible and (or) reduced or complex analytic space is a generalization of a complex manifold which allows the presence of singularities. Complex analytic varieties are locally ringed spaces which are locally isomorphic to local model spaces, where a local model space is an open subset of the vanishing locus of a finite set of holomorphic functions. Definition Denote the constant sheaf on a topological space with value \mathbb by \underline. A \mathbb-space is a locally ringed space (X, \mathcal_X), whose structure sheaf is an algebra over \underline. Choose an open subset U of some complex affine space \mathbb^n, and fix finitely many holomorphic functions f_1,\dots,f_k in U. Let X=V(f_1,\dots,f_k) be the common vanishing locus of these holomorphic functions, that is, X=\. Define a sheaf of ri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Point-set Topology
In mathematics, general topology is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology. Another name for general topology is point-set topology. The fundamental concepts in point-set topology are ''continuity'', ''compactness'', and ''connectedness'': * Continuous functions, intuitively, take nearby points to nearby points. * Compact sets are those that can be covered by finitely many sets of arbitrarily small size. * Connected sets are sets that cannot be divided into two pieces that are far apart. The terms 'nearby', 'arbitrarily small', and 'far apart' can all be made precise by using the concept of open sets. If we change the definition of 'open set', we change what continuous functions, compact sets, and connected sets are. Each choice of definition for 'open set' is called a '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subanalytic Set
In mathematics, particularly in the subfield of real analytic geometry, a subanalytic set is a set of points (for example in Euclidean space) defined in a way broader than for semianalytic sets (roughly speaking, those satisfying conditions requiring certain real power series to be positive there). Subanalytic sets still have a reasonable local description in terms of submanifolds. Formal definitions A subset ''V'' of a given Euclidean space ''E'' is semianalytic if each point has a neighbourhood ''U'' in ''E'' such that the intersection of ''V'' and ''U'' lies in the Boolean algebra of sets generated by subsets defined by inequalities ''f'' > 0, where f is a real analytic function. There is no Tarski–Seidenberg theorem for semianalytic sets, and projections of semianalytic sets are in general not semianalytic. A subset ''V'' of ''E'' is a subanalytic set if for each point there exists a relatively compact semianalytic set ''X'' in a Euclidean space ''F'' of dimension at least ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Oka Coherence Theorem
In mathematics, the Oka coherence theorem, proved by , states that the sheaf \mathcal := \mathcal_ of germs of holomorphic functions on \mathbb^n over a complex manifold is coherent.In paper it was called the idéal de domaines indéterminés. See also * Cartan's theorems A and B * Several complex variables * GAGA * Oka–Weil theorem * Weierstrass preparation theorem In mathematics, the Weierstrass preparation theorem is a tool for dealing with analytic functions of several complex variables, at a given point ''P''. It states that such a function is, up to multiplication by a function not zero at ''P'', a p ... Note References * * * * * Theorems in complex analysis Theorems in complex geometry {{mathanalysis-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coherent Sheaf
In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information. Coherent sheaves can be seen as a generalization of vector bundles. Unlike vector bundles, they form an abelian category, and so they are closed under operations such as taking kernels, images, and cokernels. The quasi-coherent sheaves are a generalization of coherent sheaves and include the locally free sheaves of infinite rank. Coherent sheaf cohomology is a powerful technique, in particular for studying the sections of a given coherent sheaf. Definitions A quasi-coherent sheaf on a ringed space (X, \mathcal O_X) is a sheaf \mathcal F of \mathcal O_X-modules which has a local presentation, that is, every point in X has an open neighborhood U in which there is an ex ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Embedding Dimension
This is a glossary of commutative algebra. See also list of algebraic geometry topics, glossary of classical algebraic geometry, glossary of algebraic geometry, glossary of ring theory and glossary of module theory. In this article, all rings are assumed to be commutative with identity 1. !$@ A B C D E F G H . I ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spectrum Of A Ring
In commutative algebra, the prime spectrum (or simply the spectrum) of a ring ''R'' is the set of all prime ideals of ''R'', and is usually denoted by \operatorname; in algebraic geometry it is simultaneously a topological space equipped with the sheaf of rings \mathcal. Zariski topology For any ideal ''I'' of ''R'', define V_I to be the set of prime ideals containing ''I''. We can put a topology on \operatorname(R) by defining the collection of closed sets to be :\. This topology is called the Zariski topology. A basis for the Zariski topology can be constructed as follows. For ''f'' ∈ ''R'', define ''D''''f'' to be the set of prime ideals of ''R'' not containing ''f''. Then each ''D''''f'' is an open subset of \operatorname(R), and \ is a basis for the Zariski topology. \operatorname(R) is a compact space, but almost never Hausdorff: in fact, the maximal ideals in ''R'' are precisely the closed points in this topology. By the same reasoning, it is not, in general, a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Singularity (mathematics)
In mathematics, a singularity is a point at which a given mathematical object is not defined, or a point where the mathematical object ceases to be well-behaved in some particular way, such as by lacking differentiability or analyticity. For example, the real function : f(x) = \frac has a singularity at x = 0, where the numerical value of the function approaches \pm\infty so the function is not defined. The absolute value function g(x) = , x, also has a singularity at x = 0, since it is not differentiable there. The algebraic curve defined by \left\ in the (x, y) coordinate system has a singularity (called a cusp) at (0, 0). For singularities in algebraic geometry, see singular point of an algebraic variety. For singularities in differential geometry, see singularity theory. Real analysis In real analysis, singularities are either discontinuities, or discontinuities of the derivative (sometimes also discontinuities of higher order derivatives). There are four kinds of discon ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Scheme (mathematics)
In mathematics, a scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities (the equations ''x'' = 0 and ''x''2 = 0 define the same algebraic variety but different schemes) and allowing "varieties" defined over any commutative ring (for example, Fermat curves are defined over the integers). Scheme theory was introduced by Alexander Grothendieck in 1960 in his treatise "Éléments de géométrie algébrique"; one of its aims was developing the formalism needed to solve deep problems of algebraic geometry, such as the Weil conjectures (the last of which was proved by Pierre Deligne). Strongly based on commutative algebra, scheme theory allows a systematic use of methods of topology and homological algebra. Scheme theory also unifies algebraic geometry with much of number theory, which eventually led to Wiles's proof of Fermat's Last Theorem. Formally, a scheme is a topological space together with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sheaf (mathematics)
In mathematics, a sheaf is a tool for systematically tracking data (such as sets, abelian groups, rings) attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could be the ring of continuous functions defined on that open set. Such data is well behaved in that it can be restricted to smaller open sets, and also the data assigned to an open set is equivalent to all collections of compatible data assigned to collections of smaller open sets covering the original open set (intuitively, every piece of data is the sum of its parts). The field of mathematics that studies sheaves is called sheaf theory. Sheaves are understood conceptually as general and abstract objects. Their correct definition is rather technical. They are specifically defined as sheaves of sets or as sheaves of rings, for example, depending on the type of data assigned to the open sets. There are also maps (or morphisms) from one ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
