English
Related papers

Related papers: Algebraic types in Zilber's exponential field

200 papers

We give an axiomatization of the class ECF of exponentially closed fields, which includes the pseudo-exponential fields previously introduced by the second author, and show that it is superstable over its interpretation of arithmetic.…

Logic · Mathematics 2014-10-28 Jonathan Kirby , Boris Zilber

Let $X$ be a variety over a complete nontrivially valued field $K$. We construct an algebraizable formal model for the analytification of $X$ in the case $X$ admits a closed embedding into a toric variety. By algebraizable we mean that the…

Algebraic Geometry · Mathematics 2023-03-27 Desmond Coles , Netanel Friedenberg

After recalling the definition of Zilber fields, and the main conjecture behind them, we prove that Zilber fields of cardinality up to the continuum have involutions, i.e., automorphisms of order two analogous to complex conjugation on…

Logic · Mathematics 2013-05-28 Vincenzo Mantova

We introduce the notion of relation type of an affine algebra and prove that it is well defined by using the Jacobi-Zariski exact sequence of Andr\'e-Quillen homology. In particular, the relation type is an invariant of an affine algebraic…

Commutative Algebra · Mathematics 2014-04-11 Francesc Planas-Vilanova

Let $G$ be a semiabelian variety defined over an algebraically closed field $K$ of prime characteristic. We describe the intersection of a subvariety $X$ of $G$ with a finitely generated subgroup of $G(K)$.

Number Theory · Mathematics 2023-06-07 Dragos Ghioca , She Yang

Let $\Lambda$ be a finite-dimensional associative algebra. The torsion classes of $mod\, \Lambda$ form a lattice under containment, denoted by $tors\, \Lambda$. In this paper, we characterize the cover relations in $tors\, \Lambda$ by…

Representation Theory · Mathematics 2017-10-25 Emily Barnard , Andrew T. Carroll , Shijie Zhu

We construct a faithful categorical action of the type $B$ braid group on the bounded homotopy category of finitely generated projective modules over a finite dimensional algebra which we call the type $B$ zigzag algebra. This categorical…

Representation Theory · Mathematics 2023-02-22 Kie Seng Nge

In this paper, we introduce the notion of relation type of analytic and formal algebras and prove that it is well-defined and invariant by describing this notion in terms of the Andr\'e-Quillen homology and using the Jacobi-Zariski long…

Algebraic Geometry · Mathematics 2022-08-04 Maryam Akhavin , Abbas Nasrollah Nejad

We give a construction of quasiminimal fields equipped with pseudo-analytic maps, generalising Zilber's pseudo-exponential function. In particular we construct pseudo-exponential maps of simple abelian varieties, including…

Logic · Mathematics 2018-06-20 Martin Bays , Jonathan Kirby

In algebraic number theory, the finiteness of the Picard group of an order in a number field is generally proved via a lattice argument: the order forms a lattice and every ideal class contains an integral ideal with a small enough non-zero…

Number Theory · Mathematics 2021-11-02 Daniël M. H. van Gent

Suppose $F$ is either a global field or a finitely generated extension of ${\mathbf Q}$, $A$ is an abelian variety over $F$, and $\ell$ is a prime not equal to the characteristic of $F$. Let $Z$ denote the center of the endomorphism algebra…

alg-geom · Mathematics 2008-02-03 A. Silverberg , Yu. G. Zarhin

We show how a cluster-tilted algebra of finite representation type is related to the corresponding tilted algebra, in the case of algebras defined over an algebraically closed field.

Representation Theory · Mathematics 2007-05-23 Aslak Bakke Buan , Idun Reiten

We address the problem of computing in the group of $\ell^k$-torsion rational points of the jacobian variety of algebraic curves over finite fields, with a view toward computing modular representations.

Number Theory · Mathematics 2012-05-07 Jean-Marc Couveignes

We give a polymorphic account of the relational algebra. We introduce a formalism of ``type formulas'' specifically tuned for relational algebra expressions, and present an algorithm that computes the ``principal'' type for a given…

Logic in Computer Science · Computer Science 2007-05-23 Jan Van den Bussche , Emmanuel Waller

Using class field theory, we prove a restriction on the intersection of the maximal abelian extensions associated with different number fields. This restriction is then used to improve a result of Rosen and Silverman about the linear…

Number Theory · Mathematics 2017-11-28 Lars Kühne

We study the structure of an algebraically closed field with extra function resembling the classical exponentiation on complex numbers.

Logic · Mathematics 2007-05-23 Boris Zilber

Let C be an algebraic curve in a power of an elliptic curve, both defined over the algebraic numbers. We show that the set of algebraic points of C which satisfy certain conditions is a finite set. This result has implications with the…

Number Theory · Mathematics 2008-11-10 Viada Evelina

Let $\mathbb{I}$ denote an imaginary quadratic field or the field $\mathbb{Q}$ of rational numbers and $\mathbb{Z}_{\mathbb{I}}$ its ring of intergers. We shall prove an explicit Baker type lower bound for $\mathbb{Z}_{\mathbb{I}}$-linear…

Number Theory · Mathematics 2013-09-25 Anne-Maria Ernvall-Hytönen , Kalle Leppälä , Tapani Matala-aho

We show that, for an abelian variety defined over a $p$-adic field $K$ which has potential good reduction, its torsion subgroup with values in the composite field of $K$ and a certain Lubin-Tate extension over a $p$-adic field is finite.

Number Theory · Mathematics 2018-06-21 Yoshiyasu Ozeki

It is known that the category of Lie algebras over a ring admits algebraic exponents. The aim of this paper is to show that the same is true for the category of internal Lie algebras in an additive, cocomplete, symmetric, closed, monoidal…

Category Theory · Mathematics 2020-06-15 Xabier García-Martínez , James R. A. Gray