Related papers: Excision and a Theorem of Popa

Let $t \in \mathbb{N}$, $\eta >0$. Suppose that $x$ is a sufficiently large real number and $q$ is a natural number with $q \leq x^{5/12-\eta}$, $q$ not a multiple of the conductor of the exceptional character $\chi^*$ (if it exists).…

In this paper we give a short, elementary proof of the following too extreme cases of the Leopoldt conjecture: the case when $\K/\Q$ is a solvable extension and the case when it is a totally real extension in which $p$ splits completely.…

Enrico Bombieri proved that the ABC Conjecture implies Roth's theorem in 1994. This paper concerns the other direction. In making use of Bombieri's and Van der Poorten's explicit formula for the coefficients of the regular continued…

We prove that every abstract elementary class (a.e.c.) with LST number $\kappa$ and vocabulary $\tau$ of cardinality $\leq \kappa$ can be axiomatized in the logic ${\mathbb L}_{\beth_2(\kappa)^{+++},\kappa^+}(\tau)$. In this logic an a.e.c.…

We prove a distribution-theoretic conjecture of Robert Coleman, thereby also obtaining an explicit description of the complete set of Euler systems for the multiplicative group over Q.

Any stretching of Ringel's non-Pappus pseudoline arrangement when projected into the Euclidean plane, implicitly contains a particular arrangement of nine triangles. This arrangement has a complex constraint involving the sines of its…

In a recent article, Dumitru Popa proved an operator version of the Korovkin theorem. We recall the quantitative version of the Korovkin theorem obtained by O. Shisha and B. Mond in 1968. In this paper, we obtain a quantitative estimate for…

In this paper, we focus on Oliver's $p$-group conjecture. We use elementary method to prove that Oliver's $p$-group conjecture holds for Sylow $p$-subgroups of unitary groups.

Following N. Elkies ("ABC implies Mordell") we show that the abc conjecture of Masser-Oesterle implies an effective version of Siegel's theorem about integral points on algebraic curves, i.e. an upper bound for the S-integral points where…

In this note we prove a general version of the Extrapolation Theorem, extending the classical linear extrapolation theorem due to B. Maurey. Our result shows, in particular, that the operators involved do not need to be linear.

Simpson and the second author asked whether there exists a characterization of the natural numbers by a second-order sentence which is provably categorical in the theory RCA$^*_0$. We answer in the negative, showing that for any…

We show that, if a simple $C^{*}$-algebra $A$ is topologically finite-dimensional in a suitable sense, then not only $K_{0}(A)$ has certain good properties, but $A$ is even accessible to Elliott's classification program. More precisely, we…

In this paper, a classification is given of real rank zero $C^*$-algebras that can be expressed as inductive limits of a sequence of a subclass of Elliott-Thomsen algebras $\mathcal{C}$.

Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…

In this paper, we prove an extrapolation result for complex coefficient divergence form operators that satisfy a strong ellipticity condition known as $p$-{\it ellipticity}. Specifically, let $\Omega$ be a chord-arc domain in $\mathbb R^n$…

The Euler characteristic of a finite category is defined and shown to be compatible with Euler characteristics of other types of object, including orbifolds. A formula for the cardinality of the colimit of a diagram of sets is proved,…

We introduce the category of C*-discrete inclusions of C*-algebras $A\subset B$ with a faithful conditional expectation $E:B\twoheadrightarrow A$. This class includes many examples such as finite Watatani index inclusions, and also abundant…

We provide a new interpretation of the Mazur-Tate Conjecture and then use it to obtain the first (unconditional) theoretical evidence in support of the conjecture for elliptic curves of strictly positive rank.

We develop some tools for manipulating and constructing projections in C*-algebras. These are then applied to give short proofs of some standard projection homotopy results, as well as strengthen some fundamental classical results for…

A short proof of a theorem of M.H. Albert, and its application to lattices.