Convenient Categories of Smooth Spaces

A convenient setting for real analytic mappings

We present here "the" cartesian closed theory for real analytic mappings. It is based on the concept of real analytic curves in locally convex vector spaces. A mapping is real analytic, if it maps smooth curves to smooth curves and real analytic curves to real analytic curves. Under mild completeness conditions the second requirement can be replaced by: real analytic along affine lines. Enclosed and necessary is a careful study of locally convex topologies on spaces of real analytic mappings. As an application we also present the theory of manifolds of real analytic mappings: the group of real…

Differentiable Categories, gerbes and G-structures

The theories of strings and $D$-branes have motivated the development of non Abelian cohomology techniques in differential geometry, on the purpose to find a geometric interpretation of characteristic classes. The spaces studied here, like orbifolds are not often smooth. In classical differential geometry, non smooth spaces appear also naturally, for example in the theory of foliations, the space of leaves can be an orbifold with singularities. The scheme to study these structures is identical: classical tools used in differential geometry, like connections, curvature are adapted. The purpose …

A simplicial foundation for differential and sector forms in tangent categories

Tangent categories provide an axiomatic framework for understanding various tangent bundles and differential operations that occur in differential geometry, algebraic geometry, abstract homotopy theory, and computer science. Previous work has shown that one can formulate and prove a wide variety of definitions and results from differential geometry in an arbitrary tangent category, including generalizations of vector fields and their Lie bracket, vector bundles, and connections. In this paper we investigate differential and sector forms in tangent categories. We show that sector forms in any t…

Manifolds of mappings for continuum mechanics

This is an overview article. After an introduction to convenient calculus in infinite dimensions, the foundational material for manifolds of mappings is presented. The central character is the smooth convenient manifold $C^{\infty}(M,N)$ of all smooth mappings from a finite dimensional Whitney manifold germ $M$ into a smooth manifold $N$. A Whitney manifold germ is a smooth (in the interior) manifold with a very general boundary, but still admitting a continuous Whitney extension operator. This notion is developed here for the needs of geometric continuum mechanics.

Convenient Partial Poisson Manifolds

We introduce the concept of partial Poisson structure on a manifold $M$ modelled on a convenient space. This is done by specifying a (weak) subbundle $T^{\prime}M$ of $T^{\ast}M$ and an antisymmetric morphism $P:T^{\prime}M\rightarrow TM$ such that the bracket $\{f,g\}_{P}=-<df,P(dg)>$ defines a Poisson bracket on the algebra $\mathcal{A}$ of smooth functions $f$ on $M$ whose differential $df$ induces a section of $T^{\prime}M$. In particular, to each such function $f\in\mathcal{A}$ is associated a hamiltonian vector field $P(df)$. This notion takes naturally place in the framework of infinite…

Aspects of the theory of infinite dimensional manifolds

The convenient setting for smooth mappings, holomorphic mappings, and real analytic mappings in infinite dimension is sketched. Infinite dimensional manifolds are discussed with special emphasis on smooth partitions of unity and tangent vectors as derivations. Manifolds of mappings and diffeomorphisms are treated. Finally the differential structure on the inductive limits of the groups $GL(n)$, $SO(n)$ and some of their homogeneus spaces is treated.

广义空间上的高阶范畴层

Sheaves of Higher Categories on Generalised Spaces

本文研究同伦层沿Yoneda嵌入的右Kan扩张，证明其保持同伦层并诱导等价，应用于微分几何向量丛下降、丛格拉斯曼下降及光滑场论值提取。