arXiv research

We prove Noether's direct and inverse second theorems for Lagrangian systems on fiber bundles in the case of gauge symmetries depending on derivatives of dynamic variables of an arbitrary order. The appropriate notions of reducible gauge symmetries and Noether's identities are formulated, and their equivalence by means…

We characterize the Lie derivative of spinor fields from a variational point of view by resorting to the theory of the Lie derivative of sections of gauge-natural bundles. Noether identities from the gauge-natural invariance of the first variational derivative of the Einstein(--Cartan)--Dirac Lagrangian provide restric…

Defines new canonical lifts for field theories, analyzing Klein-Gordon, Polyakov string, and Einstein-Cartan gravity.

We prove a Lefschetz hyperplane theorem for the determinantal loci of a morphism between two holomorphic vector bundles $E$ and $F$ over a complex manifold under the condition that $E^*\ox F$ is Griffiths $k$-positive. We apply this result to find some homotopy groups of the Brill-Noether loci for a generic curve.

Proposes a new category of bundles for Lagrangian reduction in field theory.

Develops a reduction theory for covariant field theories with gauge symmetries.

In the two papers of this series, we initiate the development of a new approach to implementing the concept of symmetry in classical field theory, based on replacing Lie groups/algebras by Lie groupoids/algebroids, which are the appropriate mathematical tools to describe local symmetries when gauge transformations are …

We construct simply connected, minimal, symplectic 4-manifolds with exotic smooth structures and each with one Seiberg-Witten basic class up to sign, on the Noether line and between the Noether and half Noether lines by star surgeries introduced by Karakurt and Starkston, and by using complex singularities. We also con…

A generic degenerate Lagrangian system of even and odd variables on an arbitrary smooth manifold is examined in terms of the Grassmann-graded variational bicomplex. Its Euler-Lagrange operator obeys Noether identities which need not be independent, but satisfy first-stage Noether identities, and so on. However, non-tri…

Discrete Lagrange problems solved with Lie group constraints.

Noether theorem applied to variational problems on hyperbolic surfaces.

We provide an action for gauge theories discretized on simplicial meshes, inspired by finite element methods. The action is discretely gauge invariant and we give a proof of consistency. A discrete Noether's theorem that can be applied to our setting, is also proved.

Given a generic Lagrangian system, its Euler-Lagrange operator obeys Noether identities which need not be independent, but satisfy first-stage Noether identities, and so on. This construction is generalized to arbitrary differential operators on a smooth fiber bundle. Namely, if a certain necessary and sufficient condi…

Develops higher-order Euler-Poincaré field equations for principal G-bundles.

An intrinsic description of the Hamilton-Cartan formalism for first-order Berezinian variational problems determined by a submersion of supermanifolds is given. This is achieved by studying the associated higher-order graded variational problem through the Poincaré-Cartan form. Noether theorem and examples from superfi…

Quantization of a Lagrangian field system essentially depends on its degeneracy and implies its BRST extension defined by sets of non-trivial Noether and higher-stage Noether identities. However, one meets a problem how to select trivial and non-trivial higher-stage Noether identities. We show that, under certain condi…

Homotopy momentum map extends Noether's theorem in general relativity.

Critical points of scale-invariant curvature energies in 4D are analytic.

Following work by I. Anderson, in this note we present a formulation of Noether's Second Theorem that is valid on any natural bundle.

We consider Noether symmetries of the equations defined by the sections of characteristic line bundles of nondegenerate 1-forms and of the associated perturbed systems. It appears that this framework can be used for time-dependent systems with constraints and nonconservative forces, allowing a quite simple and transpar…

The Noether theorem is extended to stochastic control problems using contact symmetries.

This paper investigates Lie Quandles and Leibniz Racks, extending Noether's first theorem.

A general study of symmetries in optimal control theory is given, starting from the presymplectic description of this kind of system. Then, Noether's theorem, as well as the corresponding reduction procedure (based on the application of the Marsden-Weinstein theorem adapted to the presymplectic case) are stated both in…

We present constructions of simply connected symplectic 4-manifolds which have (up to sign) one basic class and which fill up the geographical region between the half-Noether and Noether lines.

