Local Cohomolgy Along Exceptional Sets.
We introduce the concept of conserved current variationally associated with locally variational invariant field equations. The invariance of the variation of the corresponding local presentation is a sufficient condition for the current beeing variationally equivalent to a global one. The case of a Chern-Simons theory is worked out and a global current is variationally associated with a Chern-Simons local Lagrangian.
In this paper we work in o-minimal structures with definable Skolem functions, and show that: (i) a Hausdorff definably compact definable space is definably normal; (ii) a continuous definable map between Hausdorff locally definably compact definable spaces is definably proper if and only if it is a proper morphism in the category of definable spaces. We give several other characterizations of definably proper, including one involving the existence of limits of definable types. We also prove the...
We introduce and study the sheaf of Deligne to describe singular points of a linear differential operator and we develop a technique based on homological algebra to prove index theorems for .As particular cases, we obtain index theorems for acting in spaces of multisummable series and a new proof of the index theorem of Malgrange in the space of convergent power series and of the index theorems of Ramis in the spaces of Gevrey series.We compute the values of these indices in terms of the formal...
Here we prove a Poincaré - Verdier duality theorem for the o-minimal sheaf cohomology with definably compact supports of definably normal, definably locally compact spaces in an arbitrary o-minimal structure.
We consider cohomology defined by a system of local Lagrangian and investigate under which conditions the variational Lie derivative of associated local currents is a system of conserved currents. The answer to such a question involves Jacobi equations for the local system. Furthermore, we recall that it was shown by Krupka et al. that the invariance of a closed Helmholtz form of a dynamical form is equivalent with local variationality of the Lie derivative of the dynamical form; we remark that...
We study the cohomology properties of the singular foliation ℱ determined by an action Φ: G × M → M where the abelian Lie group G preserves a riemannian metric on the compact manifold M. More precisely, we prove that the basic intersection cohomology is finite-dimensional and satisfies the Poincaré duality. This duality includes two well known situations: ∙ Poincaré duality for basic cohomology (the action Φ is almost free). ∙ Poincaré duality for intersection cohomology (the group G is compact...