Showing 1–17 of 17 results for author: Vélez, A Q

A topological quantum field theory for $\mathrm{Spin}(7)$-instantons

Authors: Rafael Herrera, Sergio A. Holguin Cardona, Alexander Quintero Velez

Abstract: We construct a topological quantum field theory based on the moduli space of $\mathrm{Spin}(7)$-instantons on 8-dimensional manifolds. Using the Mathai-Quillen formalism, we derive the action of the theory in purely geometric terms, which coincides with prior results in the literature. We then reformulate the theory within the AKSZ formalism, obtaining a Batalin-Vilkovisky action that, after gauge… ▽ More We construct a topological quantum field theory based on the moduli space of $\mathrm{Spin}(7)$-instantons on 8-dimensional manifolds. Using the Mathai-Quillen formalism, we derive the action of the theory in purely geometric terms, which coincides with prior results in the literature. We then reformulate the theory within the AKSZ formalism, obtaining a Batalin-Vilkovisky action that, after gauge fixing, matches our Mathai-Quillen construction while making the BRST symmetry explicit and providing a natural framework for classical observables. We also show that the Batalin-Vilkovisky action can be elegantly recast as a Chern-Simons type theory. △ Less

Submitted 27 April, 2025; originally announced April 2025.

Comments: 31 pages, no figures

Relativity

Authors: Camilo Arias Abad, Alexander Quintero Velez, Juan Diego Velez Caicedo

Abstract: These lectures notes contain an introduction to General Relativity. They are addressed to a general mathematical audience with no specific background in physics. The goal is to motivate and explain Einstein's theory of gravity and discuss some of the fundamental examples. These lectures notes contain an introduction to General Relativity. They are addressed to a general mathematical audience with no specific background in physics. The goal is to motivate and explain Einstein's theory of gravity and discuss some of the fundamental examples. △ Less

Submitted 29 January, 2023; originally announced January 2023.

Comments: Comments are most welcome!

Chern-Weil theory for $\infty$-local systems

Authors: Camilo Arias Abad, Santiago Pineda Montoya, Alexander Quintero Velez

Abstract: Let $G$ be a compact connected Lie group. We show that the category $\mathbf{Loc}_{\infty}(BG)$ of $\infty$-local systems on the classifying space of $G$, can be described infinitesimally as the category $\mathbf{InfLoc}_{\infty}(\mathfrak{g})$ of basic $\mathfrak{g}$-$L_\infty$ spaces. Moreover, we show that, given a principal bundle $π\colon P \rightarrow X$ with structure group $G$ and any conn… ▽ More Let $G$ be a compact connected Lie group. We show that the category $\mathbf{Loc}_{\infty}(BG)$ of $\infty$-local systems on the classifying space of $G$, can be described infinitesimally as the category $\mathbf{InfLoc}_{\infty}(\mathfrak{g})$ of basic $\mathfrak{g}$-$L_\infty$ spaces. Moreover, we show that, given a principal bundle $π\colon P \rightarrow X$ with structure group $G$ and any connection $θ$ on $P$, there is a DG functor $$\mathcal{CW}_θ \colon \mathbf{InfLoc}_{\infty}(\mathfrak{g}) \longrightarrow \mathbf{Loc}_{\infty}(X), $$ which corresponds to the pullback functor by the classifying map of $P$. The DG functors associated to different connections are related by an $A_\infty$-natural isomorphism. This construction provides a categorification of the Chern-Weil homomorphism, which is recovered by applying the functor $\mathcal{CW}_θ$ to the endomorphisms of the constant local system. △ Less

Submitted 2 May, 2021; originally announced May 2021.

Comments: 43 pages. All comments are very welcome

The $L_{\infty}$ structure of gauge theories with matter

Authors: Humberto Gomez, Renann Lipinski Jusinskas, Cristhiam Lopez-Arcos, Alexander Quintero Velez

