要約:
We prove that the fiber product of the Torelli map $t\colon \mathcal{M}^{ct}_g \to \mathcal{A}_g$ with any product $\mathcal{A}_{g_1}\times\dots\times \mathcal{A}_{g_k} \to \mathcal{A}_g$ for $g=g_1+\dots+g_k$ has a reduced scheme structure. As a consequence, letting $d=\text{codim}(t^*[\mathcal{A}_{g_1}\times\dots\times \mathcal{A}_{g_k}])$, we find that the class $t^*[\mathcal{A}_{g_1}\times\dots\times \mathcal{A}_{g_k}]\in \mathsf{CH}^{d}(\mathcal{M}^{ct}_g)$ is tautological. In particular, we obtain $t^*[\mathcal{A}_{g_1}\times\dots\times \mathcal{A}_{g_k}] = 0$ for $d > 2g-3.$
要約:
Symmetric quiver varieties with potentials are natural generalizations of Nakajima quiver varieties, and their equivariant critical cohomologies provide more flexible settings for geometric representation theory and enumerative geometry. In this paper, we study their geometric properties and show that they behave like universally deformed Nakajima quiver varieties. Based on this, we provide a new proof of the existence of critical stable envelopes on them. Following an idea of Nakajima, we give a sheaf theoretic interpretation of critical stable envelopes by the hyperbolic restriction in the affinization of symmetric quiver varieties. The associativity of hyperbolic restrictions implies the triangle lemma of critical stable envelopes.
要約:
The main purpose of this article is to show that the special Newton polygon map from the stack of p-adic shtukas to the stack of G-bundles on the Fargues--Fontaine curve is representable in diamonds and sufficiently nice for cohomological considerations (i.e. fdcs). The second purpose is to show that the $\bar{\mathbb{F}}_p$-fibers of the special Newton polygon map behave like formal schemes, and in particular, satisfy henselianity properties with respect to their reduced locus. These two goals achieved in this article are two of the crucial ingredients used in our collaboration with Hamman, Ivanov, Louren\c{c}o and Zou to construct the equivalence that compares the schematic and analytic local Langlands categories of Zhu and of Fargues--Scholze. To achieve these goals, we introduce and study spatial kimberlites, which is a better behaved variant of the theory previously developed by the author.
要約:
We develop a framework to study the K-stability of weighted Fano hypersurfaces based on a combination of birational and convex-geometric techniques. As an application, we prove that all quasi-smooth weighted Fano hypersurfaces of index 1 with at most two weights greater than 1 are K-stable. We also construct several examples of K-unstable quasi-smooth weighted Fano hypersurfaces of low indices. To prove these results, we establish lower bounds for stability thresholds using the method of Abban-Zhuang, which reduces the problem to lower-dimensional cases. A key feature of our approach is the use of plt flags that are not necessarily admissible.
要約:
We prove the Hilbert-Chow crepant resolution conjecture in the exceptional curve classes for all projective surfaces and all genera. In particular, this confirms Ruan's cohomological Hilbert-Chow crepant resolution conjecture. The proof exploits Fulton-MacPherson compactifications, reducing the conjecture to the case of the affine plane. As an application, using previous results of the author, we also deduce the families DT/GW correspondence for threefolds $S \times C$ in classes that are zero on the first factor, yielding a wall-crossing proof of the correspondence in this case. Finally, we speculate on the relationship between Hilbert schemes and Fulton-MacPherson compactifications beyond the topics considered in this work.
要約:
For an irreducible non-singular affine $G$-variety $Y$ whose action is $2$-large, we prove that the Hamiltonian reduction $T^*Y/\!\!/\!\!/G$ is a symplectic variety with terminal singularities, isomorphic to the affine closure of $T^*Z_{\text{reg}}$ for $Z:=Y/\!/G$. As applications, we provide a short proof of G. Schwarz's theorem on the graded surjectivity of the push-forward map $\mathcal{D}(Y)^G\rightarrow \mathcal{D}(Z)$, and we establish the surjectivity of the symbol map on $Z$.
要約:
We prove that the Gorenstein locus of the Hilbert scheme of points on $\mathbb A^n$ is non-reduced for $n>9$; we construct examples of non-reduced points that come from apolar algebras of the sum of general cubics. As a corollary, we get a non-reducedness result for the cactus scheme. We generalise the Bia{\l}ynicki-Birula decomposition to abstract deformation functors, providing a new method of studying deformation theory. Our construction gives us fractal structures on the nested Hilbert scheme.
要約:
We study the accumulation of zeros of a polynomial arising from the enumeration of edge-coloured graphs along certain limit curves. The polynomial is a variant of an edge-chromatic polynomial, which specialises to the partition function of the ferromagnetic Ising model on a random regular graph. We call this accumulation behaviour a Lee-Yang phenomenon in analogy with the Lee-Yang theorem. The limiting loci are semialgebraic and arise from anti-Stokes curves of an exponential integral.
要約:
In this paper, we determine the automorphism groups of generalized Kausz compactifications $\mathcal T_{s,p,n}$. By establishing the (semi-)positivity of the anticanonical bundles of $\mathcal T_{s,p,n}$, we also determine the automorphism groups of generalized spaces of complete collineations $\mathcal M_{s,p,n}$. The results in this paper are partially taken from the author's earlier arxiv post (Canonical blow-ups of grassmann manifolds, arxiv:2007.06200).
要約:
Dwyer-Kan localization at pairs of quasi-isomorphisms of the category of dg Lie-Rinehart pairs $(A,M)$, where $A$ is a semi-free cdga over a field $k$ of characteristic zero and $M$ a cell complex in $A$-modules, is shown to be equivalent to that of strong homotopy Lie-Rinehart (SH LR) pairs satisfying the same cofibrancy condition. Latter is a category of fibrant objects. We introduce cofibrations of SH LR pairs, construct factorizations, and prove lifting properties. Applying them, we show uniqueness up to homotopy of certain BV-type resolutions. Restricting to dg LR pairs whose underlying cdga is of finite type, and using a different (co)fibrancy condition, we show that the functor $(A,M)\mapsto A$ is a Cartesian fibration with presentable fibers. The two (co)fibrancy conditions yield equivalent $\infty$-categories under Dwyer-Kan localization.
要約:
In this paper, we examine an analogue of the recently solved spectrum conjecture by Fujita in the setting of Fine polyhedral adjunction theory. We present computational results for lower-dimensional polytopes, which lead to a complete classification of the highest numbers of this Fine spectrum in any dimension. Moreover, we present a classification of the Fine spectrum in dimensions one, two and (almost) three, while providing a framework for general classification results in any dimension.
要約:
We prove that after inverting the Planck constant $h$ the Bezrukavnikov-Kaledin quantization $(X, \mathcal{O}_h)$ of symplectic variety $X$ in characteristic $p$ is Morita equivalent to a certain central reduction of the algebra of differential operators on $X$.
要約:
We present a formula for the Poincar\'e dual in the flag manifold of the equivariant fundamental class of any regular nilpotent or regular semisimple Hessenberg variety as a polynomial in terms of certain Chern classes. We then develop a type-independent proof of the Giambelli formula for the Peterson variety, and use this formula to compute the intersection multiplicity of a Peterson variety with an opposite Schubert variety corresponding to a Coxeter word. Finally, we develop an equivariant Chevalley formula for the cap product of a divisor class with a fundamental class, and a dual Monk rule, for the Peterson variety.
要約:
We prove that the Beauville-Voisin conjecture is true for any double EPW sextic, i.e. the subalgebra of the Chow ring generated by divisors and Chern classes of the tangent bundle injects into cohomology.
要約:
It is well known that a non-singular real plane projective curve of degree five with five connected components is separating if and only if its ovals are in non-convex position. In this article, this property is set into a different context and generalised to all real plane separating (M-2)-curves.
要約:
We compute the topological monodromy of every family of complete intersection curves. Like in the case of plane curves previously treated by the second-named author, we find the answer is given by the $r$-spin mapping class group associated to the maximal root of the adjoint line bundle. Our main innovation is a suite of tools for studying the monodromy of sections of a tensor product of very ample line bundles in terms of the monodromy of sections of the factors, allowing for an induction on (multi-)degree.
要約:
We prove that for any $m\geq3$, $n\gg m^3$, all secant varieties of the Segre-Veronese variety $\mathbb{P}^m\times\mathbb{P}^n$ have the expected dimension. This was already proved by Abo and Brambilla in the subabundant case, hence we focus on the superabundant case. We generalize an approach due to Brambilla and Ottaviani into a construction we call the inductant. With this, the proof of non-defectivity reduces to checking a finite collection of base cases, which we verify using a computer-assisted proof.
要約:
The genus 0, fixed-domain log Gromov-Witten invariants of a smooth, projective toric variety X enumerate maps from a general pointed rational curve to a smooth, projective toric variety passing through the maximal number of general points and with prescribed multiplicities along the toric boundary. We determine these invariants completely for the projective bundle X=P_{P^r}(O^s+O(-a)), proving a conjecture of Cela--Iribar L\'opez. A different conjecture when X is the blow-up of P^r at r points is disproven. Whereas the conjectures were predicted using tropical methods, we give direct intersection-theoretic calculations on moduli spaces of "naive log quasimaps."
要約:
We compute the zero-dimensional Donaldson-Thomas invariants of the quotient stack $[\mathbb{C}^4/\mathbb{Z}_r]$, confirming a conjecture of Cao-Kool-Monavari. Our main theorem is established through an orbifold analogue of Cao-Zhao-Zhou's degeneration formula combined with the zero-dimensional Donaldson-Thomas invariants for $\mathcal{A}_{r-1}\times\mathbb{C}^2$ and an explicit determination of orientations of Hilbert schemes of points on $[\mathbb{C}^4/\mathbb{Z}_r]$.
要約:
In this note we demonstrate some unexpected properties that simple gluings of the simplest derived categories may have. We consider two special cases: the first is an augmented curve, i.e., the gluing of the derived categories of a point and a curve with the gluing bimodule given by the structure sheaf of the curve; the second is an ideal point gluing of curves, i.e., the gluing of the derived categories of two curves with the gluing bimodule given by the ideal sheaf of a point in the product of the curves. We construct unexpected exceptional objects contained in these categories and discuss their orthogonal complements.
We also show that the simplest example of compact type degeneration of curves, a flat family of curves with a smooth general fiber and a 1-nodal reducible central fiber, gives rise to a smooth and proper family of triangulated categories with the general fiber an augmented curve and the central fiber the orthogonal complement of the exotic exceptional object in the ideal point gluing of curves, called the reduced ideal point gluing of curves.
要約:
We study the relative pro-$\ell$ and continuous relative completions of the algebraic fundamental groups of universal curves over the moduli stack of curves with unordered marked points in positive characteristic. Using specialization and homotopy exact sequences, we compare the ordered and unordered settings and prove that the natural projection from the relative completion of the universal curve over the unordered moduli stack admits no section in positive characteristic. This yields a non-splitting result for the corresponding projection on algebraic fundamental groups. The present paper is a sequel to our earlier work in characteristic zero.
要約:
We construct a monoidal model structure on the category of all curved coalgebras and show that it is Quillen equivalent, via the extended bar-cobar adjunction, to another model structure we construct on the category of curved algebras. When the coalgebras under consideration are conilpotent and the algebras are dg, i.e. uncurved, this corresponds to the ordinary dg Koszul duality of Positselski and Keller-Lef\`evre. As an application we construct global noncommutative moduli spaces for flat connections on vector bundles, holomorphic structures on almost complex vector bundles, dg modules over a dg algebra, objects in a dg category, and others.
要約:
The action of the cactus group $C_n$ on Young tableaux of a given shape $\lambda$ goes back to Berenstein and Kirillov and arises naturally in the study of crystal bases and quantum integrable systems. We show that this action is $2$-transitive on standard Young tableaux of the shape $\lambda$ if and only if $\lambda$ is not self-transpose and not a single hook. Moreover, we show that in these cases, the image of the cactus group in the permutation group of standard Young tableaux is either the whole permutation group or the alternating group, and prove that both cases are possible for infinitely many $\lambda$ (though the alternating group is more frequent). As an application, this implies that the Galois group of solutions to the Bethe ansatz in the Gaudin model attached to the Lie group $GL_d$ is, in many cases, at least the alternating group. This also extends the results of Sottile and White on the multiple transitivity of the Galois group of Schubert calculus problems in Grassmannians to many new cases.
要約:
In tropical geometry, there are several important classes of ideals and congruences such as tropical ideals, bend congruences, and the congruences of the form $\mathbf E(Z)$. Although they are analogues of the concept of ideals of rings, it is not well known whether they are finitely generated. In this paper, we study whether the congruences of the form $\mathbf E(Z)$ are finitely generated. In particular, we show that when $Z$ is the support of a tropical variety, $\mathbf E(Z)$ is not finitely generated except for a few specific cases. In addition, we give an explicit minimal generating set of $\mathbf E(|L|)$ for the tropical standard line $L$.