Related papers: Linear and multilinear algebra on diffeological ve…
We study the geometry of the algebraic set of tuples of composable matrices which multiply to a fixed matrix, using tools from the theory of quiver representations. In particular, we determine its codimension $C$ and the number $\theta$ of…
In this work we fully characterize the classes of matrix weights for which multilinear Calder\'on-Zygmund operators extend to bounded operators on matrix weighted Lebesgue spaces. To this end, we develop the theory of multilinear singular…
Given some vector fields on a smooth manifold satisfying H\"ormander's condition, we define a bi-graded pseudo-differential calculus which contains the classical pseudo-differential calculus and a pseudo-differential calculus adapted to the…
As a toy model for the implementation of the diffeomorphism constraint, the interpretation of the resulting states, and the treatment of ordering ambiguities in loop quantum gravity, we consider the Hilbert space of spatially diffeomorphism…
Let $C$ be an arrangement of affine hyperplanes in a complex affine space $X$, $D$ the ring of algebraic differential operators on $X$. We define a category of quivers associated with $C$. A quiver is a collection of vector spaces, attached…
A deformation of the algebra of diffeomorphisms is constructed for canonically deformed spaces with constant deformation parameter theta. The algebraic relations remain the same, whereas the comultiplication rule (Leibniz rule) is different…
We develop the theory of smooth principal bundles for a smooth group $G$, using the framework of diffeological spaces. After giving new examples showing why arbitrary principal bundles cannot be classified, we define $D$-numerable bundles,…
The space of symbols of differential operators on a smooth manifold (i.e., the space of symmetric contravariant tensor fields) is naturally a module over the Lie algebra of vector fields. We study, in the case of $\bf R^n$ with $n\geq2$,…
Results on derivations and automorphisms of some quantum and classical Poisson algebras, as well as characterizations of manifolds by the Lie structure of such algebras, are revisited and extended. We prove in particular somehow unexpected…
In previous work we established a multilinear duality and factorisation theory for norm inequalities for pointwise weighted geometric means of positive linear operators defined on normed lattices. In this paper we extend the reach of the…
We introduce a notion of elliptic differential graded Lie algebra. The class of elliptic algebras contains such examples as the algebra of differential forms with values in endomorphisms of a flat vector bundle over a compact manifold, etc.…
We study the special algebraic properties of alternating 3-forms in 6 and 7 dimensions and introduce a diffeomorphism-invariant functional on the space of differential 3-forms on a closed manifold M in these dimensions. Restricting the…
In past few decades, tensor algebra also known as multi-linear algebra has been developed and customized as a tool to be used for various engineering applications. In particular, with the help of a special form of tensor contracted product,…
A self-dual algebras is one isomorphic as a module to the opposite of its dual; a quasi self-dual algebra is one whose cohomology with coefficients in itself is isomorphic to that with coefficients in the opposite of its dual. For these…
We study the approximation properties of a wide class of finite element differential forms on curvilinear cubic meshes in n dimensions. Specifically, we consider meshes in which each element is the image of a cubical reference element under…
The theory of spaces with different (not only by sign) contravariant and covariant affine connections and metrics [}$(\bar{L}_n,g)$\QTR{it}{-spaces] is worked out within the framework of the tensor analysis over differentiable manifolds and…
We exhibit differential geometric structures that arise in numerical methods, based on the construction of Cauchy sequences, that are currently used to prove explicitly the existence of weak solutions to functional equations. We describe…
The space of differential operators acting on skewsymmetric tensor fields or on smooth forms of a smooth manifold are representations of its Lie algebra of vector fields. We compute the first cohomology spaces of these representations and…
This paper explores formalizing Geometric (or Clifford) algebras into the Lean 3 theorem prover, building upon the substantial body of work that is the Lean mathematics library, mathlib. As we use Lean source code to demonstrate many of our…
It is conjectured that the dual variety of every smooth nonlinear subvariety of dimension $> \frac{2N}{3}$ in projective $N$-space is a hypersurface, an expectation known as the duality defect conjecture. This would follow from the truth of…