Related papers: Base change along lax squares
We present a mechanism for producing oscillations along the lift of the Teichm\"uller geodesic flow to the (real) Hodge bundle, as the basepoint surface is deformed by a unipotent element of $\text{SL}_2(\mathbb{R})$. Invoking…
We introduce a probabilistic extension of Levy's Call-By-Push-Value. This extension consists simply in adding a " flipping coin " boolean closed atomic expression. This language can be understood as a major generalization of Scott's PCF…
We give the formula for multiplying a Schubert class on an odd orthogonal or symplectic flag manifold by a special Schubert class pulled back from a Grassmannian of maximal isotropic subspaces. This is also the formula for multiplying a…
A multivariate Gauss-Lucas theorem is proved, sharpening and generalizing previous results on this topic. The theorem is stated in terms of a seemingly new notion of convexity. Applications to multivariate stable polynomials are given.
A classical result of Schubert calculus is an inductive description of Schubert cycles using divided difference (or push-pull) operators in Chow rings. We define convex geometric analogs of push-pull operators and describe their…
The cartesian structure possessed by relations, spans, profunctors, and other such morphisms is elegantly expressed by universal properties in double categories. Though cartesian double categories were inspired in part by the older program…
Structures where we have both a contravariant (pullback) and a covariant (pushforward) functoriality that satisfy base change can be encoded by functors out of ($\infty$-)categories of spans (or correspondences). In this paper we study the…
We introduce a shifted version of the binomial theorem, and use it to study some remarkable trigonometric integrals and their explicit rewriting in terms of binomial multiple sums. Motivated by the expressions of area generating functions…
A general action is proposed for the fields of $q$-dimensional differential form over the compact Riemannian manifold of arbitrary dimensions. Mathematical tools are based on the well-known de Rham-Kodaira decomposing theorem on harmonic…
We give a new simple proof of Dehn's theorem by generalizing the notion of area. The method proposed in the present article is actually the "translation" of the method of additive functions into the elementary math language.
This paper points out the usefulness of the concept of derivation along a map in many problems in Geometry and Physics. In particular it will be shown that this approach allows us to translate the usual concepts arising in Geometrical…
We record a particularly simple construction on top of Lumsdaine's local universes that allows for a Coquand-style universe of propositions with propositional extensionality to be interpreted in a category with subobject classifiers.
Chords in musical harmony can be viewed as objects having shapes (major/minor/etc.) attached to base sets (pitch class sets). The base set and the shape set are usually given the structure of a group, more particularly a cyclic group. In a…
A category is adhesive if it has all pullbacks, all pushouts along monomorphisms, and all exactness conditions between pullbacks and pushouts along monomorphisms which hold in a topos. This condition can be modified by considering only…
This paper presents a generalized version of a theorem of Grzegorek and Labuda in category bases and also endeavours to establish a variant formulation of the same in Marczewski structures.
We provide a piecewise linear isomorphism from the normal fan of the pivot polytope of a product of simplices to the normal fan of a shuffle of associahedra.
Systems of equations are invariant under "polydimensional transformations" which reshuffle the geometry such that what is a line or a plane is dependent upon the frame of reference. This leads us to propose an extension of Clifford calculus…
A popular graphical calculus for monoidal categories makes computations tactile and intuitive. Complicated diagram chases can be expressed in a few pictures and discovered by playing with a shoelace. Joyal and Street's proof of the…
In this paper, we generalize the push-forward (Gysin) formulas for flag bundles in the ordinary cohomology theory, which are due to Darondeau-Pragacz, to the complex cobordism theory. Then we introduce the {\it universal quadratic Schur…
We study the collection of measures obtained via push-forward along a map between smooth varieties over p-adic fields. We investigate when the stalks of this collection are finite-dimensional. We provide an algebro-geometric criterion…