arXiv subjects
Publications and source records attributed to Nikita Nekrasov.
We give an overview of the field of quantum gravity, string theory and black holes summarizing various white papers in this subject that were submitted as part of the Snowmass process.
Motivated by M-theory, we study rank n K-theoretic Donaldson-Thomas theory on a toric threefold X. In the presence of compact four-cycles, we discuss how to include the contribution of D4-branes wrapping them. Combining this with a simple assumption on the (in)dependence on Coulomb moduli in the 7d theory, we show that the partition function factorizes and, when X is Calabi-Yau and it admits an ADE ruling, it reproduces the 5d master formula for the geometrically engineered theory on A(n-1) ALE space, thus extending the usual geometric engineering dictionary to n>1. We finally speculate about implications for instanton counting on Taub-NUT.
This is a Snowmass whitepaper on physical mathematics. It briefly summarizes and highlights some of the key questions drawn from a much more extensive essay, by the same authors, entitled, "A Panorama Of Physical Mathematics 2021."
We study the regular surface defect in the Omega-deformed four-dimensional supersymmetric gauge theory with gauge group SU(N) with 2N hypermultiplets in fundamental representation. We prove its vacuum expectation value obeys the Knizhnik-Zamolodchikov equation for the 4-point conformal block of current algebra of a two-dimensional conformal field theory. The level and the vertex operators are determined by the parameters of the Omega-background and the masses of the hypermultiplets; the cross-ratio of the 4 points is determined by the complexified gauge coupling. We clarify that in a somewhat subtle way the branching rule is parametrized by the Coulomb moduli. This is an example of the BPS/CFT relation.
We show that Novikov-Veselov hierarchy provides a complete family of commuting symmetries of two-dimensional $O(N)$ sigma model. In the first part of the paper we use these symmetries to prove that the Fermi spectral curve for the double-periodic sigma model is algebraic. Thus, our previous construction of the complexified harmonic maps in the case of irreducible Fermi curves is complete. In the second part of the paper we generalize our construction to the case of reducible Fermi curves and show that it gives the conformal harmonic maps to even-dimensional spheres. Remarkably, the solutions are parameterized by spectral curves of turning points of the elliptic Calogero-Moser system.
We study the dynamics of supersymmetric theories in five dimensions obtained by compactifications of M-theory on a Calabi-Yau threefold X. For a compact X, this is determined by the geometry of X, in particular the Kahler class dependence of the volume of X determines the effective couplings of vector multiplets. Rigid supersymmetry emerges in the limit of divergent volume, prompting the study of the structure of Duistermaat-Heckman formula and its generalizations for non-compact toric Kahler manifolds. Our main tool is the set of finite-difference equations obeyed by equivariant volumes and their quantum versions. We also discuss a physical application of these equations in the context of seven-dimensional gauge theories, extending and clarifying our previous results. The appendix by M. Vergne provides an alternative local proof of the shift equation.
Mycotoxins comprise a frequent type of toxins present in food and feed. The problem of mycotoxin contamination has been recently aggravated due to the increased complexity of the farm-to-fork chains, resulting in negative effects on human and animal health and, consequently, economics. The easy-to-use, on-site, on-demand, and rapid monitoring of mycotoxins in food/feed is highly desired. In this work, we report on an advanced mycotoxin biosensor based on an array of graphene field-effect transistors integrated on a single silicon chip. A specifically designed aptamer against Ochratoxin A (OTA) was used as a recognition element, where it was covalently attached to graphene surface via pyrenebutanoic acid, succinimidyl ester (PBASE) chemistry. Namely, an electric field stimulation was used to promote more efficient π-π stacking of PBASE to graphene. The specific G-rich aptamer strand suggest its π-π stacking on graphene in free-standing regime and reconfiguration in G-quadruplex during binding an OTA molecule. This realistic behavior of the aptamer is sensitive to the ionic strength of the analyte solution, demonstrating a 10-fold increase in sensitivity at low ionic strengths. The graphene-aptamer sensors reported here demonstrate fast assay with the lowest detection limit of 1.4 pM for OTA within a response time as low as 10 s, which is more than 30 times faster compared to any other reported aptamer-based methods for mycotoxin detection. The sensors hold comparable performance when operated in real-time within a complex matrix of wine without additional time-consuming pre-treatment.
We study four dimensional supersymmetric gauge theory in the presence of surface and point-like defects (blowups) and propose an identity relating partition functions at different values of $Ω$-deformation parameters $({\varepsilon}_{1}, {\varepsilon}_{2})$. As a consequence, we obtain the formula conjectured in 2012 by O$.$Gamayun, N$.$Iorgov, and O$.$Lysovyy, relating the tau-function $τ_{PVI}$ to $c=1$ conformal blocks of Liouville theory and propose its generalization for the case of Garnier-Schlesinger system. To this end we clarify the notion of the quasiclassical tau-function $τ_{PVI}$ of Painlevé VI and its generalizations. We also make some remarks about the sphere partition functions, the boundary operator product expansion in the ${\mathcal{N}}=(4,4)$ sigma models related to four dimensional ${\mathcal{N}}=2$ theories on toric manifolds, discuss crossed instantons on conifolds, elucidate some aspects of the BPZ/KZ correspondence, and applications to quantization.
We explore the non-perturbative Dyson-Schwinger equations obeyed by the partition functions of the $Ω$-deformed $\mathcal{N}=2, d=4$ supersymmetric linear quiver gauge theories in the presence of surface defects. We demonstrate that the partition functions of different types of defects (orbifold or vortex strings) are related by analytic continuation. We introduce Darboux coordinates on a patch of the moduli space of flat $SL(N)$-connections on a sphere with special punctures, which generalize the NRS coordinates defined in the $SL(2)$ case. Finally, we compare the generating function of the Lagrangian variety of opers in these Darboux coordinates with the effective twisted superpotential of the linear quiver theory in the two-dimensional $Ω$-background, thereby proving the NRS conjecture and its generalization to the $SL(3)$ case.
The relationship of two dimensional quantum field theory and isomonodromic deformations of Fuchsian systems has a long history. Recently four-dimensional $\mathcal{N}=2$ gauge theories joined the party in a multitude of roles. In this paper we study the vacuum expectation values of intersecting half-BPS surface defects in $SU(2)$ theory with $N_f=4$ fundamental hypermultiplets. We show they form a horizontal section of a Fuchsian system on a sphere with $5$ regular singularities, calculate the monodromy, and define the associated isomonodromic tau-function. Using the blowup formula in the presence of half-BPS surface defects, initiated in the companion paper, we obtain the GIL formula, establishing an unexpected relation of the topological string/free fermion regime of supersymmetric gauge theory to classical integrability.
We study two dimensional path integral Lefschetz thimbles, i.e. the possible path integration contours. Specifically, in the examples of the $O(N)$ and ${\bf CP}^{N-1}$ models, we find a large class of complex critical points of the sigma model actions which are relevant for the theory in finite volume at finite temperature, with various chemical potentials corresponding to the symmetries of the models. In this paper we discuss the case of the $O(2m)$ and the ${\bf CP}^{N-1}$ models in the sector of zero instanton charge, as well as some solutions of the $O(2m+1)$ model. The ${\bf CP}^{N-1}$-model for all instanton charges and a more general class of solutions of the $O(N)$-model with odd $N$ will be discussed in the forthcoming paper.
We study the rank N magnificent four theory, which is the supersymmetric localization of U(N) super-Yang-Mills theory with matter (a super-group U(N|N) gauge theory) on a Calabi-Yau fourfold. Our theory contains the higher rank Donaldson-Thomas theory of threefolds. We conjecture an explicit formula for the partition function Z, and report on the performed checks. The partition function Z has a free field representation. Surprisingly, it depends on the Coulomb and mass parameters in a simple way. We also clarify the definition of the instanton measure.
In quantizing classical mechanical systems one often sums over the classical trajectories as in localization formulas, but also takes into account the contributions of the "instanton gas": a set of approximate solutions of the equations of motion. This paper attempts to alleviate some of the frustrations of this 40+ years old approach by finding the honest solutions of equations of motion of the complexified classical mechanical system. These ideas originate in the Bethe/gauge correspondence. The examples include algebraic integrable systems, from the abstract Hitchin systems to the well-studied anharmonic oscillator. We also speculate on the applications to the black hole radiation. We elucidate the relation between Lefschetz thimbles and the $Ω$-deformed $B$-model. We propose the notion of the topological renormalization group.
We discuss the possible extensions of Bethe/gauge correspondence to quantum integrable systems based on the super-Lie algebras of A type. Along the way we propose the analogues of Nakajima quiver varieties whose cohomology and K-theory should carry the representations of the corresponding Yangian and the quantum affine algebras, respectively. We end up with comments on the N=4 planar super-Yang-Mills theory in four dimensions.
Quantum field theory $L_1$ on spacetime $X_{1}$ can be coupled to another quantum field theory $L_2$ on a spacetime $X_{2}$ via the third quantum field theory $L_{12}$ living on $X_{12} = X_{1} \cap X_{2}$. We explore several such constructions with two and four dimensional $X_{1}, X_{2}$'s and zero and two dimensional $X_{12}$'s, in the context of $\mathcal{N}=2$ supersymmetry, non-perturbative Dyson-Schwinger equations, and BPS/CFT correspondence. The companion paper will show that the BPZ and KZ equations of two dimensional conformal field theory are obeyed by the half-BPS surface defects in quiver $\mathcal{N}=2$ gauge theories.
We present a statistical mechanical model whose random variables are solid partitions, i.e. Young diagrams built by stacking up four dimensional hypercubes. Equivalently, it can be viewed as the model of random tessellations of ${\bf R}^{3}$ by squashed cubes of four fixed orientations. The model computes the refined index of a system of D0-branes in the presence of $D8$-$\overline{D8}$ system, with a $B$-field strong enough to support the bound states. Mathematically, it is the equivariant K-theoretic version of integration over the Hilbert scheme of points on ${\bf C}^{4}$ and its higher rank analogues, albeit the definition is real, not complex analytic. The model is a mother of all random partition models, including the equivariant Donaldson-Thomas theory and the four dimensional instanton counting. Finally, a version of our model with infinite solid partitions with four fixed plane partition asymptotics is the vertex contribution to the equivariant count of instantons on toric Calabi-Yau fourfolds. The conjectured partition function of the model is presented. We have checked it up to six instantons (which is one step beyond the checks of the celebrated P.~MacMahon's failed conjectures of the early XX century). A specialization of the formula is our earlier (2004) conjecture on the equivariant K-theoretic Donaldson-Thomas theory, proven by A.~Okounkov in 2015.
We illustrate the use of the theory of $qq$-characters by deriving the BPZ and KZ-type equations for the partition functions of certain surface defects in quiver ${\mathcal N}=2$ theories. We generate a surface defect in the linear quiver theory by embedding it into a theory with additional node, with specific masses of the fundamental hypermultiplets. We prove that the supersymmetric partition function of this theory with $SU(2)^{r-3}$ gauge group verifies the celebrated Belavin-Polyakov-Zamolodchikov equation of two dimensional Liouville theory. We also study the $SU(N)$ theory with $2N$ fundamental hypermultiplets and the theory with adjoint hypermultiplet. We show that the regular orbifold defect in this theory solves the KZ-like equation of the WZW theory on a four punctured sphere and one-punctured torus, respectively. In the companion paper these equations will be mapped to the Knizhnik-Zamolodchikov equations
We study generalized gauge theories engineered by taking the low energy limit of the $Dp$ branes wrapping $X \times T^{p-3}$, with $X$ a possibly singular surface in a Calabi-Yau fourfold $Z$. For toric $Z$ and $X$ the partition function can be computed by localization, making it a statistical mechanical model, called the gauge origami. The random variables are the ensembles of Young diagrams. The building block of the gauge origami is associated with a tetrahedron, whose edges are colored by vector spaces. We show the properly normalized partition function is an entire function of the Coulomb moduli, for generic values of the $Ω$-background parameters. The orbifold version of the theory defines the $qq$-character operators, with and without the surface defects. The analytic properties are the consequence of a relative compactness of the moduli spaces $M({\vec n}, k)$ of crossed and spiked instantons, demonstrated in arXiv:1608.07272.