Skip to content

Deformations #481

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
kbuzzard wants to merge 137 commits into
base: main
Choose a base branch
from
Open

Deformations #481

kbuzzard wants to merge 137 commits into from

Conversation

@kbuzzard
Copy link
Collaborator

@kbuzzard kbuzzard commented May 11, 2025 •
edited
Loading

Javier's work on deformations. Being rewritten by Andrew (see for example #504)

@javierlcontreras
Beginning of the G finite case
64821c4
@javierlcontreras
Advances G finite case
6cf1376
@javierlcontreras
Advances definitions of LenstraRing
74c9edc
@javierlcontreras
Progress LenstraRing
20894c3
@javierlcontreras
Adds test file for quick checks. Delete before PR
dd09828
@javierlcontreras
Moves to categorical setting
362edcc
@javierlcontreras
Defines SLRing, SmitLenstraRing
4b196b7
@javierlcontreras
Adds notation for SLMap
50a9202
@javierlcontreras
Advances LRMap
39d721c
@javierlcontreras
Bump
12eaaab
@javierlcontreras
Adds proartinian proj limit, pending on (my) Mathlib PR adding invers…
67610e9 
…e limits of rings and modules
@javierlcontreras
Starts adding inverse limits of rings and modules
5c33c05
@javierlcontreras
Adds restricted deformations
736bdd1
@javierlcontreras
Adds proartinian topology
a6e8b18
@javierlcontreras
Shuffling around files
18d352c
@javierlcontreras
Restrict C to continuous Homomorphisms
eec9a56
@javierlcontreras
Move quotient to Basic
ccfc27d
@javierlcontreras
Add Representation Irreducible and Absdolutely Irreducible
d8b6651
@javierlcontreras
Fixes build. Introduces Subrepresentations and RepresentationEquiv
469cea1
@javierlcontreras
Adds files to match Andrews quick API
1b075d2
@javierlcontreras
feat(RepresentationTheory/Subrepresentation): Adds subreps and simple…
245402c 
… reps
@javierlcontreras
Fixes build
5d20d5d
@javierlcontreras
rebase
355060e
@javierlcontreras
Fills sorries in lifting equivalence
8b7cd1e
@javierlcontreras
Advances definition of Lift Function. Only onMap missing, for which I…
c8e71b0 
… need to redo the definition of \MCC
@javierlcontreras
Advances full definition of MCC, depends on InverseLimit to define di…
32bebd0 
…agonalMap
@javierlcontreras
Advances implementation of inverse system of modules and rings
abbb9b4
@javierlcontreras
Completes defition of diagonal map
e1e8cb0
@javierlcontreras
Fixes build, makes RepresentationTheory match origin/main
53eda7f
@javierlcontreras
Unbundles CommAlgCat from MCC
4838d1d
@kbuzzard kbuzzard added the WIP label May 11, 2025
@erdOne erdOne mentioned this pull request May 17, 2025
Merged
@kbuzzard kbuzzard added reference-only This PR will not be merged; it is just older work which may serve as a useful reference and removed WIP labels Jun 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

reference-only This PR will not be merged; it is just older work which may serve as a useful reference

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@kbuzzard @javierlcontreras