bio  website  ncatlab.org/nlab/show/… 

location  
age  
visits  member for  4 years, 10 months 
seen  16 hours ago  
stats  profile views  3,620 
I am a postdoc in maths with a degree in theoretical physics. I am interested in mathematical structures in quantum field theory and string theory, see here.
2d

awarded  Announcer 
Aug 29 
comment 
Does the notion of a “coherent state” exist in TQFTs? (ETQFTs?)
Maybe one should amplify that such definitions (ncatlab.org/nlab/show/coherent+state+in+geometric+quantization) hence depend on having "prequantum" data (often called "classical" data). If you instead have a quantizED field theory without the information of how it came about from quantizATION, say a TQFT or ETQFT given by (just) a functor/nfunctor, then these definitions of coherent state won't apply. 
Aug 29 
awarded  Nice Question 
Aug 28 
reviewed  Approve suggested edit on cstaralgebras tag wiki excerpt 
Aug 28 
reviewed  Approve suggested edit on cstaralgebras tag wiki 
Aug 28 
comment 
What is the difference between a zeta function and an Lfunction?
This one here seems to be clearly the right answer among all. That by Will Sawin of course makes essentially the same point. 
Aug 28 
asked  Artin Lfunction and Zeta function of twisted Dirac operator 
Aug 27 
comment 
Will the eigenvalue of the dirac operater tend to negative infinity?
BTW, a good account of these facts about the eta function is given by Ken Richardson in his note "Introduction to the eta invariant" ncatlab.org/nlab/show/eta+invariant#Richardson 
Aug 27 
reviewed  Reject suggested edit on nontrivial theorems with trivial proofs 
Aug 27 
reviewed  Approve suggested edit on Defining a topology in the Power Set 
Aug 21 
comment 
Nonunital $E_\infty$rings
Ah, right. Excellent, thanks! 
Aug 21 
reviewed  Approve suggested edit on abstractpolytopes tag wiki 
Aug 21 
asked  Nonunital $E_\infty$rings 
Aug 21 
comment 
Power operations and Lambdastructurelike lifts of Frobenius in $E_\infty$geometry?
As David Corfield kindly points out to me elsewhere: explicit comments/speculation on relation between power operations and Borgerstyle absolute geometry is in MoravaSanthanam 12 (ncatlab.org/nlab/show/power+operation#MoravaSanthanam12) referring to closely related discussion in Guillot 06 (ncatlab.org/nlab/show/power+operation#Guillot06) 
Aug 19 
accepted  AdicCompletion$\dashv$Torsion adjunction on spectra? 
Aug 18 
comment 
Power operations and Lambdastructurelike lifts of Frobenius in $E_\infty$geometry?
Thanks, Charles! I was hoping you would see this, despite being busy at ICM. Below in the comments to Akhil Mathew's answer it seems that Elden Elmanto is thinking of some general concept of Frobenius lifts for at least some class of $E_\infty$rings. (?) The story of $\Lambda$rings in view of $\mathbb{F}_1$ suggests that what matters for having a Frobeniuslike endomorphism is not characteristic $p$ as such, but reduction to a maximal ideal. From this analogy I would expect $E_\infty$analogs of Frobenius at each prime for $K(n)$local spectra. Any chance for that? 
Aug 18 
comment 
Power operations and Lambdastructurelike lifts of Frobenius in $E_\infty$geometry?
Thanks! You mean Strickland 98 (ncatlab.org/nlab/show/power+operation#Strickland98). Also, you seem to think of some established theory of Frobenius lifts in this case, maybe you could provide further pointers to the literature for that? 
Aug 16 
awarded  Inquisitive 
Aug 15 
comment 
Power operations and Lambdastructurelike lifts of Frobenius in $E_\infty$geometry?
This is excellent, thank you. I have taken the liberty of recording a version of your reply here: ncatlab.org/nlab/show/power+operation#OnK1LocalKUAlgebras 
Aug 15 
revised 
Power operations and Lambdastructurelike lifts of Frobenius in $E_\infty$geometry?
added 28 characters in body; edited title 