Benjamin McKay
A brief introduction to exterior differential systems for graduate students familiar with manifolds and differential forms. For complete files, see https://github.com/Ben-McKay/introduction-to-exterior-differential-systems
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
A new category of Lie algebras, called generalized Lie algebras, is presented such that classical Lie algebras and Lie-Rinehart algebras are objects of this new category. A new philosophy over generalized Lie algebroids theory is presented using the notion of generalized Lie algebra and examples of objects of the category of generalized Lie algebroids are presented. An exterior differential calculus on generalized Lie algebras is pre- sented and a theorem of Maurer-Cartan type is obtained. Supposing that any submodule(vector subbundle) of a generalized Lie algebra(algebroid) is an interior alg…
We approach the construction of Backlund transformations for Darboux integrable hyperbolic partial differential equations in the plane through the reduction of exterior differential systems. For example it is shown that all the Backlund transformations in arXiv:0707.4408v2 can be constructed using symmetry reduction.
These are notes for a very rapid introduction to the basics of exterior differential systems and their connection with what is now known as Lie theory, together with some typical and not-so-typical applications to illustrate their use.
Evolutionary forms, as well as exterior forms, are skew-symmetric differential forms. But in contrast to the exterior forms, the basis of evolutionary forms is deforming manifolds (with unclosed metric forms). Such forms possess a peculiarity, namely, the closed inexact exterior forms are obtained from that. The closure conditions of inexact exterior form (vanishing the differentials of exterior and dual forms) point out to the fact that the closed inexact exterior form is a quantity conserved on pseudostructure having the dual form as the metric form. We obtain that the closed inexact exterio…
Metrical Distortion, Exterior Differential and Gauss's Lemma
本文修正了高斯引理，提出度量扭曲的概念，并通过协变梯度运输定义外微分，结合测地径向体积与长度保持，示例说明2球面的外几何特性。
An exterior differential calculus in the general framework of generalized Lie algebroids is presented. A theorem of Maurer-Cartan type is obtained. All results with details proofs are presented and a new point of view over exterior differential calculus for Lie algebroids is obtained. Using the theory of linear connections of Ehresmann type presented in the firstt reference, the identities of Cartan and Bianchi type are presented. Supposing that any vector subbundle of the pull-back Lie algebroid of a generalized Lie algebroid is interior differential system (IDS) for that generalized Lie alge…
On the exterior product of Hölder differential forms
本文提出了一种基于α-分数电荷的框架，用于处理Hölder微分形式的外积，并扩展了Young积分到任意维度和余维数。
We construct a two-parameter covariant differential calculus on the quantum $h$-exterior plane. We also give a deformation of the two-dimensional fermionic phase space.
I describe work in progress with Baryshnikov and Zharnitsky on periodic billiard orbits that leads one to an exterior differential system (EDS). I then give a brief introduction to EDS illustrated by several examples.
Exterior differential systems are given, and their Cartan characters calculated, for Maxwell and SU(2)-Yang-Mills equations in dimensions from three to six.
We prove that the only natural operations between differential forms are those obtained using linear combinations, the exterior product and the exterior differential. Our result generalises work by Palais and Freed-Hopkins. As an application, we also deduce a theorem, originally due to Kolar, that determines those natural differential forms that can be associated to a connection on a principal bundle.
In this paper, as the second in our series of papers on differential geometry of microlinear Frolicher spaces, we study differenital forms. The principal result is that the exterior differentiation is uniquely determined geometrically, just as grad (ient), div (ergence) and rot (ation) are uniquely determined geometrically or physically in classical vector calculus. This infinitesimal characterization of exterior differentiation has been completely missing in orthodox differential geometry.
These are expository notes from the 2008 Srni Winter School. They have two purposes: (1) to give a quick introduction to exterior differential systems (EDS), which is a collection of techniques for determining local existence to systems of partial differential equations, and (2) to give an exposition of recent work (joint with C. Robles) on the study of the Fubini-Griffiths-Harris rigidity of rational homogeneous varieties, which also involves an advance in the EDS technology.
We explore several notions of $k$-form at a point in a diffeological space, construct bundles of such $k$-forms, and compare sections of these bundles to differential forms. As they are defined locally, our $k$-forms can contain more information than the values of differential forms contain, and we illustrate this with many examples. To organize our work, we develop the basic theory of diffeological vector pseudo-bundles, including a detailed understanding of their limits and colimits, as well as a variety of fibrewise operations such as products, direct sums, tensor products, exterior powers …
This paper has been withdrawn by the author due to its main result being included in cond-mat/0403309 by the same author.
We discuss Monge-Ampère equations from the view point of differential geometry. It is known that a Monge-Ampère equation corresponds to a special exterior differential system on a 1-jet space. In this paper, we generalize Monge-Ampère equations and prove that a $(k+1)$st order generalized Monge-Ampère equation corresponds to a special exterior differential system on a $k$-jet space. Then its solution naturally corresponds to an integral manifold of the corresponding exterior differential system. Moreover, we verify that the Korteweg-de Vries (KdV) equation and the Cauchy-Riemann equations are …
A theorem of Maurer-Cartan type for Lie algebroids is presented. Suppose that any vector subbundle of a Lie algebroid is called interior differential system (IDS) for that Lie algebroid. A theorem of Cartan type is obtained. Extending the classical notion of exterior differential system (EDS) to Lie algebroids, a theorem of Cartan type is obtained.
This is an elementary introduction to exterior differential systems motivated by two examples: minimal submanifolds and the isometric embedding problem. The two main goals of the lectures are: 1. To explain how to find an appropriate geometric setting for studying a given system of pde. 2. To explain the Cartan algorithm to determine the moduli space of local solutions to any given exterior differential system and an appropriate initial value problem for the system.
This paper is a survey of the subject of variations of Hodge structure (VHS) considered as exterior differential systems (EDS). We review developments over the last twenty-six years, with an emphasis on some key examples. In the penultimate section we present some new results on the characteristic cohomology of a homogeneous Pfaffian system. In the last section we discuss how the integrability conditions of an EDS affect the expected dimension of an integral submanifold. The paper ends with some speculation on EDS and Hodge conjecture for Calabi-Yau manifolds.
We briefly recall a fundamental exterior differential system introduced by the author and then apply it to the case of three dimensions. Here we find new global tensors and intrinsic invariants of oriented Riemaniann 3-manifolds. The system leads to a remarkable Weingarten type equation for surfaces on hyperbolic 3-space. An independent proof for low dimensions of the structural equations gives new insight on the intrinsic exterior differential system.
A Lie algebroid over a manifold is a vector bundle over that manifold whose properties are very similar to those of a tangent bundle. Its dual bundle has properties very similar to those of a cotangent bundle: in the graded algebra of sections of its external powers, one can define an operator similar to the exterior derivative. We present in this paper the theory of Lie derivatives, Schouten-Nijenhuis brackets and exterior derivatives in the general setting of a Lie algebroid, its dual bundle and their exterior powers. All the results (which, for their most part, are already known) are given …
Exterior differential systems on Lie algebroids and the invariant inverse problem of the calculus of variations
本文研究了Lie algebroids上的外微分系统，提出积分流形的概念，并应用到具有对称群的动力系统及变分学的不变反问题中。
For For a given PDE system, or an exterior differential system possessing a Lie group of internal symmetries the orbit reduction procedure is introduced. It is proved that the solutions of the reduced exterior differential system are in one-to-one correspondence with the moduli space of regular solutions of the prolongation of the original system. The isomorphism between the local characteristic cohomology of the reduced unconstrained jet space and the Lie algebra cohomology of the symmetry group is established. The group-invariant Euler-Lagrange equations of an invariant variational problem a…
The closure conditions of the inexact exterior differential form and dual form (an equality to zero of differentials of these forms) can be treated as a definition of some differential-geometrical structure. Such a connection discloses the properties and specific features of the differential-geometrical structures. The using of skew-symmetric differential forms enables one to reveal a mechanism of forming differential-geometrical structures as well. To do this, it is necessary to consider the skew-symmetric differential forms whose basis, unlike to the case of exterior differential forms, are …
We use methods from exterior differential systems (EDS) to develop a geometric theory of scalar, first-order Lagrangian functionals and their associated Euler-Lagrange PDEs, subject to contact transformations. The first chapter contains an introduction of the classical Poincare-Cartan form in the context of EDS, followed by proofs of classical results, including a solution to the relevant inverse problem, Noether's theorem on symmetries and conservation laws, and several aspects of minimal hypersurfaces. In the second chapter, the equivalence problem for Poincare-Cartan forms is solved, giving…
The $\mathcal{L}$-Calculus for Causal Variational Principles: An Exterior Differential Calculus on Non-Smooth Spaces
本文针对非光滑空间，开发了适用于因果变分原理的$\boldsymbol{\tilde{\textit{L}}}$演算，将外微分演算及相关拓扑结构推广至非光滑空间，证明了斯托克斯定理等相关定理并辅以示例说明。
It is shown that two definitions for an exterior differential in superspace, giving the same exterior calculus, yet lead to different results when applied to the Poisson bracket. A prescription for the transition with the help of these exterior differentials from the given Poisson bracket of definite Grassmann parity to another bracket is introduced. It is also indicated that the resulting bracket leads to generalization of the Schouten-Nijenhuis bracket for the cases of superspace and brackets of diverse Grassmann parities. It is shown that in the case of the Grassmann-odd exterior differenti…
Symmetries of variational problems are considered as symmetries of vector bundle valued exterior differential systems. This approach is then applied to third order ordinary variational equations of motion of the semi-classical spinning particle.
The Cartan-Kähler theorem for exterior differential systems on transitive Lie algebroids
将外微分系统推广到李代数胚，在锚映射满射条件下给出两个Cartan-Kähler定理版本，并应用于变分学的不变逆问题。
The L 1-Sobolev inequality states that the L n/(n--1)-norm of a compactly supported function on Euclidean n-space is controlled by the L 1-norm of its gradient. The generalization to differential forms (due to Lanzani & Stein and Bourgain & Brezis) is recent, and states that a the L n/(n--1)-norm of a compactly supported differential h-form is controlled by the L 1-norm of its exterior differential du and its exterior codifferential $δ$u (in special cases the L 1-norm must be replaced by the H 1-Hardy norm). We shall extend this result to Heisenberg groups in the framework of an appropriate co…
An introduction to Cartan geometries
本文面向熟悉流形、李群和微分形式的研究生，系统介绍Cartan几何的基本概念。
In this paper we present a far-reaching generalization of E. Vessiot's analysis of the Darboux integrable partial differential equations in one dependent and two independent variables. Our approach provides new insights into this classical method, uncovers the fundamental geometric invariants of Darboux integrable systems, and provides for systematic, algorithmic integration of such systems. This work is formulated within the general framework of Pfaffian exterior differential systems and, as such, has applications well beyond those currently found in the literature. In particular, our integra…
Complex contact manifolds arise naturally in differential geometry, algebraic geometry and exterior differential systems. Their classification would answer an important question about holonomy groups. The geometry of such manifold $X$ is governed by the contact lines contained in $X$. These are related to the notion of a variety of minimal rational tangents. In this review we discuss the partial classification theorems of projective complex contact manifolds. Among such manifolds one finds contact Fano manifolds (which include adjoint varieties) and projectivised cotangent bundles. In the firs…
A generalization of exterior calculus is considered by allowing the partial derivatives in the exterior derivative to assume fractional orders. That is, a fractional exterior derivative is defined. This is found to generate new vector spaces of finite and infinite dimension, fractional differential form spaces. The definitions of closed and exact forms are extended to the new fractional form spaces with closure and integrability conditions worked out for a special case. Coordinate transformation rules are also computed. The transformation rules are different from those of the standard exterior…
The generalization of the n-dimensional cube, an n-dimensional chain, the exterior derivative and the integral of a differential n-form on it are introduced and investigated. The analogue of Stokes theorem for the differential space is given.
Aronszajn, Krzywicki and Szarski proved in \cite{AKS62} a strong unique continuation result for differential forms, satisfying a certain first order differential inequality, on Riemannian manifolds with empty boundary. The present paper extends this result to the setting of Riemannian manifold with non-empty boundary, assuming suitable boundary conditions on the differential forms. We then present some applications of this extended result. Namely, we show that the Hausdorff dimension of the zero set of harmonic Neumann and Dirichlet forms, as well as eigenfields of the curl operator (on $3$-ma…
Basic aspects of differential geometry can be extended to various non-classical settings: Lipschitz manifolds, rectifiable sets, sub-Riemannian manifolds, Banach manifolds, Weiner space, etc. Although the constructions differ, in each of these cases one can define a module of measurable 1-forms and a first-order exterior derivative. We give a general construction which applies to any metric space equipped with a sigma-finite measure and produces the desired result in all of the above cases. It also applies to an important class of Dirichlet spaces, where, however, the known first-order differe…
We characterize all natural linear operations between spaces of differential forms on contact manifolds. Our main theorem says roughly that such operations are built from some algebraic operators which we introduce and the exterior derivative.
A Discrete Exterior Calculus of Bundle-valued Forms
针对带联络组合流形上丛值微分形式缺乏通用离散微积分的问题，提出外协变导数离散化方法，满足比安基恒等式且网格细化时可收敛至精确值。
Let $σ$ be an involution of a real semi-simple Lie group $U$, $U_0$ the subgroup fixed by $σ$, and $U/U_0$ the corresponding symmetric space. Ferus and Pedit called a submanifold $M$ of a rank $r$ symmetric space $U/U_0$ a {\it curved flat} if $T_pM$ is tangent to an $r$-dimensional flat of $U/U_0$ at $p$ for each $p\in M$. They noted that the equation for curved flats is an integrable system. Bryant used the involution $σ$ to construct an involutive exterior differential system $\ci_σ$ such that integral submanifolds of $\ci_σ$ are curved flats. Terng used $r$ first flows in the $U/U_0$-hiera…
The exterior derivative and the mean value equality in $\mathbb{R}^n$
本文从外导数的视角重新审视向量微积分与分析的经典结果，推导出适用于微分$k$-形式的高维平均值定理，并提出无需网格离散化即可计算外导数的算法。
In this paper we analyze the tangential symmetries of Darboux integrable decomposable exterior differential systems. The decomposable systems generalize the notion of a hyperbolic exterior differential system and include the classic notion of Darboux integrability for first order systems and second order scalar equations. For Darboux integrable systems the general solution can be found by integration (solving ordinary differential equations). We show that this property holds for our generalized systems as well. We give a geometric construction of the Lie algebras of tangential symmetries assoc…
In this paper we present a new theory of calculus over $k$-dimensional domains in a smooth $n$-manifold, unifying the discrete, exterior, and continuum theories. The calculus begins at a single point and is extended to chains of finitely many points by linearity, or superposition. It converges to the smooth continuum with respect to a norm on the space of ``pointed chains,'' culminating in the chainlet complex. Through this complex, we discover a broad theory of coordinate free, multivector analysis in smooth manifolds for which both the classical Newtonian calculus and the Cartan exterior cal…
Discrete Exterior Calculus
提出任意有限维单纯复形上的离散外微分理论，包括离散微分形式、离散向量场及其算子，并引入外心对偶以统一处理向量场与形式。
Parametric Cartan theory of exterior differential systems, and explicit cohomology of projective manifolds reveal united rationality features of differential algebraic geometry.
This work further develops the properties of fractional differential forms. In particular, finite dimensional subspaces of fractional form spaces are considered. An inner product, Hodge dual, and covariant derivative are defined. Coordinate transformation rules for integral order forms are also computed. Matrix order fractional calculus is used to define matrix order forms. This is achieved by combining matrix order derivatives with exterior derivatives. Coordinate transformation rules and covariant derivative for matrix order forms are also produced. The Poincare' lemma is shown to be true fo…
We prove that the only natural differential operations between holomorphic forms on a complex manifold are those obtained using linear combinations, the exterior product and the exterior differential. In order to accomplish this task we first develop the basics of the theory of natural holomorphic bundles over a fixed manifold, making explicit its Galoisian structure by proving a categorical equivalence {\it à la Galois}.
This is a draft of a textbook on differential forms. The primary target audience is sophmore level undergraduates enrolled in what would traditionally be a course in vector calculus. Later chapters will be of interest to advaced undergraduate and beginning graduate students. Applications include brief introductions to Maxwell's equations, foliations and contact structures, and DeRham cohomology.
Finite element exterior calculus refers to the development of finite element methods for differential forms, generalizing several earlier finite element spaces of scalar fields and vector fields to arbitrary dimension $n$, arbitrary polynomial degree $r$, and arbitrary differential form degree $k$. The study of finite element exterior calculus began with the $\mathcal P_rΛ^k$ and $\mathcal P_r^-Λ^k$ families of finite element spaces on simplicial triangulations. In their development of these spaces, Arnold, Falk, and Winther rely on a duality relationship between $\mathcal P_rΛ^k$ and $\mathri…
The geometric product, defined by Graf on the space of differential forms, endows the sections of the exterior bundle by a structure that is necessary to construct a Clifford algebra. The Graf product is introduced and revisited with a suitable underlying framework that naturally encompasses a coframe in the cotangent bundle, besides the volume element centrality, the Hodge operator and the so called truncated subalgebra as well.
Rust Implementation of Finite Element Exterior Calculus on Coordinate-Free Simplicial Complexes
本论文开发了一个基于有限元外微积分的Rust库，用于在任意维无坐标单纯复形上求解Hodge-Laplace问题，采用Regge度量与一阶Whitney基函数，并通过收敛性研究部分验证。
We study in detail Hodge-Helmholtz decompositions in non-smooth exterior domains filled with inhomogeneous and anisotropic media. We show decompositions of alternating differential forms belonging to weighted Sobolev spaces into irrotational and solenoidal forms. These decompositions are essential tools, for example, in electro-magnetic theory for exterior domains. In the appendix we translate our results to the classical framework of vector analysis.
A Topological View on Integration and Exterior Calculus
本文从拓扑视角构造了任意拓扑空间上的积分与外微积分体系，证明了经典积分为其特例，并利用类似链复数的概念定义了导数，广泛应用于分形与随机分析等领域。
In this paper, we introduce the notion of a super tangent bundle of a manifold, and extend the basic notions of differential geometry such as differential forms, exterior derivation, connection, metric and divergence on manifolds that equipped with a super tangent bundle.
Building on the Utiyama principle we formulate an approach to Lagrangian field theory in which exterior covariant differentials of vector-valued forms replace partial derivatives, in the sense that they take up the role played by the latter in the usual jet bundle formulation. Actually a natural Lagrangian can be written as a density on a suitable "covariant prolongation bundle"; the related momenta turn out to be natural vector-valued forms, and the field equations can be expressed in terms of covariant exterior differentials of the momenta. Currents and energy-tensors naturally also fit into…
Duality in finite element exterior calculus
本文提出了一种新的构造方法，用于有限元空间中的微分形式，通过修改的霍奇星算子提供了一个新的基础无关证明，展示了P和P^-空间之间的对偶关系。
In this text, we explore the tools that Projective Differential Geometry can provide for the asymptotic analysis of classical fields on projectively compact manifolds. We emphasise on the case of order 2-compactifications and develop, in this case, a projective exterior differential tractor calculus that is analogous to that existing for conformally compact manifolds.
We obtain a generalization, for a general compact almost complex manifold, of the well-known Kähler (or Hodge) identities for Kähler manifolds involving the commutators of the exterior differential and the Lefschetz operator and its adjoint. The main idea is to study the problem on the Clifford bundle via the Dirac operator, and then translate the results to the exterior bundle.
We derive a numerical method for Darcy flow, hence also for Poisson's equation in mixed (first order) form, based on discrete exterior calculus (DEC). Exterior calculus is a generalization of vector calculus to smooth manifolds and DEC is one of its discretizations on simplicial complexes such as triangle and tetrahedral meshes. DEC is a coordinate invariant discretization, in that it does not depend on the embedding of the simplices or the whole mesh. We start by rewriting the governing equations of Darcy flow using the language of exterior calculus. This yields a formulation in terms of flux…
We study variuos homological structures associated with Poisson algebra, the canonical differential complex for singular Poisson structure and the analogue of the star operator for such manifolds. Give the interpretation of the classical Koszul differential of exterior forms, as the supercommutator with some second order element. Describe the space of invariant distributions on manifold with singular Poisson structure.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。