Opened 4 years ago
Last modified 4 years ago
#18175 closed enhancement
Implement categories for topological and metric spaces and related categories — at Version 33
Reported by:  tscrim  Owned by:  tscrim 

Priority:  major  Milestone:  sage6.10 
Component:  categories  Keywords:  geometry, topology, sd67 
Cc:  nthiery, egourgoulhon  Merged in:  
Authors:  Travis Scrimshaw  Reviewers:  
Report Upstream:  N/A  Work issues:  
Branch:  public/categories/topological_metric_spaces18175 (Commits)  Commit:  29a97a7919ce9847c1957111f08114b8947d52ec 
Dependencies:  #18174 #17160  Stopgaps: 
Description (last modified by )
After a discussion at Sage Days 64, we decided to implement a variety of categories pertaining to geometry and topology to lend assistance to SageManifolds (#18528) and to generalize idioms in the hyperbolic geometry (#9439). This implements the following categories:
 topological spaces
 metric spaces
 manifolds
 CW complexes
 simplicial complexes (which has been needed, see #10667, #6099)
 Lie groups
and axioms:
 real
 complex
 compact
 analytic
 differentiable
 smooth
 almost complex
Change History (33)
comment:1 followup: ↓ 5 Changed 4 years ago by
 Branch set to public/categories/topological_metric_spaces18175
 Commit set to 68b85e9898949b1d9707f5d62c467e7fa2467da9
comment:2 Changed 4 years ago by
 Dependencies set to #18174
comment:3 Changed 4 years ago by
 Commit changed from 68b85e9898949b1d9707f5d62c467e7fa2467da9 to aea3a7dea7fb5325b4e950be6c4c76b64c491cdd
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
cf9b429  Fixed ReST typo

aff2689  17160: fixed category for finite set endomaps + minor __init__ refactoring

4b3d74c  Merge branch 'develop' into categories/finitelygeneratedmagmas17160

ad5d6c0  8678: permutation groups are finitely generated, finite fields are enumerated, fixes

839200e  8678: More doctest updates. Should almost pass all tests.

919a215  Merge branch 'develop = sage 6.6 beta6' into categories/finitelygeneratedmagmas17160

ef01ef0  Merge branch 't/18012/sphinx_depends_on_jinja2' into categories/finitelygeneratedmagmas17160

975c008  Merge branch 'u/nthiery/categories/finitelygeneratedmagmas17160' of trac.sagemath.org:sage into categories/finitelygeneratedmagmas17160

19ceb81  Merge branch 'u/nthiery/categories/finitelygeneratedmagmas17160' of trac.sagemath.org:sage into public/categories/finitely_generated_magma17160

aea3a7d  Merge branch 'public/categories/finitely_generated_magma17160' of trac.sagemath.org:sage into public/categories/topological_metric_spaces18175

comment:4 Changed 4 years ago by
 Dependencies changed from #18174 to #18174 #17160
Handled conflicts with #17160.
comment:5 in reply to: ↑ 1 Changed 4 years ago by
Hi Travis,
Replying to tscrim:
Eric, hopefully this is enough to get you started on what you'd want/need for SageManifolds. I probably won't work much more on this for a while.
That's great! Many thanks for implementing this. In a week or two, I'll start to split SageManifolds in small tickets and will of course use your category framework.
Eric.
comment:6 Changed 4 years ago by
 Keywords sd67 added
comment:7 followup: ↓ 8 Changed 4 years ago by
Hi Travis,
I gave a look at the category Manifolds
; it looks nice and I have the following comments:
 the methods
dimension()
andFiniteDimensional()
, and well as the classFiniteDimensional
, are defined only at the level ofConnected
; shouldn't they be at the level ofManifolds
itself ?  in the docstring of
Manifolds
, I think the phrase "such that the neighborhood of any pointx \in M
is homeomorphic tok^d
" should be changed to something like "such that any pointx\in M
admits a neighborhood homeomorphic tok^d
"
Eric.
comment:8 in reply to: ↑ 7 ; followup: ↓ 9 Changed 4 years ago by
Replying to egourgoulhon:
 the methods
dimension()
andFiniteDimensional()
, and well as the classFiniteDimensional
, are defined only at the level ofConnected
; shouldn't they be at the level ofManifolds
itself ?
I wasn't sure about the dimension making sense for manifolds unless they are connected as far as my definition. Mainly do we want the disjoint union of a 1sphere and 2sphere be a manifold? (Current definition is yes). If so, then is the dimension the maximal dimension of each component? I will leave the decision up to you.
 in the docstring of
Manifolds
, I think the phrase "such that the neighborhood of any pointx \in M
is homeomorphic tok^d
" should be changed to something like "such that any pointx\in M
admits a neighborhood homeomorphic tok^d
"
Feel free to change the docstrings and categories as much as you want. However if you just want to get these category stubs into Sage as a smaller step, we can do that too.
comment:9 in reply to: ↑ 8 ; followup: ↓ 11 Changed 4 years ago by
Replying to tscrim:
Replying to egourgoulhon:
 the methods
dimension()
andFiniteDimensional()
, and well as the classFiniteDimensional
, are defined only at the level ofConnected
; shouldn't they be at the level ofManifolds
itself ?I wasn't sure about the dimension making sense for manifolds unless they are connected as far as my definition. Mainly do we want the disjoint union of a 1sphere and 2sphere be a manifold? (Current definition is yes). If so, then is the dimension the maximal dimension of each component? I will leave the decision up to you.
For all the textbook definitions I am aware of, the disjoint union of a 1sphere and a 2sphere is *not* a manifold. In other words, the dimension is unique among all the connected components of the manifold. So I think the dimension should be at the level of Manifolds
.
 in the docstring of
Manifolds
, I think the phrase "such that the neighborhood of any pointx \in M
is homeomorphic tok^d
" should be changed to something like "such that any pointx\in M
admits a neighborhood homeomorphic tok^d
"Feel free to change the docstrings and categories as much as you want. However if you just want to get these category stubs into Sage as a smaller step, we can do that too.
Apart from the dimension issue discussed above, the current categories seems fine to rebase SageManifolds on them, thanks. I'll try soon and let you know.
comment:10 Changed 4 years ago by
 Commit changed from aea3a7dea7fb5325b4e950be6c4c76b64c491cdd to fcc3273fbb9e83da6c61027463e3ed4582009514
Branch pushed to git repo; I updated commit sha1. New commits:
349fe0f  Merge branch 'public/categories/topological_metric_spaces18175' of trac.sagemath.org:sage into public/categories/topological_metric_spaces18175

fcc3273  Move dim to all manifolds, move methods from Hplane to metric spaces, some fixes.

comment:11 in reply to: ↑ 9 ; followup: ↓ 12 Changed 4 years ago by
Replying to egourgoulhon:
Replying to tscrim:
I wasn't sure about the dimension making sense for manifolds unless they are connected as far as my definition. Mainly do we want the disjoint union of a 1sphere and 2sphere be a manifold? (Current definition is yes). If so, then is the dimension the maximal dimension of each component? I will leave the decision up to you.
For all the textbook definitions I am aware of, the disjoint union of a 1sphere and a 2sphere is *not* a manifold. In other words, the dimension is unique among all the connected components of the manifold. So I think the dimension should be at the level of
Manifolds
.
I split the difference in that I kept a more general definition, but I had dimension be the maximum of the dimensions of each connected component so you don't necessarily have to specify connected.
 in the docstring of
Manifolds
, I think the phrase "such that the neighborhood of any pointx \in M
is homeomorphic tok^d
" should be changed to something like "such that any pointx\in M
admits a neighborhood homeomorphic tok^d
"Feel free to change the docstrings and categories as much as you want. However if you just want to get these category stubs into Sage as a smaller step, we can do that too.
Apart from the dimension issue discussed above, the current categories seems fine to rebase SageManifolds on them, thanks. I'll try soon and let you know.
I made some fixes, specifically I stopped an infinite recursion with metric spaces caused by some of my lastminute refactoring. I forgot to make the other change to the manifold's doc, but I want to make sure you're okay with my definition of a manifold before I keep changing it. This is almost ready for review up to some methods not containing doctests.
comment:12 in reply to: ↑ 11 Changed 4 years ago by
Replying to tscrim:
Replying to egourgoulhon:
Replying to tscrim:
I wasn't sure about the dimension making sense for manifolds unless they are connected as far as my definition. Mainly do we want the disjoint union of a 1sphere and 2sphere be a manifold? (Current definition is yes). If so, then is the dimension the maximal dimension of each component? I will leave the decision up to you.
For all the textbook definitions I am aware of, the disjoint union of a 1sphere and a 2sphere is *not* a manifold. In other words, the dimension is unique among all the connected components of the manifold. So I think the dimension should be at the level of
Manifolds
.I split the difference in that I kept a more general definition, but I had dimension be the maximum of the dimensions of each connected component so you don't necessarily have to specify connected.
Do you have a reference for such a definition of a manifold ? It seems nonstandard (*) to me, but I might be wrong. (*) the standard being that the dimension is the same for all the connected components.
comment:13 Changed 4 years ago by
 Commit changed from fcc3273fbb9e83da6c61027463e3ed4582009514 to 5796cbd4fd66bdad4df405a4942f47e9d9d9c69a
Branch pushed to git repo; I updated commit sha1. New commits:
5796cbd  Merge branch 'public/categories/topological_metric_spaces18175' of trac.sagemath.org:sage into public/categories/topological_metric_spaces18175

comment:14 followup: ↓ 15 Changed 4 years ago by
 Milestone changed from sage6.6 to sage6.8
On Wikipedia (http://en.wikipedia.org/wiki/Dimension), they are careful to say a connected manifold. I do agree with you that the standard definition, but the usual case only considers connected manifolds. I did find some papers which don't assume each component has the same dimension, but I can't find them in minute I have to write this. I will look later though. For this, I wanted to be general and consistent with CW complexes. I think SageManifolds can create connected components with different dimension, but I haven't tried.
comment:15 in reply to: ↑ 14 Changed 4 years ago by
Replying to tscrim:
On Wikipedia (http://en.wikipedia.org/wiki/Dimension), they are careful to say a connected manifold.
Yes. I've looked a little further and found that some authors do allow for different dimensions on different connected components; they then define a pure manifold as a manifold for which the dimension is the same among all connected components. On the other side, other authors refuse to do this: for instance, J.M. Lee, in his Introduction to Topological Manifolds (2nd ed., 2011) says on p. 39: "the first remark is that the definition of a manifold requires that every manifold have a specific, welldefined dimension. This rules out, for example, spaces such as a disjoint union of a line and a plane in R^{3} ". Since there is no consensus in the literature, it's fine to take either definition, as long as it is clearly stated. I therefore agree with your definition, especially since it is consistent with CW complexes.
comment:16 Changed 4 years ago by
My professional opinion as a topologist is that a manifold should have a welldefined dimension n, and every point of that manifold should have a neighborhood homeomorphic to R^{n}. So even if it's not connected, the different components should have the same dimension.
I think that more people would be unpleasantly surprised if we allowed different components to have different dimensions than if we had the more relaxed version. (There is no similar discomfort for CW complexes or simplicial complexes: topologists are perfectly happy having a CW complex with maximal cells of different dimensions.)
comment:17 Changed 4 years ago by
I don't really hold a strong opinion on the definition of a manifold, so perhaps for the sake of clarity, we'll make this be local homeomorphic to k^{n}, where k is a topological field.
However this brings up another point in the design for manifolds. When I first wrote this category, I was thinking all manifolds would be real and a subcategory for those who allow carry a complex structure. The reason for this is I was thinking of complex Lie groups, which can behave differently than their real/rational/positivechar counterparts. Yet I'm wondering if we should instead just parameterize the category and this gives a more consistent interface (and if we need a special complex subcategory, we still might want that parameterized by the complex field).
A more concrete (better) question is what do you want a complex manifold to be? Wikipedia says it is a manifold with holomorphic transition maps. Or should this be a smooth manifold over the complex numbers? In other words, should the notion of differentiability be inherent in the base field?
Thoughts?
comment:18 Changed 4 years ago by
IMHO, a complex manifold should be a topological manifold over C (i.e. locally homeomorphic to C^{n}) with holomorphic transition maps. In the refactoring/split of SageManifolds I am preparing in #18528, I have relaxed the assumption of real manifolds used up to now and have introduced topological manifolds over a generic topological field, having in mind complex manifolds, in addition to real ones. In the implementation, each object of the class ComplexManifold
could have an attribute which is an almost complex manifold. The latter would be a real smooth manifold of dimension 2n with an almost complex structure and would be implemented as a subclass of SmoothManifold
.
I have the impression that the category Manifolds
that you are introducing in the current ticket is sufficient for this, i.e. it can be used for any topological manifold over a topological field. I plan to set the TopManifold
objects of #18529 in this category. Then, the class ComplexManifold
would inherit from TopManifold
and would be set in the category Manifolds.Complex()
.
comment:19 Changed 4 years ago by
 Commit changed from 5796cbd4fd66bdad4df405a4942f47e9d9d9c69a to 95a30aa57fc62f23a884790b57835d107d8bdeef
Branch pushed to git repo; I updated commit sha1. New commits:
95a30aa  Adding examples of categories and full coverage.

comment:20 followup: ↓ 21 Changed 4 years ago by
It still seems like we are having an assumption that all manifolds can inherently be realized over R. This was my initial assumption too, and so manifolds that could be locally homoemorphic to C^{d} were a special case.
However I feel like it would be best for Manifolds
to be over an arbitrary topological field (which will require some very mild changes). So then the heirarchy for manifolds would be:
Manifolds  Differentiable  Smooth / \ Analytic AlmostComplex  Complex
Do you think this what we want?
Also do we think we should add a stub category for PL and/or (pseudo) Riemannian manifolds? How about ManifoldsWithBoundary
as a supercategory of Manifolds
(and how many of these extra structures lift to the boundary)?
A question for CW complexes, should the elements of a CW complex be the cells or the points of the topological space? Right now, I'm taking the former approach, but I feel this might be an abuse as these should be subobjects of the category (Nicolas, any wisdom to impart on this?). If this seems like a nontrivial issue, I can split this ticket into 2 parts; one for the manifolds and one for the CW complexes.
comment:21 in reply to: ↑ 20 ; followup: ↓ 22 Changed 4 years ago by
Replying to tscrim:
However I feel like it would be best for
Manifolds
to be over an arbitrary topological field (which will require some very mild changes). So then the heirarchy for manifolds would be:Manifolds  Differentiable  Smooth / \ Analytic AlmostComplex  ComplexDo you think this what we want?
If manifolds are distinguished by their base field (after all, this is the base field that defines the dimension), an alternative hierarchy would be
Manifolds / \ Complex Differentiable  Smooth / \ Analytic AlmostComplex
with the understanding that
Manifolds
: topological manifolds over a topological field KComplex
: topological manifolds over K=C with a holomorphic atlasDifferentiable
: topological manifolds over K=R with a differentiable atlasSmooth
: topological manifolds over K=R with a C^{oo} atlasAnalytic
: topological manifolds over K=R with an analytic atlasAlmostComplex
: smooth manifolds with an almost complex structure
In particular, it seems to me that in the literature, "differentiable manifold" and "smooth manifold" always mean a real manifold. As mentionned in comment:18, in the implementation a complex manifold of dimension n would be canonically associated to an almost complex manifold of dimension 2n.
Also do we think we should add a stub category for PL and/or (pseudo) Riemannian manifolds? How about
ManifoldsWithBoundary
as a supercategory ofManifolds
(and how many of these extra structures lift to the boundary)?
Probably at some point, ManifoldsWithBoundary
will be necessary, but this could be left for a second stage...
comment:22 in reply to: ↑ 21 ; followup: ↓ 23 Changed 4 years ago by
Replying to egourgoulhon:
Manifolds
: topological manifolds over a topological field KComplex
: topological manifolds over K=C with a holomorphic atlasDifferentiable
: topological manifolds over K=R with a differentiable atlasSmooth
: topological manifolds over K=R with a C^{oo} atlasAnalytic
: topological manifolds over K=R with an analytic atlasAlmostComplex
: smooth manifolds with an almost complex structure
However, I don't think we should impose the restriction for differentiable/smooth/analytic as being over R. See for instance http://www.iecn.unancy.fr/~bertram/simfin.pdf. Specifically, it would allow us to work over Q, where arithmetic is exact.
In particular, it seems to me that in the literature, "differentiable manifold" and "smooth manifold" always mean a real manifold. As mentionned in comment:18, in the implementation a complex manifold of dimension n would be canonically associated to an almost complex manifold of dimension 2n.
This says that complex should be a subcategory of almost complex. However by parameterizing the manifolds category by the base field (like, e.g., Algebras
), there will be no danger of ambiguity of considering an almost complex manifold as being over C or over R. This also means we could do the hierarchy I previously suggested (with a minor adjustment):
Manifolds  Differentiable  Smooth / \ Analytic AlmostComplex \ / Complex
In particular, this would allow us to consider a manifold over R that supports a complex structure (for instance, C considered as a 2dim real manifold). Thus natural identifications could be given by functors.
comment:23 in reply to: ↑ 22 Changed 4 years ago by
Replying to tscrim:
However, I don't think we should impose the restriction for differentiable/smooth/analytic as being over R. See for instance http://www.iecn.unancy.fr/~bertram/simfin.pdf.
If we can reach this level of generality, why not? I guess that when defining new categories for Sage, it's better to be as general as possible.
Specifically, it would allow us to work over Q, where arithmetic is exact.
In particular, it seems to me that in the literature, "differentiable manifold" and "smooth manifold" always mean a real manifold. As mentionned in comment:18, in the implementation a complex manifold of dimension n would be canonically associated to an almost complex manifold of dimension 2n.
This says that complex should be a subcategory of almost complex. However by parameterizing the manifolds category by the base field (like, e.g.,
Algebras
), there will be no danger of ambiguity of considering an almost complex manifold as being over C or over R. This also means we could do the hierarchy I previously suggested (with a minor adjustment):Manifolds  Differentiable  Smooth / \ Analytic AlmostComplex \ / ComplexIn particular, this would allow us to consider a manifold over R that supports a complex structure (for instance, C considered as a 2dim real manifold). Thus natural identifications could be given by functors.
OK. I realize that my concern was more about the implementation of the Parent classes than about the categories: a priori, a complex manifold class cannot inherit from an almost complex class (despite of the name!) because it probably does not have any vanishing complex Nijenhuis tensor (although it has a vanishing real one), does it? BTW what is the opinion of John Palmieri about all this?
comment:24 Changed 4 years ago by
Hi,
I believe Almost Complex manifolds are real manifolds with added structure (namely a [1,1]tensor), meanwhile complex manifolds can either be seen as
 (a) Almost Complex manifold satisfying further axioms (integrability)
 (b) Manifolds (over C) satisfying axioms (holomorphic transition)
The definitions (a) and (b) are equivalent, but the transition from (b) to (a) is easy meanwhile the transition (a) to (b) is given by the Newlander Nirenberg theorem and involves solving complicated PDEs which cannot be made automatic. Therefore, it should be implemented as different objects, because we cannot get complex coordinates from the knowledge of a vanishing Nijenhuis tensor.
Another consequence : Complex manifolds must have complex holomorphic coordinates hence it inherits from the analytic category. But should its coordinates seen as real analytic or complex analytic ?
 It cannot be complex analytic since complex analytic manifolds are tautologically complex manifolds.
 But, it should not be real analytic because from the same almost complex manifold with real analytic coordinates it may be impossible to get our complex manifold back. Moreover it makes no sense to consider complex coordinates which are real analytic (for example $\bar{z}$ as a coordinate on C) because it does not preserve the complex structure on C but only preserves the structure of R^{2}^{. }
I don't really know anything about manifolds over Q, but I fear transitions maps should also satisfy some rationality conditions, and more generally over any field, one have to take the good functions. Hence making the category looks like Algebra
might be more difficult.
Another example : over the "ring" of quaternions, what would be the good functions ? Actually, there are several definitions possible each yielding different theories.
Basile
comment:25 followup: ↓ 26 Changed 4 years ago by
Hey Basile,
I'm not quite sure what you're proposing we should do for organizing the manifolds category. For the (a) <=> (b) condition, we aren't doing any sort of checking. By a user constructing a object (parent) in a category, the user is simply promising that it carries that structure.
We could make it so there is no parameterization of the categories (on the underlying field), but instead have the condition for objects to be in the category that their base field be R or C as appropriate. However I think this leads to ambiguity of dimension (e.g., for complex manifolds, do you want the real or complex dimension?) and what you want your charts to be.
I think for fields like Q, the metric gives a good notation of convergence, limits, and hence differential calculus. So, e.g., for smooth manifolds, the transition maps would still be smooth maps (just now in terms of Q calculus instead of R calculus).
Are you perhaps suggesting we should do something like the digram in comment:21?
comment:26 in reply to: ↑ 25 Changed 4 years ago by
Replying to tscrim:
Hey Basile,
Hi,
I'm not quite sure what you're proposing we should do for organizing the manifolds category. For the (a) <=> (b) condition, we aren't doing any sort of checking. By a user constructing a object (parent) in a category, the user is simply promising that it carries that structure.
We could make it so there is no parameterization of the categories (on the underlying field), but instead have the condition for objects to be in the category that their base field be R or C as appropriate. However I think this leads to ambiguity of dimension (e.g., for complex manifolds, do you want the real or complex dimension?) and what you want your charts to be.
I'm sorry I was not very clear. In my opinion it is important to distinguish manifolds over R and over C. AlmostComplex
should be seen as manifolds over R enriched, but ComplexManifold
should not inherit from AlmostComplex
. At least so that dimension or charts would be unambiguous.
(There would still exist a coercion from ComplexManifold
to AlmostComplex
but not coming from class heritage).
Are you perhaps suggesting we should do something like the digram in comment:21?
Yes actually. Because in the following diagram where everything is parametrised on the underlying field, the case F=C makes no sense. Indeed Differentiable/C
cannot exist since usual differentiable maps are not Clinear. Or else if you define it to be Cdifferentiable then it is the same as Smooth/C
and Analytic/C
Manifolds/F  Differentiable/F  Smooth/F  Analytic/F
I'm not sure, where, in the implementation the issue may appear... For example, in the case of finite fields : x > x^{p} is not smooth on F_p but it is analytic, which contradicts the heritage.
Basile
comment:27 followup: ↓ 28 Changed 4 years ago by
For the record, I'm not much of an expert in manifolds; most of my knowledge comes from reading wikipedia.
So you're saying there should be a canonical functor from complex manifolds to almost complex manifolds given by changing the base field from C to R (as opposed to it being a subcategory)? From what you said, this seems to be the best course of action.
For the example with finite fields, do they have a reasonable topology and could that define a transition map? If so, then I think we should enforce differentiable as being over R.
comment:28 in reply to: ↑ 27 ; followup: ↓ 29 Changed 4 years ago by
Replying to tscrim:
So you're saying there should be a canonical functor from complex manifolds to almost complex manifolds given by changing the base field from C to R (as opposed to it being a subcategory)? From what you said, this seems to be the best course of action.
This seems also the best to me.
For the example with finite fields, do they have a reasonable topology and could that define a transition map? If so, then I think we should enforce differentiable as being over R.
If we enforce this, then we are back to the diagram of comment:21. But I wonder now if a best strategy would be to leave instead the base field generic, with the understanding that differentiable means Kdifferentiable, where K stands for the base field. Then the diagram becomes
Manifolds  Differentiable  Smooth / \ Analytic AlmostComplex  Complex
with
Manifolds
: topological manifolds over a topological field KDifferentiable
: topological manifolds over K with a Kdifferentiable atlasSmooth
: topological manifolds over K with a Kinfinitely differentiable atlasAnalytic
: topological manifolds over K with a Kanalytic atlasAlmostComplex
: smooth manifolds over K=R with an almost complex structureComplex
: Canalytic manifolds over K=C
comment:29 in reply to: ↑ 28 ; followup: ↓ 30 Changed 4 years ago by
Hi Eric,
Replying to egourgoulhon:
[...] I wonder now if a best strategy would be to leave instead the base field generic, with the understanding that differentiable means Kdifferentiable, where K stands for the base field.
As I said, there are case for some fields K where Kanalytic is weaker than expected : For example I can make a change of charts x > x^{p} over F_p which is actually invertible since x^{p} is the identity on F_p but when computing its differential it vanishes identically since px^{p1} = 0 in caracteristic p.
In my opinion (which is strongly disputable as I don't have a very wide knowledge of the existing theories) differential geometry is meant for R and C (or maybe in extremal cases over padic fields) but over other field the right way of doing geometry is through algebraic geometry : Manifolds or varieties are no longer given by charts but by equations.
However, there is still hope of having Kmanifolds : The essential piece of information on a scheme (the algebraic geometry object generalising manifolds) is the seaf of functions. But we do have, within Sage Manifolds, a similar object : The set of ScalarFields
over an open domain. The rest is just algebra over that (sheaf of) ring.
Yet I don't have any idea whether it is actually possible to implement algebraic geometry, and if there would be any use of such (gigantic) work.
Replying to tscrim:
So you're saying there should be a canonical functor from complex manifolds to almost complex manifolds given by changing the base field from C to R (as opposed to it being a subcategory)? From what you said, this seems to be the best course of action.
Yes and actually this is easy : Take a complex manifold with chart over U given by complex valued functions z^{k} and let x^{k} + i y^{k} their decompositions into real and imaginary parts. Then (x^{1},y^{1}, ... , x^{n},y^{n}) is a chart over U of the underlying real manifold. On which we get an almost complex structure for free, given by J \partial_{x^{k}} = \partial_{y^{k}} (Structure recalling which coordinate x and y are to be glued together to make complex coordinates)
This can be seen at the level of the most elementary examples :
The class Manifold
has a single object subclass : RealLine
(of dimension 1) which encodes the manifold R.
For the complex there should be 2 cases :
ComplexLine
(single object subclass ofComplexManifolds
) of dimension 1 (over C) with canonical chart (C,z)ComplexPlane
(single object subclass ofAlmostComplexManifolds
) of dimension 2 (over R) with canonical chart (C,(x,y)) and complex structure given by J_0 \partial_x = \partial_y
The functor applied to ComplexLine
would yield the ComplexPlane
.
comment:30 in reply to: ↑ 29 Changed 4 years ago by
Hi Basile,
Replying to bpillet:
As I said, there are case for some fields K where Kanalytic is weaker than expected : For example I can make a change of charts x > x^{p} over F_p which is actually invertible since x^{p} is the identity on F_p but when computing its differential it vanishes identically since px^{p1} = 0 in caracteristic p.
Thanks for this example!
In my opinion (which is strongly disputable as I don't have a very wide knowledge of the existing theories) differential geometry is meant for R and C (or maybe in extremal cases over padic fields) but over other field the right way of doing geometry is through algebraic geometry : Manifolds or varieties are no longer given by charts but by equations.
Yes, you are right, for differentiable manifolds, we should probably limit ourselves to K=C or K=R (at least in a first stage). In the refactoring of SageManifolds I am preparing for #18528, I leave the base field generic anyway. In the documentation of class TopManifold
in #18529, you can see already an example with K=C (the Riemann sphere as a topological manifold of dimension 1 over C).
comment:31 Changed 4 years ago by
 Description modified (diff)
comment:32 Changed 4 years ago by
 Commit changed from 95a30aa57fc62f23a884790b57835d107d8bdeef to 29a97a7919ce9847c1957111f08114b8947d52ec
Branch pushed to git repo; I updated commit sha1. New commits:
31ba0b5  Merge branch 'public/categories/topological_metric_spaces18175' of trac.sagemath.org:sage into public/categories/topological_metric_spaces18175

da729cc  Added more axioms and reworked the manifolds category structure.

20a71ae  Merge branch 'develop' into public/categories/topological_metric_spaces18175

5418b0f  Merge branch 'develop' into public/categories/topological_metric_spaces18175

29a97a7  Minor fixes and reorganizing the manifolds categories.

comment:33 Changed 4 years ago by
 Description modified (diff)
 Status changed from new to needs_review
Given our discussion, I have reorganized the manifolds category as:
Manifolds / \ Complex Real  Differentiable  Smooth / \ Analytic AlmostComplex
I've added full doctest coverage and some examples. So ready for proper review.
PS  Sorry it took so long to get back to this.
I've implemented a bunch of stub categories as an overall layout guide. My method stubs and documentation will need to be expanded upon, including adding (more) tests, along with lifting methods from the hyperbolic geometry module. There is currently an abuse of
Finite
for CW complexes as they are not typically finite as sets (in fact, the only finite CW complexes are a finite collection of 0cells), but the terminology is finite CW complex meaning a finite number of cells.Eric, hopefully this is enough to get you started on what you'd want/need for SageManifolds. I probably won't work much more on this for a while.
New commits:
Inital stubs
Implement generic functorial construction base class magic.
Merge branch 'public/categories/functorial_magic18174' into public/categories/topological_metric_spacesTBA
Some cleanup and getting category stubs ready.
Adding some more stubs for categories.