相关论文: Remarks on Nambu-Poisson and Nambu-Jacobi brackets
We present a refinement of the Calculus of Inductive Constructions in which one can easily define a notion of relational parametricity. It provides a new way to automate proofs in an interactive theorem prover like Coq.
Filippov n-algebroids are introduced by Grabowski and Marmo as a natural generalization of Lie algebroids. On this note, we characterized Filippov n-algebroid structures by considering certain multi-input connections, which we called…
In this paper we define two types of implicative derivations on pseudo-BCI algebras, we investigate their properties and we give a characterization of regular implicative derivations of type II. We also define the notion of a $d$-invariant…
We consider constrained Hamiltonian systems in the framework of Dirac's theory. We show that the Jacobi identity results from imposing that the constraints are Casimir invariants, regardless of the fact that the matrix of Poisson brackets…
We introduce the notion of the modular class of a Lie algebroid equipped with a Nambu structure. In particular, we recover the modular class of a Nambu-Poisson manifold $M$ with its Nambu tensor $\Lambda$ as the modular class of the tangent…
A new family of solutions of the Jacobi partial differential equations for finite-dimensional Poisson systems is investigated. This family is mathematically remarkable, as the functional dependences of the solutions appear to be associated…
The article investigates systems of differential-difference equations of hyperbolic type, integrable in sense of Darboux. The concept of a complete set of independent characteristic integrals underlying Darboux integrability is discussed. A…
In this paper we characterize, in two different ways, the Newton polygons which are jacobian Newton polygons of a branch. These characterizations give in particular combinatorial criteria of irreducibility for complex series in two…
Given an oriented surface S with base point * on the boundary, we introduce for all N>0, a canonical quasi-Poisson bracket on the space of N-dimensional linear representations of \pi_1(S,*). Our bracket extends the well-known Poisson…
We extend the notion of Lie bialgebroids for more general bracket structures used in string and M theories. We formalize the notions of calculus and dual calculi on algebroids. We achieve this by reinterpreting the main results of the…
We give an explicit formula showing how the double Poisson algebra introduced in \cite{VdB} appears as a particular part of a pre-Calabi-Yau structure, i.e. cyclically invariant, with respect to the natural inner form, solution of the…
We construct a modification of the Poisson bracket which is suitable for a canonical analysis of space-time noncommutative field theories. We show that this bracket satisfies the Jacobi identities and generates equations of motion. In this…
We prove that any multi-variate Hasse-Schmidt derivation can be decomposed in terms of substitution maps and uni-variate Hasse-Schmidt derivations. As a consequence we prove that the bracket of two $m$-integrable derivations is also…
The Grassmann-odd Nambu bracket on the Grassmann algebra is proposed.
We prove the Banach strong Novikov conjecture for groups having polynomially bounded higher-order combinatorial functions. This includes all automatic groups.
This work introduces a new class of symmetric matrix structures, called harmonic structures, which enable the generation of all possible directed transitions $(x_i, x_{i+1})$ over a set of $n$ symbols, without internal repetitions. Unlike…
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus involving induction and co-induction. These proof principles…
We consider a discrete equation, defined on the two-dimensional square lattice, which is linearizable, namely, of the Burgers type and depends on a parameter $\alpha$. For any natural number $N$ we choose $\alpha$ so that the equation…
It is shown that the new Poisson brackets proposed in Part I of this work (J. Math. Phys. 34, 5747(hep-th/9305133)) arise naturally in an extension of the formal variational calculus incorporating divergences. The linear spaces of local…
In a Hamiltonian system with first class constraints observables can be defined as elements of a quotient Poisson bracket algebra. In the gauge fixing method observables form a quotient Dirac bracket algebra. We show that these two algebras…