Algebraic Geometry Research Articles

Canonical Metrics on Twisted Quiver Bundles over a Class of Non-Compact Gauduchon Manifold

The aim of this paper is to prove a theorem for holomorphic twisted quiver bundles over a special non-compact Gauduchon manifold, connecting the existence of (σ,τ)-Hermite–Yang–Mills metric in differential geometry and the analytic (σ,τ)-stability in algebraic geometry. The proof of the theorem relies on the flow method and the Uhlenbeck–Yau’s continuity method.

Counting \\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathcal{N}$$\\end{document} = 8 black holes as algebraic varieties

We calculate the helicity trace index B14 for \\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathcal{N}$$\\end{document} = 8 pure D-brane black holes using various techniques of computational algebraic geometry and find perfect agreement with the existing results in the literature. For these black holes, microstate counting is equivalent to finding the number of supersymmetric vacua of a multi-variable supersymmetric quantum mechanics which in turn is equivalent to solving a set of multi-variable polynomial equations modulo gauge symmetries. We explore four different techniques to solve a set of polynomial equations, namely Newton Polytopes, Homotopy continuation, Monodromy and Hilbert series. The first three methods rely on a mixture of symbolic and high precision numerics whereas the Hilbert series is symbolic and admit a gauge invariant analysis. Furthermore, exploiting various exchange symmetries, we show that quartic and higher order terms are absent in the potential, which if present would have spoiled the counting. Incorporating recent developments in algebraic geometry focusing on computational algorithms, we have extended the scope of one of the authors previous works [1, 2] and presented a new perspective for the black hole microstate counting problem. This further establishes the pure D-brane system as a consistent model, bringing us a step closer to \\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathcal{N}$$\\end{document} = 2 black hole microstate counting.

Topological Deformations of Manifolds by Algebraic Compositions in Polynomial Rings

The interactions between topology and algebraic geometry expose various interesting properties. This paper proposes the deformations of topological n-manifolds over the automorphic polynomial ring maps and associated isomorphic imbedding of locally flat submanifolds within the n-manifolds. The manifold deformations include topologically homeomorphic bending of submanifolds at multiple directions under algebraic operations. This paper introduces the concept of a topological equivalence class of manifolds and the associated equivalent class of polynomials in a real ring. The concepts of algebraic compositions in a real polynomial ring and the resulting topological properties (homeomorphism, isomorphism and deformation) of manifolds under algebraic compositions are introduced. It is shown that a set of ideals in a polynomial ring generates manifolds retaining topological isomorphism under algebraic compositions. The numerical simulations are presented in this paper to illustrate the interplay of topological properties and the respective real algebraic sets generated by polynomials in a ring within affine 3-spaces. It is shown that the coefficients of polynomials generated by a periodic smooth function can induce mirror symmetry in manifolds. The proposed formulations do not consider the simplectic class of manifolds and associated quantizable deformations. However, the proposed formulations preserve the properties of Nash representations of real algebraic manifolds including Nash isomorphism.

Algebraic Geometry Codes in the Sum–Rank Metric

Algebraic Geometry Codes in the Sum–Rank Metric

Complexity of Supersymmetric Systems and the Cohomology Problem

We consider the complexity of the local Hamiltonian problem in the context of fermionic Hamiltonians with N=2 supersymmetry and show that the problem remains QMA-complete. Our main motivation for studying this is the well-known fact that the ground state energy of a supersymmetric system is exactly zero if and only if a certain cohomology group is nontrivial. This opens the door to bringing the tools of Hamiltonian complexity to study the computational complexity of a large number of algorithmic problems that arise in homological algebra, including problems in algebraic topology, algebraic geometry, and group theory. We take the first steps in this direction by introducing the k-local Cohomology problem and showing that it is QMA1-hard and, for a large class of instances, is contained in QMA. We then consider the complexity of estimating normalized Betti numbers and show that this problem is hard for the quantum complexity class DQC1, and for a large class of instances is contained in BQP. In light of these results, we argue that it is natural to frame many of these homological problems in terms of finding ground states of supersymmetric fermionic systems. As an illustration of this perspective we discuss in some detail the model of Fendley, Schoutens, and de Boer consisting of hard-core fermions on a graph, whose ground state structure encodes l-dimensional holes in the independence complex of the graph. This offers a new perspective on existing quantum algorithms for topological data analysis and suggests new ones.

