9,569 reputation
2665
bio website ncatlab.org/nlab/show/…
location
age
visits member for 4 years, 10 months
seen 16 hours ago
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 "pre-quantum" 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/n-functor, then these definitions of coherent state won't apply.
Aug
29
awarded  Nice Question
Aug
28
reviewed Approve suggested edit on c-star-algebras tag wiki excerpt
Aug
28
reviewed Approve suggested edit on c-star-algebras tag wiki
Aug
28
comment What is the difference between a zeta function and an L-function?
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 L-function 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 abstract-polytopes tag wiki
Aug
21
asked Nonunital $E_\infty$-rings
Aug
21
comment Power operations and Lambda-structure-like 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 Borger-style absolute geometry is in Morava-Santhanam 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 Lambda-structure-like 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 Frobenius-like 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 Lambda-structure-like 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 Lambda-structure-like 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 Lambda-structure-like lifts of Frobenius in $E_\infty$-geometry?
added 28 characters in body; edited title