BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Theo Johnson-Freyd

Theo Johnson-Freyd appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math-phmath.MPmath.QAmath.KTmath.CThep-thmath.ATmath.SGmath.AGmath.NTmath.RAquant-ph

Catalog footprint

What is connected

11works
12topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2026arXiv

On the structure of Witt groups and minimal extension conjecture

Let $\mathcal{E}=\text{Rep}(G)$ be a Tannakian fusion category. For a braided fusion category $\mathcal{C}$ over $\mathcal{E}$ we give sufficient and necessary conditions that characterize the Witt relation $[\mathcal{C}]=[\mathcal{E}]$. Then we show the Witt group $\mathcal{W}(\mathcal{E})$ is naturally a direct sum of Witt group $\mathcal{W}:=\mathcal{W}(\text{Vec})$ and the group $\text{H}^4(G,\mathbb{K}^\times)$. Consequently, for any non-degenerate fusion category $\mathcal{C}$ over $\mathcal{E}$, there is a positive integer $n$ (e.g. $n=|G|$) such that $\mathcal{C}^{\boxtimes_\mathcal{E}^n}$ admits a minimal extension.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Galois action on VOA gauge anomalies

Assuming regularity of the fixed subalgebra, any action of a finite group $G$ on a holomorphic VOA $V$ determines a gauge anomaly $α\in \mathrm{H}^3(G; \boldsymbolμ)$, where $\boldsymbolμ \subset \mathbb{C}^\times$ is the group of roots of unity. We show that under Galois conjugation $V \mapsto {^γV}$, the gauge anomaly transforms as $α\mapsto γ^2(α)$. This provides an a priori upper bound of $24$ on the order of anomalies of actions preserving a $\mathbb{Q}$-structure, for example the Monster group $\mathbb{M}$ acting on its Moonshine VOA $V^\natural$. We speculate that each field $\mathbb{K}$ should have a "vertex Brauer group" isomorphic to $\mathrm{H}^3(\mathrm{Gal}(\bar{\mathbb{K}}/\mathbb{K}); \boldsymbolμ^{\otimes 2})$. In order to motivate our constructions and speculations, we warm up with a discussion of the ordinary Brauer group, emphasizing the analogy between VOA gauging and quantum Hamiltonian reduction.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Holomorphic SCFTs with small index

We observe that every self-dual ternary code determines a holomorphic N=1 superconformal field theory. This provides ternary constructions of some well-known holomorphic N=1 SCFTs, including Duncan's "supermoonshine" model and the fermionic "beauty and the beast" model of Dixon, Ginsparg, and Harvey. Along the way, we clarify some issues related to orbifolds of fermionic holomorphic CFTs. We give a simple coding-theoretic description of the supersymmetric index and conjecture that for every self-dual ternary code this index is divisible by 24; we are able to prove this conjecture except in the case when the code has length 12 mod 24. Lastly, we discuss a conjecture of Stolz and Teichner relating N=1 SCFTs with Topological Modular Forms. This conjecture implies constraints on the supersymmetric indexes of arbitrary holomorphic SCFTs, and suggests (but does not require) that there should be, for each k, a holomorphic N=1 SCFT of central charge 12k and index 24/gcd(k,24). We give ternary code constructions of SCFTs realizing this suggestion for k \leq 5.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Chains(R) does not admit a geometrically meaningful properadic homotopy Frobenius algebra structure

The embedding Chains(R) into Cochains(R) as the compactly supported cochains might lead one to expect Chains(R) to carry a nonunital commutative Frobenius algebra structure, up to a degree shift and some homotopic weakening of the axioms. We prove that under reasonable "locality" conditions, a cofibrant resolution of the dioperad controlling nonunital shifted-Frobenius algebras does act on Chains(R), and in a homotopically-unique way. But we prove that this action does not extend to a homotopy Frobenius action at the level of properads or props. This gives an example of a geometrically meaningful algebraic structure on homology that does not lift in a geometrically meaningful way to the chain level.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Poisson AKSZ theories and their quantizations

We generalize the AKSZ construction of topological field theories to allow the target manifolds to have possibly-degenerate (homotopy) Poisson structures. Classical AKSZ theories, which exist for all oriented spacetimes, are described in terms of dioperads. The quantization problem is posed in terms of extending from dioperads to properads. We conclude by relating the quantization problem for AKSZ theories on R^d to the formality of the E_d operad, and conjecture a properadic description of the space of E_d formality quasiisomorphisms.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Reflexivity and dualizability in categorified linear algebra

The "linear dual" of a cocomplete linear category $\mathcal C$ is the category of all cocontinuous linear functors $\mathcal C \to \mathrm{Vect}$. We study the questions of when a cocomplete linear category is reflexive (equivalent to its double dual) or dualizable (the pairing with its dual comes with a corresponding copairing). Our main results are that the category of comodules for a countable-dimensional coassociative coalgebra is always reflexive, but (without any dimension hypothesis) dualizable if and only if it has enough projectives, which rarely happens. Along the way, we prove that the category $\mathrm{Qcoh}(X)$ of quasi-coherent sheaves on a stack $X$ is not dualizable if $X$ is the classifying stack of a semisimple algebraic group in positive characteristic or if $X$ is a scheme containing a closed projective subscheme of positive dimension, but is dualizable if $X$ is the quotient of an affine scheme by a virtually linearly reductive group. Finally we prove tensoriality (a type of Tannakian duality) for affine ind-schemes with countable indexing poset.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Feynman-diagrammatic description of the asymptotics of the time evolution operator in quantum mechanics

We describe the "Feynman diagram" approach to nonrelativistic quantum mechanics on R^n, with magnetic and potential terms. In particular, for each classical path γconnecting points q_0 and q_1 in time t, we define a formal power series V_γ(t,q_0,q_1) in \hbar, given combinatorially by a sum of diagrams that each represent finite-dimensional convergent integrals. We prove that exp(V_γ) satisfies Schrödinger's equation, and explain in what sense the t\to 0 limit approaches the δdistribution. As such, our construction gives explicitly the full \hbar\to 0 asymptotics of the fundamental solution to Schrödinger's equation in terms of solutions to the corresponding classical system. These results justify the heuristic expansion of Feynman's path integral in diagrams.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On the coordinate (in)dependence of the formal path integral

When path integrals are discussed in quantum field theory, it is almost always assumed that the fields take values in a vector bundle. When the fields are instead valued in a possibly-curved fiber bundle, the independence of the formal path integral on the coordinates becomes much less obvious. In this short note, aimed primarily at mathematicians, we first briefly recall the notions of Lagrangian classical and quantum field theory and the standard coordinate-full definition of the "formal" or "Feynman-diagrammatic" path integral construction. We then outline a proof of the following claim: the formal path integral does not depend on the choice of coordinates, but only on a choice of fiberwise volume form. Our outline is an honest proof when the formal path integral is defined without ultraviolet divergences.

0 citations0 reviewsNo code linkedOpen access