Line multiview ideals

We study the following problem in computer vision from the perspective of algebraic geometry: Using m pinhole cameras we take m pictures of a line in P 3 . This produces m lines in P 2 and the question is which m-tuples of lines can arise that way. We are interested in polynomial equations and therefore study the complex Zariski closure of all such tuples of lines. The resulting algebraic variety is a subvariety of ( P 2 ) m and is called line multiview variety. In this article, we study its ideal. We show that for generic cameras the ideal is generated by 3 × 3 -minors of a specific matrix. We also compute Gröbner bases and discuss to what extent our results carry over to the non-generic case.

On when the union of two algebraic sets is algebraic

AbstractIn universal algebraic geometry, an algebra is called an equational domain if the union of two algebraic sets is algebraic. We characterize equational domains, with respect to polynomial equations, inside congruence permutable varieties, and with respect to term equations, among all algebras of size two and all algebras of size three with a cyclic automorphism. Furthermore, for each size at least three, we prove that, modulo term equivalence, there is a continuum of equational domains of that size.

Solving systems of algebraic equations over finite commutative rings and applications

AbstractSeveral problems in algebraic geometry and coding theory over finite rings are modeled by systems of algebraic equations. Among these problems, we have the rank decoding problem, which is used in the construction of public-key cryptosystems. A finite chain ring is a finite ring admitting exactly one maximal ideal and every ideal being generated by one element. In 2004, Nechaev and Mikhailov proposed two methods for solving systems of polynomial equations over finite chain rings. These methods used solutions over the residue field to construct all solutions step by step. However, for some types of algebraic equations, one simply needs partial solutions. In this paper, we combine two existing approaches to show how Gröbner bases over finite chain rings can be used to solve systems of algebraic equations over finite commutative rings. Then, we use skew polynomials and Plücker coordinates to show that some algebraic approaches used to solve the rank decoding problem and the MinRank problem over finite fields can be extended to finite principal ideal rings.

Computational Construction of Weierstrass Sections for Semi-Invariant Polynomial Functions on Lie Algebras

In this paper, we present a computational approach to construct Weierstrass sections for semi-invariant polynomial functions on Lie algebras, extending the foundational work of Bourbaki and Popov. We focus on simple Lie algebras of type B, C, or D, and their associated parabolic subalgebras, particularly those with Levi factors composed of successive blocks of size two. Our method extends the notion of Weierstrass sections introduced by Popov, enabling us to explicitly construct these sections and establish their polynomiality. Furthermore, we demonstrate how these sections facilitate the linearization of semi-invariant generators. Central to our approach is the construction of an adapted pair, akin to a principal sl_2-triple in the non-reductive case. We provide computational algorithms and implementations for constructing these Weierstrass sections, offering a novel avenue for research in Lie algebra theory and algebraic geometry.

Hilbert’s Nullstellensatz

Hilbert’s Nullstellensatz proved by him in 1890 is one of the basic results in modern algebraic geometry. We give various statements and proofs of this theorem all of which are used in algebraic geometry. All notions and facts outside the basic algebra course are explained in the paper.

Hurwitz moduli varieties parameterizing Galois covers of an algebraic curve

