-
Notifications
You must be signed in to change notification settings - Fork 5
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Assemble canonical and global Berkovich spaces
availableAvailable for a contributor to claimAvailable for a contributor to claimblockedBlocked on another issue or foundational resultBlocked on another issue or foundational resultenhancementNew feature or requestNew feature or requestlargeA substantial multi-stage taskA substantial multi-stage taskStatus: Open.#41 In dagurtomas/rigid;Construct the affinoid Berkovich structure sheaf and local stalks
availableAvailable for a contributor to claimAvailable for a contributor to claimblockedBlocked on another issue or foundational resultBlocked on another issue or foundational resultenhancementNew feature or requestNew feature or requestlargeA substantial multi-stage taskA substantial multi-stage taskStatus: Open.#40 In dagurtomas/rigid;Construct the universe-controlled affinoid Berkovich point model
availableAvailable for a contributor to claimAvailable for a contributor to claimclaimedSomeone is actively working on this issue; coordinate before startingSomeone is actively working on this issue; coordinate before startingenhancementNew feature or requestNew feature or requestStatus: Open.#39 In dagurtomas/rigid;Instantiate the G-site framework for Berkovich analytic domains
availableAvailable for a contributor to claimAvailable for a contributor to claimblockedBlocked on another issue or foundational resultBlocked on another issue or foundational resultenhancementNew feature or requestNew feature or requestlargeA substantial multi-stage taskA substantial multi-stage taskStatus: Open.#38 In dagurtomas/rigid;Develop maximal-spectrum topology and residue fields
availableAvailable for a contributor to claimAvailable for a contributor to claimenhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededlargeA substantial multi-stage taskA substantial multi-stage taskStatus: Open.#30 In dagurtomas/rigid;Generalize Tate algebras to positive polyradii
availableAvailable for a contributor to claimAvailable for a contributor to claimenhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededlargeA substantial multi-stage taskA substantial multi-stage taskStatus: Open.#29 In dagurtomas/rigid;Complete the global rigid–Berkovich comparison functor
blockedBlocked on another issue or foundational resultBlocked on another issue or foundational resultenhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededlargeA substantial multi-stage taskA substantial multi-stage taskStatus: Open.#27 In dagurtomas/rigid;Implement rigid-space products, closed immersions, and separatedness
blockedBlocked on another issue or foundational resultBlocked on another issue or foundational resultenhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededlargeA substantial multi-stage taskA substantial multi-stage taskStatus: Open.#26 In dagurtomas/rigid;Construct canonical affinoid rigid spaces and atlases
blockedBlocked on another issue or foundational resultBlocked on another issue or foundational resultenhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededlargeA substantial multi-stage taskA substantial multi-stage taskStatus: Open.#25 In dagurtomas/rigid;Construct canonical affinoid Berkovich spaces
blockedBlocked on another issue or foundational resultBlocked on another issue or foundational resultenhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededlargeA substantial multi-stage taskA substantial multi-stage taskStatus: Open.#24 In dagurtomas/rigid;Develop analytic functions on Berkovich rational and affinoid domains
availableAvailable for a contributor to claimAvailable for a contributor to claimenhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededlargeA substantial multi-stage taskA substantial multi-stage taskStatus: Open.#23 In dagurtomas/rigid;Implement the rigid-space admissible-site core
availableAvailable for a contributor to claimAvailable for a contributor to claimblockedBlocked on another issue or foundational resultBlocked on another issue or foundational resultenhancementNew feature or requestNew feature or requestlargeA substantial multi-stage taskA substantial multi-stage taskStatus: Open.#22 In dagurtomas/rigid;