You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
gh-35057: Implement basic j-invariants of Drinfeld modules
<!-- ^^^^^
Please provide a concise, informative and self-explanatory title.
Don't put issue numbers in there, do this in the PR body below.
For example, instead of "Fixes#1234" use "Introduce new method to
calculate 1+1"
-->
### 📚 Description
The goal of this PR is to implement basic j-invariants of Drinfeld
module as defined by Potemine in
Potemine, I.Y. Minimal Terminal ℚ-Factorial Models of Drinfeld Coarse
Moduli Schemes. Mathematical Physics, Analysis and Geometry 1, 171–191
(1998). https://doi.org/10.1023/A:1009724323513
These j-invariants allows to determine whether two Drinfeld
`Fq[T]`-modules of arbitrary ranks are isomorphic or not.
@kryzar@ymusleh@xcaruso
<!-- Describe your changes here in detail -->
<!-- Why is this change required? What problem does it solve? -->
<!-- If it resolves an open issue, please link to the issue here. For
example "Closes#1337" -->
### 📝 Checklist
<!-- Put an `x` in all the boxes that apply. -->
<!-- If your change requires a documentation PR, please link it
appropriately -->
<!-- If you're unsure about any of these, don't hesitate to ask. We're
here to help! -->
- [x] I have made sure that the title is self-explanatory and the
description concisely explains the PR.
- [] I have linked an issue or discussion.
- [x] I have created tests covering the changes.
- [x] I have updated the documentation accordingly.
### ⌛ Dependencies
<!-- List all open pull requests that this PR logically depends on -->
<!--
- #xyz: short description why this is a dependency
- #abc: ...
-->
Depends on #35026 because this PR implements Drinfeld modules.
URL: #35057
Reported by: David Ayotte
Reviewer(s): Antoine Leudière, David Ayotte, Xavier Caruso
0 commit comments