Factbites
 Where results make sense
About us   |   Why use us?   |   Reviews   |   PR   |   Contact us  

Topic: Affine morphism


Related Topics

In the News (Sun 27 May 12)

  
  NationMaster - Encyclopedia: Glossary of scheme theory
In algebraic geometry, a field of mathematics, an étale morphism is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology.
In mathematics, in particular in the theory of schemes in algebraic geometry, a flat morphism f from a scheme X to a scheme Y is a morphism such that the induced map on every stalk is a flat map of rings, i.
A separated morphism is a morphism f such that the fiber product of Y with itself along f has its diagonal as a closed subscheme — in other words, the diagonal map is a closed immersion.
www.nationmaster.com /encyclopedia/Glossary-of-scheme-theory   (2609 words)

  
  Glossary of scheme theory - Wikipedia, the free encyclopedia
An affine morphism is one defined by the global Spec construction for sheaves of O
A morphism f is finite if, locally on X, it is represented by a finitely generated integral extension of commutative rings.
A separated morphism is a morphism f such that the fiber product of Y with itself along f has its diagonal as a closed subscheme — in other words, the diagonal map is a closed immersion.
en.wikipedia.org /wiki/Glossary_of_scheme_theory   (1028 words)

  
 PlanetMath: finite morphism
As a morphism of schemes, we see that every fiber is finite.
Both of these affine morphisms are of finite type, but are not finite.
This is version 6 of finite morphism, born on 2002-07-24, modified 2006-06-08.
www.planetmath.org /encyclopedia/AffineMorphism.html   (195 words)

  
 PlanetMath: Leray spectral sequence for an affine morphism
PlanetMath: Leray spectral sequence for an affine morphism
be an affine morphism of schemes (that is, every point has an affine neighborhood whose preimage is affine).
This is version 2 of Leray spectral sequence for an affine morphism, born on 2004-02-10, modified 2004-02-10.
www.planetmath.org /encyclopedia/LeraySpectralSequenceForAnAffineMorphism.html   (83 words)

  
 Springer Online Reference Works
Other morphisms defined in the same way include affine, projective, proper, finite, étale, non-ramified, finite-type, etc. A property of a morphism is said to be universal if it is preserved under any base change.
In the construction of a concrete scheme one most frequently uses the concepts of an affine or projective spectrum (see Affine morphism; Projective scheme), including the definition of a subscheme by a sheaf of ideals.
Affine morphism; Smooth morphism (of schemes); Quasi-affine scheme; Separable mapping; Etale morphism; Proper morphism.
eom.springer.de /s/s083340.htm   (1114 words)

  
 [No title]
It is important to note, however, that these morphisms have an extra property.
is the same as a morphism of locally ringed spaces.
The proof of injectivity is then similar to the argument we gave in the affine case.
odin.mdacc.tmc.edu /~krc/agathos/schem2.html   (1105 words)

  
 [No title]
Since V is a variety and g, a morphism of algebraic sets, it follows immediately from (1.7) that X, is a constructible set.
The construction is based on the fact that (in the category of algebraic sets) a morphism which is bijective (one-to-one and onto) is not necessarily an isomorphism.
In this case the maps h' are affine maps, so that the notions of abstract observability and algebraic observability coincide (see 1.9).
www.math.rutgers.edu /~sontag/FTP_DIR/polynomialsystems76.txt   (2741 words)

  
 Theory
Dual (category theory) In mathematics, the dual of a category C is the category formed by reversing all the morphisms of...
Kernel (category theory) In morphism f : X → Y is the "most general" morphism k : K → X which, when composed w...
Pullback (category theory) In limit of a diagram consisting of two morphisms f : X → Z and g : Y → Z with a co...
www.brainyencyclopedia.com /topics/theory.html   (6925 words)

  
 [No title]
