Related papers: Class field towers and minimal models

We use a generalization of a construction by Ziegler to show that for any field $F$ and any countable collection of countable subsets $A_i \subseteq F, i \in \calI \subset \Z_{>0}$ there exist infinitely many fields $K$ of arbitrary…

Characterizations of paracompact finite $C$-spaces via continuous selections are given. We apply these results to obtain some properties of finite $C$-spaces. Factorization theorems and a completion theorem for finite $C$- spaces are also…

In this paper we study the problem of constructing non-trivial subtowers and supertowers of recursive towers of function fields over finite fields.

We extend the usual theory of universal C*-algebras from generators and relations in order to allow some relations to be described using the strong operator topology. In particular, we can allow some infinite sum relations. We prove a…

We use the algebraic framework for languages of infinite trees introduced in [4] to derive effective characterisations of various temporal logics, in particular the logic EF (a fragment of CTL) and its counting variant cEF.

Let us consider an algebraic function field defined over a finite Galois extension $K$ of a perfect field $k$. We give some conditions allowing the descent of the definition field of the algebraic function field from $K$ to $k$. We apply…

We prove rigidity results for large classes of corona algebras, assuming the Proper Forcing Axiom. In particular, we prove that a conjecture of Coskey and Farah holds for all separable $C^*$-algebras with the metric approximation property…

Let E be a row-finite directed graph. We prove that there exists a C*-algebra C*_{min}(E) with the following co-universal property: given any C*-algebra B generated by a Toeplitz-Cuntz-Krieger E-family in which all the vertex projections…

In this paper we will prove that Tate conjecture of abelian varieties over finite field is equivalent to the finiteness of isomorphism classes of abelian varieties with a fixed dimension. We give a different approach with Zarhin's result.

In this paper we construct Galois towers with good asymptotic properties over any non-prime finite field $\mathbb F_{\ell}$; i.e., we construct sequences of function fields $\mathcal{N}=(N_1 \subset N_2 \subset \cdots)$ over $\mathbb…

We use the recently introduced \'etale open topology to prove several facts about large fields. We show that these facts lift to a very general topological setting.

We prove some stability results for certain classes of C*-algebras. We prove that whenever $A$ is a finite-dimensional C*-algebra, $B$ is a C*-algebra and $\phi\colon A\to B$ is approximately a $^*$-homomorphism then there is an actual…

We give a complete description of which unital graph C*-algebras are semiprojective, and use it to disprove two conjectures by Blackadar. To do so, we perform a detailed analysis of which projections are properly infinite in such…

We obtain partial affirmative answers to the question whether isomorphism of the unitary groups of two C*-algebras, either as topological groups or as discrete groups, implies isomorphism of the C*-algebras as real C*-algebras.

We introduce the notion of limiting theories, giving examples and providing a sufficient condition under which the first order theory of a structure is the limit of the first order theories of a collection of substructures. We also give a…

We prove an analogue of the Approximation Theorem of L^2-Betti numbers by Betti numbers for arbitrary coefficient fields and virtually torsionfree amenable groups. The limit of Betti numbers is identified as the dimension of some module…

We investigate iterating the construction of $C^{*}$, the $L$-like inner model constructed using first order logic augmented with the "cofinality $\omega$" quantifier. We first show that $\left(C^{*}\right)^{C^{*}}=C^{*}\ne L$ is…

We prove special cases of a general conjecture: If an invertible field theory admits a projectively topological boundary theory, then it has finite order in the abelian group of invertible field theories. One can substitute `gapped' for…

We obtain several results concerning the concept of isotypic structures. Namely we prove that any field of finite transcendence degree over a prime subfield is defined by types; then we construct isotypic but not isomorphic structures with…

Finite fields form an important chapter in abstract algebra, and mathematics in general. We aim to provide a geometric and intuitive model for finite fields, involving algebraic numbers, in order to make them accessible and interesting to a…