Source author record

Alain Thiéry

Alain Thiéry appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

2works
2topics
2close collaborators

Actions

Connect this record

Log in to claim

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

2 published item(s)

preprint2014arXiv

$q$-Varieties and Drinfeld Modules

Let $\mathbb{F}_q$ be the finite field with $q$ elements, $K$ be an algebraically closed field containing $\mathbb{F}_q$, $K\{τ\}$ be the Ore ring of $\mathbb{F}_q$-linear polynomials and $Λ_n$ be a free $K\{τ\}$-module of rank $n$. In a first part, we prove that there is a bijection between the set of Zariski closed subsets of $K^n$ which are also $\mathbb{F}_q$-vector spaces, the so-called $q$-varities, and the set of radical $K\{τ\}$-submodules of $Λ_n$. We also study the dimension of $q$-varieties and their tangent spaces. Let $F$ be a $q$-variety, $K\{F\} := Mor(F,K)$ be the set of $\mathbb{F}_q$-linear polynomial maps from $F$ to $K$. Let $A=\mathbb{F}_q[T]$ and choose $δ: A \longrightarrow K$ a ring morphism. By definition, an $A$-module structure on $F$ is a ring morphism $Φ: A \longrightarrow End(F)$ such that, for all $a\in A$, $$d(Φ_a) = δ(a) Id_{T(F)}$$ where $T(F)$ is the tangent space of $F$ and $d(Φ_a)$ the differential map. We prove that $K(F) := K(T)\otimes_{K[T]}K\{F\}$ has finite dimension over $K(T)$. This dimension is called the rank of the $A$-module and is denoted by $r(F)$. We then prove that there exists $c \in A\setminus \{0\}$ such that for all $a\in A$, prime to $c$, $$Tor(a,F) := \{x\in F \mid Φ_a(x) = 0\} = (A/aA)^{r(F)}.$$