A morphism P as in definition 1 is called a presentation of X. As far as we are* * aware, this definition of "algebraic" is due to P. Goerss [G ] and is certainly motivated by the equivale* *nce given in subsection 2.3 below.
As P is affine i* *t is in particular quasi-compact, hence fpqc, and thus of effective cohomological descent for quas* *i-coherent modules, [LM-B ],13.5.5,i).
Rec* *all that a geometric point of X0 is a morphism -ff!X0 in Affwhere = Spec(K) is the spectrum of a* *n algebraically in closed field K. The composition -ff!X0 -OE!Vn,!V specifies a p-typical forma* *l group law over K and ht(inOEff) is the height of this formal group law.
hopf.math.purdue.edu /Naumann/comodlandweber.txt   (5917 words)

  
 [No title]
Existance of a morphism Y-1__+y-2 forces equality of responses; the following is a partial converse to this fact.
Since Q is affine, Q(Xrig(w), u) = Q(Xrig(wi),v) for all affine combinations of reachable states, i.e., for all states.
The original system is span-reachable iff the second one is. The advantage of this normalization is that since.~=O is now always in the affine span of the reachable set, this span is a subspace and span-reachability means X=subspace generated by g(U*).
www.math.rutgers.edu /~sontag/FTP_DIR/state-affine-realiz.txt   (8139 words)

  
 [No title]
A morphism P as in definition 1 is called a presentation of X. As far as we are* * aware, this definition of "algebraic" is due to P. Goerss [G ] and is certainly motivated by the equivale* *nce given in subsection 2.3 below.
As P is affine i* *t is in particular quasi-compact, hence fpqc, and thus of effective cohomological descent for quas* *i-coherent modules, [LM-B ],13.5.5,i).
Rec* *all that a geometric point of X0 is a morphism -ff!X0 in Affwhere = Spec(K) is the spectrum of a* *n algebraically in closed field K. The composition -ff!X0 -OE!Vn,!V specifies a p-typical forma* *l group law over K and ht(inOEff) is the height of this formal group law.
www.math.purdue.edu /research/atopology/Naumann/comodlandweber.txt   (5917 words)

  
 Topics in Geometry 2
Varieties (affine, projective, quasi-affine and quasi-projective) were defined as in the book.
Morphisms were defined as continuous maps that transform regular functions into regular functions.
Let p be a prime number not equal to 2, k a field of characteristic p, and a an element of k that is not a pth power.
www.math.leidenuniv.nl /~edix/meetk2006/tig2.html   (909 words)

  
 [No title]
