Related papers: Elements of Differential Geometry in Lean: A Repor…
Reductions of higher tangent bundles of Lie groupoids provide natural examples of geometric structures which we would like to call higher algebroids. Such objects can be also constructed abstractly starting from an arbitrary almost Lie…
A geometric description is given for the Sp(2) covariant version of the field-antifield quantization of general constrained systems in the Lagrangian formalism. We develop differential geometry on manifolds in which a basic set of…
We formalize the multi-graded Proj construction in Lean4, illustrating mechanized mathematics and formalization.
We conservatively extend classical elementary differential calculus to the Cartesian closed category of convergence spaces. By specializing results about the convergence space representation of directed graphs, we use Cayley graphs to…
In this note, we use give some algebraic applications of a previous result by the author which compares the deformations parameterized by the Maurer-Cartan elements of a differential graded Lie algebra, and a differential graded Lie…
Graded bundles are a class of graded manifolds which represent a natural generalisation of vector bundles and include the higher order tangent bundles as canonical examples. We present and study the concept of the linearisation of graded…
Weil prolongations of a Lie group are naturally Lie groups. It is not known in the theory of infinite-dimensional Lie groups how to construct a Lie group with a given Lie algebra as its Lie algebra or whether there exists such a Lie group…
In this paper we make an overview of results relating the recent "discoveries" in differential geometry, such as higher structures and differential graded manifolds with some natural problems coming from mechanics. We explain that a lot of…
This research notes is intended to provide a quick introduction to the subject. We expose a K-theoretic approach to study group C*-algebras: started in the elementary part, with one example of description of the structure of C*-algebras of…
This work is a spin-off of an on-going programme which aims at revisiting the original studies of Lie and Cartan on pseudogroups and geometric structures from a modern perspective. We encode geometric structures induced by transitive Lie…
We solve the differentiation problem for Lie $\infty$-groups. Our approach builds on a classical version of Cartier duality which canonically identifies the Hopf algebra of point distributions supported at the identity of a Lie group with…
The numerical range of a matrix is studied geometrically via the cone of positive semidefinite matrices (or semidefinite cone for short). In particular it is shown that the feasible set of a two-dimensional linear matrix inequality (LMI),…
The numerical range of a matrix is studied geometrically via the cone of positive semidefinite matrices (or semidefinite cone for short). In particular it is shown that the feasible set of a two-dimensional linear matrix inequality (LMI),…
We present FormalProofBench, a private benchmark designed to evaluate whether AI models can produce formally verified mathematical proofs at the graduate level. Each task pairs a natural-language problem with a Lean~4 formal statement, and…
In the thesis we present a new method for parametrizing algebraic varieties over the field of characteristic zero. The problem of parametrizing is reduced to a problem of finding an isomorphism of algebras. We introduce the Lie algebra of a…
The theories of strings and $D$-branes have motivated the development of non Abelian cohomology techniques in differential geometry, on the purpose to find a geometric interpretation of characteristic classes. The spaces studied here, like…
In this paper we consider the very wide class of varieties of representations of Lie algebras over the field k, which has characteristic 0. We study the relation between the geometric equivalence and automorphic equivalence of the…
We introduce a new type of diagrams and prove the existence of a particular one, the "central tuned diagram", with some optimal features, for finitely generated modules of certain categories. This is achieved by getting to the idea of "the…
In this note we construct an infinite-dimensional Lie group structure on the group of vertical bisections of a regular Lie groupoid. We then identify the Lie algebra of this group and discuss regularity properties (in the sense of Milnor)…
This thesis is about the study of Lie groupoids endowed with a compatible (multiplicative) differential 1-form. The motivation and scope of the present work is to study the geometry of PDEs using the formalism of Lie groupoids and…