Related papers: A note on abelian arithmetic BF-theory
Geometric Invariant Theory (GIT) produces quotients of algebraic varieties by reductive groups. If the variety is projective, this quotient depends on a choice of polarisation; by work of Dolgachev-Hu and Thaddeus, it is known that two…
We observe algebraic derivations on an affine domain B defined over an algebraically closed field of characteristic 0, which are called locally finite derivations in commutative and non-commutative contexts in other references. We observe…
Algorithmic computation in polynomial rings is a classical topic in mathematics. However, little attention has been given to the case of rings with an infinite number of variables until recently when theoretical efforts have made possible…
We construct a combinatorial function F which computes the number of oriented Hamiltonian paths of any given type, in a transitive tournament. We also study many properties of F that arise, and reach some observations.
We present a superfield formulation of the quantization program for theories with first class constraints. An exact operator formulation is given, and we show how to set up a phase-space path integral entirely in terms of superfields. BRST…
Let L be an abelian number field of degree n with Galois group G. In this paper we study how to compute efficiently a normal integral basis for L, if there is at least one, assuming that the group G and an integral basis for L are known.
When path integrals are discussed in quantum field theory, it is almost always assumed that the fields take values in a vector bundle. When the fields are instead valued in a possibly-curved fiber bundle, the independence of the formal path…
The path integral for 3+1 abelian gauge theory is rewritten in terms of a real antisymmetric field allowing a dual action that couples the electric and magnetic currents to the photon and each other in a gauge invariant manner. Standard…
We briefly review a hamiltonian path integral formalism developed earlier by one of us. An important feature of this formalism is that the path integral quantization in arbitrary co-ordinates is set up making use of only classical…
We give a systematic treatment of the arithmetic BF theory, introduced by Carlson and Kim. We observe that the Cassels-Tate pairing can be naturally interpreted as an arithmetic BF functional.
We give an algorithm to compute representatives of the conjugacy classes of semisimple square integral matrices with given minimal and characteristic polynomials. We also give an algorithm to compute the $\mathbb{F}_q$-isomorphism classes…
We introduce a method that generates invariant functions from perturbative classical field theories depending on external parameters. Applying our methods to several field theories such as abelian BF, Chern-Simons and 2-dimensional…
We develop the theory of Gr\"obner bases for ideals in a polynomial ring with countably infinite variables over a field. As an application we reconstruct some of the one-one correspondences among various sets of partitions by using division…
A method for finding Berry's phase is proposed under the Euclidean path integral formalism. It is characterized by picking up the imaginary part from the resultant exponent. Discussion is made on the generalized harmonic oscillator which is…
Consistent interactions that can be added to a two-dimensional, free abelian gauge theory comprising a special class of BF-type models and a collection of vector fields are constructed from the deformation of the solution to the master…
In quantum field theory the path integral is usually formulated in the wave picture, i.e., as a sum over field evolutions. This path integral is difficult to define rigorously because of analytic problems whose resolution may ultimately…
We present a construction of cellular BF theory (in both abelian and non-abelian variants) on cobordisms equipped with cellular decompositions. Partition functions of this theory are invariant under subdivisions, satisfy a version of the…
We describe how to construct and compute unambiguously path integrals for particles moving in a curved space, and how these path integrals can be used to calculate Feynman graphs and effective actions for various quantum field theories with…
We prove that for every positive integer $m$, there exist infinitely many simple abelian varieties over $\mathbb{F}_2$ of order $m$. The method is constructive, building on the work of Madan--Pal in the case $m=1$ to produce an explicit…
An accurate method to compute enclosures of Abelian integrals is developed. This allows for an accurate description of the phase portraits of planar polynomial systems that are perturbations of Hamiltonian systems. As an example, it is…