Source author record

Jason Bell

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.CO math.RA math.QA math.AG math.DS math.RT Formal Languages and Automata Theory math.LO math.SG

Catalog footprint

Research overview

24works

10topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

$D$ -finite multivariate series with arithmetic restrictions on their coefficients

A multivariate, formal power series over a field $K$ is a Bézivin series if all of its coefficients can be expressed as a sum of at most $r$ elements from a finitely generated subgroup $G \le K^*$ ; it is a Pólya series if one can take $r=1$ . We give explicit structural descriptions of $D$ -finite Bézivin series and $D$ -finite Pólya series over fields of characteristic $0$ , thus extending classical results of Pólya and Bézivin to the multivariate setting.

preprint2022arXiv

A conjecture strengthening the Zariski dense orbit problem for birational maps of dynamical degree one

We formulate a strengthening of the Zariski dense orbit conjecture for birational maps of dynamical degree one. So, given a quasiprojective variety $X$ defined over an algebraically closed field $K$ of characteristic $0$ , endowed with a birational self-map $ϕ$ of dynamical degree $1$ , we expect that either there exists a non-constant rational function $f:X\dashrightarrow \mathbb{P}^1$ such that $f\circ ϕ=f$ , or there exists a proper subvariety $Y\subset X$ with the property that for any invariant proper subvariety $Z\subset X$ , we have that $Z\subseteq Y$ . We prove our conjecture for automorphisms $ϕ$ of dynamical degree $1$ of semiabelian varieties $X$ . Also, we prove a related result for regular dominant self-maps $ϕ$ of semiabelian varieties $X$ : assuming $ϕ$ does not preserve a non-constant rational function, we have that the dynamical degree of $ϕ$ is larger than $1$ if and only if the union of all $ϕ$ -invariant proper subvarieties of $X$ is Zariski dense. We give applications of our results to representation theoretic questions about twisted homogeneous coordinate rings associated to abelian varieties.

preprint2022arXiv

A fusion variant of the classical and dynamical Mordell-Lang conjectures in positive characteristic

We study an open question at the interplay between the classical and the dynamical Mordell-Lang conjectures in positive characteristic. Let $K$ be an algebraically closed field of positive characteristic, let $G$ be a finitely generated subgroup of the multiplicative group of $K$ , and let $X$ be a (irreducible) quasiprojective variety defined over $K$ . We consider $K$ -valued sequences of the form $a_n:=f(φ^n(x_0))$ , where $φ\colon X\rightarrow X$ and $f\colon X\rightarrow\mathbb{P}^1$ are rational maps defined over $K$ and $x_0\in X$ is a point whose forward orbit avoids the indeterminacy loci of $φ$ and $f$ . We show that the set of $n$ for which $a_n\in G$ is a finite union of arithmetic progressions along with a set of upper Banach density zero. In addition, we show that if $a_n\in G$ for every $n$ and the $φ$ orbit of $x$ is Zariski dense in $X$ then {there is} a multiplicative torus $\mathbb{G}_m^d$ and maps $Ψ:\mathbb{G}_m^d \to \mathbb{G}_m^d$ and $g:\mathbb{G}_m^d \to \mathbb{G}_m$ such that $a_n = g\circ Ψ^n(y)$ for some $y\in \mathbb{G}_m^d$ . We then describe various applications of our results.

preprint2022arXiv

Rational self-maps with a regular iterate on a semiabelian variety

Let $G$ be a semiabelian variety defined over an algebraically closed field $K$ of characteristic $0$ . Let $Φ\colon G\dashrightarrow G$ be a dominant rational self-map. Assume that an iterate $Φ^m \colon G \to G$ is regular for some $m \geqslant 1$ and that there exists no non-constant homomorphism $τ: G\to G_0$ of semiabelian varieties such that $τ\circ Φ^{m k}=τ$ for some $k \geqslant 1$ . We show that under these assumptions $Φ$ itself must be a regular. We also prove a variant of this assertion in prime characteristic and present examples showing that our results are sharp.

preprint2022arXiv

Topological invariants for words of linear factor complexity