Abstract: In this work we present an algebraic approach to the dynamics and perturbation theory at tree-level for gauge theories coupled to matter. The field theories we will consider are: Chern-Simons-Matter, Quantum Chromodynamics, and scalar Quantum Chromodynamics. Starting with the construction of the master action in the classical Batalin-Vilkovisky formalism, we will extract the $L_{\infty}$-algebra t… ▽ More In this work we present an algebraic approach to the dynamics and perturbation theory at tree-level for gauge theories coupled to matter. The field theories we will consider are: Chern-Simons-Matter, Quantum Chromodynamics, and scalar Quantum Chromodynamics. Starting with the construction of the master action in the classical Batalin-Vilkovisky formalism, we will extract the $L_{\infty}$-algebra that allow us to recursively calculate the perturbiner expansion from its minimal model. The Maurer-Cartan action obtained in this procedure will then motivate a generating function for all the tree-level scattering amplitudes. There are two interesting outcomes of this construction: a generator for fully-flavoured amplitudes via a localisation on Dyck words; and closed expressions for fermion and scalar lines attached to $n$-gluons with arbitrary polarisations. △ Less

Submitted 11 February, 2021; v1 submitted 18 November, 2020; originally announced November 2020.

Comments: 59 pages, final version

Journal ref: JHEP02(2021)093

Singular chains on Lie groups and the Cartan relations II

Authors: Camilo Arias Abad, Alexander Quintero Velez

Abstract: Let $G$ be a simply connected Lie group with Lie algebra $\mathfrak{g}$ and denote by $\mathrm{C}_{\bullet}(G)$ the DG Hopf algebra of smooth singular chains on $G$. In a companion paper it was shown that the category of sufficiently smooth modules over $\mathrm{C}_{\bullet}(G)$ is equivalent to the category of representations of $\mathbb{T} \mathfrak{g}$, the DG Lie algebra which is universal for… ▽ More Let $G$ be a simply connected Lie group with Lie algebra $\mathfrak{g}$ and denote by $\mathrm{C}_{\bullet}(G)$ the DG Hopf algebra of smooth singular chains on $G$. In a companion paper it was shown that the category of sufficiently smooth modules over $\mathrm{C}_{\bullet}(G)$ is equivalent to the category of representations of $\mathbb{T} \mathfrak{g}$, the DG Lie algebra which is universal for the Cartan relations. In this paper we show that, if $G$ is compact, this equivalence of categories can be extended to an $\mathsf{A}_{\infty}$-quasi-equivalence of the corresponding DG categories. As an intermediate step we construct an $\mathsf{A}_{\infty}$-quasi-isomorphism between the Bott-Shulman-Stasheff DG algebra associated to $G$ and the DG algebra of Hochschild cochains on $\mathrm{C}_{\bullet}(G)$. The main ingredients in the proof are the Van Est map and Gugenheim's $\mathsf{A}_{\infty}$ version of De Rham's theorem. △ Less

Submitted 15 July, 2020; originally announced July 2020.

Comments: 45 pages. All comments are very welcome

An $\mathsf{A}_{\infty}$ version of the Poincaré lemma

Authors: Camilo Arias Abad, Alexander Quintero Velez, Sebastian Velez Vasquez

Abstract: We prove a categorified version of the Poincaré lemma. The natural setting for our result is that of $\infty$-local systems. More precisely, we show that any smooth homotopy between maps $f$ and $g$ induces an $\mathsf{A}_\infty$-natural transformation between the corresponding pullback functors. This transformation is explicitly defined in terms of Chen's iterated integrals. In particular, we sho… ▽ More We prove a categorified version of the Poincaré lemma. The natural setting for our result is that of $\infty$-local systems. More precisely, we show that any smooth homotopy between maps $f$ and $g$ induces an $\mathsf{A}_\infty$-natural transformation between the corresponding pullback functors. This transformation is explicitly defined in terms of Chen's iterated integrals. In particular, we show that a homotopy equivalence induces a quasi-equivalence on the DG categories of $\infty$-local system. △ Less

Submitted 5 December, 2019; v1 submitted 20 August, 2018; originally announced August 2018.

Comments: 24 pages, final version

Journal ref: Pacific J. Math. 302 (2019) 385-412

A $\mathrm{U}(2) \times \mathrm{U}(3)$ gauge theory extension of the standard model

Authors: Rafael Herrera, Alexander Quintero Velez

