BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Jason P. Bell

Jason P. Bell appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath.RAmath.COmath.AGmath.DSFormal Languages and Automata TheoryDiscrete Mathematicsmath.ACmath.CVmath.GR

Catalog footprint

What is connected

42works
10topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

42 published item(s)

preprint2023arXiv

Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields

The (left) linear hull of a weighted automaton over a field is a topological invariant. If the automaton is minimal, the linear hull can be used to determine whether or not the automaton is equivalent to a deterministic one. Furthermore, the linear hull can also be used to determine whether the minimal automaton is equivalent to an unambiguous one. We show how to compute the linear hull, and thus prove that it is decidable whether or not a given automaton over a number field is equivalent to a deterministic one. In this case we are also able to compute an equivalent deterministic automaton. We also show the analogous decidability and computability result for the unambiguous case. Our results resolve a problem posed in a 2006 survey by Lombardy and Sakarovitch.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

On noncommutative bounded factorization domains and prime rings

A ring has bounded factorizations if every cancellative nonunit $a \in R$ can be written as a product of atoms and there is a bound $λ(a)$ on the lengths of such factorizations. The bounded factorization property is one of the most basic finiteness properties in the study of non-unique factorizations. Every commutative noetherian domain has bounded factorizations, but it is open whether such a result holds in the noncommutative setting. We provide sufficient conditions for a noncommutative noetherian prime ring to have bounded factorizations. Moreover, we construct a (noncommutative) finitely presented semigroup algebra that is an atomic domain but does not satisfy the ascending chain condition on principal right or left ideals (ACCP), whence it does not have bounded factorizations.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

$p$-Adic interpolation of orbits under rational maps

Let $L$ be a field of characteristic zero, let $h:\mathbb{P}^1\to \mathbb{P}^1$ be a rational map defined over $L$, and let $c\in \mathbb{P}^1(L)$. We show that there exists a finitely generated subfield $K$ of $L$ over which both $c$ and $h$ are defined along with an infinite set of inequivalent non-archimedean completions $K_{\mathfrak{p}}$ for which there exists a positive integer $a=a(\mathfrak{p})$ with the property that for $i\in \{0,\ldots ,a-1\}$ there exists a power series $g_i(t)\in K_{\mathfrak{p}}[[t]]$ that converges on the closed unit disc of $K_{\mathfrak{p}}$ such that $h^{an+i}(c)=g_i(n)$ for all sufficiently large $n$. As a consequence we show that the dynamical Mordell-Lang conjecture holds for split self-maps $(h,g)$ of $\mathbb{P}^1 \times X$ with $g$ étale.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A general criterion for the Pólya-Carlson dichotomy and application

We prove a general criterion for an irrational power series $f(z)=\displaystyle\sum_{n=0}^{\infty}a_nz^n$ with coefficients in a number field $K$ to admit the unit circle as a natural boundary. As an application, let $F$ be a finite field, let $d$ be a positive integer, let $A\in M_d(F[t])$ be a $d\times d$-matrix with entries in $F[t]$, and let $ζ_A(z)$ be the Artin-Mazur zeta function associated to the multiplication-by-$A$ map on the compact abelian group $F((1/t))^d/F[t]^d$. We provide a complete characterization of when $ζ_A(z)$ is algebraic and prove that it admits the circle of convergence as a natural boundary in the transcendence case. This is in stark contrast to the case of linear endomorphisms on $\mathbb{R}^d/\mathbb{Z}^d$ in which Baake, Lau, and Paskunas prove that the zeta function is always rational. Some connections to earlier work of Bell, Byszewski, Cornelissen, Miles, Royals, and Ward are discussed. Our method uses a similar technique in recent work of Bell, Nguyen, and Zannier together with certain patching arguments involving linear recurrence sequences.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Affine representability and decision procedures for commutativity theorems for rings and algebras

We consider applications of a finitary version of the Affine Representability theorem, which follows from recent work of Belov-Kanel, Rowen, and Vishne. Using this result we are able to show that when given a finite set of polynomial identities, there is an algorithm that terminates after a finite number of steps which decides whether these identities force a ring to be commutative. We then revisit old commutativity theorems of Jacobson and Herstein in light of this algorithm and obtain general results in this vein. In addition, we completely characterize the homogeneous multilinear identities that imply the commutativity of a ring.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Counterexamples to a Conjecture of Dombi in Additive Number Theory