Given a finite alphabet $Σ$ and a right-infinite word $w$ over the alphabet $Σ$ , we construct a topological space ${\rm Rec}(w)$ consisting of all right-infinite recurrent words whose factors are all factors of $w$ , where we work up to an equivalence in which two words are equivalent if they have the exact same set of factors (finite contiguous subwords). We show that ${\rm Rec}(w)$ can be endowed with a natural topology and we show that if $w$ is word of linear factor complexity then ${\rm Rec}(w)$ is a finite topological space. In addition, we note that there are examples which show that if $f:\mathbb{N}\to \mathbb{N}$ is a function that tends to infinity as $n\to \infty$ then there is a word whose factor complexity function is ${\rm O}(nf(n))$ such that ${\rm Rec}(w)$ is an infinite set. Finally, we pose a realization problem: which finite topological spaces can arise as ${\rm Rec}(w)$ for a word of linear factor complexity?

preprint2021arXiv

A height gap theorem for coefficients of Mahler functions

We study the asymptotic growth of coefficients of Mahler power series with algebraic coefficients, as measured by their logarithmic Weil height. We show that there are five different growth behaviors, all of which being reached. Thus, there are \emph{gaps} in the possible growths. In proving this height gap theorem, we obtain that a $k$ -Mahler function is $k$ -regular if and only if its coefficients have height in $O(\log n)$ . Furthermore, we deduce that, over an arbitrary ground field of characteristic zero, a $k$ -Mahler function is $k$ -automatic if and only if its coefficients belong to a finite set. As a by-product of our results, we also recover a conjecture of Becker which was recently settled by Bell, Chyzak, Coons, and Dumas.

preprint2021arXiv

Noncommutative rational Pólya series

A (noncommutative) Pólya series over a field $K$ is a formal power series whose nonzero coefficients are contained in a finitely generated subgroup of $K^\times$ . We show that rational Pólya series are unambiguous rational series, proving a 40 year old conjecture of Reutenauer. The proof combines methods from noncommutative algebra, automata theory, and number theory (specifically, unit equations). As a corollary, a rational series is a Pólya series if and only if it is Hadamard sub-invertible. Phrased differently, we show that every weighted finite automaton taking values in a finitely generated subgroup of a field (and zero) is equivalent to an unambiguous weighted finite automaton.

preprint2020arXiv

Mahler's and Koksma's classifications in fields of power series

Let $q$ a prime power and ${\mathbb F}_q$ the finite field of $q$ elements. We study the analogues of Mahler's and Koksma's classifications of complex numbers for power series in ${\mathbb F}_q((T^{-1}))$ . Among other results, we establish that both classifications coincide, thereby answering a question of Ooto.

preprint2019arXiv

On the Complexity of the Cogrowth Sequence

Given a finitely generated group with generating set $S$ , we study the \emph{cogrowth} sequence, which is the number of words of length $n$ over the alphabet $S$ that are equal to one. This is related to the probability of return for walks in a Cayley graph with steps from $S$ . We prove that the cogrowth sequence is not $P$ -recursive when~ $G$ is an amenable group of superpolynomial growth, answering a question of Garrabant and Pak.

preprint2016arXiv

A strong Dixmier-Moeglin equivalence for quantum Schubert cells

Dixmier and Moeglin gave an algebraic condition and a topological condition for recognising the primitive ideals among the prime ideals of the universal enveloping algebra of a finite-dimensional complex Lie algebra; they showed that the primitive, rational, and locally closed ideals coincide. In modern terminology, they showed that the universal enveloping algebra of a finite-dimensional complex Lie algebra satisfies the Dixmier-Moeglin equivalence. We define quantities which measure how "close" an arbitrary prime ideal of a noetherian algebra is to being primitive, rational, and locally closed; if every prime ideal is equally "close" to each of these three properties, then we say that the algebra satisfies the strong Dixmier-Moeglin equivalence. Using the example of the universal enveloping algebra of sl_2(C), we show that the strong Dixmier-Moeglin equivalence is stronger than the Dixmier-Moeglin equivalence. For a simple complex Lie algebra g, a non root of unity q\neq 0 in an infinite field K, and an element w of the Weyl group of g, De Concini, Kac, and Procesi have constructed a subalgebra U_q[w] of the quantised enveloping K-algebra U_q(g). These quantum Schubert cells U_q[w] are known to satisfy the Dixmier-Moeglin equivalence and we show that they in fact satisfy the strong Dixmier-Moeglin equivalence. Along the way, we show that commutative affine domains, uniparameter quantum tori, and uniparameter quantum affine spaces satisfy the strong Dixmier-Moeglin equivalence.