Differential conservation laws in Lagrangian field theory are usually related to symmetries of a Lagrangian density and are obtained if the Lie derivative of a Lagrangian density by a certain class of vector fields on a fiber bundle vanishes. However, only two field models meet this property in fact. In gauge theory of…

Introduces a variational framework for indefinite Lagrangians with specific symmetries.

In the classical Lagrangian approach to conservation laws of gauge-natural field theories a suitable (vector) density is known to generate the so--called {\em conserved Noether currents}. It turns out that along any section of the relevant gauge--natural bundle this density is the divergence of a skew--symmetric (tenso…

In the process of calculating Noether's conservation laws, two sets of integration by parts are performed. Here it is shown why the boundary terms from the first set of integration by parts vanish.

Noether's framework reveals symmetry-breaking in neural networks.

By resorting to Noether's Second Theorem, we relate the generalized Bianchi identities for Lagrangian field theories on gauge-natural bundles with the kernel of the associated gauge-natural Jacobi morphism. A suitable definition of the curvature of gauge-natural variational principles can be consequently formulated in …

Develops tools for studying intersections of elliptic operators, focusing on $J$-holomorphic maps.

Geometric framework for dissipative systems on Lie algebroids.

Euler derived elastica equation using modern mathematical concepts.

Noether's theorem and the invariances of the Willmore functional are used to derive conservation laws that are satisfied by the critical points of the Willmore energy subject to generic constraints. We recover in particular previous results independently obtained by R. Capovilla and J. Guven, and by T. Riviere. Several…

Study connects surface classes to conservation laws.

In this paper we study symmetries, Newtonoid vector fields, conservation laws, Noether's Theorem and its converse, in the framework of the $k$-symplectic formalism, using the Frölicher-Nijenhuis formalism on the space of $k^1$-velocities of the configuration manifold. For the case $k=1$, it is well known that Cartan sy…

We present an extension of the classical theory of calculus of variations to generalized functions. The framework is the category of generalized smooth functions, which includes Schwartz distributions while sharing many nonlinear properties with ordinary smooth functions. We prove full connections between extremals and…

We define partial differential (PD in the following), i.e., field theoretic analogues of Hamiltonian systems on abstract symplectic manifolds and study their main properties, namely, PD Hamilton equations, PD Noether theorem, PD Poisson bracket, etc.. Unlike in standard multisymplectic approach to Hamiltonian field the…

Noether's Theorem yields conservation laws for a Lagrangian with a variational symmetry group. The explicit formulae for the laws are well known and the symmetry group is known to act on the linear space generated by the conservation laws. The aim of this paper is to explain the mathematical structure of both the Euler…

Paper extends Noether's Theorem to nonholonomic systems, proving conserved momentum.

In this paper we study the infinitesimal symmetries, Newtonoid vector fields, infinitesimal Noether symmetries and conservation laws of Hamiltonian systems. Using the dynamical covariant derivative and Jacobi endomorphism on the cotangent bundle we find the invariant equations of infinitesimal symmetries and Newtonoid …

Spin Lefschetz fibrations can represent any group and lattice point.

This work connects symmetries and conserved quantities in machine learning.

New theorem links symmetries to first integrals in plasma physics.

The harmonic action functional allows a natural generalisation to semi-Riemannian supergeometry, referred to as superharmonic action, which resembles the supersymmetric sigma models studied in high energy physics. We show that Killing vector fields are infinitesimal supersymmetries of the superharmonic action and prove…

We review the geometric formulation of the second Noether's theorem in time-dependent mechanics. The commutation relations between the dynamics on the final constraint manifold and the infinitesimal generator of a symmetry are studied. We show an algorithm for determining a gauge symmetry which is closely related to th…

This paper deals with conservation laws for mechanical systems with nonholonomic constraints. It uses a Lagrangian formulation of nonholonomic systems and a Cartan form approach. We present what we believe to be the most general relations between symmetries and first integrals. We discuss the so-called nonholonomic Noe…

A compact oriented 4-manifold is defined to be of ``superconformal simple type'' if certain polynomials in the basic classes (constructed using the Seiberg-Witten invariants) vanish identically. We show that all known 4-manifolds of $b_2^+>1$ are of superconformal simple type, and that the numerical invariants of 4-man…