The Bernstein-Gelfand-Gelfand (BGG) Construction: Algebra, Geometry, and Analysis Part I

Q: What scope does Part I of the BGG construction lecture notes cover?

The notes restrict attention to BGG constructions with a background in representation theory. They emphasize general constructions rather than individual examples and work mainly in a smooth setting.

Q: How is the wedge product defined for basis differential forms?

For index sets I and J, the wedge product dxI ∧ dxJ is zero when I and J intersect. Otherwise it equals the sign s(I,J) times dxI∪J, where s(I,J) is determined by the permutation that orders the concatenation.

Q: How does the special case n=3 connect differential forms with vector calculus identities?

For open U ⊂ R^3, the notes identify Ω^0, Ω^1, Ω^2, and Ω^3 with smooth function spaces modeled on R^3 using specific coordinate frames. Under these identifications, curl∘grad=0 and div∘curl=0 are instances of d^2=0.

Jul 16, 2026

Upload by Riley

Rough lecture notes for Part I of a short course on the Bernstein–Gelfand–Gelfand (BGG) Construction, framed within the ESI program “Differential Complexes: Theory, Discretization, and Applications.” The notes focus on the representation-theoretic background and develop differential forms on open sets in R^n, including setup and notation, the wedge product, graded commutativity, and the exterior derivative. Key structural results include nilpotency d∘d=0 and the resulting de Rham complex.

LanguageEnglish

CategoryResearch & Report

FormatPDF

Pages32

Reading Time1 h 21 min

Differential forms on Rn

Setup and notation

The wedge product

The Exterior Derivative

The de Rham complex

arXiv :2607 . 10662v1 [math .DG] 12 Jul 2026 THE BERNSTEIN-GELFAND-GELFAND (BGG) CONSTRUCTION: ALGEBRA, GEOMETRY, AND ANALYSIS PART I ANDREAS ČAP These are rough lecture notes for the first part of the short course “The BernsteinGelfand-Gelfand (BGG) Construction: Algebra, Geometry, and Analysis” that I gave in the framework of the ESI thematic program “Differential Complexes: Theory, Discretization, and Applications”. Recordings of the lectures are available via the youtube channel of the ESI. Sincere thanks go to Yuechen Zhu, who, with a little help from his friend Claude, created a first version of this text from pictures of the blackboards taken during the talk and gave it a first editing. Some initial remarks • My talk will not address everything that goes under the name BGG in the applied math community. I will only discuss the constructions that have a background in representation theory. • I will focus on general constructions and not on individual examples (for which the general arguments often would be more complicated than necessary) . • I will mainly work in a smooth setting, functional analytic aspects are only addressed in remarks, the question of discretization will not be touched at all. 1. Differential forms on Rn We will start with a formal approach to differential forms on open domains in Rn. While not my favorite approach, it is correct and should be not to far to versions inspired from vector calculus. At the same point, I will try to avoid interpretations that I would view as being questionable or misleading. 1.1. Setup and notation. For an index set I = {i1 < ··· < ik } ⊂ {1,..., n}, introduce a symbol dxI with the convention that dx∅ is identified with the constant function 1. For an open subset U ⊂ Rn , a differential form on U is a (formal) sum ω = PI ωIdxI , where the ωI : U → R are smooth functions. We will mainly consider the case that in such a sum there are only terms for which |I| = k for some 0 ≤ k ≤ n, in which we call ω a k-form on U. The space of k-forms is denoted by Ωk (U), and Ω∗ (U) :=Lnk=0 Ωk (U) . Each Ωk (U) is a vector space under obvious operations. Moreover, k-forms can be multiplied by smooth functions via fω =PI (fωI )dxI for f ∈ C ∞ (U, R) and ω =PI ωIdxI . 1.2. The wedge product. The wedge product on basis elements is defined by dxI ∧ dxJ := (0s(, I, J)dxI∪J , I ∩ J ∅ , otherwise. Here s (I, J) ∈ {+1 , −1} is the sign of the permutation that brings the concatenation (i1 ,..., ik , j 1 ,... jℓ) into increasing order. The wedge product of general differential forms is then defined by Date: June 2026 . 2 ANDREAS ČAP ω ∧ τ :=X(ωI τJ )dxI ∧ dxJ . I, J Of course, working this out explicitly needs a bit of work, since only terms with I ∩ J ∅ provide a non-zero contribution and dxK can be written as dxI ∧ dxJ in different ways. Hence we have defined an operation ∧: Ω∗ (U) × Ω∗ (U) → Ω∗ (U) . One immediately verifies that this is associative on the dxI , which immediately implies associativity on general forms. Note that the definition implies that for I = {i1 < i2 < ··· < ik }, we get dxI = dxi1 ∧ · · · ∧ dxik . A moment of thought further shows that for |I| = k and |J| = ℓ, we get dxJ ∧ dxI =(−1)kℓ dxI ∧ dxJ , so in particular dxi ∧ dxj = −dxj ∧ dxi. This immediately extends to general forms, so for ω ∈ Ωk (U) and τ ∈ Ωℓ (U) we get τ ∧ ω = (−1)kℓ ω ∧ τ . This property is referred to as graded commutativity. 1.3. The Exterior Derivative. For f ∈ C ∞ (U, R), define df ∈ Ω 1 (U) by df := P fxi dxi. For a general form ω =PI ωI dxI , we then define (1) dω := dωI ∧ dxI = ωxIj dxj ∧ dxI . Note in particular that this definition implies d(dxI ) = 0 for any I and that d(Ωk (U)) ⊂Ωk+1(U) . Expanding this, one again has to take into account that only terms with j I give a non-zero contribution and that I ∪ {j} can be obtained in several ways. See below for an explicit example. From this definition, the key properties of d can be obtain

FAQs

What scope does Part I of the BGG construction lecture notes cover?

The notes restrict attention to BGG constructions with a background in representation theory. They emphasize general constructions rather than individual examples and work mainly in a smooth setting.

How is the wedge product defined for basis differential forms?

For index sets I and J, the wedge product dxI ∧ dxJ is zero when I and J intersect. Otherwise it equals the sign s(I,J) times dxI∪J, where s(I,J) is determined by the permutation that orders the concatenation.

How does the special case n=3 connect differential forms with vector calculus identities?

For open U ⊂ R^3, the notes identify Ω^0, Ω^1, Ω^2, and Ω^3 with smooth function spaces modeled on R^3 using specific coordinate frames. Under these identifications, curl∘grad=0 and div∘curl=0 are instances of d^2=0.

Jul 16, 2026

Upload by Riley