要約:
This article describes a unirationality construction for general low degree complete intersections in projective space which is based on a variety of highly tangent lines. Applied to hypersurfaces, this implies that a general hypersurface of degree $d \geq 6$ in projective $n$-space is unirational as soon as $n \geq 2^{(d-1)2^{d-5}}$, significantly improving classical bounds.
要約:
This paper develops the basic theory of formal schemes over fields in the supersymmetric setting. We introduce the notion of a formal superscheme and investigate some of its fundamental properties. Particular emphasis is placed on the study of morphisms between formal superschemes, for which we establish a faithfully flat descent theorem and a fiber dimension-type theorem.
要約:
Consider a projective variety $X \subset \mathbb{P}^n$ (over an algebraically closed field of characteristic zero), together with a (reduced) simple normal crossings divisor $E \subset \mathbb{P}^n$, where the degrees of both $X$ and $E$ are at most $d$. We show there is a pair $(n',d')$ which can be explicitly computed in terms of $(n,d)$, such that $(X,E)$ has a log resolution of singularities $(X',E')$, where $(X',E')$ can be embedded in $\mathbb{P}^{n'}$ and both $X'$ and $E'$ have degrees at most $d'$ in $\mathbb{P}^{n'}$.
要約:
In this survey, we explain how to compute both the quadratic Euler characteristic of nearby cycles, and the motivic monodromy, at a quasi-homogeneous singularity. This gives, for such singularity, a quadratic refinement to the Deligne--Milnor formula in characteristic zero, and an enhancement of the Picard--Lefschetz formula to Voevodsky motives with rational coefficients.
要約:
We construct a fully-faithful functor of $\infty$-categories from complexes of D-cap modules with Fr\'echet cohomology to quasi-coherent sheaves on an analytic stack. We prove various descent results for $\infty$-categories of D-cap modules in the analytic topology.
要約:
In arXiv:2511.04191 we constructed schemes of objects in small categories which contained a set of basepoints with local representing (localizing) objects. Here we prove that the category $\cat{Rings}$ of associative rings with unit has a certain set of basepoints for which localizing rings exist. We take the set of base points $B$ to be the set of rings on the form $\enm_{\mathbb Z}(M)$ where $M$ is a simple right $A$-module for some associative ring $A.$ The set of base-points in the associative ring $A$ is defined as $\pts_B(A)=\{\mor_{\cat{Rings}}(A,\enm_{\mathbb Z}(M))\}.$ For any finite subset $M\subseteq\pts_B(A)$ we prove that the localizing ring $A_M$ exists. and so the construction from arXiv:2511.04191 gives a definition of schemes of associative algebras. Defining a topology on $\pts_B(A)$ such that when $A$ is commutative it is the Zariski topology, we get the ordinary definition of schemes when we consider the category of commutative rings. This article is in line with the philosophy that a scheme is a moduli of its base-points.
要約:
We give a solution to the Poincar\'e Problem, in the formulation of Cerveau and Lins Neto. We obtain a bound on the degree of general leaves of foliations of general type, which is linear in $g$. To achieve this we study the birational geometry of foliations within the framework of the Minimal Model Program (MMP). Extending the approach of Spicer--Svaldi and Pereira--Svaldi, we study the set of pseudo-effective thresholds of adjoint foliated structures, showing that it satisfies the descending chain condition and it admits an explicit universal lower bound. These results yield effective birationality statements for adjoint divisors of the form $K_{\mathcal{F}} + \tau K_X$.
要約:
We construct explicit families of hyperelliptic curves over $\QQ$ whose Jacobians admit complex multiplication (CM). Each curve in these families is defined by \[ v^2 = (u+2)\,\varphi_d(u), \quad d = 2^e \text{ or } d=p \geq 3 \text{ prime}, \] where $\varphi_d(x)$ is the Chebyshev polynomial of degree $d$. We prove that the Jacobians are simple and determine the associated CM-fields explicitly. Our approach exploits the interplay between Chebyshev polynomials and Galois coverings, providing concrete examples of abelian varieties with CM and explicit criteria for their construction.
要約:
Let $X=G/H$ be a spherical homogeneous variety for a complex reductive algebraic group $G$. We prove that the orbit space of $X$ under the action of a maximal compact subgroup $K\subset G$ is homeomorphic to the valuation cone of $X$. We also discuss the relation between the orbit type stratification of the orbit space and the face stratification of the valuation cone.
要約:
We establish, for each orbifold crepantly resolving a Kleinian singularity, the existence of the cohomological Hall algebra (COHA) of coherent sheaves supported on the exceptional locus and explicitly compute this COHA as a completion of some positive half of the associated affine Yangian. Tracking these categories under derived autoequivalences and the McKay correspondence, we show that (1) every point in Bridgeland's space of stability conditions on the resolution arises from a Kleinian orbifold, and (2) every positive half of the affine Yangian can be recovered from the COHA associated to some such stability condition. This provides the first example of a family of (pointwise) COHAs defined over the space of stability conditions.
要約:
We extend the author's and CPTVV's correspondence between shifted symplectic and Poisson structures to establish a correspondence between exact shifted symplectic structures and non-degenerate shifted Poisson structures with formal derivation, a concept generalising constructions by De Wilde and Lecomte. Our formulation is sufficiently general to encompass derived algebraic, analytic and $\mathcal{C}^{\infty}$ stacks, as well as Lagrangians and non-commutative generalisations. We also show that non-degenerate shifted Poisson structures with formal derivation carry unique self-dual deformation quantisations in any setting where the latter can be formulated.
One application is that for (not necessarily exact) $0$-shifted symplectic structures in analytic and $\mathcal{C}^{\infty}$ settings, it follows that the author's earlier parametrisations of quantisations are in fact independent of any choice of associator, and generalise Fedosov's parametrisation of quantisations for classical manifolds.
Our main application is to complex $(-1)$-shifted symplectic structures, showing that our unique quantisation of the canonical exact structure, a sheaf of twisted $BD_0$-algebras with derivation, gives rise to BBDJS's perverse sheaf of vanishing cycles, equipped with its monodromy operator.
要約:
Postnikov gave a parametrization for the totally non-negative Grassmannian using the matroid decomposition and associating a network with \reflectbox{L}-diagrams. Talaska and Williams extend this result to the entire Grassmannian by using the Deodhar decomposition instead of the matroid decomposition, and the networks this time are associated with the generalized versions of \reflectbox{L}-diagrams, which are called Go-diagrams. We provide an alternative parametrization for the Deodhar components, this time constructing a network based on the pipe dreams associated with the Go-diagrams.
This parametrization has several nice properties; for one, it allows us to easily calculate the image of a point under the isomorphism $Gr_{k,n}\simeq Gr_{n-k,n}$. The second feature of this parametrization is that if we write the Pl\"ucker coordinates using the Lindst\"orm-Gessel-Viennot (LGV) lemma in our parametrization, we can associate a pipe dream to each summand, which allows us to reveal additional structure on the summands. Finally, as an application of our parametrization, we describe a case where we can conclude whether one Deodhar component lies inside the closure of another.
要約:
We present a unified categorical framework which encodes gauging of continuous and finite symmetries in arbitrary spacetime dimension. We show that electric symmetry breaking, resulting from the addition of charged matter, is implemented by this gauging procedure, and identify electric and magnetic symmetries expected in $G$-gauge theory. We work with geometric categories, i.e. categories internal to stacks. This allows us to extend (de)equivariantization of fusion categories to continuous groups, construct a functorial SymTFT and boundaries for this theory, and compute the relevant categories of endomorphisms and Drinfeld centers.
要約:
We establish the large-$N$ asymptotic expansion of the (central) trace of the heat kernel on any compact classical group $G_N\subset\mathrm{GL}_N(\mathbb{C})$, which extends a previous result known only for $\mathrm{U}(N)$ \cite{LM2}. It admits two new interpretations of the trace: in terms of ramified coverings of the torus, and Gromov-Witten invariants on elliptic curves. These connections allow us to explore several aspects of the gauge/string duality in two dimensions: a Yang-Mills/Hurwitz duality, and Yang-Mills/Gromov-Witten duality.
要約:
We compute the Hochschild cohomology and the Kodaira spencer map for known families of Koszul Artin-Schelter regular algebras of dimension four. We show that when the Kodaira Spencer map at a point is a surjection, the image of the family is a component of the moduli stack of such algebras, and when the Kodaira Spencer map is a bijection, the map to the moduli stack is generically finite. We use this to identify some components of the moduli stack.
要約:
The topics of Convexity and Concavity and Envelopes are central in Complex Analysis and extensively investigated. The aim of this paper is to find a possible counterpart in Algebraic Geometry. The article presents preliminary results on this topic,
要約:
Let $ R$ be a compact Riemann surface, and let $ P: R \to \mathbb P^1(\mathbb C) $ and $ Q: R \to \mathbb P^1(\mathbb C) $ be holomorphic maps. In this paper, we investigate the following problem: under what conditions do the preimages $ P^{-1}(K) $ and $ Q^{-1}(K) $ coincide for some infinite set $K$ contained in $\mathbb P^1(k)$, where $k$ is a finitely generated subfield of $\mathbb C$ (e.g., a number field)? Equivalently, we study holomorphic correspondences that admit an infinite completely invariant set contained in $\mathbb P^1(k)$. We show that if such a set exists, then there is a holomorphic Galois covering $\Theta: R_0 \to \mathbb P^1(\mathbb C)$, where $R_0$ has genus zero or one, such that $ P $ and $ Q $ are ``compositional left factors" of $ \Theta.$ We also consider a more general equation $ P^{-1}(K_1) = Q^{-1}(K_2),$ where $K_1$ and $K_2$ are infinite subsets of $\mathbb P^1(k)$.
要約:
Let $\Gamma$ be a smooth $k$-dimensional hypersurface in $\mathbb P^{k+1}$ and $X \supset \Gamma$ a smooth $n$-dimensional Fano hypersurface in $\mathbb P^{n+1}$ where $n\geq 3$ and $k\geq 1$. Let $Y \rightarrow X$ be the blowup of $X$ along $\Gamma$. We give a constructive proof that $Y$ is a Mori dream space. In particular, we describe its Mori chamber decomposition and the associated birational models of $Y$. We classify for which $X$ and $\Gamma$ the variety $Y$ is a Fano manifold and we initiate the study of K-stability of $Y$.
要約:
We classify geometrically integral regular del Pezzo surfaces which are not geometrically normal over imperfect fields of positive characteristic. Based on this classification, we show that a three-dimensional terminal del Pezzo fibration onto a curve over an algebraically closed field always admits a section. Moreover, we prove that the total space is rational if the base curve is rational and the anticanonical degree of a fibre is at least five.
要約:
Let $X$ be a normal projective variety equipped with an action of a semisimple algebraic group $G$, and assume that $X$ contains a unique closed orbit. Let $B$ be a Borel subgroup of $G$ and let $E$ be a $B$-equivariant vector bundle on $X$. In this article, we prove that $E$ is ample (respectively, nef) if and only if its restriction to the finite set of $B$-stable curves in $X$ is ample (respectively, nef).
Moreover, we compute the nef cone of the blow-up of a nonsingular simple $G$-projective variety $X$ at a unique $B$-fixed point $x^-$, referred to as the sink of $X$. As an application, when $X$ is nonsingular, we calculate the Seshadri constants of any ample line bundle (not necessarily $G$-equivariant) at $x^-$. In addition, we compute the Seshadri constants of $B$-equivariant vector bundles at $x^{-}$.
要約:
In this work, we propose to study noncommutative geometry using the language of categories of sheaves of algebras with polynomial identities and their properties, introducing new (graded) noncommutative geometries, which include, for example, the following algebras: superalgebras, $\mathbb{Z}_2^n$-graded superalgebras, Azumaya algebras, Clifford and quaternion algebras, the algebra of upper triangular matrices, quantum groups at roots of unity, and also some NC-schemes. More precisely, fix a group $G$, a $G$-graded associative algebra $A$ over a field $F$ of characteristic 0 and a topological space $X$; we construct a locally $G$-graded ringed space structure on $X$, where the sheaf structure belongs to the $G$-graded variety $\text{G-var}(A)$ of algebras generated by $A$, which classify all geometric spaces that belong to $\text{G-var}(A)$. We study conditions to compare two geometries in a (graded) Morita context, as well as their corresponding differential calculi.
要約:
We study equivariant Gromov-Witten invariants and quantum cohomology in GKM theory. Building on the localization formula, we prove that the resulting expression is independent of the choice of compatible connection, and provide an equivalent formulation without auxiliary choices. Motivated by this theoretical refinement, we develop a software package, $\mathtt{GKMtools . jl}$, that implements the computation of equivariant GW invariants and quantum products directly from the GKM graph. We apply our framework to several geometric settings: Calabi-Yau rank two vector bundles on the projective line, where we obtain a new proof for a recent connection to Donaldson-Thomas theory of Kronecker quivers; twisted flag manifolds, which give symplectic but non-algebraic examples of GKM spaces; realizability questions for abstract GKM graphs; classical enumerative problems involving curves in hyperplanes; and quantum Schubert calculus for smooth Schubert varieties. These results demonstrate both the theoretical flexibility of GKM methods and the effectiveness of computational tools in exploring new phenomena.
要約:
In this note, we propose a conjecture that clarifies the relationship between the number of degree d elliptic curves in complex four-dimensional projective Fano hypersurfaces and their degree d elliptic Gromov-Witten (GW) invariants. The elliptic GW invariants are computed using the elliptic virtual structure constants proposed in our previous works.
要約:
Let $C$ be a curve of genus $g \geq 2$, and let $J$ be its Jacobian. The choice of a degree 1 divisor $e$ on $C$ gives an embedding of $C$ into $J$; we denote by $[C]_{}^{e}\in \mathrm{CH}\left( J;\mathbb{Q} \right) $ the class in the Chow group of $J$ defined by its image. It is known that the vanishing of the Ceresa cycle $\mathrm{Cer}(C,e):=[C]^{e} - [-1]_* [C]^e$ is equivalent to both the vanishing of the 1st Beauville component $[C]_{(1)}^e$ and the vanishing of the 3rd Gross--Kudla--Schoen modified diagonal cycle $\Gamma^3(C,e) \in \mathrm{CH}(C^3;\mathbb{Q})$. We extend this result to show that the vanishing of the $s$-th Beauville component $[C]^e_{(s)}$ for $s \geq 1$ is equivalent to the vanishing of the $(s+2)$-nd modified diagonal cycle $\Gamma^{s + 2}(C, e) \in \mathrm{CH}(C^{s+2};\mathbb{Q})$. Moreover, we establish "successive vanishing" results for these cycles. We apply our results to study the rational (non)-triviality of $[C]^{e}_{(s)}$ in the special case $s = 2$. Finally in the $s=1$ case, we show an integral refinement to the original statement, relating the order of torsion of $\mathrm{Cer}(C,e) \in \mathrm{CH}(J;\mathbb{Z})$ to that of $\Gamma^3(C,e) \in \mathrm{CH}(C^3;\mathbb{Z})$.
要約:
In the projective plane over a finite field of characteristic not equal to 2, we compute the probability that a randomly selected pair of distinct conics $(\mathscr{A},\mathscr{B})$, with $\mathscr{A}$ smooth or singular and $\mathscr{B}$ smooth, in a fixed pencil of conics will admit a triangle or a tetragon inscribed in $\mathscr{A}$ and circumscribed about $\mathscr{B}$. We do this for all pencils, classified up to projective automorphism, with at least one smooth conic; effectively allowing the case where our conic pairs intersect non-transversally.
要約:
Let $Q$ be an arbitrary finite quiver. We use nonabelian stable envelopes to relate representations of the Maulik-Okounkov Lie algebra $\mathfrak{g}^{MO}_Q$ to representations of the BPS Lie algebra associated to the tripled quiver $\tilde Q$ with its canonical potential. We use this comparison to provide an isomorphism between the Maulik-Okounkov Lie algebra and the BPS Lie algebra. Via this isomorphism we prove Okounkov's conjecture, equating the graded dimensions of the Lie algebra $\mathfrak{g}^{MO}_Q$ with the coefficients of Kac polynomials. Via general results regarding cohomological Hall algebras in dimensions two and three we furthermore give a complete description of $\mathfrak{g}^{MO}_Q$ as a generalised Kac-Moody Lie algebra with Cartan datum given by intersection cohomology of singular Nakajima quiver varieties, and prove a conjecture of Maulik and Okounkov, stating that their Lie algebra is obtained from a Lie algebra defined over the rationals, by extension of scalars. Finally, we explain how our results suggest the correct definition of critical stable envelopes in vanishing cycle cohomology.
要約:
Building sets were introduced in the study of wonderful compactifications of hyperplane arrangement complements and were later generalized to finite meet-semilattices. Convex geometries, the duals of antimatroids, offer a robust combinatorial abstraction of convexity. Supersolvable convex geometries and antimatroids appear in the study of poset closure operators, Coxeter groups, and matroid activities. We prove that the building sets on a finite meet-semilattice form a supersolvable convex geometry. As an application, we demonstrate that building sets and nested set complexes respect certain restrictions of finite meet-semilattices unifying and extending results of several authors.
要約:
We use flat antiholomorphic superconnections to study orbifold Chern character following the method introduced by Bismut, Shen, and Wei. We show the uniqueness of orbifold Chern character by proving a Riemann-Roch-Grothendieck theorem for orbifold embeddings.
要約:
Given a finite simple connected graph $\Gamma$, the graphical configuration space $\mathrm{Conf}_{\Gamma}(X)$ is the space of collections of points in $X$ indexed by the vertices of $\Gamma$, where points corresponding to adjacent vertices must be distinct. When $X=\mathbb{R}^d$ and the points are replaced by small disks, the resulting spaces for all possible graphs fit together into an algebraic structure that extends the little disks operad, called the little disks contractad $\mathcal{D}_d$. In this paper, we investigate the homotopical and algebraic properties of the little disks contractad $\mathcal{D}_d$. We construct and study Fulton-MacPherson compactifications of graphical configuration spaces, which provide a convenient model for $\mathcal{D}_d$ within the class of compact manifolds with boundary. Using these and wonderful compactifications, we prove that $\mathcal{D}_d$ is formal in the category of (Hopf) contractads for $d=1$, $d=2$, and for chordal graphs for any $d$. We also identify the first obstructions to coformality in the case of cyclic graphs. In addition, we give a combinatorial description of the cell structure of $\mathcal{D}_2$ and present applications to the study of graphical configuration spaces $\mathrm{Conf}_{\Gamma}(X)$ using the language of twisted algebras.
要約:
In this paper we prove the following results: Given the Drinfeld double $\mathcal{A}^{ext}_{Q}$ of the localised preprojective $K$-theoretic Hall algebra $\mathcal{A}^{+}_{Q}$ of quiver type $Q$ with the Cartan elements, there is a $\mathbb{Q}(q,t_e)_{e\in E}$-Hopf algebra isomorphism between $\mathcal{A}^{ext}_{Q}$ and the localised Maulik-Okounkov quantum loop group $U^{MO}_{q}(\hat{\mathfrak{g}}_{Q})$ of quiver type $Q$. Moreover, we prove the isomorphism of $\mathbb{Z}[q^{\pm1},t_{e}^{\pm1}]_{e\in E}$-algebras between the negative half of the integral Maulik-Okounkov quantum loop group $U_{q}^{MO,-,\mathbb{Z}}(\hat{\mathfrak{g}}_{Q})$ with the opposite algebra of the integral nilpotent $K$-theoretic Hall algebra $\mathcal{A}^{+,nilp,\mathbb{Z}}_{Q}$ of the same quiver type $Q$. As a result, one can identify the universal $R$-matrix for the root subalgebra $\mathcal{B}_{\mathbf{m},w}$ of the slope subalgebra $\mathcal{B}_{\mathbf{m}}$ in $\mathcal{A}^{ext}_{Q}$ with the wall $R$-matrix of the wall subalgebra $U_{q}^{MO}(\mathfrak{g}_{w})$ in $U^{MO}_{q}(\hat{\mathfrak{g}}_{Q})$.
Moreover, under the integrality conjecture for the integral preprojective $K$-theoretic Hall algebra $\mathcal{A}^{+,\mathbb{Z}}_{Q}$, we prove the isomorphism of $\mathbb{Z}[q^{\pm1},t_{e}^{\pm1}]_{e\in E}$-algebras between the positive half of the integral Maulik-Okounkov quantum loop group $U_{q}^{MO,+,\mathbb{Z}}(\hat{\mathfrak{g}}_{Q})$ with the integral preprojective $K$-theoretic Hall algebra $\mathcal{A}^{+,\mathbb{Z}}_{Q}$ of the same quiver type $Q$.