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 comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite 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 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).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeJan 27th 2010
    • (edited Jan 27th 2010)
    This comment is invalid XML; displaying source. <p>Since Mike's thread <a href="http://www.math.ntnu.no/~stacey/Vanilla/nForum/comments.php?DiscussionID=679&page=1">questions on structured (oo,1)-topos</a> got a bit highjacked by general oo-stack questions, I thought I'd start this new thread to announce attempted answers:</p> <p>Mike had rightly complained in a query box that a "remark" of mine in which I had meant to indicate the intuitive meaning of the technical condition on an (oo,1)-structure sheaf had been "ridiculous".</p> <p>But that condition is important, and important to understand. I have now removed the nonsensical paragraph and Mike's query box complaining about it, inserted a new query box saying "second attempt" and then spelled out two archetypical toy examples in detail, that illustrate what's going on.</p> <p>The second of them can be found in StrucSp itself, as indicated. It serves mainly to show that an ordinary ringed space has a structure sheaf in the sense of structured oo-toposes precisely if it is a <a href="https://ncatlab.org/nlab/show/locally+ringed+space">locally ringed space</a>.</p> <p>But to try to bring out the very simple geometry behind this even better, I preceded this example now by one where a structure sheaf just of continuous functions is considered.</p> <p>Have a look.</p>
    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeJan 28th 2010

    Okay, that makes more sense. It looks to me like a "geometry" is just another way of specifying the syntactic category of a geometric theory (suitably oo-ized). Thinking like that makes me feel like maybe I understand this business of "quantities" more. Maybe when I get a chance I'll try to write something connecting up this viewpoint.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJan 28th 2010

    It looks to me like a "geometry" is just another way of specifying the syntactic category of a geometric theory (suitably oo-ized).

    I believe that's the kind of statement that I was thinking of when writing that remaining comment at classifying topos on the oo-version of "limit- and cover-preserving functors". I'd be very interested to see you pin this down more concretely. I feels like a very nice kind of thing, generally.

    • CommentRowNumber4.
    • CommentAuthorzskoda
    • CommentTimeJan 28th 2010

    Is this choice of geometry anyhow related to the role of doctrines in algebraic geometry as analysed recently by Dolan (there are 6 videos online and John wrote osmething on his pages and there was a cafe discussion) ?

    • CommentRowNumber5.
    • CommentAuthorMike Shulman
    • CommentTimeJan 28th 2010

    @Zoran, I would say that the "geometries" Lurie is using are all theories in the doctrine of left-exact idempotent-complete (oo,1)-sites. If you want to use a weaker doctrine, such as merely left-exact (oo,1)-categories, or even with merely finite products, you can "extend up" with the left adjoint, e.g. idempotent-completion, or the free left-exact category on a category with finite products. If you want to use a stronger doctrine, such as all small limits, then I think you're out of luck unless you generalize the definition.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJan 28th 2010
    • (edited Jan 28th 2010)

    By the way, when John started talking about this on the blog, I said "Did you compare this with what Lurie's written?" He never replied to that. I wonder if Jim Dolan is aware of it.

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeJan 28th 2010
    • (edited Jan 28th 2010)

    I added Kaledin's and Getzler-Kapranov refs to cyclic cohomology. GK paper is intriguing: there are two kinds of cyclic cohomology for an algebra over a cyclic operad HA called cyclic and HC which is a bit different. The Connes long exact sequence involves HA HH and HC, but HC is applied to an algebra over a Koszul dual operad, so if we have an associative algebra then the Koszul dual of the associative operad is again the associative operad, and HA and HC are basically undistinguishable, hence only HC. For general cyclic operad this is not so. I hope the operad enthusiasts from operadic kitchen Utrecht will soon teach us how to think of cyclic operads and HA vs HC. Sorry, I now see that I posted into wrong thread, but let it stay here then.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJan 28th 2010

    I hope the operad enthusiasts from operadic kitchen Utrecht will soon teach us how to think of cyclic operads and HA vs HC.

    Okay, good hint. I'll see what the kitchen can do.

    • CommentRowNumber9.
    • CommentAuthorzskoda
    • CommentTimeJan 28th 2010

    There is a rewarding goody at the next corner: so called Feynman transform for modular operads (which are a bit more than cyclic operads and of course have to do with CFT in special cases).

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeJan 29th 2010

    right, Simon Willerton was telling me about Feynman transforms the other day. I thought it was a pity that I didn't know about it.

    but I need to organize this a bit, otherwise I'll get all the tasks that I need to.

    Will the cyclic operads help me get a very general notion of Chern character? :-)

    • CommentRowNumber11.
    • CommentAuthorzskoda
    • CommentTimeJan 29th 2010

    Probably not.