Source author record

Liang-Chung Hsia

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

9works
3topics
4close collaborators

Published work

9 publications

preprint2016arXiv

Greatest common divisors of iterates of polynomials

Following work of Bugeaud, Corvaja, and Zannier for integers, Ailon and Rudnick prove that for any multiplicatively independent polynomials, a,b∈C[x]a, b \in {\mathbb C}[x], there is a polynomial hh such that for all nn, we have gcd⁡(an−1,bn−1)∣h \gcd(a^n - 1, b^n - 1) \mid h We prove a compositional analog of this theorem, namely that if f,g∈C[x]f, g \in {\mathbb C}[x] are nonconstant compositionally independent polynomials and c(x)∈C[x]c(x) \in {\mathbb C}[x], then there are at most finitely many λλ with the property that there is an nn such that (x−λ)(x - λ) divides gcd⁡(f∘n(x)−c(x),g∘n(x)−c(x))\gcd(f^{\circ n}(x) - c(x), g^{\circ n}(x) - c(x)).

preprint2016arXiv

Simultaneously preperiodic points for families of polynomials in normal form

Let d>m>1d>m>1 be integers, let c1,…,cm+1c_1,\dots, c_{m+1} be distinct complex numbers, and let f(z):=zd+t1zm−1+t2zm−2+⋯+tm−1z+tm\mathbf{f}(z):=z^d+t_1z^{m-1}+t_2z^{m-2}+\cdots + t_{m-1}z+t_m be an mm-parameter family of polynomials. We prove that the set of mm-tuples of parameters (t1,…,tm)∈Cm(t_1,\dots, t_m)\in\mathbb{C}^m with the property that each cic_i (for i=1,…,m+1i=1,\dots, m+1) is preperiodic under the action of the corresponding polynomial f(z)\mathbf{f}(z) is contained in finitely many hypersurfaces of the parameter space Am\mathbb{A}^m.

preprint2015arXiv

Ramification Filtrations of Certain Abelian Lie Extensions of Local Fields

Let G⊂xFq[ ⁣[x] ⁣]G\subset x{\mathbb F}_q[\![x]\!] (qq is a power of the prime pp) be a subset of formal power series over a finite field such that it forms a compact abelian pp-adic Lie group of dimension d≥1d\ge 1. We establish a necessary and sufficient condition for the APF extension of local field corresponding to (Fq( ⁣(x) ⁣),G)\left({\mathbb F}_q(\!(x)\!), G\right) under the field of norms functor to be an extension of pp-adic fields. We then apply this result to study family of invertible power series with coefficients in a pp-adic integers ring and commute with a fixed noninvertible power series under the composition of power series.

preprint2012arXiv

Preperiodic points for families of rational map

Let X be a smooth curve defined over the algebraic numbers, let a,b be algebraic numbers, and let f_l(x) be an algebraic family of rational maps indexed by all l in X. We study whether there exist infinitely many l in X such that both a and b are preperiodic for f_l. In particular we show that if P,Q are polynomials over the algebraic numbers such that deg(P) >= 2+deg(Q), and there exists l such that a is periodic for P(x)/Q(x) + l, but b is not preperiodic for P(x)/Q(x) + l, then there exist at most finitely many l such that both a and b are preperiodic for P(x)/Q(x)+l. We also prove a similar result for certain two-dimensional families of endomorphisms of P^2.

preprint2012arXiv

Torsion points in families of Drinfeld modules

Let ΦłΦ^ł be an algebraic family of Drinfeld modules defined over a field KK of characteristic pp, and let $\bfa,\bfb\in K[ł]$. Assume that neither $\bfa(ł)$ nor $\bfb(ł)$ is a torsion point for ΦłΦ^ł for all łł. If there exist infinitely many $ł\in\Kbar$ such that both $\bfa(ł)$ and $\bfb(ł)$ are torsion points for ΦłΦ^ł, then we show that for each $ł\in\Kbar$, we have that $\bfa(ł)$ is torsion for ΦłΦ^ł if and only if $\bfb(ł)$ is torsion for ΦłΦ^ł. In the case $\bfa,\bfb\in K$, then we prove in addition that $\bfa$ and $\bfb$ must be $\Fpbar$-linearly dependent.

preprint2008arXiv

On a Dynamical Brauer-Manin Obstruction

Let F : X --> X be a morphism of a variety defined over a number field K, let V be a K-subvariety of X, and let O_F(P)= {F^n(P) :n=0,1,2,...} be the orbit of a point P in X(K). We describe a local-global principle for the intersection of V and O_F(P). This principle may be viewed as a dynamical analog of the Brauer-Manin obstruction. We show that the rational points of V(K) are Brauer--Manin unobstructed for power maps on P^2 in two cases: (1) V is a translate of a torus. (2) V is a line and P has a preperiodic coordinate. A key tool in the proofs is the classical Bang-Zsigmondy theorem on primitive divisors in sequences. We also prove analogous local-global results for dynamical systems associated to endomoprhisms of abelian varieties.

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.