Skip to content

Hom spaces between Drinfeld modules #40440

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 36 commits into
base: develop
Choose a base branch
from
Open

Hom spaces between Drinfeld modules #40440

wants to merge 36 commits into from

Conversation

xcaruso
Copy link
Contributor

@xcaruso xcaruso commented Jul 18, 2025 •
edited
Loading

We implement a method for computing a basis of the homset between two Drinfeld modules defined over a finite field.

Includes #35386

📝 Checklist

  • The title is concise and informative.
  • The description explains in detail what this PR is about.
  • I have linked a relevant issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation and checked the documentation preview.

⌛ Dependencies

#40421, #40436

DocTrivial and others added 26 commits November 17, 2023 20:50
@DocTrivial
Added basis computation over Fq[tau^n]
af1c2e9
@ymusleh
Merge branch 'develop' into isogeny
6b3e2a7
@DocTrivial
Morphism casting and citation
3a14482
@DocTrivial
Merge branch 'isogeny' of https://github.com/ymusleh/sage into isogeny
96f38e9
@DocTrivial
Fixing linting
25999df
@ymusleh
Merge branch 'sagemath:develop' into isogeny
b48d29d
@DocTrivial
Merge branch 'isogeny' of https://github.com/ymusleh/sage into isogeny
ca42dde
@ymusleh
adding fqx basis
a908f8a
@ymusleh
added motive basis expansion
c302d79
@ymusleh
updates to basis decomposition for elements of the motive
b9ceb78
@ymusleh
Merge branch 'isogeny' of https://github.com/ymusleh/sage into isogeny
6a070ff
@ymusleh
updates to Fq_basis and basis methods
3cf4644
Merge branch 'develop' of https://github.com/sagemath/sage into develop
78f461f
computation of a A-basis of Hom(phi, psi)
c2cfa25
conftest (grr)
6f52dc1
use cache
bef913d
Merge branch 'develop' into morphisms_drinfeld_modules
636d97e
implement A-field
a170739
remove RingExtensions in Ore polynomials
a1b901e
fix lint
58c4b14
Merge branch 'ore_not_extension' into drinfeld_tau
843a581
t -> τ
7c1a26b
declare encoding
27e890b
remove the condition: nonzero constant coefficient
227e9f5
Merge branch 'ore_not_extension' into useless_limitations
4123efd
Merge branch 'develop' into morphisms_drinfeld_modules
bf7b318
@xcaruso xcaruso requested a review from kryzar July 18, 2025 08:53
@xcaruso xcaruso changed the title Morphisms between Drinfeld modules Hom spaces between Drinfeld modules Jul 18, 2025
@kryzar
Copy link
Contributor

kryzar commented Jul 18, 2025

Perhaps we should add Joseph's thesis in the references as well?

@xcaruso xcaruso marked this pull request as ready for review July 18, 2025 16:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@kryzar kryzar Awaiting requested review from kryzar

Assignees
No one assigned
Labels
s: needs review
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@xcaruso @kryzar @DocTrivial @ymusleh