Related papers: Lagrangian correspondences and pullbacks of virtua…
We develop a new framework of relative algebroids to address existence and classification problems of geometric structures subject to partial differential equations.
Functional Distributional Semantics is a framework that aims to learn, from text, semantic representations which can be interpreted in terms of truth. Here we make two contributions to this framework. The first is to show how a type of…
In this paper we show that a variational reduction procedure can be defined for Lagrangian systems subject to scaling symmetries (i.e. Lagrangian systems defined by a homogenous Lagrangian function), in such a way that the trajectories of…
In this article one introduces a formalism of classical mechanics where complex Lagrangian functions are admitted. The results include complex versions of the Lagrangian function, of the Euler-Lagrange equation, of the Hamilton principle, a…
In this work, we establish a categorification of the classical Dold-Kan correspondence in the form of an equivalence between suitably defined $\infty$-categories of simplicial stable $\infty$-categories and connective chain complexes of…
Martin-L\"of's Intuitionistic Theory of Types is becoming popular for formal reasoning about computer programs. To handle recursion schemes other than primitive recursion, a theory of well-founded relations is presented. Using primitive…
We develop a correspondence between the orbits of the group of linear symplectomorphisms of a real finite dimensional symplectic vector space in the complex Lagrangian Grassmannian and the Grassmannians of linear subspaces of the real…
The jet formalism for Classical Field theories is extended to the setting of Lie algebroids. We define the analog of the concept of jet of a section of a bundle and we study some of the geometric structures of the jet manifold. When a…
Lagrangian cobordisms between Legendrian knots arise in Symplectic Field Theory and impose an interesting and not well-understood relation on Legendrian knots. There are some known "elementary" building blocks for Lagrangian cobordisms that…
We present the symplectic algorithm in the Lagrangian formalism for the Hamiltonian systems by virtue of the noncommutative differential calculus with respect to the discrete time and the Euler--Lagrange cohomological concepts. We also show…
The Langlands correspondence for complex curves is traditionally formulated in terms of sheaves rather than functions. Recently, Langlands asked whether it is possible to construct a function-theoretic version. In this paper we use the…
We develop an equivariant Lagrangian Floer theory for Liouville sectors that have symmetry of a Lie group $G$. Moreover, for Liouville manifolds with $G$-symmetry, we develop a correspondence theory to relate the equivariant Lagrangian…
We derive the gravitational Lagrangian to all orders of curvature when the canonical constraint algebra is deformed by a phase space function as predicted by some studies into loop quantum cosmology. The deformation function seems to be…
In this remark we discuss a relationship between (co)homology classes of a symplectic manifold realized by symplectic and lagrangian objects. We establish some transversality condition for the classes, realized by symplectic divisors and…
This work propose an alternative and systematic way to obtain a canonical Lagrangian formulation for rotational systems. This will be done in the symplectic framework and with the introduction of extra variables which enlarge the phase…
In this paper we study the Lagrangian Floer theory over $\Z$ or $\Z_2$. Under an appropriate assumption on ambient symplectic manifold, we show that the whole story of Lagrangian Floer theory in \cite{fooo-book} can be developed over $\Z_2$…
We clarify the correspondence between the first order formalism and the second order formalism in the generalized gravity where the Lagrangian density is given by a function of the scalar curvature f(R).
We consider virtual pullbacks in $K$-theory, and show that they are bivariant classes and satisfy certain functoriality. As applications to $K$-theoretic counting invariants, we include proofs of a virtual localization formula for schemes…
In categorical compositional semantics of natural language one studies functors from a category of grammatical derivations (such as a Lambek pregroup) to a semantic category (such as real vector spaces). We compositionally build…
In this article we study multisymplectic geometry, i.e., the geometry of manifolds with a non-degenerate, closed differential form. First we describe the transition from Lagrangian to Hamiltonian classical field theories, and then we…