preprint2016arXiv

Power Series Approximations to Fekete Polynomials

We study how well Fekete polynomials $F_p(X) = \sum_{n=0}^{p-1} \left(\frac{n}{p}\right) X^n \in {\mathbb Z}[X]$ with the coefficients given by Legendre symbols modulo a prime $p$ , can be approximated by power series representing algebraic functions of a given degree. We also obtain some explicit results describing polynomial recurrence relations which are satisfied by the coefficients of such algebraic functions.

preprint2016arXiv

The Dixmier-Moeglin equivalence for extensions of scalars and Ore extensions

An algebra $A$ satisfies the Dixmier-Moeglin equivalence if we have the equivalences: $P~{\rm primitive}\iff P~{\rm rational}\iff P ~{\rm locally~closed~}\qquad~{\rm for}~P\in {\rm Spec}(A).$ We study the robustness of the Dixmier-Moeglin equivalence under extension of scalars and under the formation of Ore extensions. In particular, we show that the Dixmier-Moeglin equivalence is preserved under base change for finitely generated complex noetherian algebras. We also study Ore extensions of finitely generated complex noetherian algebras $A$ . If $T:A\to A$ is either a $\mathbb{C}$ -algebra automorphism or a $\mathbb{C}$ -linear derivation of $A$ , we say that $T$ is \emph{frame-preserving} if there exists a finite-dimensional subspace $V\subseteq A$ that generates $A$ as an algebra such that $T(V)\subseteq V$ . We show that if $A$ is of finite Gelfand-Kirillov dimension and has the property that all prime ideals of $A$ are completely prime and $A$ satisfies the Dixmier-Moeglin equivalence then the Ore extension $A[x;T]$ satisfies the Dixmier-Moeglin equivalence whenever $T$ is a frame-preserving derivation or automorphism.

preprint2015arXiv

An isomorphism lemma for graded rings

Let $A$ and $B$ be two connected graded algebras finitely generated in degree one. If $A$ is isomorphic to $B$ as ungraded algebras, then they are also isomorphic to each other as graded algebras.

preprint2015arXiv

Diophantine approximation of Mahler numbers

Suppose that $F(x)\in\mathbb{Z}[[x]]$ is a Mahler function and that $1/b$ is in the radius of convergence of $F(x)$ . In this paper, we consider the approximation of $F(1/b)$ by algebraic numbers. In particular, we prove that $F(1/b)$ cannot be a Liouville number. If $F(x)$ is also regular, we show that $F(1/b)$ is either rational or transcendental, and in the latter case that $F(1/b)$ is an $S$ -number or a $T$ -number.

preprint2015arXiv

Poisson algebras via model theory and differential-algebraic geometry

Brown and Gordon asked whether the Poisson Dixmier-Moeglin equivalence holds for any complex affine Poisson algebra; that is, whether the sets of Poisson rational ideals, Poisson primitive ideals, and Poisson locally closed ideals coincide. In this article a complete answer is given to this question using techniques from differential-algebraic geometry and model theory. In particular, it is shown that while the sets of Poisson rational and Poisson primitive ideals do coincide, in every Krull dimension at least four there are complex affine Poisson algebras with Poisson rational ideals that are not Poisson locally closed. These counterexamples also give rise to counterexamples to the classical (noncommutative) Dixmier-Moeglin equivalence in finite $\operatorname{GK}$ dimension. A weaker version of the Poisson Dixmier-Moeglin equivalence is proven for all complex affine Poisson algebras, from which it follows that the full equivalence holds in Krull dimension three or less. Finally, it is shown that everything, except possibly that rationality implies primitivity, can be done over an arbitrary base field of characteristic zero.

preprint2014arXiv

Leavitt path algebras satisfying a polynomial identity

