BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Johannes Aspman contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Polynomial matrix inequalities can be solved using hierarchies of convex relaxations, pioneered by Henrion and Lassere. In some cases, this might not be practical, and one may need to resort to methods with local convergence guarantees, whose development has been rather ad hoc, so far. In this paper, we explore several alternative approaches to the problem, with non-trivial guarantees available using results from tame geometry.
We revisit the low-energy effective $U(1)$ action of topologically twisted $\mathcal N=2$ SYM theory with gauge group of rank one on a generic oriented smooth 4-manifold $X$ with nontrivial fundamental group. After including a specific new set of $\mathcal Q$-exact operators to the known action, we express the integrand of the path integral of the low-energy $U(1)$ theory as an anti-holomorphic derivative. This allows us to use the theory of mock modular forms and indefinite theta functions for the explicit evaluation of correlation functions of the theory, including but not restricted to those that physically reproduce Donaldson invariants, thus facilitating the computations compared to previously used methods. As an explicit check of our results, we compute the path integral for the product ruled surfaces $X=Σ_g \times \mathbb{CP}^1$ for the reduction on either factor and compare the results with existing literature. In the case of reduction on the Riemann surface $Σ_g$, via an equivalent topological A-model on $\mathbb{CP}^1$, we will be able to express the generating function of genus zero Gromov-Witten invariants of the moduli space of flat rank one connections over $Σ_g$ in terms of an indefinite theta function, whence we would be able to make concrete numerical predictions of these enumerative invariants in terms of modular data, thereby allowing us to derive results in enumerative geometry from number theory.
We consider the order parameter $u=\left<{\rm Tr}ϕ^2\right>$ as function of the running coupling constant $τ\in \mathbb{H}$ of asymptotically free $\mathcal{N}=2$ QCD with gauge group $SU(2)$ and $N_f\leq 3$ massive hypermultiplets. If the domain for $τ$ is restricted to an appropriate fundamental domain $\mathcal{F}_{N_f}$, the function $u$ is one-to-one. We demonstrate that these domains consist of six or less images of an ${\rm SL}(2,\mathbb{Z})$ keyhole fundamental domain, with appropriate identifications of the boundaries. For special choices of the masses, $u$ does not give rise to branch points and cuts, such that $u$ is a modular function for a congruence subgroup $Γ$ of ${\rm SL}(2,\mathbb{Z})$ and the fundamental domain is $Γ\backslash\mathbb{H}$. For generic masses, however, branch points and cuts are present, and subsets of $\mathcal{F}_{N_f}$ are being cut and glued upon varying the mass. We study this mechanism for various phenomena, such as decoupling of hypermultiplets, merging of local singularities, as well as merging of non-local singularities which give rise to superconformal Argyres-Douglas theories.
We consider $\mathcal{N}=2$ supersymmetric $\text{SU}(2)$ gauge theory with $N_f=4$ massive hypermultiplets. The duality group of this theory contains transformations acting on the UV-coupling $τ_{\text{UV}}$ as well as on the running coupling $τ$. We establish that subgroups of the duality group act separately on $τ_{\text{UV}}$ and $τ$, while a larger group acts simultaneously on $τ_{\text{UV}}$ and $τ$. For special choices of the masses, we find that the duality groups can be identified with congruence subgroups of $\text{SL}(2,\mathbb Z)$. We demonstrate that in such cases, the order parameters are instances of bimodular forms with arguments $τ$ and $τ_{\text{UV}}$. Since the UV duality group of the theory contains the triality group of outer automorphisms of the flavour symmetry $\text{SO}(8)$, the duality action gives rise to an orbit of mass configurations. Consequently, the corresponding order parameters combine to vector-valued bimodular forms with $\text{SL}(2,\mathbb Z)$ acting simultaneously on the two couplings.