This is the definition used in~\cite{6}; it agrees with the definition in~\cite{11} if we identify those asymptotic morphisms $\phi '$, $\phi ''$ which are {\em asymptotically equivalent,\/} in the sense that $\phi '_{t}(a)-\phi ''_{t}(a)\to 0$ as $t\to \infty $ (we shall write $\phi '_{t}(a)\sim \phi _{t}''(a)$).
Two asymptotic morphisms from $A$ to $B$ are {\em homotopic\/} if there is an asymptotic morphism from $A$ to $B[0,1]$ (the $C^{*}$-algebra of continuous functions mapping the unit interval into $B$) from which the two may be recovered by evaluation at $0$ and $1$.
If $V_{a}\subset V$ is a finite-dimensional affine subspace then the {\em Dirac operator\/} $D_{a}$, an unbounded operator on $\mathscr{H}$ with domain $\mathfrak{s}$, is defined by \begin{equation*}D_{a} \xi = \sum _{i=1}^{n} (-1)^{\deg (\xi)} {\frac{\partial \xi }{\partial x_{i}}}v_{i},\end{equation*} where $\{v_{1}, \dots,v_{n}\}$ is an orthonormal basis for $V_{a}^{0}$, and $\{x_{1},\dots, x_{n}\}$ are the dual coordinates to $\{v_{1},\dots, v_{n}\}$.
www.math.psu.edu /era-mirror/1997-01-022/1997-01-022.tex.html   (3435 words)

  
 4 The geometry of D-stacks
A 1-geometric D-stack is a quotient of a disjoint union of representable D-stacks by the action of a smooth affine groupoid.
F from a representable D-stack is a representable morphism.
is induced by a strongly smooth morphism of cdga's.
www.mimuw.edu.pl /~jacho/test/HagWord/HagV3se4.html   (2397 words)

  
 Glossary
An algebraic map or regular map or morphism of quasiprojective varieties is a map of whose graph is closed.
The functor X → A(X) is an antiequivalence of the full subcategory of affine varieties and the category of affine domains over k (finitely generated k-algebras which are integral domains).
In particular, a morphism of affine varieties X → Y is an isomorphism if and only if the induced homomorphism A(Y) → A(X) is an isomorphism of algebras.
www.math.purdue.edu /~dvb/algeom2.html   (786 words)

  
 Algebraic Varieties (ResearchIndex)
Affine space and projective space De nition 1.1.
The ane n-space denoted by A n is the coordinate space k n together with the set of polynomial functions k[X 1 ; : : : ; X n ].
0.5: The Topological Entropy of Iterated Piecewise Affine Maps is..
citeseer.ist.psu.edu /nielsen00algebraic.html   (292 words)

  
 [No title]
The uniqueness implies that the morphisms $z' \to z$ and $z\to z'$ are mutually inverse, in other words isomorphisms.
For every morphism $\phi : x \to x'$ in $\mathcal{S}_U$ there is a unique morphism $f^\ast \phi : f^\ast x \to f^\ast x'$ in $\mathcal{S}_V$ @@ -930,6 +944,62 @@ isomorphic to $G(z)$ in $\mathcal{S}'$.
For any morphism of stacks $F : \mathcal{X} +\to \mathcal{Y}$ there is a unique morphism of schemes $f : X \to Y$ +such that the diagram +$$ +\xymatrix{ +\mathcal{X} \ar[r]^F \ar[d]_j & \mathcal{Y} \ar[d]^j \\ +\text{Aff}/X \ar[r]^f & \text{Aff}/Y} +$$ +2-commutes and then the diagram actually commutes.
math.columbia.edu /algebraic_geometry/stacks-0.2/src/patches/15.patch   (4061 words)

  
 Proceedings of the American Mathematical Society
morphism of a commutative, associative algebra up to homotopy) between
morphism of a Lie algebra up to homotopy), in particular the one constructed by Kontsevich, can be deformed into a
G. Hochschild, B. Kostant and A. Rosenberg, Differential forms on regular affine algebras, Transactions AMS 102 (1962), 383-408.
www.ams.org /proc/2006-134-03/S0002-9939-05-08126-8/home.html   (355 words)

  
 [No title]