Leavitt path algebras L of an arbitrary graph E over a field K satisfying a polynomial identity are completely characterized both in graph-theoretic and algebraic terms. When E is a finite graph, L satisfying a polynomial identity is shown to be equivalent to the Gelfand-Kirillov dimension of L being at most one, though this is no longer true for infinite graphs. It is shown that, for an arbitrary graph E, the Leavitt path algebra L has Gelfand-Kirillov dimension zero if and only if E has no cycles. Likewise, L has Gelfand-Kirillov dimension one if and only if E contains at least one cycle, but no cycle in E has an exit.

preprint2013arXiv

Symmetric Groups and Quotient Complexity of Boolean Operations

The quotient complexity of a regular language L is the number of left quotients of L, which is the same as the state complexity of L. Suppose that L and L' are binary regular languages with quotient complexities m and n, and that the transition semigroups of the minimal deterministic automata accepting L and L' are the symmetric groups S_m and S_n of degrees m and n, respectively. Denote by o any binary boolean operation that is not a constant and not a function of one argument only. For m,n >= 2 with (m,n) not in {(2,2),(3,4),(4,3),(4,4)} we prove that the quotient complexity of LoL' is mn if and only either (a) m is not equal to n or (b) m=n and the bases (ordered pairs of generators) of S_m and S_n are not conjugate. For (m,n)\in {(2,2),(3,4),(4,3),(4,4)} we give examples to show that this need not hold. In proving these results we generalize the notion of uniform minimality to direct products of automata. We also establish a non-trivial connection between complexity of boolean operations and group theory.

preprint2013arXiv

Towards a Polya-Carlson dichotomy for algebraic dynamics

We present results and background rationale in support of a Polya--Carlson dichotomy between rationality and a natural boundary for the analytic behaviour of dynamical zeta functions of compact group automorphisms.

preprint2011arXiv

Characteristic Points of Recursive Systems

Characteristic points have been a primary tool in the study of a generating function defined by a single recursive equation. We investigate the proper way to adapt this tool when working with multi-equation recursive systems.

preprint2011arXiv

Enumeration of torus-invariant strata with respect to dimension in the big cell of the quantum minuscule Grassmannian of type B_n

The aim of this article is to give explicit formulae for various generating functions, including the generating function of torus-invariant primitive ideals in the big cell of the quantum minuscule grassmannian of type B_n.

preprint2011arXiv

On prime non-primitive von Neumann regular algebras

Let $E$ be any directed graph, and $K$ any field. We classify those graphs $E$ for which the Leavitt path algebra $L_K(E)$ is primitive. As a consequence, we obtain classes of examples of von Neumann regular prime rings which are not primitive.

preprint2010arXiv

Enumeration of $\C{H}$-strata in quantum matrices with respect to dimension

We present a combinatorial method to determine the dimension of $\C{H}$-strata in the algebra of $m\times n$ quantum matrices $\Oq$ as follows. To a given $\C{H}$-stratum we associate a certain permutation via the notion of pipe-dreams. We show that the dimension of the $\C{H}$-stratum is precisely the number of odd cycles in this permutation. Using this result, we are able to give closed formulas for the trivariate generating function that counts the $d$ -dimensional $\C{H}$-strata in $\Oq$. Finally, we extract the coefficients of this generating function in order to settle conjectures proposed by the first and third named authors \cite{bldim,bll} regarding the asymptotic proportion of $d$ -dimensional $\C{H}$-strata in $\Oq$.

preprint2010arXiv

Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law

Let $\cT$ be a monadic-second order class of finite trees, and let $\bT(x)$ be its (ordinary) generating function, with radius of convergence $ρ$ . If $ρ\ge 1$ then $\cT$ has an explicit specification (without using recursion) in terms of the operations of union, sum, stack, and the multiset operators $(n)$ and $(\ge n)$ . Using this, one has an explicit expression for $\bT(x)$ in terms of the initial functions $x$ and $x\cdot \big(1-x^n\big)^{-1}$ , the operations of addition and multiplication, and the Pólya exponentiation operators $\sE_n, \sE_{\ge n}$. Let $\cF$ be a monadic-second order class of finite forests, and let $\bF(x)=\sum_n f(n) x^n$ be its (ordinary) generating function. Suppose $\cF$ is closed under extraction of component trees and sums of forests. Using the above-mentioned structure theory for the class $\cT$ of trees in $\cF$, Compton's theory of 0--1 laws, and a significantly strengthened version of 2003 results of Bell and Burris on generating functions, we show that $\cF$ has a monadic second-order 0--1 law iff the radius of convergence of $\bF(x)$ is 1 iff the radius of convergence of $\bT(x)$ is $\ge 1$ .

