Related papers: Looking at osculating bundles through the semiholo…
A tangent category is a category with an endofunctor, called the tangent bundle functor, which is equipped with various natural transformations that capture essential properties of the classical tangent bundle of smooth manifolds. In this…
In the comparison of nonholonomic mechanics and constrained variational mechanics, invariant affine subbundles arise in the determination of the initial conditions where the two methods yield the same trajectories. Motivated by this,…
We define a supercategorification of the $q$-Schur algebra of level two and an odd analogue of $\mathfrak{gl}_2$-foams. Using these constructions, we define a homological invariant of tangles, and show that it coincides with odd Khovanov…
This paper presents the theory of holomorphic vector valued modular forms from a geometric perspective. More precisely, we define certain holomorphic vector bundles on the modular orbifold of generalized elliptic curves whose sections are…
Bundled products are often offered as good deals to customers. When we bundle quantifiers and modalities together (as in $\exists x \Box$, $\Diamond \forall x$ etc.) in first-order modal logic (FOML), we get new logical operators whose…
We initiate the study of the cohomology of (strict polynomial) bifunctors by introducing the foundational formalism, establishing numerous properties in analogy with the cohomology of functors, and providing computational techniques. Since…
We calculate the group of dualization operations for triple vector bundles, showing that it has order 96 and not 72 as given in Mackenzie's original treatment. The group is a nonsplit extension of S4 by the Klein group. Dualization…
We give a systematic construction of semiorthogonal decompositions of derived categories of coherent sheaves on quasi-smooth derived algebraic stacks over $\mathbb{C}$, where the summands are subcategories defined by weight conditions, and…
Drawing parallels with hyperplane arrangements, we develop the theory of arrangements of submanifolds. Given a smooth, finite dimensional, real manifold $X$ we consider a finite collection $\mathcal{A}$ of locally flat, codimension-1…
We employ ab-initio electronic structure calculations to search for spin gapless semiconductors, a recently identified new class of materials, among the inverse Heusler compounds. The occurrence of this property is not accompanied by a…
The equivalence problem for linear differential operators of the second order, acting in vector bundles, is discussed. The field of rational invariants of symbols is described and connections, naturally accosiated with differential…
A new concept called multilevel contours is introduced through this article by the author. Theorems on contours constructed on a bundle of complex planes are stated and proved. Multilevel contours can transport information from one complex…
Any arrangement of hyperplanes in general position in $P^n$ can be regarded as a divisor with normal crossing. We study the bundles of logarithmic 1-forms corresponding to such divisors` from the point of view of classification of vector…
The factorization technique for superintegrable Hamiltonian systems is revisited and applied in order to obtain additional (higher-order) constants of the motion. In particular, the factorization approach to the classical anisotropic…
We initiate the study of deformation theory in the context of derived and higher log geometry. After reconceptualizing the "exactification"-procedures in ordinary log geometry in terms of Quillen's approach to the cotangent complex, we…
In this paper we show, in a systematic way, how to relate the Kepler problem to the isotropic harmonic oscillator. Unlike previous approaches, our constructions are carried over in the Lagrangian formalism dealing with second order vector…
In this paper, we introduce and investigate a new notion of exact sequences of semimodules over semirings relative to the canonical image factorization. Several homological results are proved using the new notion of exactness including some…
We develop a formalism that describes the bending and twisting of axoneme-like filament bundles. We obtain general formulas to determine the relative sliding between any arbitrary filaments in a bundle subjected to unconstrained…
A tangent category is a category equipped with an endofunctor that satisfies certain axioms which capture the abstract properties of the tangent bundle functor from classical differential geometry. Cockett and Cruttwell introduced…
Many first-order equational theories, such as the theory of groups or boolean algebras, can be presented by a smaller set of axioms than the original one. Recent studies showed that a homological approach to equational theories gives us…