Related papers: Base change along lax squares

The expansion of a Schubert polynomial into slide polynomials corresponds to a sum over sub-balls in the subword complex. There has been recent interest in other, coarser, expansions of Schubert polynomials. We extend the methods used in…

In this paper we aim to generalize results obtained in the framework of fractional calculus by the way of reformulating them in terms of operator theory. In its own turn, the achieved generalization allows us to spread the obtained…

We present a covariant field-theoretical framework for a rank-4 tensor gauge field theory describing fractonic string-like objects. We show that the most general quadratic, parity-preserving action naturally leads to a Maxwell-like sector,…

We prove a result concerning formality of the pull-back of a fibration. Our approach is to use bar complexes in the category of commutative differential graded algebras. As an application, we generalize an old result of Baum and Smith.

We describe an explicit geometric Littlewood-Richardson rule, interpreted as deforming the intersection of two Schubert varieties so that they break into Schubert varieties. There are no restrictions on the base field, and all…

What is the true order of growth of torsion in the cohomology of an arithmetic group? Let $D$ be a quaternion over an imaginary quadratic field $F.$ Let $E/F$ be a cyclic Galois extension with $\mathrm{Gal}(E/F) = \langle \sigma \rangle.$…

We present a general procedure for constructing triangulated categories, linear over a field, with distinct enhancements. Some of our examples can be equipped with a (non-degenerate) t-structure, thereby showing that the existence of a…

We construct a theory of particles moving in curved both momentum space and spacetime, being a generalization of Relative Locality. We find that in order to construct such theory, with desired symmetries, including the general coordinate…

We record an explicit proof of the theorem that lifts a two-variable adjunction to the arrow categories of its domains.

This thesis focuses on topics in 2-category theory: in particular on double categories, pseudomonads and codescent objects. In Chapter 2 we recall all the necessary notions. In Chapter 3 we show that factorization systems can be…

We study the pullback of the apolarity invariant of complex polynomials in one variable under a polynomial map on the complex plane. As a consequence, we obtain variations of the classical results of Grace and Walsh in which the unit disk,…

This paper gives a diagrammatic way to perform a generalized shift move on a crown diagram of a smooth 4-manifold. Applications include a simplified proof that if two crown diagrams are related by a generalized shift move, then they are…

We covariantize calculations over the manifold of phase space, establishing Stokes' theorem for differential cross sections and providing new definitions of familiar observable properties like infrared and collinear safety. Through the…

This is a major update of the previous version. The methods of the paper are now fully constructive and the style is "formalization ready" with the emphasis on the possibility of formalization both in type theory and in constructive set…

We propose a general notion of algebraic gauge theory obtained via extracting the main properties of classical gauge theory. Building on a recent work on transferring curved $A_{\infty}$-structures we show that, under certain technical…

We develop some applications of certain algebraic and combinatorial conditions on the elements of Coxeter groups, such as elementary proofs of the positivity of certain structure constants for the associated Kazhdan--Lusztig basis. We also…

Power series are introduced that are simultaneously convergent for all real and p-adic numbers. Our expansions are in some aspects similar to those of exponential, trigonometric, and hyperbolic functions. Starting from these series and…

It is shown how the graph category of Borisov and Manin can be constructed from (a variant of) the graph category of Joyal and Kock, essentially by reversing the generic morphisms. More precisely, the morphisms in the Borisov-Manin category…

We propose a construction of a stable category for any pretorsion theory in a lextensive category. We prove the universal property of the stable category, that extends previous results obtained for the stable category of internal preorders…

A new proof for adjoint systems of linear equations is presented. The argument is built on the principles of Algorithmic Differentiation. Application to scalar multiplication sets the base line. Generalization yields adjoint inner vector,…