Related papers: Classifying Linear Canonical Relations
We introduce new finite-dimensional cohomologies on symplectic manifolds. Each exhibits Lefschetz decomposition and contains a unique harmonic representative within each class. Associated with each cohomology is a primitive cohomology…
A description of Lagrangian and Hamiltonian formalisms naturally arisen from the invariance structure of given nonlinear dynamical systems on the infinite--dimensional functional manifold is presented. The basic ideas used to formulate the…
These are lecture notes (by the first author) from a course (by the second author) given over two extended semesters at the University of Sydney. The first part provides an introduction to the Langlands correspondence from an arithmetical…
Multivalued linear operators, also known as linear relations, are studied on a specific class of weighted, composition transforms on Fock space. Basic properties of this class of linear relations, such as closed graph, boundedness, complex…
Curve singularities are classical objects of study in algebraic geometry. The key player in their combinatorial structure is the {\it value semigroup}, or its compactification, the {\it value semiring}. One natural problem is to explicitly…
We outline a program for incorporating holomorphic curves with Lagrangian boundary conditions into symplectic field theory, with an emphasis on ideas, geometric intuition, and a description of the resulting algebraic structures.
We study embedding gravity, a modified theory of gravity, in which our space-time is assumed to be a four-dimensional surface in flat ten-dimensional space. Based on a simple geometric idea, this theory can be reformulated as General…
The chiral Lagrangians with vector mesons are constructed in different approaches, including the next-to-leading order Lagrangian in the vector-field approach, the next-to-next-to-leading order Lagrangians in the tensor-field and the hidden…
One of the less well understood ambiguities of quantization is emphasized to result from the presence of higher-order time derivatives in the Lagrangians resulting in multiple-valued Hamiltonians. We explore certain classes of branched…
We obtain necessary and sufficient conditions to determine the existence of presymplectic forms of a given rank on all almost abelian Lie algebras. We also study the moduli space of presymplectic forms (this is the set of all closed 2-forms…
The present work presents some results about the categorial relation between logics and its categories of structures. A (propositional, finitary) logic is a pair given by a signature and Tarskian consequence relation on its formula algebra.…
We study links between first-order formulas and arbitrary properties for families of theories, classes of structures and their isomorphism types. Possibilities for ranks and degrees for formulas and theories with respect to given properties…
In this work, we study direct limits of finite dimensional basic classical simple Lie superalgebras and obtain the conjugacy classes of Cartan subalgebras under the group of automorphisms.
We compare the minimal model of a log canonical pair with the minimal model of its reduced boundary. These results are then used to study the existence of the minimal model of a semi-log-canonical pair using its normalization.
This article gives a classification, up to symplectic equivalence, of singular Lagrangian foliations given by a completely integrable system of a 4-dimensional symplectic manifold, in a full neighbourhood of a singular leaf of focus-focus…
We use the endoscopic classification of automorphic representations of even-dimensional unitary groups to construct level-raising congruences.
Morphisms between (formal) contexts are certain pairs of maps, one between objects and one between attributes of the contexts in question. We study several classes of such morphisms and the connections between them. Among other things, we…
This work intends to present a study on relations between a Lie algebra called dispersion operators algebra, linear canonical transformation and a phase space representation of quantum mechanics that we have introduced and studied in…
In this paper, we give a complete classification of symplectic structures on six-dimensional Frobeniusian solvable Lie algebras, up to symplectomorphism. We provide a scheme to classify the isomorphism classes of six-dimensional…
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…