Given a smooth, projective curve \(Y\), a finite group \(G\) and a positive integer $n$ we study smooth, proper families \(X\to Y\times S\to S\) of Galois covers of \(Y\) with Galois group isomorphic to $G$ branched in \(n\) points, parameterized by algebraic varieties \(S\). When \(G\) is with trivial center we prove that the Hurwitz space \(H^G_n(Y)\) is a fine moduli variety for this moduli problem and construct explicitly the universal family. For arbitrary \(G\) we prove that \(H^G_n(Y)\) is a coarse moduli variety. For families of pointed Galois covers of \((Y,y_0)\) we prove that the Hurwitz space \(H^G_n(Y,y_0)\) is a fine moduli variety, and construct explicitly the universal family, for arbitrary group \(G\). We use classical tools of algebraic topology and of complex algebraic geometry.

ALGEBRA ENVIRONMENTS I.

Algebra environments capture properties of non–commutative conditional expectations in a general algebraic setting. Their study relies on algebraic geometry, topology, and differential geometry techniques. The structure algebraic and Banach manifolds of algebra environments and their Zariski and smooth tangent vector bundles are particular objects of interest. A description of derivations on algebra environments compatible with geometric structures is an additional issue. Grassmann and flag manifolds of unital involutive algebras and spaces of projective compact group representations in C∗–algebras are analyzed as structure manifolds of associated algebra environments.

Algebra environments II. Algebra homomorphisms and derivations

Algebra environments provide requisites for studying objects of interest in operator algebra theory, group representation theory, spin geometry, Clifford analysis, and several variable operator theory. The concept is analyzed by developing an algebraic geometry approach. Specific algebraic sets, called structure manifolds of algebra environments, and their Zariski tangent spaces are introduced and described by using as critical tools derivations on algebras. Structure manifolds of tensor environments in particular yield spaces of algebra homomorphisms. Consequently, such spaces could be investigated as algebraic manifolds. Related issues include characterizations of their Zariski tangent spaces and of derivations that preserve algebra homomorphisms.

Chaos in Stochastic 2d Galerkin-Navier–Stokes

We prove that all Galerkin truncations of the 2d stochastic Navier–Stokes equations in vorticity form on any rectangular torus subjected to hypoelliptic, additive stochastic forcing are chaotic at sufficiently small viscosity, provided the frequency truncation satisfies N≥392\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$N\\ge 392$$\\end{document}. By “chaotic” we mean having a strictly positive Lyapunov exponent, i.e. almost-sure asymptotic exponential growth of the derivative with respect to generic initial conditions. A sufficient condition for such results was derived in previous joint work with Alex Blumenthal which reduces the question to the non-degeneracy of a matrix Lie algebra implying Hörmander’s condition for the Markov process lifted to the sphere bundle (projective hypoellipticity). The purpose of this work is to reformulate this condition to be more amenable for Galerkin truncations of PDEs and then to verify this condition using (a) a reduction to genericity properties of a diagonal sub-algebra inspired by the root space decomposition of semi-simple Lie algebras and (b) computational algebraic geometry executed by Maple in exact rational arithmetic. Note that even though we use a computer assisted proof, the result is valid for all aspect ratios and all sufficiently high dimensional truncations; in fact, certain steps simplify in the formal infinite dimensional limit.

Effective rationality for local unitary invariants of mixed states of two qubits

We calculate the field of rational local unitary invariants for mixed states of two qubits, by employing methods from algebraic geometry. We prove that this field is rational (i.e. purely transcendental), and that it is generated by nine algebraically independent polynomial invariants. We do so by constructing a relative section, in the sense of invariant theory, whose Weyl group is a finite abelian group. From this construction, we are able to give explicit expressions for the generating invariants in terms of the Bloch matrix representation of mixed states of two qubits. We also prove similar rationality results for the local unitary invariants of symmetrically mixed states of two qubits. We also provide a sketch of how to generalize our results to the case of an arbitrary number of qubits. Our results apply to both complex-valued and real-valued invariants.

The W(E6)$W(E_6)$‐invariant birational geometry of the moduli space of marked cubic surfaces

