Searcharxiv⌕ Search

arXiv subjects

Gunther Cornelissen

Publications and source records attributed to Gunther Cornelissen.

50 records · Page 3Linked to original sources
arXiv2008

Defining the integers in large rings of number fields using one universal quantifier

Julia Robinson has given a first-order definition of the rational integers $\mathbb Z$ in the rational numbers $\mathbb Q$ by a formula $(\forall \exists \forall \exists)(F=0)$ where the $\forall$-quantifiers run over a total of 8 variables, and where F is a polynomial. We show that for a large class of number fields, not including $\mathbb Q$, for every $ε>0$, there exists a set of primes $\cal S$ of natural density exceeding $1-ε$, such that $\mathbb Z$ can be defined as a subset of the ``large'' subring $$\{x \in K : \ord_{\mathfrak p}x >0, \forall \mathfrak p \not \in \cal S \}$$ of K by a formula of the form $(\exists \forall \exists)(F=0)$ where there is only one $\forall$-quantifier, and where F is a polynomial.

math.LO↗
arXiv2007

Zeta functions that hear the shape of a Riemann surface

To a compact hyperbolic Riemann surface, we associate a finitely summable spectral triple whose underlying topological space is the limit set of a corresponding Schottky group, and whose ``Riemannian'' aspect (Hilbert space and Dirac operator) encode the boundary action through its Patterson-Sullivan measure. We prove that the ergodic rigidity theorem for this boundary action implies that the zeta functions of the spectral triple suffice to characterize the (anti-)conformal isomorphism class of the corresponding Riemann surface. Thus, you can hear the shape of a Riemann surface, by listening to a suitable spectral triple.

math.OA↗
arXiv2006

On the K-theory of graph C*-algebras

We classify graph C*-algebras, namely, Cuntz-Krieger algebras associated to the Bass-Hashimoto edge incidence operator of a finite graph. This is done by a purely graph theoretical calculation of the K-theory and the position of the unit therein.

math.OA↗
arXiv2006

Elliptic divisibility sequences and undecidable problems about rational points

Julia Robinson has given a first-order definition of the rational integers Z in the rational numbers Q by a formula (\forall \exists \forall \exists)(F=0) where the \forall-quantifiers run over a total of 8 variables, and where F is a polynomial. This implies that the Σ_5-theory of Q is undecidable. We prove that a conjecture about elliptic curves provides an interpretation of Z in Q with quantifier complexity \forall \exists, involving only one universally quantified variable. This improves the complexity of defining Z in Q in two ways, and implies that the Σ_3-theory, and even the Π_2-theory, of Q is undecidable (recall that Hilbert's Tenth Problem for Q is the question whether the Σ_1-theory of Q is undecidable). In short, granting the conjecture, there is a one-parameter family of hypersurfaces over Q for which one cannot decide whether or not they all have a rational point. The conjecture is related to properties of elliptic divisibility sequences on an elliptic curve and its image under rational 2-descent, namely existence of primitive divisors in suitable residue classes, and we discuss how to prove weaker-in-density versions of the conjecture and present some heuristics.

math.NT↗
arXiv2006

Noncommutative geometry on trees and buildings

We describe the construction of theta summable and finitely summable spectral triples associated to Mumford curves and some classes of higher dimensional buildings. The finitely summable case is constructed by considering the stabilization of the algebra of the dual graph of the special fiber of the Mumford curve and a variant of the Antonescu-Christensen spectral geometries for AF algebras. The information on the Schottky uniformization is encoded in the spectral geometry through the Patterson-Sullivan measure on the limit set. Some higher rank cases are obtained by adapting the construction for trees.

math.QA↗
arXiv2003

Division-ample sets and the Diophantine problem for rings of integers

We prove that Hilbert's Tenth Problem for a ring of integers in a number field K has a negative answer if K satisfies two arithmetical conditions (existence of a so-called division-ample set of integers and of an elliptic curve of rank one over K). We relate division-ample sets to arithmetic of abelian varieties.

math.NT↗
arXiv2003

Zur Entartung gezuegelter Gruppenoperationen auf Kurven (Degeneration of restrained group actions on curves)

An action of a finite group on a smooth projective curve over an algebraically closed field of positive characteristic is called restrained, if all second ramification groups are trivial (e.g., every group action on an ordinary curve is restrained). When the ramification indices satisfy certain numerical criteria, we construct a degenerating equivariant quasi-projective family to which the given curve belongs, and which in a sense is the unique building block for all such restrained equivariant families that ramify above a fixed set of points. The result is used to inductively study automorphisms of ordinary curves.

math.AG↗
arXiv2002

Torsion of Drinfeld modules and equicharacteristic unimodular Galois covers

We prove that the groups PSL(r,q^d) can be realized F_q(T)-regularly as Galois groups over the purely transcendental field F_q(T)(t_1,...,t_{r-1}) if r is even and r/2 is coprime to q^d-1. The method is to use twisted moduli schemes of Drinfeld modules (a la Shih). If one has sufficient control over modular forms, it can be made into an algorithm to find explicit equations. We do this for PSL(2,q^2) using Drinfeld modular forms.

math.NT↗
arXiv2002

Mumford curves with maximal automorphism group

The maximal number of automorphisms of a Mumford curve over a non-archimedean valued field of positive characteristic is known. In this note, the unique family of curves that attains this bound in genus not equal to 5,6,7 or 8 is explicitly determined, as is its automorphism group.

math.AG↗
arXiv2001

Equivariant deformation of Mumford curves and of ordinary curves in positive characteristic

We compute the dimension of the tangent space to, and the Krull dimension of the pro-representable hull of two deformation functors. The first one is the ``algebraic'' deformation functor of an ordinary curve X over a field of positive charateristic with prescribed action of a finite group G, and the data are computed in terms of the ramification behaviour of X -> G\X. The second one is the ``analytic'' deformation functor of a fixed embedding of a finitely generated discrete group N in PGL(2,K) over a non-archimedean valued field K, and the data are computed in terms of the Bass-Serre representation of N via a graph of groups. Finally, if F is a free subgroup of N such that N is contained in the normalizer of F in PGL(2,K), then the Mumford curve associated to F becomes equipped with an action of N/F, and we show that the algebraic functor deforming the latter action coincides with the analytic functor deforming the embedding of N.

math.AG↗
arXiv2000

Topology of Diophantine Sets: Remarks on Mazur's Conjectures

We show that Mazur's conjecture on the real topology of rational points on varieties implies that there is no diophantine model of the rational integers in the rational numbers. We also prove that there is a diophantine model of the polynomial ring over a finite field in the ring of rational functions over that finite field. Both proofs depend upon Matijasevich's theorem.

math.LO↗
arXiv1999

The 2-primary class group of certain hyperelliptic curves

Let G be the separable Galois group of a finite field F of characteristic p, and X/F an imaginary hyperelliptic curve such that G acts transitively on its set W(X) of Weierstrass points. The existence of a G-invariant 2-torsion point on the Jacobian J(X) of X depends only on the parity of |W(X)|, but for large enough |F|, there exist two such curves X and X' with |W(X)|=|W(X')|, such that J(X) has (and J(X') does not have) a G-invariant 4-torsion point. The problem is equivalent to a study of the 2-,4- and 8-rank of the class number of the maximal order in the function field of such curves, and is investigated via the 2-primary class field tower. Contrary to the case of number fields, the ambiguous class depends on the discriminant, and a governing field for the 8-rank of such function fields is not known.

math.NT↗