Related papers: First-order invariants of differential 2-forms

Order-invariant formulas access an ordering on a structure's universe, but the model relation is independent of the used ordering. Order invariance is frequently used for logic-based approaches in computer science. Order-invariant formulas…

Embedding Calculus, as described by Weiss, is a calculus of functors, suitable for studying contravariant functors from the poset of open subsets of a smooth manifold M, denoted O(M), to a category of topological spaces (of which the…

Let $(M^m,g)$ be an $m$-dimensional closed Riemannian manifold with non-negative sectional curvatures, $m\ge 3$. We define a conformal invariant and prove that, if the conformal invariant is bounded from above by a constant depending only…

We develop a calculus of variations for functionals on certain spaces of conformal maps. Such a space \Omega\ is composed of all maps that are conformal on domains containing a fix compact annular set of the Riemann sphere, and that are…

The demand to know the structure of functionally independent invariants of tensor fields arises in many problems of theoretical and mathematical physics, for instance for the construction of interacting higher-order tensor field actions. In…

Let $M$ be a smooth connected compact surface and $P$ be either a real line or a circle. This paper proceeds the study of the stabilizers and orbits of smooth functions on $M$ with respect to the right action of the group of diffeomorphisms…

The space of linear differential operators on a smooth manifold $M$ has a natural one-parameter family of $Diff(M)$ (and $Vect(M)$)-module structures, defined by their action on the space of tensor-densities. It is shown that, in the case…

The following conjecture on the deformation invariance of plurigenera is proved. For a smooth projective holomorphic family of compact complex manifolds over the open unit 1-disk such that all the fibers are of general type, every…

We propose a data-driven approach to identifying the functionally independent invariants that can be constructed from a tensor with a given symmetry structure. Our algorithm proceeds by first enumerating graphs, or tensor networks, that…

Orthogonally invariant functions of symmetric matrices often inherit properties from their diagonal restrictions: von Neumann's theorem on matrix norms is an early example. We discuss the example of "identifiability", a common property of…

Let $\cl{M}$ be a Hilbert module of holomorphic functions over a natural function algebra $\mathcal{A}(\Omega)$, where $\Omega \subseteq \bb{C}^m$ is a bounded domain. Let $\cl{M}_0\subseteq \cl{M}$ be the submodule of functions vanishing…

For a rank two bundle $F$ over a surface $X$, we study the set of singularities $M_\sigma$ of the eigenvalue functions of symmetric symbols $\sigma$ associated to first order differential operators on $F$. We prove that the existence of…

For a compact smooth manifold $M$ (with boundary) we prove that the topological rank of the diffeomorphism group Diff$_0^k(M)$ is finite for all $k\geq 1$. This extends a result from [2] where the same claim is proved in the special case of…

We establish a second order smooth variational principle valid for functions defined on (possibly infinite-dimensional) Riemannian manifolds which are uniformly locally convex and have a strictly positive injectivity radius and bounded…

Let $U(G)$ be a maximal unipotent subgroup of one of classical groups $G=GL(V),O(V),Sp(V)$. Let $W$ be a direct sum of copies of $V$ and its dual $V*$. For the natural action $U(G):W$, we describe a minimal system of homogeneous generators…

This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…

Recently the algebraic structure of gauge-invariant operators in multi-matrix quantum mechanics has been clarified: this space forms a module over a freely generated ring. The ring is generated by a set of primary invariants, while the…

Second order integrals of motion for 3d quantum mechanical systems with position dependent masses (PDM) are classified. Namely, all PDM systems are specified which, in addition to their rotation invariance, admit at least one second order…

We describe an interpretation of the Kervaire invariant of a Riemannian manifold of dimension $4k+2$ in terms of a holomorphic line bundle on the abelian variety $H^{2k+1}(M)\otimes R/Z$. Our results are inspired by work of Witten on the…

We extend the theory of diffeomorphism-invariant spin network states from the real-analytic category to the smooth category. Suppose that G is a compact connected semisimple Lie group and P -> M is a smooth principal G-bundle. A `cylinder…