Related papers: Integration of geometric rough paths
Motivated by the time-dependent Hamiltonian dynamics, we extend the notion of Arnold-Liouville and noncommutative integrability of Hamiltonian systems on symplectic manifolds to that on cosymplectic manifolds. We prove a variant of the…
We review aspects of our formalism for differential geometry on noncommutative and nonassociative spaces which arise from cochain twist deformation quantization of manifolds. We work in the simplest setting of trivial vector bundles and…
This paper introduces a new family of models of intensional Martin-L\"of type theory. We use constructive ordered algebra in toposes. Identity types in the models are given by a notion of Moore path. By considering a particular gros topos,…
In this survey article we describe some geometric results in the theory of noncommutative rings and, more generally, in the theory of abelian categories. Roughly speaking and by analogy with the commutative situation, the category of graded…
Contour gauges are discussed in the framework of canonical formalism. We find flux operator algebras with the structure constants of underlying Yang-Mills theory.
Parallel transport, or path development, provides a rich characterization of paths which preserves the underlying algebraic structure of concatenation. The path signature is universal among such maps: any (translation-invariant) parallel…
In this article we study the transitivity of the group of automorphisms of real algebraic surfaces. We characterize real algebraic surfaces with very transitive automorphism groups. We give applications to the classification of real…
Simulations that couple different classical molecular models in an adaptive way by changing the number of degrees of freedom on the fly, are available within reasonably consistent theoretical frameworks. The same does not occur when it…
We use assembly maps to study $\mathbf{TC}(\mathbb{A}[G];p)$, the topological cyclic homology at a prime $p$ of the group algebra of a discrete group $G$ with coefficients in a connective ring spectrum $\mathbb{A}$. For any finite group, we…
Two discrete dynamical systems are discussed and analyzed whose trajectories encode significant explicit information about a number of problems in combinatorial probability, including graphical enumeration on Riemann surfaces and random…
We describe our ongoing project of formalization of algebraic methods for geometry theorem proving (Wu's method and the Groebner bases method), their implementation and integration in educational tools. The project includes formal…
A real-time path integral for ultrasoft QCD is formulated. It exhibits a Feynman's influence functional. The statistical properties of the theory and the gauge symmetry are explicit. The correspondence is established with the alternative…
We study an extension of the procedure to construct duality transformations among abelian gauge theories to the non abelian case using a path space formulation. We define a pre-dual functional in path space and introduce a particular non…
We study the concept of quadratic variation of a continuous path along a sequence of partitions and its dependence with respect to the choice of the partition sequence. We define the concept of quadratic roughness of a path along a…
We show how the Hamiltonian lattice loop representation can be cast straightforwardly in the path integral formalism. The procedure is general for any gauge theory. Here we present in detail the simplest case: pure compact QED. We also…
We introduce the notion of an algebraic cocycle as the algebraic analogue of a map to an Eilenberg-MacLane space. Using these cocycles we develop a ``cohomology theory" for complex algebraic varieties. The theory is bigraded, functorial,…
An extended summary of the lecture course given at the V School on Geometry and Physics, Bia\l owe\.za 2016, in which an algebraic approach to differentiation and integration that is characteristic for non-commutative geometry is described.
It is proposed that a non-Abelian adjoint two-form in BF type theories transform inhomogeneously under the gauge group. The resulting restrictions on invariant actions are discussed. The auxiliary one-form which is required for maintaining…
We bring the theory of rough paths to the study of non-parametric statistics on streamed data. We discuss the problem of regression where the input variable is a stream of information, and the dependent response is also (potentially) a…
We report on the following highlights from among the many discoveries made in Noncommutative Geometry since year 2000: 1) The interplay of the geometry with the modular theory for noncommutative tori, 2) Advances on the Baum-Connes…