Related papers: Witt's cancellation theorem seen as a cancellation
It is well known that in quantum gravity, the very geometry of space and time is subject to continual fluctuation. The mathematical formulation for this old theory is still lacking. This article formulates this more than forty-year-old…
The cutting equations are diagrammatic identities that are used to prove perturbative unitarity in quantum field theory. In this paper, we derive algebraic, upgraded versions of them. Differently from the diagrammatic versions, the…
We give a purely algebraic treatment of reduction theory for connections over the formal punctured disc. Our proofs apply to arbitrary connected linear algebraic groups over an algebraically closed field of characteristic 0. We also state…
"Ever since the advent of modern quantum mechanics in the late 1920's, the idea has been prevalent that the classical laws of probability cease, in some sense, to be valid in the new theory. [...] The primary object of this presentation is…
I sketch what it is supposed to mean to quantize gauge theory, and how this can be made more concrete in perturbation theory and also by starting with a finite-dimensional lattice approximation. Based on real experiments and computer…
We announce here that Fermat's Last theorem was solved, but there is an easy proof of it on the basis of elemetary undergraduate mathematics. We shall disclose such an easy proof.
We discuss several existing proofs of the value of a quartic integral and present a new proof that evolved from rational Landen transformations.
These notes are an extension of the rough notes provided for my four lecture graduate level course on "Quadratic Forms and Automorphic Forms" at the March 2009 Arizona Winter School on Quadratic Forms. They are meant to give a survey of…
After more than a century since its birth, Quantum Theory still eludes our understanding. If asked to describe it, we have to resort to abstract and ad hoc principles about complex Hilbert spaces. How is it possible that a fundamental…
D'Alembert made the first serious attempt to prove the Fundamental Theorem of Algebra (FTA) in 1746. An elementary proof of (FTA) based on the same idea is given in Proofs from THE BOOK. We give a shorter and more transperant version of…
This is an introduction to the theory of Witt vectors. It includes a construction of the Witt rings, the Frobenius and Verschiebung endomorphisms, the canonical map from W to W^2 (its lambda-algebra structure), the relation to strict…
Experience of time is one of the primordial human experiences which is deeply tied to human consciousness. But despite this intimate relation of time with human conscious experience, time has proved to be very elusive. Particularly in…
We develop Algebraic Phase Theory (APT), an axiomatic framework for extracting intrinsic algebraic structure from phase based analytic data. From minimal admissible phase input we prove a general phase extraction theorem that yields…
We study quadratic form parameters $Q$ over the integers and extended quadratic forms with values in $Q$, which we call $Q$-forms. Certain form parameters $Q$ appeared in Wall's work on the classification of almost closed $(n-1)$-connected…
Given a quadratic form and $M$ linear forms in $N+1$ variables with coefficients in a number field $K$, suppose that there exists a point in $K^{N+1}$ at which the quadratic form vanishes and all the linear forms do not. Then we show that…
Cut-elimination theorems constitute one of the most important classes of theorems of proof theory. Since Gentzen's proof of the cut-elimination theorem for the system $\mathbf{LK}$, several other proofs have been proposed. Even though the…
A theory of quantum gravity is expected to change profoundly our understanding of black holes. Quantum theory has already shown, as a first approximation, that a black hole slowly evaporates. Non-perturbative quantum gravity also predicts…
An alternative construction, using Witt's formalism, of the Arf-invariant of quadratic forms in characteristic 2.
The Donald-Flanigan conjecture asserts that for any finite group and for any field, the corresponding group algebra can be deformed to a separable algebra. The minimal unsolved instance, namely the quaternion group over a field of…
In his paper from 1996 on quadratic forms Heath-Brown developed a version of the circle method to count points in the intersection of an unbounded quadric with a lattice of short period, if each point is given a weight, and approximated…