You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book is devoted to the proof of a deep theorem in arithmetic geometry, the Fekete-Szegö theorem with local rationality conditions. The prototype for the theorem is Raphael Robinson's theorem on totally real algebraic integers in an interval, which says that if is a real interval of length greater than 4, then it contains infinitely many Galois orbits of algebraic integers, while if its length is less than 4, it contains only finitely many. The theorem shows this phenomenon holds on algebraic curves of arbitrary genus over global fields of any characteristic, and is valid for a broad class of sets. The book is a sequel to the author's work Capacity Theory on Algebraic Curves and contain...
The aim of this book is to introduce and develop an arithmetic analogue of classical differential geometry. In this new geometry the ring of integers plays the role of a ring of functions on an infinite dimensional manifold. The role of coordinate functions on this manifold is played by the prime numbers. The role of partial derivatives of functions with respect to the coordinates is played by the Fermat quotients of integers with respect to the primes. The role of metrics is played by symmetric matrices with integer coefficients. The role of connections (respectively curvature) attached to metrics is played by certain adelic (respectively global) objects attached to the corresponding matrices. One of the main conclusions of the theory is that the spectrum of the integers is “intrinsically curved”; the study of this curvature is then the main task of the theory. The book follows, and builds upon, a series of recent research papers. A significant part of the material has never been published before.
This text considers a specific Volterra integral operator and investigates its degree of compactness in terms of properties of certain kernel functions. In particular, under certain optimal integrability conditions the entropy numbers $e_n(T_{\rho, \psi})$ satisfy $c_1\norm{\rho\psi}_r0$.
We study the partially ordered set of quantum dynamical semigroups dominated by a given semigroup on the algebra of all bounded operators on a Hilbert space. For semigroups of *-endomorphisms this set can be described through cocycles. This helps us to prove a factorization theorem for dilations and to show that minimal dilations of quantum dynamical semigroups with bounded generators can be got through Hudson-Parthasarathy cocycles.
This book is intended for graduate students and research mathematicians interested in group theory and generalizations.
If a black box simple group is known to be isomorphic to a classical group over a field of known characteristic, a Las Vegas algorithm is used to produce an explicit isomorphism. The proof relies on the geometry of the classical groups rather than on difficult group-theoretic background. This algorithm has applications to matrix group questions and to nearly linear time algorithms for permutation groups. In particular, we upgrade all known nearly linear time Monte Carlo permutation group algorithms to nearly linear Las Vegas algorithms when the input group has no composition factor isomorphic to an exceptional group of Lie type or a 3-dimensional unitary group.
The central theme of this book is the study of rational points on algebraic varieties of Fano and intermediate type--both in terms of when such points exist and, if they do, their quantitative density. The book consists of three parts. In the first part, the author discusses the concept of a height and formulates Manin's conjecture on the asymptotics of rational points on Fano varieties. The second part introduces the various versions of the Brauer group. The author explains why a Brauer class may serve as an obstruction to weak approximation or even to the Hasse principle. This part includes two sections devoted to explicit computations of the Brauer-Manin obstruction for particular types of cubic surfaces. The final part describes numerical experiments related to the Manin conjecture that were carried out by the author together with Andreas-Stephan Elsenhans. The book presents the state of the art in computational arithmetic geometry for higher-dimensional algebraic varieties and will be a valuable reference for researchers and graduate students interested in that area.
This paper is concerned with the computational estimation of the error of numerical solutions of potentially degenerate reaction-diffusion equations. The underlying motivation is a desire to compute accurate estimates as opposed to deriving inaccurate analytic upper bounds. In this paper, we outline, analyze, and test an approach to obtain computational error estimates based on the introduction of the residual error of the numerical solution and in which the effects of the accumulation of errors are estimated computationally. We begin by deriving an a posteriori relationship between the error of a numerical solution and its residual error using a variational argument. This leads to the intro...
The aim of this monograph is the exact description of minimal smooth algebraic surfaces over the complex numbers with the invariants $K DEGREES2 = 7$ und $p_g = 4$. The interest in this fine classification of algebraic surfaces of general type goes back to F. Enriques, who dedicates a large part of his celebrated book Superficie Algebriche to this problem. The cases $p_g = 4$, $K DEGREES2 \leq 6$ were treated in the past by several authors (among others M. Noether, F. Enriques, E. Horikawa) and it is worthwhile to remark that already the case $K DEGREES2 = 6$ is rather complicated and it is up to now not possible to decide whether the moduli space of these surfaces
In this paper the authors develop homotopy theoretical methods for studying diagrams. In particular they explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept introduced is that of a model approximation. A model approximation of a category $\mathcal{C}$ with a given class of weak equivalences is a model category $\mathcal{M}$ together with a pair of adjoint functors $\mathcal{M} \rightleftarrows \mathcal{C}$ which satisfy certain properties. The key result says that if $\mathcal{C}$ admits a model approximation then so does the functor category $Fun(I, \mathcal{C})$.