Related papers: A note on abelian arithmetic BF-theory
The concept of imaginary logical values was introduced by Spencer-Brown in Laws of Form, in analogy to the square root of -1 in the complex numbers. In this paper, we develop a new approach to representing imaginary values. The resulting…
We compute the number of orbits of pairs in a finitely generated torsion module (more generally, a module of bounded order) over a discrete valuation ring. The answer is found to be a polynomial in the cardinality of the residue field whose…
We discuss BF theories defined on manifolds with spatial boundaries. Variational arguments show that one needs to augment the usual action with a boundary term for specific types of boundary conditions. We also show how to use this…
We find that all Feynman integrals (FIs), having any number of loops, can be completely determined once linear relations between FIs are provided. Therefore, FIs computation is conceptually changed to a linear algebraic problem. Examples up…
In this paper we introduce the concept of $\mathit{integral}$ $\mathit{Frobenius}$ to formulate an integral analogue of the classical compatibility condition linking the collection of rational Tate modules $V_\lambda(A)$ arising from…
The paper presents a new algorithmic construction of a finite generating set of rational invariants for the rational action of an algebraic group on the affine space. The construction provides an algebraic counterpart of the moving frame…
Feynman path integrals are now a standard tool in quantum physics and their use in differential geometry leads to new mathematical insights. A logical treatment of quantum phenomena seems to require a sustained mathematical analysis of path…
We provide a simple way to add, multiply, invert, and take traces and norms of algebraic integers of a number field using integral matrices. With formulas for the integral bases of the ring of integers of at least a significant proportion…
We give an informal summary of ongoing work which uses tools distilled from the theory of fibre bundles to classify and connect invariant fields associated with spin motion in storage rings. We mention four major theorems. One ties…
The Feynman path integral does not allow a "one real path" interpretation, because amplitudes contribute to probabilities in a non-separable manner. The opposite extreme, "all paths happen", is not a useful or informative account. In this…
We determine (multi)graded Betti numbers of path ideals of lines and star graphs.
We study quotients of principally polarized abelian varieties with real multiplication by Galois-stable finite subgroups and describe when these quotients are principally polarizable. We use this characterization to provide an algorithm to…
We estimate the fraction of isogeny classes of abelian varieties over a finite field which have a given characteristic polynomial P(T) modulo l. As an application we find the proportion of isogeny classes of abelian varieties with a…
We show that a perfect obstruction theory for a $\mathbb{G}_\text{m}$-gerbe determines a semi-perfect obstruction theory for its base, which is perfect if the gerbe is quasi-compact and affine-pointed. These results streamline the…
We present a method to compute real-time path integrals numerically, by Monte-Carlo sampling on near-Lefschetz thimbles. We present a collection of tools based on the Lefschetz thimble methods, which together provide an alternative to…
We introduce Deligne cohomology that classifies U(1) fibre bundles over 3-manifolds endowed with connections. We show how the structure of Deligne cohomology classes provides a way to perform exact (non-perturbative) computations in U(1)…
Let $X,Y$ be two irreducible subvarieties of the projective space $\mathbb{P}^n$, and $d\geq 1$ an integer number. The main result of this paper is an algorithm to construct {\bf explicitly}, in terms of $d$ and the ideals defining $X$ and…
We demonstrate how path integrals often used in problems of theoretical physics can be adapted to provide a machinery for performing Bayesian inference in function spaces. Such inference comes about naturally in the study of inverse…
Enumerative invariants in Algebraic Geometry 'count' $\tau$-(semi)stable objects $E$ with fixed topological invariants $[E]=a$ in some geometric problem, using a virtual class $[{\cal M}_a^{\rm ss}(\tau)]_{\rm virt}$ in homology, for the…
We introduce new invariants in equivariant birational geometry and study their relation to modular symbols and cohomology of arithmetic groups.