DOCSLIB.ORG

Currents on Complex Manifolds Let X Be a Complex Manifold and Ep,Q(X)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Currents on Complex Manifolds Let X Be a Complex Manifold and Ep,Q(X) (p, q)-currents on complex manifolds Let X be a complex manifold and E p,q(X)= {smooth (p, q) − forms on X} Dp,q(X)= {smooth (p, q) − forms on X with compact support} and the dual space of Dp,q(X): ′n−p,n−q ′ p,q ∗ D (X) := Dp,q(X) := D (X) . ′ An element Θ ∈Dp,q is called a current of bidegree (n − p, n − q), or bidimension (p, q), or simply (n − p, n − q)-current. We’ll show in the next chapter: Let S ⊂ X be a pure p-dimensional complex variety in ′ a complex manifold of dimension n. Then [S] ∈Dp,p(X) given by [S](φ)= φ, ∀φ ∈Dp,p(X). ZS [S] is a closed positive (n − p, n − p)-current. On an n dimensional complex manifold X, we have d = ∂ + ∂ so that by the definition ′ of dΘ, for any Θ ∈D p,q, we have (∂ + ∂)Θ(φ)=(−1)p+q+1Θ (∂ + ∂) (φ), ∀φ ∈D2n−p−q−1, which implies ∂Θ(φ)=(−1)p+q+1Θ(∂φ), ∀φ ∈D2n−p−q−1. Hence ∂Θ ∈Dp,q+1. Also, if ∂Θ = 0, we say that Θ is ∂-closed. Cohomology groups of a sheaf ([GH78]) Recall that we have the cochain complexes of differential forms: d d d d 0 → R →D0 −→D1 −→D2 −→D3 −→ ..., (26) p p,0 ∂ p,1 ∂ p,2 ∂ p,3 ∂ 0 → ΩX →D −→D −→D −→D −→ .... from which we can define de Rham cohomology group and Dolbeault cohomology. Now we still have the cochain complexes de Rham and Dolbeault sheaf resolutions ′ d ′ d ′ d ′ d 0 → R →D 0 −→D 1 −→D 2 −→D 3 −→ ..., (27) 61 p ∂ ′p,0 ′p,1 ∂ ′p,2 ∂ ′p,3 ∂ 0 → ΩX −→D →D −→D −→D −→ .... from which we can also define “de Rham cohomology” and “Dolbeault cohomology.” We want to prove that the new cohomology groups are isomorphic the old ones. In (26) and (27), if we regard R as a sheaf of groups of constant real-valued functions, it gives two different resolutions. 23 The question is whether or not these different resolutions give the same cohomology group. There are several ways to define cohomology groups for a sheaf and such groups are eventually all isomorphic. Let us discuss it as follows. • Ceckˇ cohomology For any sheaf F of abelian group over a topological space, we have defined Ceckˇ cohomology group Hˇ p(X, F). • Resolution of flasque sheaves We also have introduced the notion of a flasque (or flabby) sheaf. 24 Any sheaf F on X admits a resolution 0 →F 0 →F 1 →F 2 → ... such that all sheaves F i, i ≥ 0, are flasque. If F is a sheaf of abelian groups over a manifold X, then F admits a resolution of flasque sheaves F →F • so that the j-th cohomology group Hi(X, F) of a sheaf F is the j-th cohomology of the complex is defined by Ker(φj : F j(X) →F j+1(X)) Hj(X, F) := . Im φj−1 : F j−1(X) →F j(X) That definition of cohomology is really independent of the chosen flasque resolution. If the manifold X is paracompact 25, then the above two groups are isomorphic: Hˇ p(X, F) ≃ Hp(X, F). • Resolution of acyclic sheaves Let F • be a resolution of a sheaf F by sheaves F •. We say that the resolution F • is acyclic on X if Hs(X, F q)=0 for all q ≥ 0 and s ≥ 0. The following theorem said that resolution of flasque sheaves can be replaced by acyclic sheaves. 23Recall that given a sheaf F over a manifold X, a resolution of F is a complex 0 → F 0 → F 1 → ... together with a homomorphism F→F 0 such that 0 →F→F 0 →F 1 →F 2 → ....... is an exact complex of sheaves. 24 Recall that a sheaf F is called flasque if for any open subset U ⊂ X the restriction map rU,X : F(X) → F(U) is surjective, i.e., every section of F on U can be extended to X. 25a paracompact space is a topological space in which every open cover admits an open locally finite refinement. 62 Theorem 8.1 (de Rham - Weil isomorphism theorem, [Demailly09], (6.4)) If F • is a resolution of a sheaf F by sheaves F • such that F • is acyclic on X, then there is a functorial isomorphism ≃ Hp(F •(X)) −→ Hp(X, F,d). • Resolution of soft sheaves To determine which sheaf is acyclic, we introduce the definition: A sheaf F is called soft if the restriction Γ(X, F) → Γ(K, F) is surjective for any closed subset K ⊂ X, i.e., every section of F on a closed subset K can be extended to X. Proposition 8.2 Soft sheaves are acyclic. Any sheaf of modules over a soft sheaf is soft and hence acyclic. This is frequently applied to the sheaf of continuous (or differentiable) functions on a manifold which is easily shown to be soft. Notice that the sheaf of holomorphic functions on a complex manifold is not soft. Example Let X be a real smooth manifold of dimension n. We consider the resolution of sheaves d d 0 → R →E 0 −→E 1 → ... →E p −→E p+1 → ... →E n → 0. 0 ∞ p p Since E = EX = C (X) is soft, all sheaves E are EX -modules so that E are acyclic. Then de Rham cohomology groups of X are precisely p R p • HDR(X, ) ≃ H (X, E ,d). • Resolution of fine sheaves A fine sheaf over X is one with “partitions of unity,” i.e., for any open cover of the space X we can find a family of homomorphisms from the sheaf to itself with sum 1 such that each homomorphism is 0 outside some element of the open cover. Fine sheaves are usually only used over paracompact Hausdorff spaces X. Typical examples are the sheaf of continuous real functions over such a space, or smooth functions over a smooth (paracompact Hausdorff) manifold, or modules over these sheaves of rings. Fine sheaves over paracompact Hausdorff spaces are soft and acyclic. 63 de Rham and Dolbeault Theorems for currents A basic observation is that the Poincar´eand Dolbeault-Grothendieck lemmas still hold for currents. Namely, if (Dq,d) and ′ (D p,q, ∂) denote the complex of sheaves of degree q currents (resp. of (p, q) - currents), we still have De Rham and Dolbeault sheaf resolutions ′ d ′ d ′ d ′ d 0 → R →D 0 −→D 1 −→D 2 −→D 3 −→ ..., p ′p,0 ∂ ′p,1 ∂ ′p,2 ∂ ′p,3 ∂ 0 → ΩX →D −→D −→D −→D −→ .... ′p Since the sheaves D are all EX -modules, they are acyclic so that we have the canonical isomorphisms ′q ′q+1 q q ′• Ker(d : D (X) →D (X)) H (X, R)= H (X, D ,d)= ′ ′ , (28) DR Im(d : D q−1(X) →D q(X)) ′p,q ′p,q+1 ′ Ker(∂ : D (X) →D (X)) Hp,q(X)= Hq(X, D p,•, ∂)= . (29) Im(∂ : D′p,q−1(X) →D′p,q(X)) q R In other words, we can attach a cohomology class {Θ} ∈ HDR(M, ) to any closed current Θ of degree q, resp., a cohomology class {Θ} ∈ Hp,q(X) to any ∂ - closed current of bidegree (p, q). 26 ′ Historical remarks A current T ∈ D1(M) (i.e., we take test functions, instead of test forms) is called a distribution, or a generalized function. Generalized functions were introduced by Sergei Sobolev in 1935. They were re-introduced in the late 1940s by Laurent Schwartz, who developed a comprehensive theory of distributions. The first origins of sheaf theory are hard to pin down they may be co-extensive with the idea of analytic continuation. It took about 15 years for a recognisable, free-standing theory of sheaves to emerge from the foundational work on cohomology. • 1936 E. Cechˇ associated a simplicial complex to an open covering. • 1938 H. Whitney gives a “modern” definition of cohomology. • 1943 N. Steenrod publishes on homology with local coefficients. • 1945 J. Leray publishes work carried out as a prisoner of war, motivated by proving fixed point theorems for application to PDE theory; it is the start of sheaf theory and spectral sequences. 26From en.wikipedia/weki/sheaf, and generalized function. 64 • 1947 H. Cartan reproves the de Rham theorem by sheaf methods, in correspondence with Andr´eWeil. Leray gives a sheaf definition in his courses via closed sets. • 1948 The Cartan seminar writes up sheaf theory for the first time. • 1950 The “second edition” sheaf theory from the Cartan seminar: the sheaf space (espace ´etal´e) definition is used, with stalkwise structure. Supports are introduced, and cohomology with supports. Continuous mappings give rise to spectral sequences. At the same time Kiyoshi Oka introduces an idea of a sheaf of ideals, in several complex variables. • 1951 The Cartan seminar proves the Theorems A and B based on Oka’s work. • 1953 The finiteness theorem for coherent sheaves in the analytic theory is proved by Cartan and Jean-Pierre Serre, as is Serre duality. • 1954 Serre’s paper Faisceaux alg´ebriques coh´erents (published in 1955) introduces sheaves into algebraic geometry. These ideas are immediately exploited by Hirzebruch, who writes a major 1956 book on topological methods. • 1955 A. Grothendieck in lectures in Kansas defines abelian category and presheaf, and by using injective resolutions allows direct use of sheaf cohomology on all topological spaces, as derived functors. • 1956 Oscar Zariski’s report Algebraic sheaf theory.
Load more

