Processing math: 100%
Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • fix wrong definition of free group action

      Alexey Muranov

      diff, v32, current

    • Added reference to “infinity-categories for the working mathematician”, the book in progress by R-V.

      diff, v2, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Page created, but author did not leave any comments.

      v1, current

    • starting something – remains a stub for the moment, to be continued

      v1, current

    • For now creating page, more content to be added.

      v1, current

    • I’ve added to reflexive graph a definition of the free category of a reflexive quiver.

      That page needs some reorganization because everything now said there is about reflective quivers, and not say about reflective undirected simple graphs.

      Maybe free category also also needs touching up and maybe a link to reflective graph. I don’t know how to justify that the paths in the free category don’t contain identity edges.

    • A start on difunctional relations.

      v1, current

    • Created:

      Idea

      In algebraic geometry, the module of Kähler differentials of a commutative ring R corresponds under the Serre–Swan duality to the cotangent bundle of the Zariski spectrum of R.

      In contrast, the module of Kähler differentials of the commutative real algebra of smooth functions on a smooth manifold M receives a canonical map from the module of smooth sections of the cotangent bundle of M that is quite far from being an isomorphism.

      An example illustrating this point is M=R, since in the module of (traditionally defined) Kähler differentials of C(M) we have d(exp(x))expdx, where exp:RR is the exponential function. That is to say, the traditional algebraic notion of a Kähler differential is unable to deduce that exp=exp using the Leibniz rule.

      However, this is not a defect in the conceptual idea itself, but merely a failure to use the correct formalism. The appropriate notion of a ring in the context of differential geometry is not merely a commutative real algebra, but a more refined structure, namely, a C^∞-ring.

      This notion comes with its own variant of commutative algebra. Some of the resulting concepts turn out to be exactly the same as in the traditional case. For example, ideals of C^∞-rings and modules over C^∞-rings happen to coincide with ideals and modules in the traditional sense. Others, like derivations, must be defined carefully, and definitions that used to be equivalent in the traditional algebraic context need not remain so in the context of C^∞-rings.

      Observe that a map of sets d:AM (where M is an A-module) is a derivation if and only if for any real polynomial f(x1,,xn) the chain rule holds:

      d(f(a1,,an))=ifxi(x1,,xn)dxi.

      Indeed, taking f(x1,x2)=x1+x2 and f(x1,x2)=x1x2 recovers the additivity and Leibniz property of derivations, respectively.

      Observe also that f is an element of the free commutative real algebra on n elements, i.e., R[x1,,xn].

      If we now substitute C^∞-rings for commutative real algebras, we arrive at the correct notion of a derivation for C^∞-rings:

      A __C^∞-derivation__ of a [[C^∞-ring]] $A$ is a map of sets $A\to M$ (where $M$ is a [[module]] over $A$) such that the following chain rule holds for every smooth function $f\in\mathrm{C}^\infty(\mathbf{R}^n)$:
      $$d(f(a_1,\ldots,a_n))=\sum_i {\partial f\over\partial x_i}(x_1,\ldots,x_n) dx_i,$$
      where both sides use the structure of a [[C^∞-ring]] to evaluate a smooth real function on a collection of elements in $A$.
      

      The module of Kähler C^∞-differentials can now be defined in the same manner as ordinary Kähler differentials, using C^∞-derivations instead of ordinary derivations.

      \begin{theorem} (Dubuc, Kock, 1984.) The module of Kähler C^∞-differentials of the C^∞-ring of smooth functions on a smooth manifold M is canonically isomorphic to the module of sections of the cotangent bundle of M. \end{theorem}

      Related concepts

      References

      v1, current

    • Wrote that the affine spectrum is the right adjoint to the global section functor from the commutative locally ringed spaces to commutative rings, what is the abstract way to characterize this functor.

      diff, v9, current

    • have created an entry Khovanov homology, so far containing only some references and a little paragraph on the recent advances in identifying the corresponding TQFT. I have also posted this to the nCafé here, hoping that others feel inspired to work on expanding this entry

    • Created stub to make link work.

      v1, current

    • Created a stub for this concept.

      v1, current

    • starting page on spatial σ-locales

      Anonymouse

      v1, current

    • starting page on sober σ-topological spaces

      Anonymouse

      v1, current

    • starting page on countably prime filters

      Anonymouse

      v1, current

    • starting page on linear orders / strict linear orders, which are pseudo-orders which satisfy linearity

      Anonymouse

      v1, current

    • have created geometric infinity-stack

      gave Toën’s definition in detail (quotient of a groupoid object in an (infinity,1)-category in TAlgopSpecSh(C) ) and indicated the possibility of another definition, along the lines that we are discussing on the nCafé

    • stub entry, for the moment just to make the link work

      v1, current

    • added to quantum anomaly

      • an uncommented link to Liouville cocycle

      • a paragraph with the basic idea of fermioninc anomalies

      • the missing reference to Witten’s old article on spin structures and fermioninc anomalies.

      The entry is still way, way, stubby. But now a little bit less than a minute ago ;-

    • category: people page for Jaap Fabius

      Anonymouse

      v1, current

    • category: people page for Juan Arias de Reyna

      Anonymouse

      v1, current

    • starting page on the Fabius function

      Anonymouse

      v1, current

    • starting page on bi-pointed sets

      Anonymouse

      v1, current

    • (Hi, I’m new)

      I added some examples relating too simple to be simple to the idea of unbiased definitions. The point is that we often define things to be simple whenever they are not a non-trivial (co)product of two objects, and we can extend this definition to cover the “to simple to be simple case” by removing the word “two”. The trivial object is often the empty (co)product. If we had been using an unbiased definition we would have automatically covered this case from the beginning.

      I also noticed that the page about the empty space referred to the naive definition of connectedness as being

      “a space is connected if it cannot be partitioned into disjoint nonempty open subsets”

      but this misses out the word “two” and so is accidentally giving the sophisticated definition! I’ve now corrected it to make it wrong (as it were).

    • brief category:people-entry for hyperlinking references

      v1, current

    • starting page on author

      Anonymouse

      v1, current

    • I’m making a correction about enriched vs internal categories.

      An algebroid is a category enriched in Vect, according to the nLab page on algebroids. Meanwhile, a category internal to Vect is what Baez and Crans call a “2-vector space”.

      diff, v18, current

    • added disambiguation with the notion in probability theory

      diff, v3, current

    • starting page on mutually exclusive events in probability theory

      Anonymouse

      v1, current

    • starting disambiguation page on mutual exclusivity

      Anonymouse

      v1, current

    • starting page on mutual exclusivity

      Anonymoue

      v1, current

    • starting page on the law of non-contradiction

      Anonymouse

      v1, current

    • starting disambiguation page for inequality

      Anonymous

      v1, current

    • starting page on the type of affine propositions in the antithesis interpretation

      Anonymouse

      v1, current

    • Added reference to Bruce Bartlett’s thesis.

      diff, v5, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Added several classical books on complex analytic spaces

      Anonymous

      diff, v11, current