Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

February 28, 2011

Differential Cohomology in a Cohesive Topos

Posted by Urs Schreiber

The last months I have been busy with writing up a kind of thesis on the topic that I have been thinking about since a long time. This here is to present what should roughly be a version 1.0, up to proof-reading.

A pdf with the current version is behind the first link on this page, which is also the title of the opus:

Differential cohomology in a cohesive \infty-topos.

Below the fold is the abstract. I’d be grateful for whatever comments you might have.

I haven’t written an acknowledgement yet, because it is always hard to decide where to stop thanking people. But two names must be mentioned: I greatly profited from discussion with Mike Shulman on all general abstract aspects and from discussion with Domenico Fiorenza on the decisive aspects of concrete implementation.

Posted at 11:04 PM UTC | Permalink | Followups (10)

February 25, 2011

Tarski’s Two Approaches to Modal Logic

Posted by David Corfield

Can anyone help me out on the question of how Tarski’s work with McKinsey on topological semantics of modal logic connects to Tarski’s work with Jónsson on a duality between modal algebras and (descriptive) general frames.

The Tarski-McKinsey work from 1944 established that

For any consistent theory TT extending the modal logic S4, there exists a topological model (X,𝒪X,[])(X, \mathcal{O}X, [-]) (where [][-] satisfies certain conditions to make it an interpretation) that validates all and only theorems of TT.

A proposition is interpreted as a subset of XX, and interior plays the role of the necessity operator. A proposition, PP, is necessarily true at a world if there’s an open neighbourhood of worlds containing that world, at each of which PP is true.

You can read all about this result and more in Topology and modality: The topological interpretation of first-order modal logic, where Awodey and Kishida prove an analogous result for first-order logic using neighbourhood sheaf models. The worlds are the points of a space, fibres of which are models for the first-order logic.

Posted at 2:02 PM UTC | Permalink | Followups (9)

February 23, 2011

4d QFT for Khovanov Homology

Posted by Urs Schreiber

Khovanov homology is a knot invariant that is a categorification of the Jones polynomial.

Khovanov homology has long been expected to appear as the observables in a 4-dimensional TQFT in higher analogy of how the Jones polynomial arises as an observable in 3-dimensional Chern-Simons theory. For instance for Σ:KK\Sigma : K \to K' a cobordism between two knots there is a natural morphism

