Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userOn smooth families of exact forms
79
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
For a smooth family of exact forms on a smooth manifold, an algorithm for computing a primitive family smoothly dependent on parameters is given. The algorithm is presented in the context of a diagram chasing argument in the v{C}ech-de Rham complex. In addition, explicit formulas for such primitive family are presented.
rate research
Read More
We establish a relation between smooth 2-functors defined on the path 2-groupoid of a smooth manifold and differential forms on this manifold. This relation can be understood as a part of a dictionary between fundamental notions from category theory and differential geometry. We show that smooth 2-functors appear in several fields, namely as connections on (non-abelian) gerbes, as curvatures of smooth functors and as critical points in BF theory. We demonstrate further that our dictionary provides a powerful tool to discuss the transgression of geometric objects to loop spaces.
We characterize the exact lumpability of smooth vector fields on smooth manifolds. We derive necessary and sufficient conditions for lumpability and express them from four different perspectives, thus simplifying and generalizing various results from the literature that exist for Euclidean spaces. We introduce a partial connection on the pullback bundle that is related to the Bott connection and behaves like a Lie derivative. The lumping conditions are formulated in terms of the differential of the lumping map, its covariant derivative with respect to the connection and their respective kernels. Some examples are discussed to illustrate the theory.
The classical Hochschild--Kostant--Rosenberg (HKR) theorem computes the Hochschild homology and cohomology of smooth commutative algebras. In this paper, we generalise this result to other kinds of algebraic structures. Our main insight is that producing HKR isomorphisms for other types of algebras is directly related to computing quasi-free resolutions in the category of left modules over an operad; we establish that an HKR-type result follows as soon as this resolution is diagonally pure. As examples we obtain a permutative and a pre-Lie HKR theorem for smooth commutative and smooth brace algebras, respectively. We also prove an HKR theorem for operads obtained from a filtered distributive law, which recovers, in particular, all the aspects of the classical HKR theorem. Finally, we show that this property is Koszul dual to the operadic PBW property defined by V. Dotsenko and the second author (1804.06485).
We show that Hidas families of $p$-adic elliptic modular forms generalize to $p$-adic families of Jacobi forms. We also construct $p$-ad
Let Y and X denote C^k vector fields on a possibly noncompact surface with empty boundary, k >0. Say that Y tracks X if the dynamical system it generates locally permutes integral curves of X. Let K be a locally maximal compact set of zeroes of X. THEOREM Assume the Poincare-Hopf index of X at K is nonzero, and the k-jet of X at each point of K is nontrivial. If g is a supersolvable Lie algebra of C^k vector fields that track X, then the elements of g have a common zero in K. Applications are made to attractors and transformation groups.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
