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

Markus Upmeier

Markus Upmeier contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.ATmath.AGmath.DGmath.GTmath.KTmath.QA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
6topics
2close 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

7 published item(s)

preprint2026arXiv

Vertex $F$-Algebras and Their Associated Lie Algebra

Vertex $F$-algebras are a deformation of the concept of an ordinary vertex algebra in which the additive formal group law is replaced by an arbitrary formal group law $F$. The main theorem of this paper constructs a Lie algebra from a vertex $F$-algebra - for the additive formal group law, this extends Borcherds' well-known construction for ordinary vertex algebras. Our construction involves the new concept of an $F$-residue and some other new algebraic concepts, which are deformations of familiar concepts for the special case of an additive formal group law.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

On spin structures and orientations for gauge-theoretic moduli spaces

Let $X$ be a compact manifold, $G$ a Lie group, $P \to X$ a principal $G$-bundle, and $\mathcal{B}_P$ the infinite-dimensional moduli space of connections on $P$ modulo gauge. For a real elliptic operator $E_\bullet$ we previously studied orientations on the real determinant line bundle over $\mathcal{B}_P$. These are used to construct orientations in the usual sense on smooth gauge theory moduli spaces, and have been extensively studied since the work of Donaldson. Here we consider complex elliptic operators $F_\bullet$ and introduce the idea of spin structures, square roots of the complex determinant line bundle of $F_\bullet$. These may be used to construct spin structures in the usual sense on smooth complex gauge theory moduli spaces. We study the existence and classification of such spin structures. Our main result identifies spin structures on $X$ with orientations on $X \times S^1$. Thus, if $P \to X$ and $Q \to X \times S^1$ are principal $G$-bundles with $Q|_{X\times\{1\}} \cong P$, we relate spin structures on $(\mathcal{B}_P,F_\bullet)$ to orientations on $(\mathcal{B}_Q,E_\bullet)$ for a certain class of operators $F_\bullet$ on $X$ and $E_\bullet$ on $X\times S^1$. Combined with arXiv:1811.02405, we obtain canonical spin structures for positive Diracians on spin 6-manifolds and gauge groups $G=U(m), SU(m)$. In a sequel arXiv:2001.00113 we apply this to define canonical orientation data for all Calabi-Yau 3-folds $X$ over the complex numbers, as in Kontsevich-Soibelman arXiv:0811.2435, solving a long-standing problem in Donaldson-Thomas theory.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Orientation data for moduli spaces of coherent sheaves over Calabi-Yau 3-folds

Let $X$ be a compact Calabi-Yau 3-fold, and write $\mathcal M,\bar{\mathcal M}$ for the moduli stacks of objects in coh$(X),D^b$coh$(X)$. There are natural line bundles $K_{\mathcal M}\to\mathcal M$, $K_{\bar{\mathcal M}}\to\bar{\mathcal M}$, analogues of canonical bundles. Orientation data on $\mathcal M,\bar{\mathcal M}$ is an isomorphism class of square root line bundles $K_{\mathcal M}^{1/2},K_{\bar{\mathcal M}}^{1/2}$, satisfying a compatibility condition on the stack of short exact sequences. It was introduced by Kontsevich and Soibelman arXiv:1006.270 in their theory of motivic Donaldson-Thomas invariants, and is important in categorifying Donaldson-Thomas theory using perverse sheaves. We show that natural orientation data can be constructed for all compact Calabi-Yau 3-folds, and also for compactly-supported coherent sheaves and perfect complexes on noncompact Calabi-Yau 3-folds $X$ with a spin smooth projective compactification $X\hookrightarrow Y$. This proves a long-standing conjecture in Donaldson-Thomas theory. These are special cases of a more general result. Let $X$ be a spin smooth projective 3-fold. Using the spin structure we construct line bundles $K_{\mathcal M}\to\mathcal M$, $K_{\bar{\mathcal M}}\to\bar{\mathcal M}$. We define spin structures on $\mathcal M,\bar{\mathcal M}$ to be isomorphism classes of square roots $K_{\mathcal M}^{1/2},K_{\bar{\mathcal M}}^{1/2}$. We prove that natural spin structures exist on $\mathcal M,\bar{\mathcal M}$. They are equivalent to orientation data when $X$ is a Calabi-Yau 3-fold with the trivial spin structure. We prove this using our previous paper arXiv:1908.03524, which constructs 'spin structures' (square roots of a certain complex line bundle $K_P\to\mathcal B_P$) on differential-geometric moduli stacks $\mathcal B_P$ of connections on a principal U$(m)$-bundle $P\to X$ over a compact spin 6-manifold $X$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Extremal K-contact metrics

Extending a result of He to the non-integrable case of K-contact manifolds, it is shown that transverse Hermitian scalar curvature may be interpreted as a moment map for the strict contactomorphism group. As a consequence, we may generalize the Sasaki-Futaki invariant to K-contact geometry and establish a number of elementary properties. Moreover, we prove that in dimension 5 certain deformation-theoretic results can be established also under weaker integrability conditions by exploiting the relationship between J-anti-invariant and self-dual 2-forms.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Refinements of the Chern-Dold Character: Cocycle Additions in Differential Cohomology

The Chern-Dold character of a cohomology theory E is a canonical transformation $E\rightarrow HV$ to ordinary cohomology. A spectrum representing E gives homotopy theoretic cocycles for E, while HV can be represented by singular cocycles. We construct a refinement of the Chern-Dold character to a transformation of the cocycle categories that takes the homotopical composition to the addition of singular cocycles. This is applied to construct additive structures at the level of differential cocycles for generalized differential cohomology.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A Bicategory Approach to Differential Cohomology

A bicategory approach to differential cohomology is presented. Based on the axioms of Bunke-Schick, a symmetric monoidal groupoid is associated to differential refinements of cohomology theories. It is proven that such differential refinements are unique up to equivalence of the corresponding symmetric monoidal groupoids and the existing uniqueness results for rationally-even theories are interpreted in this framework. Moreover we show how the bicategory formalism may be used to give a simple construction of a differential refinement for any generalized cohomology theory, based on a refinement of the Chern character to a strict transformation of bicategories.

0 citations0 reviewsNo code linkedOpen access