Abstract: We consider an extension of the standard model based on the group $\mathrm{U}(2) \times \mathrm{U}(3)$, which is naturally compatible with the standard model interacting-particle representations and the spontaneous symmetry breaking of $\mathrm{U}(2) \times \mathrm{U}(3)$ to an electrostrong $\mathrm{U}(3)$. In its minimal version, the model only adds one extra $\mathrm{U}(1)$ gauge boson and it i… ▽ More We consider an extension of the standard model based on the group $\mathrm{U}(2) \times \mathrm{U}(3)$, which is naturally compatible with the standard model interacting-particle representations and the spontaneous symmetry breaking of $\mathrm{U}(2) \times \mathrm{U}(3)$ to an electrostrong $\mathrm{U}(3)$. In its minimal version, the model only adds one extra $\mathrm{U}(1)$ gauge boson and it implies that the hypercharge is distributed between the factors of the hyperweak and hyperstrong forces. We show that the anomaly cancellation condition can be solved by adding exotic fermions associated with a $16$-dimensional representation of $\mathrm{U}(2) \times \mathrm{U}(3)$. A brief discussion of the mechanism of the spontaneous breakdown of $\mathrm{U}(2) \times \mathrm{U}(3)$ in the gauge boson sector is given. △ Less

Submitted 5 December, 2019; v1 submitted 30 July, 2017; originally announced July 2017.

Comments: 26 pages, final version

Journal ref: J. Geom. Phys., 141:45-64, 2019

Heat equation and stable minimal Morse functions on real and complex projective spaces

Authors: Sebastián Muñoz Muñoz, Alexander Quintero Vélez

Abstract: Following similar results in arXiv:1301.5934 for flat tori and round spheres, in this paper is presented a proof of the fact that, for "arbitrary" initial conditions $f_0$, the solution $f_t$ at time $t$ of the heat equation on real or complex projective spaces eventually becomes (and remains) a minimal Morse function. Furthermore, it is shown that the solution becomes stable. Following similar results in arXiv:1301.5934 for flat tori and round spheres, in this paper is presented a proof of the fact that, for "arbitrary" initial conditions $f_0$, the solution $f_t$ at time $t$ of the heat equation on real or complex projective spaces eventually becomes (and remains) a minimal Morse function. Furthermore, it is shown that the solution becomes stable. △ Less

Submitted 30 July, 2018; v1 submitted 3 March, 2017; originally announced March 2017.

Comments: 8 pages

Journal ref: Rev. Colomb. Mat. 2017, vol. 51, no. 1, pp. 71-82

Calabi-Yau completions and orbifold equivalences

Authors: Nils Carqueville, Alexander Quintero Velez

Abstract: Calabi-Yau algebras are particularly symmetric differential graded algebras. There is a construction called `Calabi-Yau completion' which produces a canonical Calabi-Yau algebra from any homologically smooth dg algebra. Homologically smooth dg algebras also form a 2-category to which the construction of `equivariant completion' can be applied. In this theory two objects are called `orbifold equiva… ▽ More Calabi-Yau algebras are particularly symmetric differential graded algebras. There is a construction called `Calabi-Yau completion' which produces a canonical Calabi-Yau algebra from any homologically smooth dg algebra. Homologically smooth dg algebras also form a 2-category to which the construction of `equivariant completion' can be applied. In this theory two objects are called `orbifold equivalent' if there is a 1-morphism $X$ with invertible quantum dimensions between them. Any such relation entails a whole family of equivalences between categories. We show that an orbifold equivalence between two homologically smooth and proper dg algebras lifts to an orbifold equivalence between their Calabi-Yau completions under certain conditions on $X$. △ Less

Submitted 23 August, 2019; v1 submitted 2 September, 2015; originally announced September 2015.

Comments: 47 pages; v2: added an assumption on lifting dg module structures

Geometric Reid's recipe for dimer models

Authors: Raf Bocklandt, Alastair Craw, Alexander Quintero Velez

