BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Theo Johnson-Freyd

Theo Johnson-Freyd contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.QAmath-phmath.CTmath.KTmath.MPhep-thmath.AGmath.NTmath.RA

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

5 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

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

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