Related papers: Prolongations in differential algebra
Typical dualities in arbitrary dimensions are understood through a Hilbert-space extension method. By these results, we rigorously dualize the quantum ingappabilities to discrete height model in one dimension which is inaccessible by…
This is a remastered and expanded version of a an earlier preprint of the author, in which we give a fully algebraic proof of an important theorem of Demailly, stating the existence of many Green-Griffiths jet differentials on a complex…
We continue the study dilation of linear maps on vector spaces introduced by Bhat, De, and Rakshit. This notion is a variant of vector space dilation introduced by Han, Larson, Liu, and Liu. We derive vector space versions of Wold…
We develop a generalized field space geometry for higher-derivative scalar field theories, expressing scattering amplitudes in terms of a covariant geometry on the all-order jet bundle. The incorporation of spacetime and field derivative…
In gravitational theories involving higher curvature corrections the metric describes additional degrees of freedom beyond the graviton. Holographic duality maps these to operators in the dual CFT. We identify infinite families of theories…
Paul Halmos' work in dilation theory began with a question and its answer: Which operators on a Hilbert space can be extended to normal operators on a larger Hilbert space? The answer is interesting and subtle. The idea of representing…
We study the concept of extended derivations of algebras which expands diverse definitions of generalized derivations given in the literature. We concentrate on the family of the anti-commutative algebras and classify such spaces of…
Given a bounded operator $Q$ on a Hilbert space $\mathcal{H}$, a pair of bounded operators $(T_1, T_2)$ on $\mathcal{H}$ is said to be $Q$-commuting if one of the following holds: \[ T_1T_2=QT_2T_1 \text{ or }T_1T_2=T_2QT_1 \text{ or…
We apply tilting theory over preprojective algebras $Lambda$ to a study of moduli space of $Lambda$-modules. We define the categories of semistable modules and give an equivalence, so-called reflection functors, between them by using…
Detailed mappings between zero-curvture equations for prolongation structures of nonlinear pde's and Estabrook-Wahlquist algorithms for same are given. The differences are exemplified by studies of the sine-Gordon equation. An example where…
In this paper, we introduce a study of prolongations of homogeneous vector bundles. We give an alternative approach for the prolongation. For a given homogeneous vector bundle E, we obtain a new homogeneous vector bundle. The homogeneous…
We study varieties generated by semi-primal lattice-expansions by means of category theory. We provide a new proof of the Keimel-Werner topological duality for such varieties and, using similar methods, establish its discrete version. We…
For the multiple differential algebra of iterated differential forms (see math.DG/0605113 and math.DG/0609287) on a diffiety (O,C) an analogue of C-spectral sequence is constructed. The first term of it is naturally interpreted as the…
We extend the notion of self-duality to spaces built from a set of representations of the Lorentz group with bosonic or fermionic behaviour, not having the traditional spin-one upper-bound of super Minkowski space. The generalized…
This is the second in a series of papers on natural modification of the normal tractor connection in a parabolic geometry, which naturally prolongs an underlying overdetermined system of invariant differential equations. We give a short…
We investigate the problem of type isomorphisms in the presence of higher-order references. We first introduce a finitary programming language with sum types and higher-order references, for which we build a fully abstract games model…
We develop an obstruction theory for the extension of truncated minimal $A$-infinity bimodule structures over truncated minimal $A$-infinity algebras. Obstructions live in far-away pages of a (truncated) fringed spectral sequence of…
We introduce a canonical isomorphism from the space of pure-type complex differential forms on a compact complex manifold to the one on its infinitesimal deformations. By use of this map, we generalize an extension formula in a recent work…
We prove that the category of vector bundles over a fixed smooth manifold and its corresponding category of convenient modules are models for intuitionistic differential linear logic. The exponential modality is modelled by composing the…
An extension $B\subset A$ of finite dimensional algebras is bounded if the $B$-$B$-bimodule $A/B$ is $B$-tensor nilpotent, its projective dimension is finite and $\mathrm{Tor}_i^B(A/B, (A/B)^{\otimes_B j})=0$ for all $i, j\geq 1$. We show…