A brief foray to EGA IV_1.1 1.1 Quasicompact morphisms 1.2 Quasiseparated morphisms 1.3 Morphisms locally of finite type 1.4 Morphisms locally of finite presentation 1.5 Morphisms of finite type 1.6 Morphisms of finite presentation, 1.7 Bettering earlier results (i.e.
EGA IV_1.1 1.8 Morphisms of finite presentation and constructible sets 1.9 Pro-constructible and ind-constructible sets if time: 1.10 Application to open morphisms EGA II.
3.7 Morphisms from a prescheme to a Spec.
math.stanford.edu /~vakil/egasummary   (629 words)

  
 Réunion d'hiver 2000 de la SMC
Y is a morphism of varieties, over an algebraically closed field.
Affine rulings of weighted projective planes and actions of (C,+) on C
Given a family of complex affine planes, we show that it is trivial over a Zariski open subset of the base.
camel.math.ca /Events/winter00/abs/ag-f.html   (2248 words)

  
 18.726 Virtual Office Hours
Q: Is any open affine subscheme of an affine scheme Spec A of the form Spec A_f for some f in A? A: Not in general.
For X = Spec A affine, this follows because as above, the generic point must correspond to the nilradical of A. For X general, a generic point must lie in any open affine subset, so again we may argue by passing to a single affine.
But that's not enough; one can have a noetherian scheme (even an affine one) in which each descending chain of closed subspaces has finite length, but there is no uniform bound on the lengths of these chains.
www-math.mit.edu /~kedlaya/18.726/virtual.html   (2717 words)

  
 Citations: Linear Programming Duality and Homomorphisms - Hochstattler, Nesetril (ResearchIndex)
Menger's Theorem as Morphism Duality - Hochstättler, Nesetril (1996)
The purpose of this note is to point out that using matroids and strong affine maps, here called strong port maps,....
Since in matroid theory the circuits containing a certain element are usually called the port of the matroid, we changed the name accordingly.
citeseer.ist.psu.edu /context/793916/0   (430 words)

  
 Catalogue of Algebraic Systems.
Groupoid Homepage These groupoids are small categories where all morphism are isomorphisms and are not to be confused with the other groupoids which are sets with a single binary operation.
The puzzle displays the affine group on the 4-space over GF(2) as generated by row/column/quadrant permutations of a 4x4 array.
This is a collection of Mathematica packages that enable one to work with concepts from abstract algebra (including groups, rings, fields, and morphisms).
www.math.usf.edu /~eclark/algctlg   (669 words)

  
 Varieties and Schemes for Dummies, Part III | The String Coffee Table
Instead of using affine space, we can use a projective space, something that only locally looks like an affine space.
In a sense, projective varieties are like a first tiny step from affine varieties to schemes, since every projective variety can be covered by affine varieties.
together with the sheaf of regular homogeneous functions which is defined as for affine spectra, but with homogeneous ideals used everywhere.
golem.ph.utexas.edu /string/archives/000852.html   (1616 words)

  
 Morphisms   (Site not responding. Last check: 2007-10-01)
When we defined affine schemes as functors on the category of Finite rings we were a bit vague on what exactly morphisms were.
S be any injective morphism with S finitely generated as an R-algebra.
S be a morphism of finitely generated rings that induces a bijection between co-finite ideals as above.
www.imsc.res.in /~kapil/geometry/caag/morphisms.html   (1683 words)

  
 Affine Schemes
Affine algebraic geometry could be described as the study of solution of a finite system of polynomial equations in a (finite) number of variables.
A morphism from the system to another system should be a way of transforming the solutions of one set of equations into solutions of the other set of equations.
A special class of morphisms of affine schemes where “image” is better behaved is given by f : R
www.imsc.res.in /~kapil/geometry/caag/affine.html   (2126 words)

  
 Reduced Modules
Currently the available operations are limited, but these will be expanded in the future (including reduced modules over affine algebras).
A generic free module M is created by giving a multivariate polynomial ring R and a degree n.
A set or sequence of submodules of M. A morphism is stored from the resulting submodule S into M, such that S.i is mapped to the i-th generator given in the above list.
www.math.lsu.edu /magma/text1145.htm   (1307 words)

  
 Algebraic Groups Research Seminar   (Site not responding. Last check: 2007-10-01)
We show that normal affine G-varieties that possess an open orbit isomorphic to G are completely determined by an associated set of one-parameter subgroups of G and that such sets are "strongly convex rational polyhedral cones" in a sense generalizing the definition in toric geometry.
Abstract: We show that an affine embedding X of an algebraic group G is determined by the set of one-parameter subgroups of G which have a limit in X.
Thus the classification of affine embeddings reduces to the problem of understanding and then classifying such subsets of one-parameter subgroups.
www.math.uiuc.edu /~dcmurphy/seminars/groups.html   (1398 words)

  
 Citebase - Monomials of q and q,t-characters for non simply-laced quantum affinizations   (Site not responding. Last check: 2007-10-01)
Nakajima introduced the morphism of q,t-characters for finite dimensional representation of simply-laced quantum affine algebras : it is a t-deformation of the Frenkel-Reshetikhin's morphism of q-characters (sum of monomials in infinite variables).
In math.QA/0212257 we generalized the construction of q,t-characters for non simply-laced quantum affine algebras.
First in this paper we prove a conjecture of math.QA/0212257 : the monomials of q and q,t-characters of standard representations are the same in non simply-laced cases (the simply-laced cases were treated by Nakajima) and the coefficients are non negative.
citebase.eprints.org /cgi-bin/citations?id=oai:arXiv.org:math/0404187   (254 words)

Try your search on: Qwika (all wikis)

Factbites
  About us   |   Why use us?   |   Reviews   |   Press   |   Contact us  
Copyright © 2005-2007 www.factbites.com Usage implies agreement with terms.