Abstract: Crepant resolutions of three-dimensional toric Gorenstein singularities are derived equivalent to noncommutative algebras arising from consistent dimer models. By choosing a special stability parameter and hence a distinguished crepant resolution $Y$, this derived equivalence generalises the Fourier-Mukai transform relating the $G$-Hilbert scheme and the skew group algebra $\CC[x,y,z]\ast G$ for a… ▽ More Crepant resolutions of three-dimensional toric Gorenstein singularities are derived equivalent to noncommutative algebras arising from consistent dimer models. By choosing a special stability parameter and hence a distinguished crepant resolution $Y$, this derived equivalence generalises the Fourier-Mukai transform relating the $G$-Hilbert scheme and the skew group algebra $\CC[x,y,z]\ast G$ for a finite abelian subgroup of $\SL(3,\CC)$. We show that this equivalence sends the vertex simples to pure sheaves, except for the zero vertex which is mapped to the dualising complex of the compact exceptional locus. This generalises results of Cautis-Logvinenko and Cautis-Craw-Logvinenko to the dimer setting, though our approach is different in each case. We also describe some of these pure sheaves explicitly and compute the support of the remainder, providing a dimer model analogue of results from Logvinenko. △ Less

Submitted 28 July, 2014; v1 submitted 1 May, 2013; originally announced May 2013.

Comments: 29 pages, 5 figures, final version

Journal ref: Mathematische Annalen 361 (2015), 689-723; correction Mathematische Annalen 380 (2021), 911-913

Cohomology of wheels on toric varieties

Authors: Alastair Craw, Alexander Quintero Velez

Abstract: We describe explicitly the cohomology of the total complex of certain diagrams of invertible sheaves on normal toric varieties. These diagrams, called wheels, arise in the study of toric singularities associated to dimer models. Our main tool describes the generators in a family of syzygy modules associated to the wheel in terms of walks in a family of graphs. We describe explicitly the cohomology of the total complex of certain diagrams of invertible sheaves on normal toric varieties. These diagrams, called wheels, arise in the study of toric singularities associated to dimer models. Our main tool describes the generators in a family of syzygy modules associated to the wheel in terms of walks in a family of graphs. △ Less

Submitted 5 May, 2014; v1 submitted 26 June, 2012; originally announced June 2012.

Comments: 17 pages, 5 figures. arXiv admin note: substantial text overlap with arXiv:1111.6018; final version 21 pages

Journal ref: Hokkaido Math. J., 44(1):47-79, 2015

Second syzygies of monomial submodules from walks

Authors: Alastair Craw, Alexander Quintero Velez

Abstract: This paper has been subsumed as section 2 of our joint paper posted in June 2012. This paper has been subsumed as section 2 of our joint paper posted in June 2012. △ Less

Submitted 26 June, 2012; v1 submitted 25 November, 2011; originally announced November 2011.

Comments: This paper has been subsumed as section 2 of our joint paper posted in June 2012

Boundary coupling of Lie algebroid Poisson sigma models and representations up to homotopy

Authors: Alexander Quintero Velez

Abstract: A general form for the boundary coupling of a Lie algebroid Poisson sigma model is proposed. The approach involves using the Batalin-Vilkovisky formalism in the AKSZ geometrical version, to write a BRST-invariant coupling for a representation up to homotopy of the target Lie algebroid or its subalgebroids. These considerations lead to a conjectural description of topological D-branes on generalize… ▽ More A general form for the boundary coupling of a Lie algebroid Poisson sigma model is proposed. The approach involves using the Batalin-Vilkovisky formalism in the AKSZ geometrical version, to write a BRST-invariant coupling for a representation up to homotopy of the target Lie algebroid or its subalgebroids. These considerations lead to a conjectural description of topological D-branes on generalized complex manifolds, which includes A-branes and B-branes as special cases. △ Less

Submitted 31 August, 2012; v1 submitted 31 August, 2011; originally announced August 2011.

Comments: 24 pages, no figures; v2: published version

Journal ref: Lett. Math. Phys., 102(1):31-64, 2012

Cellular resolutions of noncommutative toric algebras from superpotentials

Authors: Alastair Craw, Alexander Quintero Velez

Abstract: This paper constructs cellular resolutions for classes of noncommutative algebras, analogous to those introduced by Bayer-Sturmfels in the commutative case. To achieve this we generalise the dimer model construction of noncommutative crepant resolutions of toric algebras in dimension three by associating a superpotential and a notion of consistency to toric algebras of arbitrary dimension. For con… ▽ More This paper constructs cellular resolutions for classes of noncommutative algebras, analogous to those introduced by Bayer-Sturmfels in the commutative case. To achieve this we generalise the dimer model construction of noncommutative crepant resolutions of toric algebras in dimension three by associating a superpotential and a notion of consistency to toric algebras of arbitrary dimension. For consistent algebras $A$, the coherent component of the fine moduli space of $A$-modules is constructed explicitly by GIT and provides a partial resolution of $\Spec Z(A)$. For abelian skew group algebras and algebraically consistent dimer model algebras, we introduce a cell complex $Δ$ in a real torus whose cells describe uniformly all maps in the minimal projective bimodule resolution of $A$. We illustrate the general construction of $Δ$ for an example in dimension four arising from a tilting bundle on a smooth toric Fano threefold to highlight the importance of the incidence function on $Δ$. △ Less

