PostBQP - Revision history

en>Rjwilmsi: /* Basic properties */Added 1 doi to a journal cite using AWB (10222)

2014-06-08T13:24:35Z

Basic properties: Added 1 doi to a journal cite using AWB (10222)

← Older revision		Revision as of 15:24, 8 June 2014
Line 1:		Line 1:
	~~In [[mathematics]], a '''holomorphic vector bundle'''~~ is ~~a [[complex vector bundle]] over a [[complex manifold]] ''X'' such~~ that ~~the total space~~ '~~'E'' is a complex manifold~~ and ~~the [~~[~~projection map]] <math>\pi~~:~~E\to X<~~/~~math> is [[holomorphic]]~~. ~~Fundamental examples are the holomorphic tangent bundle of a complex manifold, and its dual, the holomorphic cotangent bundle~~. ~~A '''holomorphic line bundle''' is a rank one holomorphic vector bundle.~~		Oscar is what my std home std testing at home test wife enjoys to contact me and I totally dig that name. California is where I've always been residing and [http://www.huffingtonpost.ca/colette-kenney/dating-with-herpes_b_1609226.html I adore] every working day living right here. To gather cash is a factor that I'm totally addicted to. Hiring has been [http://www.gaysphere.net/user/KJGI at home std test] my [http://www.Stdtestinghialeah.com/free-std-testing-hialeah occupation] for some time but I've already utilized for an additional 1.<br><br>My website std [http://nuvem.tk/altergalactica/MarissaepDonnt home std test] test ([http://www.xn--80aeerfhjjg1bv8c.xn--p1ai/%D0%A1%D0%BE%D0%B4%D0%B5%D1%80%D0%B6%D0%B0%D0%BD%D0%B8%D0%B5/cures-yeast-infection-tips-use-now simply click the up coming site])

	~~==Definition through trivialization==~~

	~~Specifically, one requires that the trivialization maps~~
	~~:<math>\phi_U\colon \pi^{~~-~~1}(U) \to U\times\mathbb C^k<~~/~~math>~~
	~~are [[biholomorphic map]~~]s. ~~This~~ is ~~equivalent to requiring that the [[transition map\|transition function]]s~~
	~~:<math>t_{UV}\colon U\cap V \to \mathrm{GL}_k\mathbb C</math>~~
	~~are holomorphic maps. The holomorphic structure on the tangent bundle of~~ a ~~complex manifold is guaranteed by the remark~~ that ~~the derivative (in the appropriate sense) of a vector-valued holomorphic function is itself holomorphic.~~

	~~==The sheaf of holomorphic sections==~~

	~~Let~~ '~~'E'' be a holomorphic vector bundle~~. ~~A ''local section'' <math>s~~ : ~~U \to E_{\|U}<~~/~~math> is said to be '''holomorphic''' if '''everywhere''' on ''U'', it is holomorphic in ''some'' (equivalently ''any'') trivialization.~~

	~~This condition is ''local'', so that holomorphic sections form a [[Sheaf (mathematics)\|sheaf]] on ''X'', sometimes denoted <math>\mathcal O(E)<~~/~~math>~~. ~~If ''E'' is the trivial line bundle <math>\underline{\mathbb C}</math>, then this sheaf coincides with the [[structure sheaf]] <math>\mathcal O_X</math> of the complex manifold X~~.

	~~==The sheaves of forms with values in a holomorphic vector bundle==~~

	~~If <math>\mathcal E_X^{p,q}<~~/~~math> denotes the sheaf of <math>\mathcal C^\infty<~~/~~math> differential forms of type ''(p,q)'', then the sheaf <math>\mathcal E^{p,q}(E)<~~/~~math> of type ''(p,q)'' forms with values in ''E'' can be defined as the [[tensor product]] <math>\mathcal E_X^{p,q}\otimes E<~~/~~math>~~. ~~These sheaves are [[fine sheaf\|fine]], which means that it has [[partition of unity\|partitions of the unity]]~~.

	~~A fundamental distinction between smooth and holomorphic vector bundles is that in the latter, there is a canonical differential operator : the '''[[Dolbeault operator]~~]'~~'' <math>\overline \partial : \mathcal E^{p,q}(E) \to \mathcal E^{p,q+~~1~~}(E)~~ <~~/math~~> ~~obtained in trivializations.~~

	~~==Cohomology of holomorphic vector bundles==~~

	If <~~math~~>E</~~math> is a holomorphic vector bundle of rank <math>r<~~/~~math> over <math>X<~~/~~math>, one denotes <math>\mathcal O(E)<~~/~~math> the [[sheaf~~ (~~mathematics)\|sheaf]] of holomorphic sections of <math>E</math>. Recall that it is a~~ [~~[locally free sheaf]] of rank <math>r<~~/~~math> over the [[structure sheaf]] <math>\mathcal O_X<~~/~~math> of its base~~.

	~~The cohomology of the vector bundle is then defined as the [[sheaf cohomology]] of <math>\mathcal O(E)</math>~~.

	~~We have <math>H^0(X, \mathcal O(E)) = \Gamma (X, \mathcal O(E))<~~/~~math>, the space of global holomorphic sections of ''E'', whereas <math>H^1(X, \mathcal O(E))<~~/math> parametrizes the group of extensions of the trivial line bundle of ''X'' by ''E'', that is [[exact sequences]] of holomorphic vector bundles <math>0 \to E \to F \to X \times \mathbb C \to 0</math>. For the ~~group structure, see also [[Baer sum~~]].

	~~==The Picard group==~~

	In the context of complex differential geometry, the Picard group Pic(''X'') of the complex manifold ''X'' is the group of isomorphism classes of holomorphic line bundles with law the tensor product and inversion given by dualization.

	It can be equivalently defined as the first cohomology group <math>H^1(X, \mathcal O_X^*)~~</math> of the bundle of non-locally zero holomorphic functions.~~

	~~==References==~~
	*{{Springer\|id=v/v096400\|title=Vector bundle, analytic}}

	~~[[Category:Vector bundles]]~~
	~~[[Category:Complex manifolds]]~~

en>David Eppstein: a little more context

2014-01-28T07:37:02Z

a little more context

← Older revision		Revision as of 09:37, 28 January 2014
Line 1:		Line 1:
	~~I am Oscar~~ and ~~I completely dig~~ that ~~name~~. ~~South Dakota~~ is ~~where I've usually been residing~~. The ~~thing she adores most~~ is ~~physique building and now she~~ is ~~trying~~ to ~~make money~~ with it. ~~Managing people has been his working day job for~~ a ~~whilst~~.<br><br>~~Check out my web site~~ [~~http:~~//~~www~~.~~articlecube~~.~~com~~/~~profile~~/~~Nydia~~-~~Lyons~~/~~532548 at home std testing~~]		In [[mathematics]], a '''holomorphic vector bundle''' is a [[complex vector bundle]] over a [[complex manifold]] ''X'' such that the total space ''E'' is a complex manifold and the [[projection map]] <math>\pi:E\to X</math> is [[holomorphic]]. Fundamental examples are the holomorphic tangent bundle of a complex manifold, and its dual, the holomorphic cotangent bundle. A '''holomorphic line bundle''' is a rank one holomorphic vector bundle.

			==Definition through trivialization==

			Specifically, one requires that the trivialization maps
			:<math>\phi_U\colon \pi^{-1}(U) \to U\times\mathbb C^k</math>
			are [[biholomorphic map]]s. This is equivalent to requiring that the [[transition map\|transition function]]s
			:<math>t_{UV}\colon U\cap V \to \mathrm{GL}_k\mathbb C</math>
			are holomorphic maps. The holomorphic structure on the tangent bundle of a complex manifold is guaranteed by the remark that the derivative (in the appropriate sense) of a vector-valued holomorphic function is itself holomorphic.

			==The sheaf of holomorphic sections==

			Let ''E'' be a holomorphic vector bundle. A ''local section'' <math>s : U \to E_{\|U}</math> is said to be '''holomorphic''' if '''everywhere''' on ''U'', it is holomorphic in ''some'' (equivalently ''any'') trivialization.

			This condition is ''local'', so that holomorphic sections form a [[Sheaf (mathematics)\|sheaf]] on ''X'', sometimes denoted <math>\mathcal O(E)</math>. If ''E'' is the trivial line bundle <math>\underline{\mathbb C}</math>, then this sheaf coincides with the [[structure sheaf]] <math>\mathcal O_X</math> of the complex manifold X.

			==The sheaves of forms with values in a holomorphic vector bundle==

			If <math>\mathcal E_X^{p,q}</math> denotes the sheaf of <math>\mathcal C^\infty</math> differential forms of type ''(p,q)'', then the sheaf <math>\mathcal E^{p,q}(E)</math> of type ''(p,q)'' forms with values in ''E'' can be defined as the [[tensor product]] <math>\mathcal E_X^{p,q}\otimes E</math>. These sheaves are [[fine sheaf\|fine]], which means that it has [[partition of unity\|partitions of the unity]].

			A fundamental distinction between smooth and holomorphic vector bundles is that in the latter, there is a canonical differential operator : the '''[[Dolbeault operator]]''' <math>\overline \partial : \mathcal E^{p,q}(E) \to \mathcal E^{p,q+1}(E) </math> obtained in trivializations.

			==Cohomology of holomorphic vector bundles==

			If <math>E</math> is a holomorphic vector bundle of rank <math>r</math> over <math>X</math>, one denotes <math>\mathcal O(E)</math> the [[sheaf (mathematics)\|sheaf]] of holomorphic sections of <math>E</math>. Recall that it is a [[locally free sheaf]] of rank <math>r</math> over the [[structure sheaf]] <math>\mathcal O_X</math> of its base.

			The cohomology of the vector bundle is then defined as the [[sheaf cohomology]] of <math>\mathcal O(E)</math>.

			We have <math>H^0(X, \mathcal O(E)) = \Gamma (X, \mathcal O(E))</math>, the space of global holomorphic sections of ''E'', whereas <math>H^1(X, \mathcal O(E))</math> parametrizes the group of extensions of the trivial line bundle of ''X'' by ''E'', that is [[exact sequences]] of holomorphic vector bundles <math>0 \to E \to F \to X \times \mathbb C \to 0</math>. For the group structure, see also [[Baer sum]].

			==The Picard group==

			In the context of complex differential geometry, the Picard group Pic(''X'') of the complex manifold ''X'' is the group of isomorphism classes of holomorphic line bundles with law the tensor product and inversion given by dualization.

			It can be equivalently defined as the first cohomology group <math>H^1(X, \mathcal O_X^*)</math> of the bundle of non-locally zero holomorphic functions.

			==References==
			*{{Springer\|id=v/v096400\|title=Vector bundle, analytic}}

			[[Category:Vector bundles]]
			[[Category:Complex manifolds]]

en>Helpful Pixie Bot: Dated {{Context}}. (Build KF)

2012-05-14T00:13:04Z

Dated {{Context}}. (Build KF)

New page

I am Oscar and I completely dig that name. South Dakota is where I've usually been residing. The thing she adores most is physique building and now she is trying to make money with it. Managing people has been his working day job for a whilst.<br><br>Check out my web site [http://www.articlecube.com/profile/Nydia-Lyons/532548 at home std testing]