AbstractThe moduli space of marked cubic surfaces is one of the most classical moduli spaces in algebraic geometry, dating back to the nineteenth‐century work of Cayley and Salmon. Modern interest in was restored in the 1980s by Naruki's explicit construction of a ‐equivariant smooth projective compactification of , and in the 2000s by Hacking, Keel, and Tevelev's construction of the Kollár–Shepherd‐Barron–Alexeev (KSBA) stable pair compactification of as a natural sequence of blowups of . We describe generators for the cones of ‐invariant effective divisors and curves of both and . For Naruki's compactification , we further obtain a complete stable base locus decomposition of the ‐invariant effective cone, and as a consequence find several new ‐equivariant birational models of . Furthermore, we fully describe the log minimal model program for the KSBA compactification , with respect to the divisor , where is the boundary and is the sum of the divisors parameterizing marked cubic surfaces with Eckardt points.

Automorphisms of categories of free algebras with unit for classical varieties of non-associative algebras

The goal of this paper is to describe the group of strongly stable automorphisms for categories of free finitely generated non-associative algebras with unit for classical varieties of non-associative algebras, in particular for the varieties of commutative, Jordan, alternative and power associative algebras. The motivation of this research is tightly connected with some problems in Universal Algebraic Geometry.

Algebraic Conditions for Conformal Superintegrability in Arbitrary Dimension

We consider second order (maximally) conformally superintegrable systems and explain how the definition of such a system on a (pseudo-)Riemannian manifold gives rise to a conformally invariant interpretation of superintegrability. Conformal equivalence in this context is a natural extension of the classical (linear) Stäckel transform, originating from the Maupertuis-Jacobi principle. We extend our recently developed algebraic geometric approach for the classification of second order superintegrable systems in arbitrarily high dimension to conformally superintegrable systems, which are presented via conformal scale choices of second order superintegrable systems defined within a conformal geometry. For superintegrable systems on constant curvature spaces, we find that the conformal scales of Stäckel equivalent systems arise from eigenfunctions of the Laplacian and that their equivalence is characterised by a conformal density of weight two. Our approach yields an algebraic equation that governs the classification under conformal equivalence for a prolific class of second order conformally superintegrable systems. This class contains all non-degenerate examples known to date, and is given by a simple algebraic constraint of degree two on a general harmonic cubic form. In this way the yet unsolved classification problem is put into the reach of algebraic geometry and geometric invariant theory. In particular, no obstruction exists in dimension three, and thus the known classification of conformally superintegrable systems is reobtained in the guise of an unrestricted univariate sextic. In higher dimensions, the obstruction is new and has never been revealed by traditional approaches.

Landau Singularities Revisited: Computational Algebraic Geometry for Feynman Integrals.

We reformulate the analysis of singularities of Feynman integrals in a way that can be practically applied to perturbative computations in the standard model in dimensional regularization. After highlighting issues in the textbook treatment of Landau singularities, we develop an algorithm for classifying and computing them using techniques from computational algebraic geometry. We introduce an algebraic variety called the principal Landau determinant, which captures the singularities even in the presence of massless particles or UV/IR divergences. We illustrate this for 114 example diagrams, including a cutting-edge 2-loop 5-point nonplanar QCD process with multiple mass scales.

Filtered formal groups, Cartier duality, and derived algebraic geometry

We develop a notion of formal groups in the filtered setting and describe a duality relating these to a specified class of filtered Hopf algebras. We then study a deformation to the normal cone construction in the setting of derived algebraic geometry. Applied to the unit section of a formal group $\widehat{\mathbb{G}}$, this provides a $\mathbb{G}_m$-equivariant degeneration of $\widehat{\mathbb{G}}$ to its tangent Lie algebra. We prove a unicity result on complete filtrations, which, in particular, identifies the resulting filtration on the coordinate algebra of this deformation with the adic filtration on the coordinate algebra of $\widehat{\mathbb{G}}$. We use this in a special case, together with the aforementioned notion of Cartier duality, to recover the filtration on the filtered circle of [MRT19]. Finally, we investigate some properties of $\widehat{\mathbb{G}}$-Hochschild homology set out in loc. cit., and describe "lifts" of these invariants to the setting of spectral algebraic geometry.