-
arXiv:2406.00243 [pdf, ps, other]
There are no good infinite families of toric codes
Abstract: Soprunov and Soprunova introduced the notion of a good infinite family of toric codes. We prove that such good families do not exist by proving a more general Szemerédi-type result: for all $c\in(0,1]$ and all positive integers $N$, subsets of density at least $c$ in $\{0,1,\dots,N-1\}^n$ contain hypercubes of arbitrarily large dimension as $n$ grows.
Submitted 31 May, 2024; originally announced June 2024.
Comments: 10 pages. Comments welcome
MSC Class: 14G50; 14M25; 11B30; 94B05
-
arXiv:2402.06612 [pdf, ps, other]
Noncommutative point spaces of symbolic dynamical systems
Abstract: We study point modules of monomial algebras associated with symbolic dynamical systems, parametrized by proalgebraic varieties which 'linearize' the underlying dynamical systems. Faithful point modules correspond to transitive sub-systems, equivalently, to monomial algebras associated with infinite words. In particular, we prove that the space of point modules of every prime monomial algebra with… ▽ More
Submitted 9 February, 2024; originally announced February 2024.
MSC Class: 14A22; 16S38; 37B10; 16D90
-
arXiv:2306.02590 [pdf, ps, other]
D-finiteness, rationality, and height III: multivariate Pólya-Carlson dichotomy
Abstract: We prove a result that can be seen as an analogue of the Pólya-Carlson theorem for multivariate D-finite power series with coefficients in $\bar{\mathbb{Q}}$. In the special case that the coefficients are algebraic integers, our main result says that if $$F(x_1,\ldots ,x_m)=\sum f(n_1,\ldots ,n_m)x_1^{n_1}\cdots x_m^{n_m}$$ is a D-finite power series in $m$ variables with algebraic integer coeffic… ▽ More
Submitted 5 June, 2023; originally announced June 2023.
-
arXiv:2305.04960 [pdf, ps, other]
Counting points by height in semigroup orbits
Abstract: We improve known estimates for the number of points of bounded height in semigroup orbits of polarized dynamical systems. In particular, we give exact asymptotics for generic semigroups acting on the projective line. The main new ingredient is the Wiener-Ikehara Tauberian theorem, which we use to count functions in semigroups of bounded degree.
Submitted 8 May, 2023; originally announced May 2023.
-
arXiv:2212.12473 [pdf, ps, other]
Counterexamples to a Conjecture of Dombi in Additive Number Theory
Abstract: 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.
Submitted 28 December, 2022; v1 submitted 23 December, 2022; originally announced December 2022.
Comments: additional author added; largely rewritten with different example
-
arXiv:2212.03799 [pdf, ps, other]
Quantum Grassmannians and their Associated Quantum Schubert Varieties at roots of unity
Abstract: We study the PI degree of various quantum algebras at roots of unity, including quantum Grassmannians, quantum Schubert varieties, partition subalgebras, and their associated quantum affine spaces. By a theorem of De Concini and Procesi, the PI degree of partition subalgebras and their associated quantum affine spaces is controlled by skew-symmetric integral matrices associated to (Cauchon-Le) dia… ▽ More
Submitted 27 November, 2023; v1 submitted 7 December, 2022; originally announced December 2022.
Comments: 36 pages; v2 is a substantial rewrite and the paper is now focused on PI degree of quantum Grassmannians and their quantum Schubert varieties
-
arXiv:2211.06563 [pdf, ps, other]
Amenability of monomial algebras, minimal subshifts and free subalgebras
Abstract: We give a combinatorial characterization of amenability of monomial algebras and prove the existence of monomial Folner sequences, answering a question due to Ceccherini-Silberstein and Samet-Vaillant. We then use our characterization to prove that over projectively simple monomial algebras, every module is exhaustively amenable; we conclude that convolution algebras of minimal subshifts admit the… ▽ More
Submitted 11 November, 2022; originally announced November 2022.
Comments: Accepted to IMRN
-
arXiv:2210.12024 [pdf, ps, other]
Ore extensions of commutative rings and the Dixmier-Moeglin equivalence
Abstract: We consider Ore extensions of the form $T:=R[x;σ,δ]$ with $R$ a commutative integral domain that is finitely generated over a field $k$. We show that if $T$ has Gelfand-Kirillov dimension less than four then a prime ideal $P\in {\rm Spec}(T)$ is primitive if and only if $\{P\}$ is locally closed in ${\rm Spec}(T)$, if and only if the Goldie ring of quotients of $T/P$ has centre that is an algebrai… ▽ More
Submitted 21 October, 2022; originally announced October 2022.
Comments: 13 pages
MSC Class: 16D60; 16A20; 16A3
-
arXiv:2210.03152 [pdf, ps, other]
Intersections of orbits of self-maps with subgroups in semiabelian varieties
Abstract: Let $G$ be a semiabelian variety defined over an algebraically closed field $K$, endowed with a rational self-map $Φ$. Let $α\in G(K)$ and let $Γ\subseteq G(K)$ be a finitely generated subgroup. We show that the set $\{n\in\mathbb{N}\colon Φ^n(α)\in Γ\}$ is a union of finitely many arithmetic progressions along with a set of Banach density equal to $0$. In addition, assuming $Φ$ is regular, we pro… ▽ More
Submitted 6 October, 2022; originally announced October 2022.
Comments: 12 pages
MSC Class: 14K12; 37P55
-
arXiv:2209.11075 [pdf, ps, other]
Cyclotomic valuation of $q$-Pochhammer symbols and $q$-integrality of basic hypergeometric series
Abstract: We give a formula for the cyclotomic valuation of $q$-Pochhammer symbols in terms of (generalized) Dwork maps. We also obtain a criterion for the $q$-integrality of basic hypergeometric series in terms of certain step functions, which generalize Christol step functions. This provides suitable $q$-analogs of two results proved by Christol: a formula for the $p$-adic valuation of Pochhammer symbols… ▽ More
Submitted 22 September, 2022; originally announced September 2022.
MSC Class: 33D15; 13A18 (Primary) 33C20; 05A30 (Secondary)
-
arXiv:2209.02260 [pdf, ps, other]
Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields
Abstract: 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… ▽ More
Submitted 6 June, 2023; v1 submitted 6 September, 2022; originally announced September 2022.
Comments: Completely restructured based on reviewer feedback
-
arXiv:2206.10115 [pdf, ps, other]
On noncommutative bounded factorization domains and prime rings
Abstract: 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 res… ▽ More
Submitted 11 January, 2023; v1 submitted 21 June, 2022; originally announced June 2022.
MSC Class: Primary 16P40; Secondary 13F15; 16E65; 20M13
-
arXiv:2206.00862 [pdf, ps, other]
A general criterion for the Pólya-Carlson dichotomy and application
Abstract: 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… ▽ More
Submitted 2 June, 2022; originally announced June 2022.
-
arXiv:2205.02145 [pdf, ps, other]
D-finiteness, rationality, and height II: lower bounds over a set of positive density
Abstract: We consider D-finite power series $f(z)=\sum a_n z^n$ with coefficients in a number field $K$. We show that there is a dichotomy governing the behaviour of $h(a_n)$ as a function of $n$, where $h$ is the absolute logarithmic Weil height. As an immediate consequence of our results, we have that either $f(z)$ is rational or $h(a_n)>[K:\mathbb{Q}]^{-1}\cdot \log(n)+O(1)$ for $n$ in a set of positive… ▽ More
Submitted 20 November, 2022; v1 submitted 4 May, 2022; originally announced May 2022.
Comments: Minor change in the proof of Proposition 4.1
-
arXiv:2202.01673 [pdf, ps, other]
$p$-Adic interpolation of orbits under rational maps
Abstract: 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… ▽ More
Submitted 3 February, 2022; originally announced February 2022.
Comments: 12 pages
MSC Class: 37F10; 37P20; 37P55
-
arXiv:2106.11544 [pdf, ps, other]
On Dynamical Cancellation
Abstract: Let $X$ be a projective variety and let $f$ be a dominant endomorphism of $X$, both of which are defined over a number field $K$. We consider a question of the second author, Meng, Shibata, and Zhang, which asks whether the tower of $K$-points $Y(K)\subseteq (f^{-1}(Y))(K)\subseteq (f^{-2}(Y))(K)\subseteq \cdots$ eventually stabilizes, where $Y\subset X$ is a subvariety invariant under $f$. We sho… ▽ More
Submitted 22 June, 2021; originally announced June 2021.
Comments: 27 pages
MSC Class: 37P55; 14G05
-
arXiv:2103.09994 [pdf, ps, other]
A Tits alternative for rational functions
Abstract: We prove an analog of the Tits alternative for rational functions. In particular, we show that if $S$ is a finitely generated semigroup of rational functions over the complex numbers, then either $S$ has polynomially bounded growth or $S$ contains a nonabelian free semigroup. We also show that if f and g are polarizable maps over any field that do not have the same set of preperiodic points, then… ▽ More
Submitted 17 March, 2021; originally announced March 2021.
Comments: 16 pages
MSC Class: Primary: 20M05. Secondary: 14H37; 20D15
-
arXiv:2102.03821 [pdf, ps, other]
Lie complexity of words
Abstract: 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 boun… ▽ More
Submitted 7 February, 2021; originally announced February 2021.
Comments: 13 pages
MSC Class: 68R15; 11B85
-
arXiv:2011.00357 [pdf, ps, other]
Affine representability and decision procedures for commutativity theorems for rings and algebras
Abstract: 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 revisi… ▽ More
Submitted 7 March, 2022; v1 submitted 31 October, 2020; originally announced November 2020.
Comments: 30 pages, to appear in Israel J. Math. Proposition 5.2 added in this version; title changed from earlier version; Acknowledgment updated
MSC Class: 16R10; 16R30; 16R60
-
arXiv:2008.06605 [pdf, ps, other]
On the importance of being primitive
Abstract: We give a brief survey of primitivity in ring theory and in particular look at characterizations of primitive ideals in the prime spectrum for various classes of rings.
Submitted 14 August, 2020; originally announced August 2020.
Comments: 18 pages, survey paper
MSC Class: 16D60; 16A20; 16A32
Journal ref: Rev. Colombiana Mat. 53 (2019), suppl., 87--112
-
arXiv:2005.04281 [pdf, ps, other]
Rational dynamical systems, $S$-units, and $D$-finite power series
Abstract: Let $K$ be an algebraically closed field of characteristic zero and let $G$ be a finitely generated subgroup of the multiplicative group of $K$. We consider $K$-valued sequences of the form $a_n:=f(\varphi^n(x_0))$, where $\varphi\colon X\to X$ and $f\colon X\to\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 $\varphi$… ▽ More
Submitted 8 May, 2020; originally announced May 2020.
Comments: 29 pages
Journal ref: Alg. Number Th. 15 (2021) 1699-1728
-
arXiv:2003.01255 [pdf, ps, other]
Height Gap Conjectures, $D$-Finiteness, and Weak Dynamical Mordell-Lang
Abstract: 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… ▽ More
Submitted 2 March, 2020; originally announced March 2020.
Journal ref: Math. Ann. 378 (2020), no. 3-4, 971--992
-
arXiv:2002.07256 [pdf, ps, other]
The upper density of an automatic set is rational
Abstract: Given a natural number $k\ge 2$ and a $k$-automatic set $S$ of natural numbers, we show that the lower density and upper density of $S$ are recursively computable rational numbers and we provide an algorithm for computing these quantities. In addition, we show that for every natural number $k\ge 2$ and every pair of rational numbers $(α,β)$ with $0<α<β<1$ or with $(α,β)\in \{(0,0),(1,1)\}$ there i… ▽ More
Submitted 12 April, 2021; v1 submitted 17 February, 2020; originally announced February 2020.
Comments: 16 pages. This version corrects the proof of Lemma 3.1 in addition to making other changes
MSC Class: 11B85; 68Q45
Journal ref: Journal de Théorie des Nombres de Bordeaux Vol. 32, No. 2 (2020), 585--604
-
arXiv:1910.08255 [pdf, ps, other]
An analogue of Ruzsa's conjecture for polynomials over finite fields
Abstract: In 1971, Ruzsa conjectured that if $f:\ \mathbb{N}\rightarrow\mathbb{Z}$ with $f(n+k)\equiv f(n)$ mod $k$ for every $n,k\in\mathbb{N}$ and $f(n)=O(θ^n)$ with $θ<e$ then $f$ is a polynomial. In this paper, we investigate the analogous problem for the ring of polynomials over a finite field.
Submitted 18 October, 2019; originally announced October 2019.
MSC Class: 11T55
-
arXiv:1909.04023 [pdf, ps, other]
Noncommutative analogues of a cancellation theorem of Abhyankar, Eakin, and Heinzer
Abstract: Let $k$ be a field and let $A$ be a finitely generated $k$-algebra. The algebra $A$ is said to be cancellative if whenever $B$ is another $k$-algebra with the property that $A[x]\cong B[x]$ then we necessarily have $A\cong B$. An important result of Abhyankar, Eakin, and Heinzer shows that if $A$ is a finitely generated commutative integral domain of Krull dimension one then it is cancellative. We… ▽ More
Submitted 9 September, 2019; originally announced September 2019.
Comments: 19 pages
MSC Class: 16P99; 16W99
-
arXiv:1909.02942 [pdf, ps, other]
A refinement of Christol's theorem for algebraic power series
Abstract: A famous result of Christol gives that a power series $F(t)=\sum_{n\ge 0} f(n)t^n$ with coefficients in a finite field $\mathbb{F}_q$ of characteristic $p$ is algebraic over the field of rational functions in $t$ if and only if there is a finite-state automaton accepting the base-$p$ digits of $n$ as input and giving $f(n)$ as output for every $n\ge 0$. An extension of Christol's theorem, giving a… ▽ More
Submitted 31 October, 2019; v1 submitted 6 September, 2019; originally announced September 2019.
Comments: 21 pages; statement of main theorem updated slightly
MSC Class: 11B85; 12J25; 13J05
-
A transcendental dynamical degree
Abstract: We give an example of a dominant rational selfmap of the projective plane whose dynamical degree is a transcendental number.
Submitted 12 January, 2021; v1 submitted 1 July, 2019; originally announced July 2019.
Comments: 26 pages. Exposition has been changed after receiving a careful referee report. To appear in Acta Math
MSC Class: 32H50 (primary); 37F10; 11J81; 14E05 (secondary)
-
arXiv:1905.06450 [pdf, ps, other]
D-finiteness, rationality, and height
Abstract: Motivated by a result of van der Poorten and Shparlinski for univariate power series, Bell and Chen prove that if a multivariate power series over a field of characteristic 0 is D-finite and its coefficients belong to a finite set then it is a rational function. We extend and strengthen their results to certain power series whose coefficients may form an infinite set. We also prove that if the coe… ▽ More
Submitted 15 May, 2019; originally announced May 2019.
Comments: 18 pages, comments are welcome
MSC Class: Primary: 11D61; 11G50. Secondary: 13F25
-
arXiv:1812.01698 [pdf, ps, other]
On free subgroups in division rings
Abstract: Let $K$ be a field and let $σ$ be an automorphism and let $δ$ be a $σ$-derivation of $K$. Then we show that the multiplicative group of nonzero elements of the division ring $D=K(x;σ,δ)$ contains a free non-cyclic subgroup unless $D$ is commutative, answering a special case of a conjecture of Lichtman. As an application, we show that division algebras formed by taking the Goldie ring of quotients… ▽ More
Submitted 4 December, 2018; originally announced December 2018.
Comments: nine pages
MSC Class: 12E15; 16K40; 20E05
-
arXiv:1806.11054 [pdf, ps, other]
Periodic subvarieties of semiabelian varieties and annihilators of irreducible representations
Abstract: Let $G$ be a semiabelian variety defined over a field of characteristic $0$, endowed with an endomorphism $Φ$. We prove there is no proper subvariety $Y\subset G$ which intersects the orbit of each periodic point of $G$ under the action of $Φ$. As an application, we are able to give a topological characterization of the annihilator ideals of irreducible representations in certain skew polynomial a… ▽ More
Submitted 28 June, 2018; originally announced June 2018.
Comments: 23 pages
MSC Class: 16D60; 37P15; 20G15; 32H50
-
arXiv:1804.02881 [pdf, ps, other]
On the noncommutative Bondal-Orlov conjecture for some toric varieties
Abstract: We show that all toric noncommutative crepant resolutions (NCCRs) of affine GIT quotients of "weakly symmetric" unimodular torus representations are derived equivalent. This yields evidence for a non-commutative extension of a well known conjecture by Bondal and Orlov stating that all crepant resolutions of a Gorenstein singularity are derived equivalent. We prove our result by showing that all to… ▽ More
Submitted 9 April, 2018; originally announced April 2018.
Comments: 13 pages
-
arXiv:1712.02897 [pdf, ps, other]
Bounding periods of subvarieties of (P^1)^n
Abstract: Using methods of p-adic analysis, along with the powerful result of Medvedev-Scanlon (Annals of Mathematics, 2014) for the classification of periodic subvarieties of (P^1)^n, we bound the length of the orbit of a periodic subvariety Y of (P^1)^n under the action of a dominant endomorphism.
Submitted 7 December, 2017; originally announced December 2017.
-
arXiv:1701.06378 [pdf, ps, other]
Congruences modulo cyclotomic polynomials and algebraic independence for $q$-series
Abstract: We prove congruence relations modulo cyclotomic polynomials for multisums of $q$-factorial ratios, therefore generalizing many well-known $p$-Lucas congruences. Such congruences connect various classical generating series to their $q$-analogs. Using this, we prove a propagation phenomenon: when these generating series are algebraically independent, this is also the case for their $q$-analogs.
Submitted 23 January, 2017; originally announced January 2017.
Comments: Extended abstract submitted to FPSAC 2017
MSC Class: 05A30
-
arXiv:1611.05885 [pdf, ps, other]
On a Dynamical Mordell-Lang Conjecture for Coherent Sheaves
Abstract: We introduce a dynamical Mordell-Lang-type conjecture for coherent sheaves. When the sheaves are structure sheaves of closed subschemes, our conjecture becomes a statement about unlikely intersections. We prove an analogue of this conjecture for affinoid spaces, which we then use to prove our conjecture in the case of surfaces. These results rely on a module-theoretic variant of Strassman's theore… ▽ More
Submitted 5 May, 2017; v1 submitted 17 November, 2016; originally announced November 2016.
Comments: Minor changes from previous version; to appear in the Journal of the London Mathematial Society
MSC Class: 37P55; 14G99; 11D88
-
arXiv:1610.03858 [pdf, ps, other]
On the Medvedev-Scanlon Conjecture for Minimal Threefolds of Non-Negative Kodaira Dimension
Abstract: 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 f… ▽ More
Submitted 21 October, 2016; v1 submitted 12 October, 2016; originally announced October 2016.
Comments: Minor changes limited to the Introduction concerning past work on the conjecture
-
arXiv:1606.04986 [pdf, ps, other]
Power Series with Coefficients from a Finite Set
Abstract: We prove in this paper that a multivariate D-finite power series with coefficients from a finite set is rational. This generalizes a rationality theorem of van der Poorten and Shparlinski in 1996.
Submitted 15 June, 2016; originally announced June 2016.
Comments: 11 pages
MSC Class: 13F25; 05A15
-
arXiv:1605.09585 [pdf, ps, other]
Free Subalgebras of Graded Algebras
Abstract: Let $k$ be a field and let $A=\bigoplus_{n\ge 1}A_n$ be a positively graded $k$-algebra. We recall that $A$ is graded nilpotent if for every $d\ge 1$, the subalgebra of $A$ generated by elements of degree $d$ is nilpotent. We give a method of producing grading nilpotent algebras and use this to prove that over any base field $k$ there exists a finitely generated graded nilpotent algebra that conta… ▽ More
Submitted 12 April, 2017; v1 submitted 31 May, 2016; originally announced May 2016.
Comments: To appear in Journal of Algebra
Journal ref: Journal of Algebra, Volume 483 (2017), 145-162
-
arXiv:1603.04187 [pdf, ps, other]
Algebraic independence of $G$-functions and congruences "à la Lucas"
Abstract: 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 ha… ▽ More
Submitted 14 March, 2016; originally announced March 2016.
-
arXiv:1511.07530 [pdf, ps, other]
Transcendence tests for Mahler functions
Abstract: 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 t… ▽ More
Submitted 23 November, 2015; originally announced November 2015.
Comments: 9 pages
MSC Class: 11J91; 39A06; 30B30
-
arXiv:1508.07624 [pdf, ps, other]
Some finiteness results on monogenic orders in positive characteristic
Abstract: 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 ar… ▽ More
Submitted 30 August, 2015; originally announced August 2015.
Comments: 27 pages, comments are welcome
MSC Class: Primary: 11D61. Secondary: 11R99; 11T99
-
arXiv:1507.08811 [pdf, ps, other]
Free algebras and free groups in Ore extensions and free group algebras in division rings
Abstract: 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… ▽ More
Submitted 31 July, 2015; originally announced July 2015.
Comments: 13 pages
MSC Class: 16K40; 16A06; 14J50
-
Iterative algebras
Abstract: 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 algebr… ▽ More
Submitted 5 March, 2015; originally announced March 2015.
Comments: 13 pages
MSC Class: 16W50
-
arXiv:1411.3574 [pdf, ps, other]
Embeddings of quotient division algebras of rings of differential operators
Abstract: 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$, a… ▽ More
Submitted 13 November, 2014; originally announced November 2014.
Comments: 11 pages
MSC Class: 14A22; 16S38; 16W50; 16P90
-
arXiv:1410.6178 [pdf, ps, other]
On Noncommutative Finite Factorization Domains
Abstract: A domain $R$ is said to have the finite factorization property if every nonzero non-unit element of $R$ has at least one and at most finitely many distinct factorizations up to multiplication of irreducible factors by central units. Let $k$ be an algebraically closed field and let $A$ be a $k$-algebra. We show that if $A$ has an associated graded ring that is a domain with the property that the di… ▽ More
Submitted 6 May, 2015; v1 submitted 22 October, 2014; originally announced October 2014.
-
arXiv:1410.5519 [pdf, ps, other]
Growth degree classification for finitely generated semigroups of integer matrices
Abstract: 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… ▽ More
Submitted 20 October, 2014; originally announced October 2014.
Comments: 18 pages
-
arXiv:1410.5517 [pdf, ps, other]
The minimal growth of a $k$-regular sequence
Abstract: 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 aut… ▽ More
Submitted 20 October, 2014; originally announced October 2014.
Comments: 8 pages
Journal ref: Bulletin of the Australian Mathematical Society 90 (2014), no. 2, 195-203
-
arXiv:1408.6884 [pdf, ps, other]
$3x+1$ inverse orbit generating functions almost always have natural boundaries
Abstract: 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},$ whic… ▽ More
Submitted 28 August, 2014; originally announced August 2014.
Comments: 15 pages
MSC Class: Primary: 30B40; Secondary: 11B83; 11K31; 26A18; 30B10; 37A45
Journal ref: Acta Arithmetica 170 (2015), no. 2, 101--120
-
arXiv:1408.4744 [pdf, ps, other]
On a dynamical version of a theorem of Rosenlicht
Abstract: 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 a… ▽ More
Submitted 20 August, 2014; originally announced August 2014.
-
arXiv:1403.7190 [pdf, ps, other]
The Dixmier-Moeglin equivalence for cocommutative Hopf algebras of finite Gelfand-Kirillov dimension
Abstract: Let $k$ be an algebraically closed field of characteristic zero and let $H$ be a noetherian cocommutative Hopf algebra over $k$. We show that if $H$ has polynomially bounded growth then $H$ satisfies the Dixmier-Moeglin equivalence. That is, for every prime ideal $P$ in ${\rm Spec}(H)$ we have the equivalences… ▽ More
Submitted 27 March, 2014; originally announced March 2014.
Comments: 10 pages
MSC Class: 16W30; 16T05; 16S30; 16P90
-
arXiv:1403.2230 [pdf, ps, other]
Differential polynomial rings over rings satisfying a polynomial identity
Abstract: Let $R$ be a ring satisfying a polynomial identity and let $δ$ be a derivation of $R$. We show that if $N$ is the nil radical of $R$ then $δ(N)\subseteq N$ and the Jacobson radical of $R[x;δ]$ is equal to $N[x;δ]$. As a consequence, we have that if $R$ is locally nilpotent then $R[x;δ]$ is locally nilpotent. This affirmatively answers a question of Smoktunowicz and Ziembowski.
Submitted 17 June, 2014; v1 submitted 10 March, 2014; originally announced March 2014.
Comments: 7 pages
MSC Class: 16N20; 16S36; 16W25
Journal ref: J. Algebra 423 (2015) 28-36