要約:
Let $k$ denote an algebraically closed field of characteristic zero and let $X$ denote a smooth elliptic curve over $k$. In this paper, motivated by work in \cite{CN}, we think of two-periodic elliptic helices as noncommutative analogues of degree two line bundles over $X$. We classify and study two-periodic elliptic helices in order to generalize the theory of double covers of $\mathbb{P}^{1}$ by $X$ to the noncommutative setting. This leads to the following problem: given an integer $d>2$ and a real number $\theta \in \mathbb{Q}+\mathbb{Q}\sqrt{d^2-4}$, classify elliptic helices inducing double covers of $\mathbb{P}^{1}_{d}$ by ${\sf C}^{\theta}$, where $\mathbb{P}^{1}_{d}$ is Piontkovski's noncommutative projective line and ${\sf C}^{\theta}$ is Polischuk's noncommutative elliptic curve. We find examples of $d$ and $\theta$ such that there is essentially one numerical class of elliptic helices and examples of $d$ and $\theta$ such that there are several distinct numerical classes of elliptic helices, in contrast to the commutative situation.
要約:
We propose a version of the Enriques-Babagge Theorem for a singular curve $C$, involving its canonical model $C'$. We provide a partial proof for an arbitrary curve $C$ and complete the proof for unicuspidal monomial curves by describing the generators of the ideal of $C'\in\mathbb{P}^{g-1}$.
要約:
We apply the abelianization technique to obtain an explicit ring presentation for the quasimap quantum cohomology of GIT quotients. As an application, for quiver varieties associated with oriented-acyclic quivers, we establish a cluster algebra structure on their equivariant quasimap quantum cohomology rings.
要約:
We consider the problem of existence of semistable systems of Hodge bundles with parabolic structure over a finite set $S \subset \mathbb P^1$ of type $(1,n)$. That is, we consider parabolic Higgs bundles $(\mathcal E, \theta)$, where $\mathcal E = \mathcal L \oplus \mathcal V$ and $\theta (\mathcal L) \subset \mathcal V \otimes \Omega_{\mathbb P^1}^1 (\log S)$, where $\operatorname{rank} \mathcal L = 1$ and $\operatorname{rank} \mathcal V = n$. Such systems of Hodge bundles are $\mathbb C^\times$-fixed points in the space of all such (parabolic) Higgs bundles and these correspond to local systems coming from complex variations of Hodge structure under Simpson's correspondence. In the spirit of Agnihotri-Woodward and Belkale, we use enumerative geometry to give numerical criteria for the existence of such semistable parabolic systems of Hodge bundles with semisimple local monodromy.
要約:
We develop the deformation-obstruction calculus for morphisms of complexes with a fixed lift of the codomain, to derived categories of flat nilpotent deformations of abelian categories. As an application, we give an alternative proof that semiorthogonal decompositions deform uniquely in smooth proper families of schemes.
要約:
We study linear systems cut out by cones of fixed degree on a smooth complex curve $C\subset\mathbb{P}^{3}$. We develop a systematic study of the families of such systems, considering their limits, their infinitesimal behaviour and some associated geometric structures. As an application, we prove the existence of a non-isotrivial pencil of quartics with only one base point, all whose members are irreducible and whose general member is smooth.
要約:
We show that the alternating groups $\mathfrak{A}_5$ and $\mathfrak{A}_6$ are the only finite simple non-abelian subgroups of the group of birational selfmaps of the real three-dimensional projective space.
要約:
We categorify the localized intersection product on arithmetic schemes defined by Kato--Saito in \cite{katosaito04}. As an application, we prove a generalization of Bloch conductor conjecture.
要約:
Aganagic, Dijkgraaf, Klemm, Mari\~{n}o and Vafa \cite{adkmv} predicted that the open string partition function on a smooth toric Calabi--Yau threefold should be a tau-function of multi-component KP hierarchy after considering the contributions from nonzero fermion number fluxes through loops in the toric diagram. In this paper, we prove their prediction in the case of local toric Calabi--Yau threefolds. More precisely, we construct the total partition function of local toric Calabi--Yau threefolds using an operator on the fermionic Fock space which we developed in an earlier work \cite{wyz} to represent the topological vertex, and show that the total partition function is the trace of an operator on the fermionic Fock space. As an application, we prove the KP integrability of the total partition function.
要約:
We introduce the notion of a locally standard $T$-pseudomanifold, a class that generalizes both complete toric varieties and locally standard $T$-manifolds. The main goal of this paper is to show that locally standard $T$-pseudomanifolds over topological stratified pseudomanifolds satisfying certain conditions are completely classified, up to (weakly) equivariant homeomorphism, by their characteristic data. This result extends the classification of quasitoric manifolds by Davis-Januszkiewicz.
要約:
We carry out a complete analysis of the toric elliptic and genus-one fibrations of all 474 million reflexive polytopes in the Kreuzer-Skarke database. Earlier work with Huang showed that all but 29,223 of these polytopes have such a fibration. We identify 2,264,992,252 distinct fibrations, and determine the fiber and base structure in each case; after accounting for automorphisms of the ambient polytope, these fibrations furnish 2,250,744,657 equivalence classes. We summarize generic features and identify exotic special cases among these fibrations. These fibrations illustrate many features that have been explored in the context of 6D F-theory, including gauge groups hosted on non-toric divisors, automatic enhancement of gauge groups, and implicit non-toric bases and high-rank 6D SCFTs associated with nonflat fibers, as well as novel geometric features such as singular bases for genus-one fibrations with multisections. This analysis illustrates the power of elliptic and genus-one fibrations, and the geometro-physical language of F-theory as a tool for understanding the structure of Calabi-Yau threefolds.
要約:
We formulate a few conjectures on some hypothetical coherent sheaves on the stacks of arithmetic local Langlands parameters, including their roles played in the local-global compatibility in the Langlands program. We survey some known results as evidences of these conjectures.
要約:
We prove non-hyperbolicity of primitive symplectic varieties with $b_2 \geq 5$ that satisfy the rational SYZ conjecture. If in addition $b_2 \geq 7$, we establish that the Kobayashi pseudometric vanishes identically. This in particular applies to all currently known examples of irreducible symplectic manifolds and thereby completes the results by Kamenova--Lu--Verbitsky. The key new contribution is that a projective primitive symplectic variety with a Lagrangian fibration has vanishing Kobayashi pseudometric. The proof uses ergodicity, birational contractions, and cycle spaces.
要約:
For each prime number $p$ and each integer $g \geqslant 5$, we construct infinitely many abelian varieties of dimension $g$ over $\overline{\mathbb{F}}_p$ satisfying the standard conjecture of Hodge type. The main tool is a recent theorem of Ancona on certain rank $2$ motives. These varieties are constructed explicitly through Honda-Tate theory. Moreover, they have Tate classes that are not generated by divisors nor liftable to characteristic zero. Also, we prove a result towards a classification of simple abelian varieties for which the result of Ancona can be applied to. Along the way, we prove results of independent interest about Honda-Tate theory and about multiplicative relations between algebraic integers.
要約:
We define the notion of loop torsors under certain group schemes defined over the localization of a regular henselian ring A at a strict normal crossing divisor D. We provide a Galois cohomological criterion for classifying those torsors. We revisit also the related theory of loop torsors on Laurent polynomial rings.
要約:
Given a complex reductive group $G$ and a $G$-representation $\mathbf{N}$, there is an associated Coulomb branch algebra $\mathcal{A}_{G,\mathbf{N}}^\hbar$ defined by Braverman, Finkelberg and Nakajima. In this paper, we provide a new interpretation of $\mathcal{A}_{G,\mathbf{N}}^\hbar$ as the largest subspace of the equivariant Borel--Moore homology of the affine Grassmannian on which shift operators (and their deformations induced by flavour symmetries) are defined without localizations. The proofs of the main theorems involve showing that the defining equations of the Coulomb branch algebras reflect the properness of moduli spaces required for defining shift operators.
As a main application, we give a very general definition of shift operators, and show that if $X$ is a smooth semiprojective variety equipped with a $G$-action, and $f \colon X \to \mathbf{N}$ is a $G$-equivariant proper holomorphic map, then the equivariant big quantum cohomology $QH^\bullet_G(X)$ defines a family of closed Lagrangians in the Coulomb branch $\mathrm{Spec}\mathcal{A}_{G,\mathbf{N}}$, yielding a transformation of 3d branes in 3d mirror symmetry.
We further apply our construction to recover Teleman's gluing formula for Coulomb branches and to derive new generalizations of the Peterson isomorphism.
要約:
Nearly Frobenius structures and 2-dimensional Almost TQFTs were introduced and shown to be in categorical equivalence in arXiv:1907.05470 in the attempt to extend the Atiyah-Segal's definition to the category of infinite dimensional vector spaces. In this paper, we investigate nearly Frobenius structures and we give a classification result for Almost TQFTs in dimension 2. In particular, the TQFTs functorial axioms become equivalent to the Edge Contraction/Construction axioms of colored ribbon graphs recently introduced by the authors.
要約:
Given a linear space $U \subset \mathrm{Sym}^2V^\vee$ of quadrics in a projective space $\mathbb{P}(V)$ whose intersection is empty, we consider the corresponding Clifford space -- the projective space $\mathbb{P}(U)$ endowed with the even part of Clifford algebras as a sheaf of algebras. We show that the derived category of a Clifford space is generated by a full exceptional collection that extends to a 1-periodic helix and the Clifford space is equivalent to the noncommutative projective spectrum of the corresponding graded algebra.
We discuss two special cases of Clifford spaces in more detail.
The first is the maximal Clifford space, associated to the complete linear system $U = \mathrm{Sym}^2V^\vee$ of quadrics. It is homologically projectively dual to the second Veronese embedding of the projective space $\mathbb{P}(V)$. We show that the corresponding graded algebra is the maximal multiplicity-free direct sum of all polynomial representations of $\mathrm{GL}(V)$ and describe its dual $\mathrm{A}_\infty$-algebra.
The second is a minimal Clifford space, associated to a linear system of quadrics with $\dim(U) = \dim(V)$. We show that the corresponding graded algebra is a Koszul flat deformation of a polynomial algebra and its dual algebra is a Frobenius flat deformation of an exterior algebra. In particular, a minimal Clifford space is an example of a noncommutative projective space.
要約:
The geometric vertex decomposability property for polynomial ideals is an ideal-theoretic generalization of the vertex decomposability property for simplicial complexes. Indeed, a homogeneous geometrically vertex decomposable ideal is radical and Cohen-Macaulay, and is in the Gorenstein liaison class of a complete intersection (glicci). In this paper, we initiate an investigation into when the toric ideal $I_G$ of a finite simple graph $G$ is geometrically vertex decomposable. We first show how geometric vertex decomposability behaves under tensor products, which allows us to restrict to connected graphs. We then describe a graph operation that preserves geometric vertex decomposability, thus allowing us to build many graphs whose corresponding toric ideals are geometrically vertex decomposable. Using work of Constantinescu and Gorla, we prove that toric ideals of bipartite graphs are geometrically vertex decomposable. We also propose a conjecture that all toric ideals of graphs with a square-free degeneration with respect to a lexicographic order are geometrically vertex decomposable. As evidence, we prove the conjecture in the case that the universal Gr\"obner basis of $I_G$ is a set of quadratic binomials. We also prove that some other families of graphs have the property that $I_G$ is glicci.
要約:
Let $K$ be a mixed-characteristic local field. For an integer $m \geq 0$, we denote by $K^m / K$ the maximal $m$-step solvable extension of $K$, and by $G_K^m$ the maximal $m$-step solvable quotient of the absolute Galois group $G_K$ of $K$. We regard $G_K$ and its quotients as filtered profinite groups via the respective upper-numbering ramification filtrations. It is known from the previous result due to Mochizuki that the isomorphism class of $K$ is determined by the isomorphism class of the filtered profinite group $G_K$. In this paper, we prove that the isomorphism class of $K$ is determined by the isomorphism class of the maximal $2$-step solvable quotient $G_K^2$ as a filtered profinite group, and furthermore, that $K^m / K$ is determined functorially by the filtered profinite group $G_K^{m + 2}$ (resp. $G_K^{m + 3}$) for $m \geq 2$ (resp. $m = 0, 1$).
要約:
Zeta generators are derivations associated with odd Riemann zeta values that act freely on the Lie algebra of the fundamental group of Riemann surfaces with marked points. The genus-zero incarnation of zeta generators are Ihara derivations of certain Lie polynomials in two generators that can be obtained from the Drinfeld associator. We characterize a canonical choice of these polynomials, together with their non-Lie counterparts at even degrees $w\geq 2$, through the action of the dual space of formal and motivic multizeta values. Based on these canonical polynomials, we propose a canonical isomorphism that maps motivic multizeta values into the $f$-alphabet. The canonical Lie polynomials from the genus-zero setup determine canonical zeta generators in genus one that act on the two generators of Enriquez' elliptic associators. Up to a single contribution at fixed degree, the zeta generators in genus one are systematically expanded in terms of Tsunogai's geometric derivations dual to holomorphic Eisenstein series, leading to a wealth of explicit high-order computations. Earlier ambiguities in defining the non-geometric part of genus-one zeta generators are resolved by imposing a new representation-theoretic condition. The tight interplay between zeta generators in genus zero and genus one unravelled in this work connects the construction of single-valued multiple polylogarithms on the sphere with iterated-Eisenstein-integral representations of modular graph forms.
要約:
Booher, Cais, Kramer-Miller and Upton study a class of $\mathbf{Z}_p$-tower of curves in characteristic $p$ with ramification controlled by an integer $d$. In the special case that $d$ divides $p-1$, they prove a formula for the higher $a$-numbers of these curves involving the number of lattice points in a complicated region of the plane. Booher and Cais had previously conjectured that for $n$ sufficiently large the higher $a$-numbers of the $n$th curve are given by formulae of the form $\alpha(n) p^{2n} + \beta(n) p^n + \lambda_r(n) n + \nu(n) $ for $n$ sufficiently large, where $\alpha,\beta,\nu,\lambda_r$ are periodic functions of $n$. This is an example of a new kind of Iwasawa theory. We establish this conjecture by carefully studying these lattice points.
要約:
Fine, regular, and star triangulations (FRSTs) of four-dimensional reflexive polytopes give rise to toric varieties, within which generic anticanonical hypersurfaces yield smooth Calabi-Yau threefolds. We introduce CYTransformer, a deep learning model based on the transformer architecture, to automate the generation of FRSTs. We demonstrate that CYTransformer efficiently and unbiasedly samples FRSTs for polytopes across a range of sizes, and can self-improve through retraining on its own output. These results lay the foundation for AICY: a community-driven platform designed to combine self-improving machine learning models with a continuously expanding database to explore and catalog the Calabi-Yau landscape.
要約:
We develop a unified categorical framework for gauging both continuous and finite symmetries in arbitrary spacetime dimensions. Our construction applies to geometric categories i.e. categories internal to stacks. This generalizes the familiar setting of fusion categories, which describe finite group symmetries, to the case of Lie group symmetries. Within this framework, we obtain a functorial Symmetry Topological Field Theory together with its natural boundaries, allowing us to compute associated endomorphism categories and Drinfeld centers in a uniform way. For a given symmetry group $G$, our framework recovers the electric and magnetic higher-form symmetries expected in $G$-gauge theory. Moreover, it naturally encodes electric breaking symmetry in the presence of charged matter, reproducing known physical phenomena in a categorical setting.
要約:
Any $C^*$-algebra can be regarded as a generalization of locally compact Hausdorff topological space. Here we consider a generalization of fundamental group and (co)homology theory. In result one has invariants of $C^*$-algebras such that: for any commutative $C^*$-algebra $A = C_0\left(\mathcal X \right)$ the invariants of $A$ coincide with the $\mathcal X$ ones, the theory is not trivial even for algebras having a one spectrum, e.g. containing one point only.