nLab stable complex structure

Contents

Context

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…

models: topological, simplicial, localic, …

Manifolds and cobordisms

manifolds and cobordisms

cobordism theory, Introduction

Definitions

locally Euclidean space
manifold
- topological manifold
- differentiable manifold, ,smooth manifold
infinite dimensional manifold
- Banach manifold, Hilbert manifold, ILH manifold, Frechet manifold, convenient manifold
tangent bundle
normal bundle
G-structure, torsion of a G-structure
- orientation, spin structure, string structure, fivebrane structure
Cartan geometry:
cobordism

Genera and invariants

signature genus, Kervaire invariant
A-hat genus, Witten genus

Classification

2-manifolds/surfaces
- genus of a surface
3-manifolds
- Kirby calculus
4-manifolds
- Dehn surgery
- exotic smooth structure

Theorems

Whitney embedding theorem
Thom's transversality theorem
Pontrjagin-Thom construction
Galatius-Tillmann-Madsen-Weiss theorem
geometrization conjecture,
- Poincaré conjecture
- elliptization conjecture
cobordism hypothesis-theorem

Complex geometry

geometry, complex numbers, complex line

complex geometry

complex manifold, complex structure
complex analytic space

Variants

generalized complex geometry
complex supermanifold

Structures

Dolbeault complex, holomorphic de Rham complex
Hodge structure, Hodge filtration
Hodge-filtered differential cohomology

Examples

$dim = 1$ : Riemann surface, super Riemann surface
Calabi-Yau manifold
- $dim = 2$ : K3 surface
generalized Calabi-Yau manifold

Differential geometry

synthetic differential geometry

Introductions

from point-set topology to differentiable manifolds

geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry

Differentials

differentiation, chain rule
differentiable function
infinitesimal space, infinitesimally thickened point, amazing right adjoint

V-manifolds

differentiable manifold, coordinate chart, atlas
smooth manifold, smooth structure, exotic smooth structure
analytic manifold, complex manifold
formal smooth manifold, derived smooth manifold

smooth space

diffeological space, Frölicher space
manifold structure of mapping spaces

Tangency

tangent bundle, frame bundle
- vector field, multivector field, tangent Lie algebroid;
- differential forms, de Rham complex, Dolbeault complex
local diffeomorphism, formally étale morphism
submersion, formally smooth morphism,
immersion, formally unramified morphism,
de Rham space, crystal
infinitesimal disk bundle

The magic algebraic facts

embedding of smooth manifolds into formal duals of R-algebras
smooth Serre-Swan theorem
derivations of smooth functions are vector fields

Theorems

Hadamard lemma
Borel's theorem
Boman's theorem
Whitney extension theorem
Steenrod-Wockel approximation theorem
Whitney embedding theorem
Poincare lemma
Stokes theorem
de Rham theorem
Hochschild-Kostant-Rosenberg theorem
differential cohomology hexagon

Axiomatics

Kock-Lawvere axiom

cohesion

(shape modality $\dashv$ flat modality $\dashv$ sharp modality)

$(\esh \dashv \flat \dashv \sharp )$
dR-shape modality $\dashv$ dR-flat modality

$\esh_{dR} \dashv \flat_{dR}$

infinitesimal cohesion

classical modality

tangent cohesion

differential cohomology diagram

differential cohesion

(reduction modality $\dashv$ infinitesimal shape modality $\dashv$ infinitesimal flat modality)

$(\Re \dashv \Im \dashv \&)$

graded differential cohesion

fermionic modality $\dashv$ bosonic modality $\dashv$ rheonomy modality

$(\rightrightarrows \dashv \rightsquigarrow \dashv Rh)$

singular cohesion

\array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot && \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& \mathrm{R}\!\!\mathrm{h} & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot && \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{&#233;tale}}{} \\ && \vee && \vee \\ &\stackrel{cohesive}{}& \esh &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }

Models

Models for Smooth Infinitesimal Analysis
- smooth algebra ( $C^\infty$ -ring)
- smooth locus
- Fermat theory
Cahiers topos
smooth ∞-groupoid
formal smooth ∞-groupoid
super formal smooth ∞-groupoid

Lie theory, ∞-Lie theory

Lie algebra, Lie n-algebra, L-∞ algebra
Lie group, Lie 2-group, smooth ∞-group

differential equations, variational calculus

D-geometry, D-module
jet bundle
variational bicomplex, Euler-Lagrange complex
Euler-Lagrange equation, de Donder-Weyl formalism,
phase space

Chern-Weil theory, ∞-Chern-Weil theory

connection on a bundle, connection on an ∞-bundle
differential cohomology
parallel transport, higher parallel transport, fiber integration in differential cohomology
holonomy, higher holonomy
gauge theory, higher gauge theory
Wilson line, Wilson surface

Cartan geometry (super, higher)

Klein geometry, (higher)
G-structure, torsion of a G-structure
Euclidean geometry, hyperbolic geometry, elliptic geometry
(pseudo-)Riemannian geometry
complex geometry
symplectic geometry
conformal geometry

Idea
Related concepts
References

Idea

A stable complex structure in a manifold is an almost complex structure on its stable tangent bundle.

Related concepts

Thom spectrum, cobordism ring

References

Stable complex and $Spin^c$ -structures (Appendix D in “Moment maps, Cobordisms, and Hamiltonian Group Actions” V. L. Ginzburg, V. Guillemin, and Y. Karshon.)(pdf)

Last revised on July 30, 2014 at 00:39:35. See the history of this page for a list of all contributions to it.

Edit DiscussPrevious revisionChanges from previous revision History (1 revision) Cite Print Source