We disprove a 2002 conjecture of Dombi from additive number theory. More precisely, we find examples of sets $A \subset \mathbb{N}$ with the property that $\mathbb{N} \setminus A$ is infinite, but the sequence $n \rightarrow |\{ (a,b,c) \, : \, n=a+b+c \text{ and } a,b,c \in A \}|$, counting the number of $3$-compositions using elements of $A$ only, is strictly increasing.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Lie complexity of words

Given a finite alphabet $Σ$ and a right-infinite word $\bf w$ over $Σ$, we define the Lie complexity function $L_{\bf w}:\mathbb{N}\to \mathbb{N}$, whose value at $n$ is the number of conjugacy classes (under cyclic shift) of length-$n$ factors $x$ of $\bf w$ with the property that every element of the conjugacy class appears in $\bf w$. We show that the Lie complexity function is uniformly bounded for words with linear factor complexity, and as a result we show that words of linear factor complexity have at most finitely many primitive factors $y$ with the property that $y^n$ is again a factor for every $n$. We then look at automatic sequences and show that the Lie complexity function of a $k$-automatic sequence is again $k$-automatic.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Height Gap Conjectures, $D$-Finiteness, and Weak Dynamical Mordell-Lang

In previous work, the first author, Ghioca, and the third author introduced a broad dynamical framework giving rise to many classical sequences from number theory and algebraic combinatorics. Specifically, these are sequences of the form $f(Φ^n(x))$, where $Φ\colon X\to X$ and $f\colon X\to\mathbb{P}^1$ are rational maps defined over $\overline{\mathbb{Q}}$ and $x\in X(\overline{\mathbb{Q}})$ is a point whose forward orbit avoids the indeterminacy loci of $Φ$ and $f$. They conjectured that if the sequence is infinite, then $\limsup \frac{h(f(Φ^n(x)))}{\log n} > 0$. They also made a corresponding conjecture for $\liminf$ and showed that it implies the Dynamical Mordell-Lang Conjecture. In this paper, we prove the $\limsup$ conjecture as well as the $\liminf$ conjecture away from a set of density $0$. As applications, we prove results concerning the growth rate of coefficients of $D$-finite power series as well as the Dynamical Mordell-Lang Conjecture up to a set of density $0$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Algebraic independence of $G$-functions and congruences "à la Lucas"

We develop a new method for proving algebraic independence of $G$-functions. Our approach rests on the following observation: $G$-functions do not always come with a single linear differential equation, but also sometimes with an infinite family of linear difference equations associated with the Frobenius that are obtained by reduction modulo prime ideals. When these linear difference equations have order one, the coefficients of the $G$-function satisfy congruences reminiscent of a classical theorem of Lucas on binomial coefficients. We use this to derive a Kolchin-like algebraic independence criterion. We show the relevance of this criterion by proving, using p-adic tools, that many classical families of $G$-functions turn out to satisfy congruences "à la Lucas".

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On the Medvedev-Scanlon Conjecture for Minimal Threefolds of Non-Negative Kodaira Dimension

