Addendum to `Fake Projective Planes'

The addendum updates the results presented in the paper `Fake Projective Plane, Invent Math 168, 321-370 (2007)' and makes some additions and corrections. The fake projective planes are classified into twenty six classes. Together with a recent work of Donald Cartwright and Tim Steger, there is now a complete list of fake projective planes. There are precisely one hundred fake projective planes as complex surfaces classified up to biholomorphism.Comment: A more refined classification is given in the new versio

Inductive Algebras for Finite Heisenberg Groups

A characterization of the maximal abelian sub-algebras of matrix algebras that are normalized by the canonical representation of a finite Heisenberg group is given. Examples are constructed using a classification result for finite Heisenberg groups.Comment: 5 page

Logical Concurrency Control from Sequential Proofs

We are interested in identifying and enforcing the isolation requirements of a concurrent program, i.e., concurrency control that ensures that the program meets its specification. The thesis of this paper is that this can be done systematically starting from a sequential proof, i.e., a proof of correctness of the program in the absence of concurrent interleavings. We illustrate our thesis by presenting a solution to the problem of making a sequential library thread-safe for concurrent clients. We consider a sequential library annotated with assertions along with a proof that these assertions hold in a sequential execution. We show how we can use the proof to derive concurrency control that ensures that any execution of the library methods, when invoked by concurrent clients, satisfies the same assertions. We also present an extension to guarantee that the library methods are linearizable or atomic

Patterns of international capital flows and their implications for economic development

Capital ; Economic development

Destabilizing effect of velocity-dependent forces in nonconservative continuous systems Technical report no. 65-4

Velocity dependent force destabilizing effect in cantilevered continuous pipe conveying fluid at constant velocit

Arbitrarily large families of spaces of the same volume

In any connected non-compact semi-simple Lie group without factors locally isomorphic to SL_2(R), there can be only finitely many lattices (up to isomorphism) of a given covolume. We show that there exist arbitrarily large families of pairwise non-isomorphic arithmetic lattices of the same covolume. We construct these lattices with the help of Bruhat-Tits theory, using Prasad's volume formula to control their covolumes.Comment: 9 pages. Syntax corrected; one reference adde