Submitted 14 December, 2011; v1 submitted 9 August, 2010; originally announced August 2010.

Comments: 34 pages, 10 figures; v2 simplified proof of Theorem 5.9 and expanded Section 6; v3 added Lemma 2.1, final version

Journal ref: Adv. Math., 229(3):1516-1554, 2012

Remarks on quiver gauge theories from open topological string theory

Authors: Nils Carqueville, Alexander Quintero Velez

Abstract: We study effective quiver gauge theories arising from a stack of D3-branes on certain Calabi-Yau singularities. Our point of view is a first principle approach via open topological string theory. This means that we construct the natural A-infinity-structure of open string amplitudes in the associated D-brane category. Then we show that it precisely reproduces the results of the method of brane til… ▽ More We study effective quiver gauge theories arising from a stack of D3-branes on certain Calabi-Yau singularities. Our point of view is a first principle approach via open topological string theory. This means that we construct the natural A-infinity-structure of open string amplitudes in the associated D-brane category. Then we show that it precisely reproduces the results of the method of brane tilings, without having to resort to any effective field theory computations. In particular, we prove a general and simple formula for effective superpotentials. △ Less

Submitted 12 March, 2012; v1 submitted 23 December, 2009; originally announced December 2009.

Comments: 26 pages; v2: references added, exposition improved, example expanded; v3: minor changes; v4: small changes, corrected a mistake in example, all results are unaffected

Report number: LMU-ASC 60/09

Journal ref: JHEP 1003:129,2010

Noncommutative resolutions of ADE fibered Calabi-Yau threefolds

Authors: Alexander Quintero Velez, Alex Boer

Abstract: In this paper we construct noncommutative resolutions of a certain class of Calabi-Yau threefolds studied by F. Cachazo, S. Katz and C. Vafa. The threefolds under consideration are fibered over a complex plane with the fibers being deformed Kleinian singularities. The construction is in terms of a noncommutative algebra introduced by V. Ginzburg, which we call the "N=1 ADE quiver algebra". In this paper we construct noncommutative resolutions of a certain class of Calabi-Yau threefolds studied by F. Cachazo, S. Katz and C. Vafa. The threefolds under consideration are fibered over a complex plane with the fibers being deformed Kleinian singularities. The construction is in terms of a noncommutative algebra introduced by V. Ginzburg, which we call the "N=1 ADE quiver algebra". △ Less

Submitted 16 June, 2010; v1 submitted 19 June, 2008; originally announced June 2008.

Comments: 20 pages; v3: published version -all preliminary material has been removed; Subsect. 3.1 has been rewritten and expanded and it is now presented as Sect. 1 in an attempt to translate many of the undefined terms in the physics literature in a precise way

MSC Class: 16G20; 14A22

Journal ref: Comm. Math. Phys., 297(3):597-619, 2010

McKay correspondence for Landau-Ginzburg models

Authors: Alexander Quintero Velez

Abstract: In this paper we prove an analogue of the McKay correspondence for Landau-Ginzburg models. Our proof is based on the ideas introduced by T. Bridgeland, A. King and M. Reid, which reformulate and generalize the McKay correspondence in the language of derived categories, along with the techniques introduced by J.-C. Chen. In this paper we prove an analogue of the McKay correspondence for Landau-Ginzburg models. Our proof is based on the ideas introduced by T. Bridgeland, A. King and M. Reid, which reformulate and generalize the McKay correspondence in the language of derived categories, along with the techniques introduced by J.-C. Chen. △ Less

Submitted 10 July, 2009; v1 submitted 29 November, 2007; originally announced November 2007.

Comments: 29 pages, no figures; v5: published version

Journal ref: Commun. Number Theory Phys., 3(1):173-208, 2009