Proper convex function: Difference between revisions
en>BD2412 m →Properties: minor fixes, mostly disambig links, replaced: halfspace → halfspace using AWB |
en>Bugmenot10 improved the example for the sum of proper convex functions |
||
Line 1: | Line 1: | ||
{{More footnotes|date=April 2009}} | |||
In [[mathematics]], '''algebraic geometry and analytic geometry''' are two closely related subjects. While [[algebraic geometry]] studies [[algebraic variety|algebraic varieties]], analytic geometry deals with [[complex manifold]]s and the more general [[analytic space]]s defined locally by the vanishing of [[analytic function]]s of [[several complex variables]]. The deep relation between these subjects has numerous applications in which algebraic techniques are applied to analytic spaces and analytic techniques to algebraic varieties. | |||
== Background == | |||
Algebraic varieties are locally defined as the common zero sets of polynomials and since polynomials over the complex numbers are [[holomorphic function]]s, algebraic varieties over '''C''' can be interpreted as analytic spaces. Similarly, regular morphisms between varieties are interpreted as holomorphic mappings between analytic spaces. Somewhat surprisingly, it is often possible to go the other way, to interpret analytic objects in an algebraic way. | |||
For example, it is easy to prove that the analytic functions from the [[Riemann sphere]] to itself are either | |||
the rational functions or the identically infinity function (an extension of [[Liouville's theorem (complex analysis)|Liouville's theorem]]). For if such a function ''f'' is nonconstant, then since the set of ''z'' where ''f(z)'' is infinity is isolated and the Riemann sphere is compact, there are finitely many ''z'' with ''f(z)'' equal to infinity. Consider the [[Laurent expansion]] at all such ''z'' and subtract off the singular part: we are left with a function on the Riemann sphere with values in '''C''', which by [[Liouville's theorem (complex analysis)|Liouville's theorem]] is constant. Thus ''f'' is a rational function. This fact shows there is no essential difference between the [[complex projective line]] as an algebraic variety, or as the [[Riemann sphere]]. | |||
== Important results == | |||
There is a long history of comparison results between algebraic geometry and analytic geometry, beginning in the nineteenth century and still continuing today. Some of the more important advances are listed here in chronological order. | |||
=== Riemann's existence theorem === | |||
[[Riemann surface]] theory shows that a [[compact space|compact]] Riemann surface has enough [[meromorphic function]]s on it, making it an [[algebraic curve]]. Under the name '''Riemann's existence theorem''' a deeper result on ramified coverings of a compact Riemann surface was known: such ''finite'' coverings as [[topological space]]s are classified by [[permutation representation]]s of the [[fundamental group]] of the complement of the [[ramification|ramification point]]s. Since the Riemann surface property is local, such coverings are quite easily seen to be coverings in the complex-analytic sense. It is then possible to conclude that they come from covering maps of algebraic curves — that is, such coverings all come from [[finite extension]]s of the [[function field of an algebraic variety|function field]]. | |||
=== The Lefschetz principle === | |||
In the twentieth century, the '''Lefschetz principle''', named for [[Solomon Lefschetz]], was cited in algebraic geometry to justify the use of topological techniques for algebraic geometry over any [[algebraically closed field]] ''K'' of [[characteristic (algebra)|characteristic]] 0, by treating ''K'' as if it were the complex number field. It roughly asserts that true statements in algebraic geometry over '''C''' are true over any algebraically closed field ''K'' of characteristic zero. A precise principle and its proof are due to [[Alfred Tarski]] and are based in [[mathematical logic]].<ref>For discussions see A. Seidenberg, ''Comments on Lefschetz's Principle'', The American Mathematical Monthly, Vol. 65, No. 9 (Nov., 1958), pp. 685–690; 'Gerhard Frey and Hans-Georg Rück, ''The strong Lefschetz principle in algebraic geometry'', Manuscripta Mathematica, Volume 55, Numbers 3–4, September, 1986, pp. 385–401.</ref><ref>{{Springer|id=T/t110050|title=Transfer principle}}</ref> | |||
This principle permits the carrying over of results obtained using analytic or topological methods for algebraic varieties over '''C''' to other algebraically closed ground fields of characteristic 0. | |||
=== Chow's theorem === | |||
'''Chow's theorem''', proved by [[W. L. Chow]], is an example of the most immediately useful kind of comparison available. It states that an analytic subspace of complex [[projective space]] that is closed (in the ordinary topological sense) is an algebraic subvariety. This can be rephrased concisely as "any analytic subspace of complex projective space which is closed in the [[strong topology]] is closed in the [[Zariski topology]]." This allows quite a free use of complex-analytic methods within the classical parts of algebraic geometry. | |||
=== GAGA === | |||
Foundations for the many relations between the two theories were put in place during the early part of the 1950s, as part of the business of laying the foundations of algebraic geometry to include, for example, techniques from [[Hodge theory]]. The major paper consolidating the theory was ''Géometrie Algébrique et Géométrie Analytique'' {{harvtxt|Serre|1956}} by [[Jean-Pierre Serre|Serre]], now usually referred to as '''GAGA'''. It proves general results that relate classes of algebraic varieties, regular morphisms and [[Sheaf (mathematics)|sheaves]] with classes of analytic spaces, holomorphic mappings and sheaves. It reduces all of these to the comparison of categories of sheaves. | |||
Nowadays the phrase ''GAGA-style result'' is used for any theorem of comparison, allowing passage between a category of objects from algebraic geometry, and their morphisms, to a well-defined subcategory of analytic geometry objects and holomorphic mappings. | |||
=== Formal statement of GAGA === | |||
{{technical|section|reason= see talk page|date=March 2013}} | |||
# Let <math> (X,\mathcal O_X) </math> be a scheme of finite type over '''C'''. Then there is a topological space ''X''<sup>an</sup> which as a set consists of the closed points of ''X'' with a continuous inclusion map λ<sub>X</sub>: ''X''<sup>an</sup> → ''X''. The topology on ''X''<sup>an</sup> is called the "complex topology" (and is very different from the subspace topology). | |||
# Suppose φ: ''X'' → ''Y'' is a morphism of schemes of locally finite type over '''C'''. Then there exists a continuous map φ<sup>an</sup>: ''X''<sup>an</sup> → ''Y''<sup>an</sup> such λ<sub>''Y''</sub> ° φ<sup>an</sup> = φ ° λ<sub>X</sub>. | |||
# There is a sheaf <math> \mathcal O_X^\mathrm{an} </math> on ''X''<sup>an</sup> such that <math> (X^\mathrm{an}, \mathcal O_X^\mathrm{an}) </math> is a ringed space and λ<sub>X</sub>: ''X''<sup>an</sup> → ''X'' becomes a map of ringed spaces. The space <math> (X^\mathrm{an}, \mathcal O_X^\mathrm{an}) </math> is called the "analytification" of <math> (X,\mathcal O_X) </math> and is an analytic space. For every φ: ''X'' → ''Y'' the map φ<sup>an</sup> defined above is a mapping of analytic spaces. Furthermore, the map φ ↦ φ<sup>an</sup> maps open immersions into open immersions. If ''X'' = ''Spec''('''C'''[''x''<sub>1</sub>,...,''x''<sub>n</sub>]) then ''X''<sup>an</sup> = '''C'''<sup>''n''</sup> and <math> \mathcal O_X^\mathrm{an}(U) </math> for every polydisc ''U'' is a suitable quotient of the space of holomorphic functions on ''U''. | |||
# For every sheaf <math> \mathcal F </math> on ''X'' (called algebraic sheaf) there is a sheaf <math> \mathcal F^\mathrm{an} </math> on ''X''<sup>an</sup> (called analytic sheaf) and a map of sheaves of <math> \mathcal O_X </math>-modules <math> \lambda_X^*: \mathcal F\rightarrow (\lambda_X)_* \mathcal F^\mathrm{an} </math>. The sheaf <math> \mathcal F^\mathrm{an} </math> is defined as <math> \lambda_X^{-1} \mathcal F \otimes_{\lambda_X^{-1} \mathcal O_X} \mathcal O_X^\mathrm{an} </math>. The correspondence <math> \mathcal F \mapsto \mathcal F^\mathrm{an} </math> defines an exact functor from the category of sheaves over <math> (X, \mathcal O_X) </math> to the category of sheaves of <math> (X^\mathrm{an}, \mathcal O_X^\mathrm{an}) </math>.<br>The following two statements are the heart of Serre's GAGA theorem (as extended by Grothendieck, Neeman et al.) | |||
# If ''f'': ''X'' → ''Y'' is an arbitrary morphism of schemes of finite type over '''C''' and <math> \mathcal F </math> is coherent then the natural map <math> (f_* \mathcal F)^\mathrm{an}\rightarrow f_*^\mathrm{an} \mathcal F^\mathrm{an} </math> is injective. If ''f'' is proper then this map is an isomorphism. One also has isomorphisms of all higher direct image sheaves <math> (R^i f_* \mathcal F)^\mathrm{an} \cong R^i f_*^\mathrm{an} \mathcal F^\mathrm{an} </math> in this case. | |||
# Now assume that ''X''<sup>an</sup> is hausdorff and compact. If <math> \mathcal F, \mathcal G </math> are two coherent algebraic sheaves on <math> (X, \mathcal O_X) </math> and if <math> f: \mathcal F^\mathrm{an} \rightarrow \mathcal G^\mathrm{an} </math> is a map of sheaves of <math> \mathcal O_X^\mathrm{an} </math>-modules then there exists a unique map of sheaves of <math> \mathcal O_X </math>-modules <math> \varphi: \mathcal F\rightarrow \mathcal G </math> with ''f'' = φ<sup>an</sup>. If <math> \mathcal R </math> is a coherent analytic sheaf of <math> \mathcal O_X^\mathrm{an} </math>-modules over ''X''<sup>an</sup> then there exists a coherent algebraic sheaf <math> \mathcal F </math> of <math> \mathcal O_X </math>-modules and an isomorphism <math> \mathcal F^\mathrm{an} \cong \mathcal R </math>. | |||
In slightly lesser generality, the GAGA theorem assert that the category of coherent algebraic sheaves on a complex projective variety ''X'' and the category of coherent analytic sheaves on the corresponding analytic space ''X''<sup>an</sup> are equivalent. The analytic space ''X''<sup>an</sup> is obtained roughly by pulling back to ''X'' the complex structure from '''C'''<sup>n</sup> through the coordinate charts. Indeed, phrasing the theorem in this manner is closer to the spirit of Serre's paper, seeing how the full scheme-theoretic language the above formal statemement makes heavy use of had not yet been worked out when GAGA was published. | |||
==Notes== | |||
{{Reflist}} | |||
==References== | |||
* {{Citation | last1=Serre | first1=Jean-Pierre | author1-link=Jean-Pierre Serre | title=Géométrie algébrique et géométrie analytique | url=http://www.numdam.org/numdam-bin/item?id=AIF_1956__6__1_0 | mr=0082175 | year=1956 | journal=[[Annales de l'Institut Fourier|Université de Grenoble. Annales de l'Institut Fourier]] | issn=0373-0956 | volume=6 | pages=1–42 | doi=10.5802/aif.59}} | |||
[[Category:Algebraic geometry| ]] | |||
[[Category:Analytic geometry| ]] |
Revision as of 16:16, 27 January 2014
Template:More footnotes In mathematics, algebraic geometry and analytic geometry are two closely related subjects. While algebraic geometry studies algebraic varieties, analytic geometry deals with complex manifolds and the more general analytic spaces defined locally by the vanishing of analytic functions of several complex variables. The deep relation between these subjects has numerous applications in which algebraic techniques are applied to analytic spaces and analytic techniques to algebraic varieties.
Background
Algebraic varieties are locally defined as the common zero sets of polynomials and since polynomials over the complex numbers are holomorphic functions, algebraic varieties over C can be interpreted as analytic spaces. Similarly, regular morphisms between varieties are interpreted as holomorphic mappings between analytic spaces. Somewhat surprisingly, it is often possible to go the other way, to interpret analytic objects in an algebraic way.
For example, it is easy to prove that the analytic functions from the Riemann sphere to itself are either the rational functions or the identically infinity function (an extension of Liouville's theorem). For if such a function f is nonconstant, then since the set of z where f(z) is infinity is isolated and the Riemann sphere is compact, there are finitely many z with f(z) equal to infinity. Consider the Laurent expansion at all such z and subtract off the singular part: we are left with a function on the Riemann sphere with values in C, which by Liouville's theorem is constant. Thus f is a rational function. This fact shows there is no essential difference between the complex projective line as an algebraic variety, or as the Riemann sphere.
Important results
There is a long history of comparison results between algebraic geometry and analytic geometry, beginning in the nineteenth century and still continuing today. Some of the more important advances are listed here in chronological order.
Riemann's existence theorem
Riemann surface theory shows that a compact Riemann surface has enough meromorphic functions on it, making it an algebraic curve. Under the name Riemann's existence theorem a deeper result on ramified coverings of a compact Riemann surface was known: such finite coverings as topological spaces are classified by permutation representations of the fundamental group of the complement of the ramification points. Since the Riemann surface property is local, such coverings are quite easily seen to be coverings in the complex-analytic sense. It is then possible to conclude that they come from covering maps of algebraic curves — that is, such coverings all come from finite extensions of the function field.
The Lefschetz principle
In the twentieth century, the Lefschetz principle, named for Solomon Lefschetz, was cited in algebraic geometry to justify the use of topological techniques for algebraic geometry over any algebraically closed field K of characteristic 0, by treating K as if it were the complex number field. It roughly asserts that true statements in algebraic geometry over C are true over any algebraically closed field K of characteristic zero. A precise principle and its proof are due to Alfred Tarski and are based in mathematical logic.[1][2]
This principle permits the carrying over of results obtained using analytic or topological methods for algebraic varieties over C to other algebraically closed ground fields of characteristic 0.
Chow's theorem
Chow's theorem, proved by W. L. Chow, is an example of the most immediately useful kind of comparison available. It states that an analytic subspace of complex projective space that is closed (in the ordinary topological sense) is an algebraic subvariety. This can be rephrased concisely as "any analytic subspace of complex projective space which is closed in the strong topology is closed in the Zariski topology." This allows quite a free use of complex-analytic methods within the classical parts of algebraic geometry.
GAGA
Foundations for the many relations between the two theories were put in place during the early part of the 1950s, as part of the business of laying the foundations of algebraic geometry to include, for example, techniques from Hodge theory. The major paper consolidating the theory was Géometrie Algébrique et Géométrie Analytique Template:Harvtxt by Serre, now usually referred to as GAGA. It proves general results that relate classes of algebraic varieties, regular morphisms and sheaves with classes of analytic spaces, holomorphic mappings and sheaves. It reduces all of these to the comparison of categories of sheaves.
Nowadays the phrase GAGA-style result is used for any theorem of comparison, allowing passage between a category of objects from algebraic geometry, and their morphisms, to a well-defined subcategory of analytic geometry objects and holomorphic mappings.
Formal statement of GAGA
My name is Winnie and I am studying Anthropology and Sociology and Modern Languages and Classics at Rillieux-La-Pape / France.
Also visit my web site ... hostgator1centcoupon.info
- Let be a scheme of finite type over C. Then there is a topological space Xan which as a set consists of the closed points of X with a continuous inclusion map λX: Xan → X. The topology on Xan is called the "complex topology" (and is very different from the subspace topology).
- Suppose φ: X → Y is a morphism of schemes of locally finite type over C. Then there exists a continuous map φan: Xan → Yan such λY ° φan = φ ° λX.
- There is a sheaf on Xan such that is a ringed space and λX: Xan → X becomes a map of ringed spaces. The space is called the "analytification" of and is an analytic space. For every φ: X → Y the map φan defined above is a mapping of analytic spaces. Furthermore, the map φ ↦ φan maps open immersions into open immersions. If X = Spec(C[x1,...,xn]) then Xan = Cn and for every polydisc U is a suitable quotient of the space of holomorphic functions on U.
- For every sheaf on X (called algebraic sheaf) there is a sheaf on Xan (called analytic sheaf) and a map of sheaves of -modules . The sheaf is defined as . The correspondence defines an exact functor from the category of sheaves over to the category of sheaves of .
The following two statements are the heart of Serre's GAGA theorem (as extended by Grothendieck, Neeman et al.) - If f: X → Y is an arbitrary morphism of schemes of finite type over C and is coherent then the natural map is injective. If f is proper then this map is an isomorphism. One also has isomorphisms of all higher direct image sheaves in this case.
- Now assume that Xan is hausdorff and compact. If are two coherent algebraic sheaves on and if is a map of sheaves of -modules then there exists a unique map of sheaves of -modules with f = φan. If is a coherent analytic sheaf of -modules over Xan then there exists a coherent algebraic sheaf of -modules and an isomorphism .
In slightly lesser generality, the GAGA theorem assert that the category of coherent algebraic sheaves on a complex projective variety X and the category of coherent analytic sheaves on the corresponding analytic space Xan are equivalent. The analytic space Xan is obtained roughly by pulling back to X the complex structure from Cn through the coordinate charts. Indeed, phrasing the theorem in this manner is closer to the spirit of Serre's paper, seeing how the full scheme-theoretic language the above formal statemement makes heavy use of had not yet been worked out when GAGA was published.
Notes
43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.
References
- Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.
Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.
In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.
Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region
Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.
15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.
To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010
- ↑ For discussions see A. Seidenberg, Comments on Lefschetz's Principle, The American Mathematical Monthly, Vol. 65, No. 9 (Nov., 1958), pp. 685–690; 'Gerhard Frey and Hans-Georg Rück, The strong Lefschetz principle in algebraic geometry, Manuscripta Mathematica, Volume 55, Numbers 3–4, September, 1986, pp. 385–401.
- ↑ Other Sports Official Kull from Drumheller, has hobbies such as telescopes, property developers in singapore and crocheting. Identified some interesting places having spent 4 months at Saloum Delta.
my web-site http://himerka.com/