Related papers: Quantifier elimination on some pseudo-algebraicall…
Given a pseudo-effective divisor L we construct the diminished ideal of L, a "continuous" extension of the asymptotic multiplier ideal for big divisors to the pseudo-effective boundary. For most pseudo-effective divisors L the multiplier…
In this paper we discuss the basic problems of algorithmic algebraic number theory. The emphasis is on aspects that are of interest from a purely mathematical point of view, and practical issues are largely disregarded. We describe what has…
This note is a development of our two previous papers, arXiv:1212.3392v1 and 1306.3660v1. The fundamental question is whether there exists a Galois theory, in which the Galois group is a quantum group. For a linear equations with respect to…
The theory of factor-equivalence of integral lattices establishes a far-reaching relationship between the Galois module structure of the unit group of the ring of integers of a number field and its arithmetic. For a number field $K$ that is…
Finite-dimensional subalgebras of a Lie algebra of smooth vector fields on a circle, as well as piecewise-smooth global transformations of a circle on itself, are considered. A canonical forms of realizations of two- and three-dimensional…
This is the second in a pair of papers about residually reducible Galois deformation rings with non-optimal level. In the first paper, we proved a Galois-theoretic criterion for the deformation ring to be as small as possible. This paper…
Let G be a semisimple group over an algebraically closed field of characteristic p>0. We give a (partly conjectural) simple, closed formula for the character of many indecomposable tilting rational G-modules, assuming that p is large.
We study rings of real-valued continuous functions in terms of pseudocomplementation conditions on various lattices attached to their prime spectrum. We fully characterize pseudocomplementation in all cases and have an almost complete…
A class of non-linear eigenvalue problems defined in the form of operator polynomials is investigated. The problems are related to wave equations which appear in a relativistic quantum field theory. Spectral asymptotics for this class are…
In purely functional programming languages imperative features, more generally computational effects are prohibited. However, non-functional lan- guages do involve effects. The theory of decorated logic provides a rigorous for- malism (with…
A mathematically rigorous Hamiltonian formulation for classical and quantum field theories is given. New results include clarifications of the structure of linear fields, and a plausible formulation for nonlinear fields. Many mathematical…
We consider in detail an approach (proposed by the author earlier) where quantum states are described by elements of a linear space over a Galois field, and operators of physical quantities - by linear operators in this space. The notion of…
We discuss the quantization of theories which are formulated using compensating fields. In particular, we discuss the relation between the components formulation and the superspace formulation of supergravity theories. The requirement that…
Certain operator-valued functions and new generating structures (instead of generating functionals) are proposed for the analysis of equations for n-point information (n-pi). Some remarks are made concerning the intertwining of linearity…
Quantum computational logics represent a logical abstraction from the circuit-theory in quantum computation. In these logics formulas are supposed to denote pieces of quantum information (qubits, quregisters or mixtures of quregisters),…
The modern quantum theory is based on the assumption that quantum states are represented by elements of a complex Hilbert space. It is expected that in future quantum theory the number field will be not postulated but derived from more…
We construct an algebra of pseudodifferential operators on each groupoid in a class that generalizes differentiable groupoids to allow manifolds with corners. We show that this construction encompasses many examples. The subalgebra of…
Quantization relates Poisson algebras to $C^*$-algebras. The analysis of local gauge symmetries in algebraic quantum field theory is approached through the quantization of classical gauge theories, regarded as constrained dynamical systems.…
We propose that geometric quantization of symplectic manifolds is the arrow part of a functor, whose object part is deformation quantization of Poisson manifolds. The `quantization commutes with reduction' conjecture of Guillemin and…
We consider categorical logic on the category of Hilbert spaces. More generally, in fact, any pre-Hilbert category suffices. We characterise closed subobjects, and prove that they form orthomodular lattices. This shows that quantum logic is…