Φ Σ:𝒦(K)𝒦(K) \Phi_\Sigma : \mathcal{K}(K) \to \mathcal{K}(K')

between the Khovanov homologies associated to the two knots.

In the recent

it is argued, following indications in

  • S. Gukov, A. S. Schwarz, and C. Vafa, Khovanov-Rozansky Homology And Topological Strings , Lett. Math. Phys. 74 (2005) 53-74, (arXiv:hep-th/0412243),

that this 4d TQFT is related to the worldvolume theory of D3-branes ending on NS5-branes as they appear in the type IIA string theory spacetime. Earlier indication for this had come from the observation that Chern-Simons theory is the effective background theory for the A-model 2d TCFT (see TCFT – Worldsheet and effective background theories for details).

Posted at 1:14 PM UTC | Permalink | Followups (11)

February 18, 2011

Structured Ring Spectra 2011

Posted by Urs Schreiber

This summer, Hamburg hosts the meeting

  • Structured Ring Spectra - TNG

    1st to 5th August 2011, Hamburg, Germany.

    website

about structured ring spectra.

This is the next in the informal series of conferences on Structured Ring Spectra in Glasgow 2002, Bonn 2004 and Banff 2008. The conference will begin Monday morning and end Friday evening.

Posted at 2:09 PM UTC | Permalink | Followups (15)

February 16, 2011

Concrete ∞-Categories

Posted by Mike Shulman

Here’s a somewhat frivolous question which just occurred to me. A concrete category is usually defined to mean a category equipped with a functor CSetC\to Set which is faithful, which is to say, surjective on equations (= 2-morphisms) between 1-morphisms. (One sometimes adds additional conditions as well.) In the language of stuff, structure, property, it is a category whose objects can be regarded as sets equipped with structure.

It makes sense to define a concrete 2-category to be one equipped with a functor CCatC \to Cat which is locally faithful, i.e. surjective on equations (= 3-morphisms) between 2-morphisms. For instance, the 2-category of monoidal categories is concrete in this sense: two monoidal transformations are equal if their underlying natural transformations are, but we cannot say the same for monoidal functors. Thus a concrete 2-category is a 2-category whose objects are regarded as categories equipped with extra stuff.

But what about ∞-categories? When we get all the way up to the top, it seems like there’s no condition left to impose. Is a concrete ∞-category just an ∞-category equipped with a completely arbitrary functor to ∞Cat (or ∞Gpd, if we have an (∞,1)-category)?

Posted at 3:19 AM UTC | Permalink | Followups (24)

February 15, 2011

Heron’s Formula

Posted by John Baez

guest post by J. Scott Carter

An undergraduate student, David Mullens, and I recently posted a paper that presents a 4-dimensional proof of Heron’s formula. (Caution: it’s about 2.5 megabytes in size.)

You may recall from your high school geometry class that Heron’s formula tells how to compute the area of a triangle given its side lengths. The form that I want to present the formula is as follows:

16A×A=(a+b+c)(a+bc)(ab+c)(a+b+c) 16 A \times A = (a+b+c)(a+b-c)(a-b+c)(-a+b+c)

where AA indicates the area of the triangle, and the side lengths are a,ba, b, and cc. By convention we choose variables so that aa is no greater than bb which is no greater than cc. Traditionally, Heron’s formula is stated in terms of the semi-perimeter, but our purpose is to demonstrate that two hyper-volumes (4-dimensional analogues of volume) are actually scissors congruent.

Posted at 4:30 AM UTC | Permalink | Followups (14)

February 11, 2011

Punctual Local Connectedness

Posted by Mike Shulman

Peter Johnstone has a new paper out in TAC yesterday called Remarks on punctual local connectedness. Here’s the abstract:

We study the condition, on a connected and locally connected geometric morphism p:𝒮p : \mathcal{E} \to \mathcal {S}, that the canonical natural transformation p *p !p_*\to p_! should be (pointwise) epimorphic — a condition which F.W. Lawvere called the ‘Nullstellensatz’, but which we prefer to call ‘punctual local connectedness’. We show that this condition implies that p !p_! preserves finite products, and that, for bounded morphisms between toposes with natural number objects, it is equivalent to being both local and hyperconnected.

Posted at 8:27 PM UTC | Permalink | Followups (23)

Rényi Entropy and Free Energy

Posted by John Baez

David Corfield used to study statistical inference and machine learning. This led him to become interested in some variants of the ordinary notion of entropy — for example, Tsallis entropy and Rényi entropy. They’re very odd-looking concepts when you first see them, especially if you’ve spent a lot of time studying the ordinary Boltzmann–Gibbs–Shannon–von Neumann entropy. So, I’ve never been happy with them. Whenever I saw them, I thought: what do they mean?

I just got a lot happier with Renyi entropy. Thanks to conversations at the Entropy Club here at the Centre for Quantum Technologies, especially with Oscar Dahlsten, I noticed that Renyi entropy is just a slightly disguised version of a more familiar concept in thermodynamics: free energy.

Unsurprisingly, somebody already knew this.

However, further discussions revealed that Rényi entropy is just the natural q-deformation of the ordinary notion of entropy!

Posted at 2:42 AM UTC | Permalink

February 8, 2011

The Three-Fold Way (Part 5)

Posted by John Baez

You can now see the paper these blog entries are based on:

But the blog entries have more jokes! So far, I’ve explained how certain complex representations of groups can be seen as arising from real or quaternionic representations. This gives a sense in which ordinary complex quantum theory subsumes the real and quaternionic theories. But there’s also a sense in which all three theories have equal priority. This idea can be seen already at the level of Hilbert spaces, even before group representations enter the game.

For this we need to think about categories of Hilbert spaces. As usual, let 𝕂\mathbb{K} be either \mathbb{R}, \mathbb{C} or \mathbb{H}. Now, let Hilb 𝕂Hilb_\mathbb{K} be the category where:

I want to show you how any one of the categories Hilb Hilb_\mathbb{R}, Hilb Hilb_\mathbb{C} and Hilb Hilb_\mathbb{H} can be embedded in any other. This means that a Hilbert space over any one of the three normed division algebras can be seen as Hilbert space over any other, equipped with some extra structure!

So if you ask which is fundamental: real, complex or quaternionic quantum theory, there’s a certain sense in which the answer is: take your pick!

Posted at 3:32 AM UTC | Permalink | Followups (20)

February 7, 2011

Lurie: Higher Algebra

Posted by Urs Schreiber

Jacob Lurie has made his new book available on his website:

after

now

Posted at 1:10 PM UTC | Permalink | Followups (2)

February 4, 2011

String-Math 2011

Posted by Urs Schreiber

Eric Sharpe asks me to announce the following, which I gladly do:

There is planned a new conference series meant to be anlogous to the standard annual string theory meetings but concentrating on mathematical/structural aspects of string theory. The inaugural meeting of this series is

Here is the description from the conference website, equipped with nnLab links, for your convenience:

For mathematics, string theory has been a source of many significant inspirations, ranging from Seiberg-Witten theory in four-manifolds, to enumerative geometry and Gromov-Witten theory in algebraic geometry, to work on the Jones polynomial in knot theory, to recent progress in the geometric Langlands program and the development of derived algebraic geometry and nn-category theory. In the other direction, mathematics has provided physicists with powerful tools, ranging from powerful differential geometric techniques for solving or analyzing key partial differential equations, to toric geometry, to K-theory and derived categories in D-branes, to the analysis of Calabi-Yau manifolds and string compactifications, to the use of modular forms and other arithmetic techniques.

This is the first conference in a series of large meetings bringing together mathematicians and physicists who work on ideas related to string theory. String theory, as well as quantum field theory, have contributed a series of profound ideas which gave rise to entirely new mathematical fields and revitalized older ones. The conference aims to engage the large and rapidly growing number of mathematicians and physicists working at the string-theoretic interface between the two academic fields and to facilitate the flow of ideas with mathematical techniques and ideas contributing crucially to major advances in string theory.

Topics to be covered include but are not limited to

Posted at 10:32 AM UTC | Permalink | Followups (1)