preprint2010arXiv

Primitive ideals in quantum Schubert cells: dimension of the strata

The aim of this paper is to study the representation theory of quantum Schubert cells. Let $\g$ be a simple complex Lie algebra. To each element $w$ of the Weyl group $W$ of $\g$, De Concini, Kac and Procesi have attached a subalgebra $U_q[w]$ of the quantised enveloping algebra $U_q(\g)$. Recently, Yakimov showed that these algebras can be interpreted as the quantum Schubert cells on quantum flag manifolds. In this paper, we study the primitive ideals of $U_q[w]$ . More precisely, it follows from the Stratification Theorem of Goodearl and Letzter that the primitive spectrum of $U_q[w]$ admits a stratification indexed by those primes that are invariant under a natural torus action. Moreover each stratum is homeomorphic to the spectrum of maximal ideals of a torus. The main result of this paper gives an explicit formula for the dimension of the stratum associated to a given torus-invariant prime.

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.

Jason Bell

Research overview

Is this your work?

24 publications

$D$ -finite multivariate series with arithmetic restrictions on their coefficients

A conjecture strengthening the Zariski dense orbit problem for birational maps of dynamical degree one

A fusion variant of the classical and dynamical Mordell-Lang conjectures in positive characteristic

Rational self-maps with a regular iterate on a semiabelian variety

Topological invariants for words of linear factor complexity

A height gap theorem for coefficients of Mahler functions

Noncommutative rational Pólya series

Mahler's and Koksma's classifications in fields of power series

On the Complexity of the Cogrowth Sequence

A strong Dixmier-Moeglin equivalence for quantum Schubert cells

Power Series Approximations to Fekete Polynomials

The Dixmier-Moeglin equivalence for extensions of scalars and Ore extensions

An isomorphism lemma for graded rings

Diophantine approximation of Mahler numbers

Poisson algebras via model theory and differential-algebraic geometry

Leavitt path algebras satisfying a polynomial identity

Symmetric Groups and Quotient Complexity of Boolean Operations

Towards a Polya-Carlson dichotomy for algebraic dynamics

Characteristic Points of Recursive Systems

Enumeration of torus-invariant strata with respect to dimension in the big cell of the quantum minuscule Grassmannian of type B_n

On prime non-primitive von Neumann regular algebras

Enumeration of $\C{H}$-strata in quantum matrices with respect to dimension

Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law

Primitive ideals in quantum Schubert cells: dimension of the strata

See the researcher in context

Building this map preview

Jason Bell

Research overview

Is this your work?

24 publications

DDD-finite multivariate series with arithmetic restrictions on their coefficients

A conjecture strengthening the Zariski dense orbit problem for birational maps of dynamical degree one

A fusion variant of the classical and dynamical Mordell-Lang conjectures in positive characteristic

Rational self-maps with a regular iterate on a semiabelian variety

Topological invariants for words of linear factor complexity

A height gap theorem for coefficients of Mahler functions

Noncommutative rational Pólya series

Mahler's and Koksma's classifications in fields of power series

On the Complexity of the Cogrowth Sequence

A strong Dixmier-Moeglin equivalence for quantum Schubert cells

Power Series Approximations to Fekete Polynomials

The Dixmier-Moeglin equivalence for extensions of scalars and Ore extensions

An isomorphism lemma for graded rings

Diophantine approximation of Mahler numbers

Poisson algebras via model theory and differential-algebraic geometry

Leavitt path algebras satisfying a polynomial identity

Symmetric Groups and Quotient Complexity of Boolean Operations

Towards a Polya-Carlson dichotomy for algebraic dynamics

Characteristic Points of Recursive Systems

Enumeration of torus-invariant strata with respect to dimension in the big cell of the quantum minuscule Grassmannian of type B_n

On prime non-primitive von Neumann regular algebras

Enumeration of $\C{H}$-strata in quantum matrices with respect to dimension

Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law

Primitive ideals in quantum Schubert cells: dimension of the strata

See the researcher in context

Building this map preview

$D$ -finite multivariate series with arithmetic restrictions on their coefficients