Motivated by work of Zhang from the early `90s, Medvedev and Scanlon formulated the following conjecture. Let $K$ be an algebraically closed field of characteristic $0$ and let $X$ be a quasiprojective variety defined over $K$ endowed with a dominant rational self-map $Φ$. Then there exists a point $α\in X(K)$ with Zariski dense orbit under $Φ$ if and only if $Φ$ preserves no nontrivial rational fibration, i.e., there exists no non-constant rational function $f\in K(X)$ such that $Φ^*(f)=f$. The Medvedev-Scanlon conjecture holds when $K$ is uncountable. The case where $K$ is countable (e.g., $K=\overline{\mathbb{Q}}$) is much more difficult; here the conjecture has only been proved in a small number of special cases. In this paper we show that the Medvedev-Scanlon conjecture holds for all varieties of positive Kodaira dimension, and explore the case of Kodaira dimension $0$. Our results are most complete in dimension $3$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Free algebras and free groups in Ore extensions and free group algebras in division rings

Let $K$ be a field of characteristic zero, let $σ$ be an automorphism of $K$ and let $δ$ be a $σ$-derivation of $K$. We show that the division ring $D=K(x;σ,δ)$ either has the property that every finitely generated subring satisfies a polynomial identity or $D$ contains a free algebra on two generators over its center. In the case when $K$ is finitely generated over $k$ we then see that for $σ$ a $k$-algebra automorphism of $K$ and $δ$ a $k$-linear derivation of $K$, $K(x;σ)$ having a free subalgebra on two generators is equivalent to $σ$ having infinite order, and $K(x;δ)$ having a free subalgebra is equivalent to $δ$ being nonzero. As an application, we show that if $D$ is a division ring with center $k$ of characteristic zero and $D^*$ contains a solvable subgroup that is not locally abelian-by-finite, then $D$ contains a free $k$-algebra on two generators. Moreover, if we assume that $k$ is uncountable, without any restrictions on the characteristic of $k$, then $D$ contains the $k$-group algebra of the free group of rank two.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Iterative algebras

Given a finitely generated free monoid $X$ and a morphism $ϕ: X\to X$, we show that one can construct an algebra, which we call an iterative algebra, in a natural way. We show that many ring theoretic properties of iterative algebras can be easily characterized in terms of linear algebra and combinatorial data from the morphism and that, moreover, it is decidable whether or not an iterative algebra has these properties. Finally, we use our construction to answer several questions of Greenfeld, Leroy, Smoktunowicz, and Ziembowski by constructing a primitive graded nilpotent algebra with Gelfand-Kirillov dimension two that is finitely generated as a Lie algebra.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Some finiteness results on monogenic orders in positive characteristic

This work is motivated by the papers [EG85] and [Ngu15] in which the following two problems are solved. Let $\mathcal{O}$ is a finitely generated $\mathbb{Z}$-algebra that is an integrally closed domain of characteristic zero, consider the following problems: (A) Fix $s$ that is integral over $\mathcal{O}$, describe all $t$ such that $\mathcal{O}[s]=\mathcal{O}[t]$. (B) Fix $s$ and $t$ that are integral over $\mathcal{O}$, describe all pairs $(m,n)\in\mathbb{N}^2$ such that $\mathcal{O}[s^m]=\mathcal{O}[t^n]$. In this paper, we solve these problems and provide a uniform bound for a certain "discriminant form equation" that is closely related to Problem (A) when $\mathcal{O}$ has characteristic $p>0$. While our general strategy roughly follows [EG85] and [Ngu15], many new delicate issues arise due to the presence of the Frobenius automorphisms $x\mapsto x^p$. Recent advances in unit equations over fields of positive characteristic together with classical results in characteristic zero play an important role in this paper.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Transcendence tests for Mahler functions

We give two tests for transcendence of Mahler functions. For our first, we introduce the notion of the eigenvalue $λ_F$ of a Mahler function $F(z)$, and develop a quick test for the transcendence of $F(z)$ over $\mathbb{C}(z)$, which is determined by the value of the eigenvalue $λ_F$. While our first test is quick and applicable for a large class of functions, our second test, while a bit slower than our first, is universal; it depends on the rank of a certain Hankel matrix determined by the initial coefficients of $F(z)$. We note that these are the first transcendence tests for Mahler functions of arbitrary degree. Several examples and applications are given.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

$3x+1$ inverse orbit generating functions almost always have natural boundaries

The $3x+k$ function $T_{k}(n)$ sends $n$ to $(3n+k)/2$ resp. $n/2,$ according as $n$ is odd, resp. even, where $k \equiv \pm 1~(\bmod \, 6)$. The map $T_k(\cdot)$ sends integers to integers, and for $m \ge 1$ let $n \rightarrow m$ mean that $m$ is in the forward orbit of $n$ under iteration of $T_k(\cdot).$ We consider the generating functions $f_{k,m}(z) = \sum_{n>0, n \rightarrow m} z^{n},$ which are holomorphic in the unit disk. We give sufficient conditions on $(k,m)$ for the functions $f_{k, m}(z)$ have the unit circle $\{|z|=1\}$ as a natural boundary to analytic continuation. For the $3x+1$ function these conditions hold for all $m \ge 1$ to show that $f_{1,m}(z)$ has the unit circle as a natural boundary except possibly for $m= 1, 2, 4$ and $8$. The $3x+1$ Conjecture is equivalent to the assertion that $f_{1, m}(z)$ is a rational function of $z$ for the remaining values $m=1,2, 4, 8$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Embeddings of quotient division algebras of rings of differential operators

Let $k$ be an algebraically closed field of characteristic zero, let $X$ and $Y$ be smooth irreducible algebraic curves over $k$, and let $D(X)$ and $D(Y)$ denote respectively the quotient division rings of the ring of differential operators of $X$ and $Y$. We show that if there is a $k$-algebra embedding of $D(X)$ into $D(Y)$ then the genus of $X$ must be less than or equal to the genus of $Y$, answering a question of the first-named author and Smoktunowicz.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Growth degree classification for finitely generated semigroups of integer matrices

Let $\mathcal{A}$ be a finite set of $d\times d$ matrices with integer entries and let $m_n(\mathcal{A})$ be the maximum norm of a product of $n$ elements of $\mathcal{A}$. In this paper, we classify gaps in the growth of $m_n(\mathcal{A})$; specifically, we prove that $\lim_{n\to\infty} \log m_n(\mathcal{A})/\log n\in\mathbb{Z}_{\geqslant 0}\cup\{\infty\}.$ This has applications to the growth of regular sequences as defined by Allouche and Shallit.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On a dynamical version of a theorem of Rosenlicht

Consider the action of an algebraic group $G$ on an irreducible algebraic variety $X$ all defined over a field $k$. M. Rosenlicht showed that orbits in general position in $X$ can be separated by rational invariants. We prove a dynamical analogue of this theorem, where $G$ is replaced by a semigroup of dominant rational self-maps of $X$. Our semigroup $G$ is not required to have the structure of an algebraic variety and can be of arbitrary cardinality.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The Dynamical Mordell-Lang problem

Let X be a Noetherian space, let f be a continuous self-map on X, let Y be a closed subset of X, and let x be a point on X. We show that the set S consisting of all nonnegative integers n such that f^n(x) is in Y is a union of at most finitely many arithmetic progressions along with a set of Banach density zero. In particular, we obtain that given any quasi-projective variety X, any rational self-map map f on X, any subvariety Y of X, and any point x in X whose orbit under f is in the domain of definition for f, the set S is a finite union of arithmetic progressions together with a set of Banach density zero. We prove a similar result for the backward orbit of a point.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The minimal growth of a $k$-regular sequence

We determine a lower gap property for the growth of an unbounded \(\mathbb{Z}\)-valued \(k\)-regular sequence. In particular, if \(f:\mathbb{N}\to\mathbb{Z}\) is an unbounded \(k\)-regular sequence, we show that there is a constant \(c>0\) such that \(|f(n)|>c\log n\) infinitely often. We end our paper by answering a question of Borwein, Choi, and Coons on the sums of completely multiplicative automatic functions.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A Skolem-Mahler-Lech theorem for iterated automorphisms of $K$-algebras

This paper proves a commutative algebraic extension of a generalized Skolem-Mahler-Lech theorem due to the first author. Let $A$ be a finitely generated commutative $K$-algebra over a field of characteristic $0$, and let $σ$ be a $K$-algebra automorphism of $A$. Given ideals $I$ and $J$ of $A$, we show that the set $S$ of integers $m$ such that $σ^m(I) \supseteq J$ is a finite union of complete doubly infinite arithmetic progressions in $m$, up to the addition of a finite set. Alternatively, this result states that for an affine scheme $X$ of finite type over $K$, an automorphism $σ\in {\rm Aut}_K(X)$, and $Y$ and $Z$ any two closed subschemes of $X$, the set of integers $m$ with $σ^m(Z ) \subseteq Y$ is as above. The paper presents examples showing that this result may fail to hold if the affine scheme $X$ is not of finite type, or if $X$ is of finite type but the field $K$ has positive characteristic.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Applications of p-adic analysis for bounding periods of subvarieties under etale maps

Using methods of p-adic analysis we give a different proof of Burnside's problem for automorphisms of quasiprojective varieties X defined over a field of characteristic 0. More precisely, we show that any finitely generated torsion subgroup of Aut(X) is finite. In particular this yields effective bounds for the size of torsion of any semiabelian variety over a finitely generated field of characteristic 0. More precisely, we obtain effective bounds for the length of the orbit of a preperiodic subvariety under the action of an etale map.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Free subalgebras of division algebras over uncountable fields

We study the existence of free subalgebras in division algebras, and prove the following general result: if $A$ is a noetherian domain which is countably generated over an uncountable algebraically closed field $k$ of characteristic 0, then either the quotient division algebra of $A$ contains a free algebra on two generators, or it is left algebraic over every maximal subfield. As an application, we prove that if $k$ is an uncountable algebraically closed field and $A$ is a finitely generated $k$-algebra that is a domain of GK-dimension strictly less than 3, then either $A$ satisfies a polynomial identity, or the quotient division algebra of $A$ contains a free $k$-algebra on two generators.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Integral Cayley graphs and groups

We solve two open problems regarding the classification of certain classes of Cayley graphs with integer eigenvalues. We first classify all finite groups that have a "non-trivial" Cayley graph with integer eigenvalues, thus solving a problem proposed by Abdollahi and Jazaeri. The notion of Cayley integral groups was introduced by Klotz and Sander. These are groups for which every Cayley graph has only integer eigenvalues. In the second part of the paper, all Cayley integral groups are determined.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Diagonalization and Rationalization of algebraic Laurent series

We prove a quantitative version of a result of Furstenberg and Deligne stating that the the diagonal of a multivariate algebraic power series with coefficients in a field of positive characteristic is algebraic. As a consequence, we obtain that for every prime $p$ the reduction modulo $p$ of the diagonal of a multivariate algebraic power series $f$ with integer coefficients is an algebraic power series of degree at most $p^{A}$ and height at most $A^2p^{A+1}$, where $A$ is an effective constant that only depends on the number of variables, the degree of $f$ and the height of $f$. This answers a question raised by Deligne.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On vanishing coefficients of algebraic power series over fields of positive characteristic

Let $K$ be a field of characteristic $p>0$ and let $f(t_1,...,t_d)$ be a power series in $d$ variables with coefficients in $K$ that is algebraic over the field of multivariate rational functions $K(t_1,...,t_d)$. We prove a generalization of both Derksen's recent analogue of the Skolem-Mahler-Lech theorem in positive characteristic and a classical theorem of Christol, by showing that the set of indices $(n_1,...,n_d)\in \mathbb{N}^d$ for which the coefficient of $t_1^{n_1}...t_d^{n_d}$ in $f(t_1,...,t_d)$ is zero is a $p$-automatic set. Applying this result to multivariate rational functions leads to interesting effective results concerning some Diophantine equations related to $S$-unit equations and more generally to the Mordell--Lang Theorem over fields of positive characteristic.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The rational-transcendental dichotomy of Mahler functions

In this paper, we give a new proof of a result due to Bezivin that a D-finite Mahler function is necessarily rational. This also gives a new proof of the rational-transcendental dichotomy of Mahler functions due to Nishioka. Using our method of proof, we also provide a new proof of a Polya-Carlson type result for Mahler functions due to Rande; that is, a Mahler function which is meromorphic in the unit disk is either rational or has the unit circle as a natural boundary.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Free subalgebras of quotient rings of Ore extensions

Let $K$ be a field, let $σ$ be an automorphism of $K$, and let $δ$ be a derivation of $K$. We show that if $D$ is one of $K(x;σ)$ or $K(x;δ)$, then $D$ either contains a free algebra over its center on two generators, or every finitely generated subalgebra of $D$ satisfies a polynomial identity. As a corollary, we are able to show that the quotient division ring of any iterated Ore extension of an affine domain satisfying a polynomial identity either again satisfies a polynomial identity or it contains a free algebra over its center on two variables.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On the Kurosh problem for algebras over a general field

Smoktunowicz, Lenagan, and the second-named author recently gave an example of a nil algebra of Gelfand-Kirillov dimension at most three. Their construction requires a countable base field, however. We show that for any field $k$ and any monotonically increasing function $f(n)$ which grows super-polynomially but subexponentially there exists an infinite-dimensional finitely generated nil $k$-algebra whose growth is asymptotically bounded by $f(n)$. This construction gives the first examples of nil algebras of subexponential growth over uncountable fields.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On the set of zero coefficients of a function satisfying a linear differential equation

Let $K$ be a field of characteristic zero and suppose that $f:\mathbb{N}\to K$ satisfies a recurrence of the form $$f(n)\ =\ \sum_{i=1}^d P_i(n) f(n-i),$$ for $n$ sufficiently large, where $P_1(z),...,P_d(z)$ are polynomials in $K[z]$. Given that $P_d(z)$ is a nonzero constant polynomial, we show that the set of $n\in \mathbb{N}$ for which $f(n)=0$ is a union of finitely many arithmetic progressions and a finite set. This generalizes the Skolem-Mahler-Lech theorem, which assumes that $f(n)$ satisfies a linear recurrence. We discuss examples and connections to the set of zero coefficients of a power series satisfying a homogeneous linear differential equation with rational function coefficients.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Rings of differential operators on curves

Let $k$ be an algebraically closed field of characteristic 0 and let $A$ be a finitely generated $k$-algebra that is a domain whose Gelfand-Kirillov dimension is in $[2,3)$. We show that if $A$ has a nonzero locally nilpotent derivation then $A$ has quadratic growth. In addition to this, we show that $A$ either satisfies a polynomial identity or $A$ is isomorphic to a subalgebra of $\mathcal{D}(X)$, the ring of differential operators on an irreducible smooth affine curve $X$, and $A$ is birationally isomorphic to $\mathcal{D}(X)$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Shirshov's theorem and division rings that are left algebraic over a subfield

Let D be a division ring. We say that D is left algebraic over a (not necessarily central) subfield K of D if every x in D satisfies a polynomial equation x^n + a_{n-1}x^{n-1}+...+a_0=0 with a_0,...,a_{n-1} in K. We show that if D is a division ring that is left algebraic over a subfield K of bounded degree d then D is at most d^2-dimensional over its center. This generalizes a result of Kaplansky. For the proof we give a new version of the combinatorial theorem of Shirshov that sufficiently long words over a finite alphabet contain either a q-decomposable subword or a high power of a non-trivial subword. We show that if the word does not contain high powers then the factors in the q-decomposition may be chosen to be of almost the same length. We conclude by giving a list of problems for algebras that are left algebraic over a commutative subring.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Transcendence Degree of Division Algebras

We define a transcendence degree for division algebras, by modifying the lower transcendence degree construction of Zhang. We show that this invariant has many of the desirable properties one would expect a noncommutative analogue of the ordinary transcendence degree for fields to have. Using this invariant, we prove the following conjecture of Small. Let $k$ be a field, let $A$ be a finitely generated $k$-algebra that is an Ore domain, and let $D$ denote the quotient division algebra of $A$. If $A$ does not satisfy a polynomial identity then the Gelfand-Kirillov dimension of $K$ is at most the Gelfand-Kirillov dimension of $A$ minus 1 for every commutative subalgebra $K$ of $D$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Transcendence of generating functions whose coefficients are multiplicative

In this paper, we give a new proof and an extension of the following result of Bézivin. Let $f:\B{N}\to K$ be a multiplicative function taking values in a field $K$ of characteristic 0 and write $F(z)=\sum_{n\geq 1} f(n)z^n\in K[[z]]$ for its generating series. Suppose that $F(z)$ is algebraic over $K(z)$. Then either there is a natural number $k$ and a periodic multiplicative function $χ(n)$ such that $f(n)=n^k χ(n)$ for all $n$, or $f(n)$ is eventually zero. In particular, $F(z)$ is either transcendental or rational. For $K=\B{C}$, we also prove that if $F(z)$ is a $D$-finite generating series of a multiplicative function, then $F(z)$ is either transcendental or rational.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Transcendence of generating functions whose coefficients are multiplicative

Let $K$ be a field of characteristic 0, $f:\mathbb{N}\to K$ be a multiplicative function, and $F(z)=\sum_{n\geq 1} f(n)z^n\in K[[z]]$ be algebraic over $K(z)$. Then either there is a natural number $k$ and a periodic multiplicative function $χ(n)$ such that $f(n)=n^k χ(n)$ for all $n$, or $f(n)$ is eventually zero. In particular, the generating function of a multiplicative function $f:\mathbb{N}\to K$ is either transcendental or rational.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Centralizers in Domains of Finite Gelfand-Kirillov Dimension

We study centralizers of elements in domains. We generalize a result of the author and Small, showing that if $A$ is a finitely generated noetherian domain and $a\in A$ is not algebraic over the extended centre of $A$, then the centralizer of $a$ has Gelfand-Kirillov dimension at most one less than the Gelfand-Kirillov dimension of $A$. In the case that $A$ is a finitely generated noetherian domain of GK dimension 3 over the complex numbers, we show that the centralizer of an element a $A$ that is not algebraic over the extended centre of $A$ satisfies a polynomial identity.

0 citations0 reviewsNo code linkedOpen access