Recommended publications
  • 2 Hilbert Spaces You Should Have Seen Some Examples Last Semester
    2 Hilbert spaces You should have seen some examples last semester. The simplest (finite-dimensional) ex- C • A complex Hilbert space H is a complete normed space over whose norm is derived from an ample is Cn with its standard inner product. It’s worth recalling from linear algebra that if V is inner product. That is, we assume that there is a sesquilinear form ( , ): H H C, linear in · · × → an n-dimensional (complex) vector space, then from any set of n linearly independent vectors we the first variable and conjugate linear in the second, such that can manufacture an orthonormal basis e1, e2,..., en using the Gram-Schmidt process. In terms of this basis we can write any v V in the form (f ,д) = (д, f ), ∈ v = a e , a = (v, e ) (f , f ) 0 f H, and (f , f ) = 0 = f = 0. i i i i ≥ ∀ ∈ ⇒ ∑ The norm and inner product are related by which can be derived by taking the inner product of the equation v = aiei with ei. We also have n ∑ (f , f ) = f 2. ∥ ∥ v 2 = a 2. ∥ ∥ | i | i=1 We will always assume that H is separable (has a countable dense subset). ∑ Standard infinite-dimensional examples are l2(N) or l2(Z), the space of square-summable As usual for a normed space, the distance on H is given byd(f ,д) = f д = (f д, f д). • • ∥ − ∥ − − sequences, and L2(Ω) where Ω is a measurable subset of Rn. The Cauchy-Schwarz and triangle inequalities, • √ (f ,д) f д , f + д f + д , | | ≤ ∥ ∥∥ ∥ ∥ ∥ ≤ ∥ ∥ ∥ ∥ 2.1 Orthogonality can be derived fairly easily from the inner product.
    [Show full text]
  • Hodge Decomposition
    Hodge Decomposition Daniel Lowengrub April 27, 2014 1 Introduction All of the content in these notes in contained in the book Differential Analysis on Complex Man- ifolds by Raymond Wells. The primary objective here is to highlight the steps needed to prove the Hodge decomposition theorems for real and complex manifolds, in addition to providing intuition as to how everything fits together. 1.1 The Decomposition Theorem On a given complex manifold X, there are two natural cohomologies to consider. One is the de Rham Cohomology which can be defined on a general, possibly non complex, manifold. The second one is the Dolbeault cohomology which uses the complex structure. We’ll quickly go over the definitions of these cohomologies in order to set notation but for a precise discussion I recommend Huybrechts or Wells. If X is a manifold, we can define the de Rahm Complex to be the chain complex 0 E(Ω0)(X) −d E(Ω1)(X) −d ::: Where Ω = T∗ denotes the cotangent vector bundle and Ωk is the alternating product Ωk = ΛkΩ. In general, we’ll use the notation! E(E) to! denote the sheaf! of sections associated to a vector bundle E. The boundary operator is the usual differentiation operator. The de Rham cohomology of the manifold X is defined to be the cohomology of the de Rham chain complex: d Ker(E(Ωn)(X) − E(Ωn+1)(X)) n (X R) = HdR , d Im(E(Ωn-1)(X) − E(Ωn)(X)) ! We can also consider the de Rham cohomology with complex coefficients by tensoring the de Rham complex with C in order to obtain the de Rham complex! with complex coefficients 0 d 1 d 0 E(ΩC)(X) − E(ΩC)(X) − ::: where ΩC = Ω ⊗ C and the differential d is linearly extended.
    [Show full text]
  • Spectral Data for L^2 Cohomology
    University of Pennsylvania ScholarlyCommons Publicly Accessible Penn Dissertations 2018 Spectral Data For L^2 Cohomology Xiaofei Jin University of Pennsylvania, [email protected] Follow this and additional works at: https://repository.upenn.edu/edissertations Part of the Mathematics Commons Recommended Citation Jin, Xiaofei, "Spectral Data For L^2 Cohomology" (2018). Publicly Accessible Penn Dissertations. 2815. https://repository.upenn.edu/edissertations/2815 This paper is posted at ScholarlyCommons. https://repository.upenn.edu/edissertations/2815 For more information, please contact [email protected]. Spectral Data For L^2 Cohomology Abstract We study the spectral data for the higher direct images of a parabolic Higgs bundle along a map between a surface and a curve with both vertical and horizontal parabolic divisors. We describe the cohomology of a parabolic Higgs bundle on a curve in terms of its spectral data. We also calculate the integral kernel that reproduces the spectral data for the higher direct images of a parabolic Higgs bundle on the surface. This research is inspired by and extends the works of Simpson [21] and Donagi-Pantev-Simpson [7]. Degree Type Dissertation Degree Name Doctor of Philosophy (PhD) Graduate Group Mathematics First Advisor Tony Pantev Keywords Higgs bundle, Monodromy weight filtration, Nonabelian Hodge theory, Parabolic L^2 Dolbeault complex, Root stack, Spectral correspondence Subject Categories Mathematics This dissertation is available at ScholarlyCommons: https://repository.upenn.edu/edissertations/2815 SPECTRAL DATA FOR L2 COHOMOLOGY Xiaofei Jin A DISSERTATION in Mathematics Presented to the Faculties of the University of Pennsylvania in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy 2018 Supervisor of Dissertation Tony Pantev, Class of 1939 Professor in Mathematics Graduate Group Chairperson Wolfgang Ziller, Francis J.
    [Show full text]
  • Maxwell's Equations in Differential Form
    M03_RAO3333_1_SE_CHO3.QXD 4/9/08 1:17 PM Page 71 CHAPTER Maxwell’s Equations in Differential Form 3 In Chapter 2 we introduced Maxwell’s equations in integral form. We learned that the quantities involved in the formulation of these equations are the scalar quantities, elec- tromotive force, magnetomotive force, magnetic flux, displacement flux, charge, and current, which are related to the field vectors and source densities through line, surface, and volume integrals. Thus, the integral forms of Maxwell’s equations,while containing all the information pertinent to the interdependence of the field and source quantities over a given region in space, do not permit us to study directly the interaction between the field vectors and their relationships with the source densities at individual points. It is our goal in this chapter to derive the differential forms of Maxwell’s equations that apply directly to the field vectors and source densities at a given point. We shall derive Maxwell’s equations in differential form by applying Maxwell’s equations in integral form to infinitesimal closed paths, surfaces, and volumes, in the limit that they shrink to points. We will find that the differential equations relate the spatial variations of the field vectors at a given point to their temporal variations and to the charge and current densities at that point. In this process we shall also learn two important operations in vector calculus, known as curl and divergence, and two related theorems, known as Stokes’ and divergence theorems. 3.1 FARADAY’S LAW We recall from the previous chapter that Faraday’s law is given in integral form by d E # dl =- B # dS (3.1) CC dt LS where S is any surface bounded by the closed path C.In the most general case,the elec- tric and magnetic fields have all three components (x, y,and z) and are dependent on all three coordinates (x, y,and z) in addition to time (t).
    [Show full text]
  • Some C*-Algebras with a Single Generator*1 )
    transactions of the american mathematical society Volume 215, 1976 SOMEC*-ALGEBRAS WITH A SINGLEGENERATOR*1 ) BY CATHERINE L. OLSEN AND WILLIAM R. ZAME ABSTRACT. This paper grew out of the following question: If X is a com- pact subset of Cn, is C(X) ® M„ (the C*-algebra of n x n matrices with entries from C(X)) singly generated? It is shown that the answer is affirmative; in fact, A ® M„ is singly generated whenever A is a C*-algebra with identity, generated by a set of n(n + l)/2 elements of which n(n - l)/2 are selfadjoint. If A is a separable C*-algebra with identity, then A ® K and A ® U are shown to be sing- ly generated, where K is the algebra of compact operators in a separable, infinite- dimensional Hubert space, and U is any UHF algebra. In all these cases, the gen- erator is explicitly constructed. 1. Introduction. This paper grew out of a question raised by Claude Scho- chet and communicated to us by J. A. Deddens: If X is a compact subset of C, is C(X) ® M„ (the C*-algebra ofnxn matrices with entries from C(X)) singly generated? We show that the answer is affirmative; in fact, A ® Mn is singly gen- erated whenever A is a C*-algebra with identity, generated by a set of n(n + l)/2 elements of which n(n - l)/2 are selfadjoint. Working towards a converse, we show that A ® M2 need not be singly generated if A is generated by a set con- sisting of four elements.
    [Show full text]
  • And Varifold-Based Registration of Lung Vessel and Airway Trees
    Current- and Varifold-Based Registration of Lung Vessel and Airway Trees Yue Pan, Gary E. Christensen, Oguz C. Durumeric, Sarah E. Gerard, Joseph M. Reinhardt The University of Iowa, IA 52242 {yue-pan-1, gary-christensen, oguz-durumeric, sarah-gerard, joe-reinhardt}@uiowa.edu Geoffrey D. Hugo Virginia Commonwealth University, Richmond, VA 23298 [email protected] Abstract 1. Introduction Registration of lung CT images is important for many radiation oncology applications including assessing and Registering lung CT images is an important problem adapting to anatomical changes, accumulating radiation for many applications including tracking lung motion over dose for planning or assessment, and managing respiratory the breathing cycle, tracking anatomical and function motion. For example, variation in the anatomy during radio- changes over time, and detecting abnormal mechanical therapy introduces uncertainty between the planned and de- properties of the lung. This paper compares and con- livered radiation dose and may impact the appropriateness trasts current- and varifold-based diffeomorphic image of the originally-designed treatment plan. Frequent imaging registration approaches for registering tree-like structures during radiotherapy accompanied by accurate longitudinal of the lung. In these approaches, curve-like structures image registration facilitates measurement of such variation in the lung—for example, the skeletons of vessels and and its effect on the treatment plan. The cumulative dose airways segmentation—are represented by currents or to the target and normal tissue can be assessed by mapping varifolds in the dual space of a Reproducing Kernel Hilbert delivered dose to a common reference anatomy and com- Space (RKHS). Current and varifold representations are paring to the prescribed dose.
    [Show full text]
  • Arxiv:1802.08667V5 [Stat.ML] 13 Apr 2021 Lwrta 1 Than Slower Asna Eoo N,Aogagvnsqec Fmodels)
    Manuscript submitted to The Econometrics Journal, pp. 1–49. De-Biased Machine Learning of Global and Local Parameters Using Regularized Riesz Representers Victor Chernozhukov†, Whitney K. Newey†, and Rahul Singh† †MIT Economics, 50 Memorial Drive, Cambridge MA 02142, USA. E-mail: [email protected], [email protected], [email protected] Summary We provide adaptive inference methods, based on ℓ1 regularization, for regular (semi-parametric) and non-regular (nonparametric) linear functionals of the conditional expectation function. Examples of regular functionals include average treatment effects, policy effects, and derivatives. Examples of non-regular functionals include average treatment effects, policy effects, and derivatives conditional on a co- variate subvector fixed at a point. We construct a Neyman orthogonal equation for the target parameter that is approximately invariant to small perturbations of the nui- sance parameters. To achieve this property, we include the Riesz representer for the functional as an additional nuisance parameter. Our analysis yields weak “double spar- sity robustness”: either the approximation to the regression or the approximation to the representer can be “completely dense” as long as the other is sufficiently “sparse”. Our main results are non-asymptotic and imply asymptotic uniform validity over large classes of models, translating into honest confidence bands for both global and local parameters. Keywords: Neyman orthogonality, Gaussian approximation, sparsity 1. INTRODUCTION Many statistical objects of interest can be expressed as a linear functional of a regression function (or projection, more generally). Examples include global parameters: average treatment effects, policy effects from changing the distribution of or transporting regres- sors, and average directional derivatives, as well as their local versions defined by taking averages over regions of shrinking volume.
    [Show full text]
  • Cohomological Obstructions for Mittag-Leffler Problems
    Cohomological Obstructions for Mittag-Leffler Problems Mateus Schmidt 2020 Abstract This is an extensive survey of the techniques used to formulate generalizations of the Mittag-Leffler Theorem from complex analysis. With the techniques of the theory of differential forms, sheaves and cohomology, we are able to define the notion of a Mittag-Leffler Problem on a Riemann surface, as a problem of passage of data from local to global, and discuss characterizations of contexts where these problems have solutions. This work was motivated by discussions found in [GH78], [For81], as well as [Har77]. arXiv:2010.11812v1 [math.CV] 22 Oct 2020 1 Contents I Preliminaries 3 1 Riemann Surfaces and Meromorphic functions 3 2 The Mittag-Leffler Theorem 7 3 Vector Bundles and Singular (Co)homology 11 3.1 VectorBundles .................................. 11 3.2 Singular(co)homology .............................. 15 II Cohomology 21 4 De Rham Cohomology 21 4.1 DifferentialForms................................. 21 4.2 DeRhamCohomology .............................. 25 4.3 TheRealDeRhamComplex........................... 28 5 Holomorphic Vector Bundles and Dolbeault Cohomology 36 5.1 Holomorphic Vector Bundles and Dolbeault Cohomology . .. 36 5.2 Divisors and Line Bundles . 43 6 Sheaves and Sheaf Cohomology 53 6.1 SheavesonSpaces................................. 53 6.2 SheafCohomology ................................ 57 6.3 QuasicoherentSheaves .............................. 61 6.4 DerivedFunctors ................................. 76 6.5 ComparisonTheoremsandExamples .
    [Show full text]
  • Hilbert Space Theory and Applications in Basic Quantum Mechanics by Matthew R
    1 Hilbert Space Theory and Applications in Basic Quantum Mechanics by Matthew R. Gagne Mathematics Department California Polytechnic State University San Luis Obispo 2013 2 Abstract We explore the basic mathematical physics of quantum mechanics. Our primary focus will be on Hilbert space theory and applications as well as the theory of linear operators on Hilbert space. We show how Hermitian operators are used to represent quantum observables and investigate the spectrum of various linear operators. We discuss deviation and uncertainty and brieáy suggest how symmetry and representations are involved in quantum theory. APPROVAL PAGE TITLE: Hilbert Space Theory and Applications in Basic Quantum Mechanics AUTHOR: Matthew R. Gagne DATE SUBMITTED: June 2013 __________________ __________________ Senior Project Advisor Senior Project Advisor (Professor Jonathan Shapiro) (Professor Matthew Moelter) __________________ __________________ Mathematics Department Chair Physics Department Chair (Professor Joe Borzellino) (Professor Nilgun Sungar) 3 Contents 1 Introduction and History 4 1.1 Physics . 4 1.2 Mathematics . 7 2 Hilbert Space deÖnitions and examples 12 2.1 Linear functionals . 12 2.2 Metric, Norm and Inner product spaces . 14 2.3 Convergence and completeness . 17 2.4 Basis system and orthogonality . 19 3 Linear Operators 22 3.1 Basics . 22 3.2 The adjoint . 25 3.3 The spectrum . 32 4 Physics 36 4.1 Quantum mechanics . 37 4.1.1 Linear operators as observables . 37 4.1.2 Position, Momentum, and Energy . 42 4.2 Deviation and Uncertainty . 49 4.3 The Qubit . 51 4.4 Symmetry and Time Evolution . 54 1 Chapter 1 Introduction and History The development of Hilbert space, and its subsequent popularity, were a result of both mathematical and physical necessity.
    [Show full text]
  • Linear Algebra I: Vector Spaces A
    Linear Algebra I: Vector Spaces A 1 Vector spaces and subspaces 1.1 Let F be a field (in this book, it will always be either the field of reals R or the field of complex numbers C). A vector space V D .V; C; o;˛./.˛2 F// over F is a set V with a binary operation C, a constant o and a collection of unary operations (i.e. maps) ˛ W V ! V labelled by the elements of F, satisfying (V1) .x C y/ C z D x C .y C z/, (V2) x C y D y C x, (V3) 0 x D o, (V4) ˛ .ˇ x/ D .˛ˇ/ x, (V5) 1 x D x, (V6) .˛ C ˇ/ x D ˛ x C ˇ x,and (V7) ˛ .x C y/ D ˛ x C ˛ y. Here, we write ˛ x and we will write also ˛x for the result ˛.x/ of the unary operation ˛ in x. Often, one uses the expression “multiplication of x by ˛”; but it is useful to keep in mind that what we really have is a collection of unary operations (see also 5.1 below). The elements of a vector space are often referred to as vectors. In contrast, the elements of the field F are then often referred to as scalars. In view of this, it is useful to reflect for a moment on the true meaning of the axioms (equalities) above. For instance, (V4), often referred to as the “associative law” in fact states that the composition of the functions V ! V labelled by ˇ; ˛ is labelled by the product ˛ˇ in F, the “distributive law” (V6) states that the (pointwise) sum of the mappings labelled by ˛ and ˇ is labelled by the sum ˛ C ˇ in F, and (V7) states that each of the maps ˛ preserves the sum C.
    [Show full text]
  • Numerical Characterization of the Kähler
    Annals of Mathematics, 159 (2004), 1247–1274 Numerical characterization of the K¨ahler cone of a compact K¨ahler manifold By Jean-Pierre Demailly and Mihai Paun Abstract The goal of this work is to give a precise numerical description of the K¨ahler cone of a compact K¨ahler manifold. Our main result states that the K¨ahler cone depends only on the intersection form of the cohomology ring, the Hodge structure and the homology classes of analytic cycles: if X is a compact K¨ahler manifold, the K¨ahler cone K of X is one of the connected components of the set P of real (1, 1)-cohomology classes {α} which are numerically positive p on analytic cycles, i.e. Y α > 0 for every irreducible analytic set Y in X, p = dim Y . This result is new even in the case of projective manifolds, where it can be seen as a generalization of the well-known Nakai-Moishezon criterion, and it also extends previous results by Campana-Peternell and Eyssidieux. The principal technical step is to show that every nef class {α} which has positive n highest self-intersection number X α > 0 contains a K¨ahler current; this is done by using the Calabi-Yau theorem and a mass concentration technique for Monge-Amp`ere equations. The main result admits a number of variants and corollaries, including a description of the cone of numerically effective (1, 1)-classes and their dual cone. Another important consequence is the fact that for an arbitrary deformation X → S of compact K¨ahler manifolds, the K¨ahler cone of a very general fibre Xt is “independent” of t, i.e.
    [Show full text]
  • Dolbeault Cohomology of Nilmanifolds with Left-Invariant Complex Structure
    DOLBEAULT COHOMOLOGY OF NILMANIFOLDS WITH LEFT-INVARIANT COMPLEX STRUCTURE SONKE¨ ROLLENSKE Abstract. We discuss the known evidence for the conjecture that the Dol- beault cohomology of nilmanifolds with left-invariant complex structure can be computed as Lie-algebra cohomology and also mention some applications. 1. Introduction Dolbeault cohomology is one of the most fundamental holomorphic invariants of a compact complex manifold X but in general it is quite hard to compute. If X is a compact K¨ahler manifold, then this amounts to describing the decomposition of the de Rham cohomology Hk (X, C)= Hp,q(X)= Hq(X, Ωp ) dR M M X p+q=k p+q=k but in general there is only a spectral sequence connecting these invariants. One case where at least de Rham cohomology is easily computable is the case of nilmanifolds, that is, compact quotients of real nilpotent Lie groups. If M =Γ\G is a nilmanifold and g is the associated nilpotent Lie algebra Nomizu proved that we have a natural isomorphism ∗ ∗ H (g, R) =∼ HdR(M, R) where the left hand side is the Lie-algebra cohomology of g. In other words, com- puting the cohomology of M has become a matter of linear algebra There is a natural way to endow an even-dimensional nilmanifold with an almost complex structure: choose any endomorphism J : g → g with J 2 = − Id and extend it to an endomorphism of T G, also denoted by J, by left-multiplication. Then J is invariant under the action of Γ and descends to an almost complex structure on M.
    [Show full text]