要約:
We introduce a new class of smooth correspondences between Nakajima quiver varieties called split parabolic quiver varieties, and study their properties. We use these correspondences to construct an explicit resolution of singularities of quiver Brill--Noether loci and prove that the latter are irreducible and Cohen-Macaulay of expected dimension (if non-empty). This generalizes the results of Nakajima--Yoshioka and Bayer--Chen--Jiang for Hilbert schemes of points on surfaces.
要約:
Let $\mathrm G$ be an isotrivial reductive group over a scheme $S$. We construct a smooth projective $S$-scheme containing $\mathrm G$ as a fiberwise-dense open subscheme equipped with left and right actions of $\mathrm G$ which extend the translation actions of $\mathrm G$ on itself. This verifies a conjecture of \v{C}esnavi\v{c}ius (arXiv:2201.06424). When $\mathrm G$ is adjoint, we recover fiberwise the wonderful compactification. Finally, we give an example of a non-isotrivial torus admitting no equivariant compactification.
要約:
A convex chain is a finite integer linear combination of indicator functions of convex polytopes. Khovanskii-Pukhlikov extend the Ehrhart theory of convex lattice polytopes to the setting of convex chains. Extending the relationship between equivariant line bundles on projective toric varieties and virtual lattice polytopes, we associate a lattice convex chain to a torus equivariant vector bundle on a toric variety and show that sum of values of this convex chain on lattice points gives the Euler characteristic of the bundle.
要約:
The proof of Lemma 5.1 in the paper Strong $\mathbb A^1$-invariance of $\mathbb A^1$-connected components of reductive algebraic groups (J. Topol. 16 (2023), no. 2, 634--649) is incomplete as it relies on some results of Choudhury-Hagadi, the proof of which contains a gap. The goal of this note is to give a complete and self-contained proof of this lemma.
要約:
For any $\pi$-formal group scheme $G$, the Frobenius morphism between arithmetic jet spaces restricts to generalized kernels of the projection map. Using the functorial properties of such kernels of arithmetic jet spaces, we show that this morphism is indeed induced by a natural ring map between shifted $\pi$-typical Witt vectors.
In the special case when $G = \hat{\mathbb{G}}_a$, the arithmetic jet space, as well as the generalized kernels are affine $\pi$-formal planes with Witt vector addition as the group law. In that case the above morphism is the multiplication by $\pi$ map on Witt vector schemes. In fact, the system of arithmetic jet spaces and generalized kernels of any $\pi$-formal group scheme $G$ along with their maps and identitites satisfied among them are a generalization of the case of the Witt vector scheme with the system of maps such as the Frobenius, Verschiebung and multiplication by $\pi$.
要約:
The square of a skew-symmetric matrix is a symmetric matrix whose eigenvalues have even multiplicities. When the matrices have rank two, they represent the Grassmannian of lines, and the squaring operation takes Pl\"ucker coordinates to projection coordinates. We develop metric algebraic geometry for varieties of lines in this linear algebra setting. The Grassmann distance (GD) degree is introduced as a new invariant for subvarieties of a Grassmannian. We study the GD degree for Schubert varieties and other models.
要約:
Let $X$ be a smooth projective variety over $\mathbb C$. In this paper, we prove that $\mathrm{D}^b(X)$, the bounded derived category of coherent sheaves on $X$, always admits stability conditions in the sense of Bridgeland.
要約:
For a Coxeter element $c$ in a Weyl group $W$, we define the $c$-Coxeter flag variety $\operatorname{CFl}_c\subset G/B$ as the union of left-translated Richardson varieties $w^{-1}X^{wc}_w$. This is a complex of toric varieties whose geometry is governed by the lattice $\operatorname{NC}(W,c)$ of $c$-noncrossing partitions. We show that $\operatorname{CFl}_c$ is the common vanishing locus of the generalized Pl\"ucker coordinates indexed by $W\setminus\operatorname{NC}(W,c)$. We also construct an explicit affine paving of $\operatorname{CFl}_c$ and identify the $T$-weights of each cell in terms of $c$-clusters. This paving gives a GKM description of $H^\bullet(\operatorname{CFl}_c)$ and $H^\bullet_{T_{ad}}(\operatorname{CFl}_c)$ in terms of the induced Cayley subgraph on $\operatorname{NC}(W,c)$, and we show these rings are naturally isomorphic for different choices of $c$. In type $\mathrm{A}$, this recovers the quasisymmetric flag variety for a special $c$, and for general $c$ we show the cohomology ring has a presentation as permuted quasisymmetric coinvariants.
要約:
Given a polynomial $f\in\mathbb{C}[x_1,\ldots,x_n]$ and an integer $\ell\in\mathbb{Z}$, we study some properties of the b-function with respect to weights of the annihilating ideal Ann$(f^\ell)$. In some particular cases the expression of the b-function is given explicitly.
要約:
Let $\varphi$ denote a $k$-algebra endomorphism of the $n$-th Weyl algebra $A_n(k)$ over a perfect field $k$ of positive characteristic $p$. We prove that $\varphi$ can be lifted to an endomorphism of the Weyl algebra $A_n(W_2(k))$ over the Witt vectors $W_2(k)$ of length two over $k$ if and only if $\varphi$ induces a Poisson morphism of the center of $A_n(k)$. Furthermore, we improve a result of Tsuchimoto, which enables us to conclude that these equivalent statements hold at least when ${\rm deg}(\varphi) < p$. In particular, we conclude that $\varphi$ is injective if ${\rm deg}(\varphi) < p$.
要約:
In this paper, we introduce and study two variants of the chromatic quasisymmetric function of a graph: the total chromatic quasisymmetric function via vertex labeling and via acyclic orientations. The original definition of the chromatic quasisymmetric function of a graph by Shareshian and Wachs depends on a labeling of the vertices of the graph, which directly affects the properties of the coefficients appearing in the decomposition of the chromatic quasisymmetric function of a graph into different bases. Motivated by this, we construct the first variant of the chromatic quasisymmetric function of a graph by normalizing it with respect to all the labelings of the vertices. The second variant is motivated by the \emph{tree isomorphism conjecture} and is constructed in terms of acyclic orientations.
We investigate the properties of the coefficients in the expansion in the monomial quasisymmetric basis for both variants and provide a comparative analysis. Furthermore, we derive explicit formulas for the coefficients in the monomial decomposition of the two variants for the star graph. For the labeling-based variant, these coefficients arise from a binomial identity for which we provide a combinatorial proof.
要約:
Powers of a polynomial $\operatorname{GL}$-representation are topologically Noetherian under the action of $\operatorname{Sym} \times \operatorname{GL}$. We show that this result extends to powers of algebraic representations of the orthogonal and the symplectic groups. This work is a natural follow-up to arXiv:2212.05790 and to arXiv:1708.06420.
要約:
We prove the compatibility of pushforward along a proper morphism of an \'{e}tale constructible sheaf and the pushforward of its characteristic cycle up to $p$-torsion. This was conjectured by Takeshi Saito. For this, we revisit the construction of the characteristic cycle, due to Saito and Beilinson, from more homotopical point of view. In particular, the language of $\infty$-categories is indispensable to carry this out.
要約:
We discuss families of hypersurfaces with isolated singularities in projective space with the property that the sum of the ranks of the rational homotopy and the homology groups is finite. They represent infinitely many distinct homotopy types with all hypersurfaces having a nef canonical or anti-canonical class. In the appendix we show that such an infinite family of smooth rationally elliptic 3-folds does not exist.
要約:
Lusztig varieties are subvarieties in flag manifolds $G/B$ associated to an element $w$ in the Weyl group $W$ and an element $x$ in $G$, introduced in Lusztig's papers on character sheaves. We study the geometry of these varieties when $x$ is regular semisimple.
In the first part, we establish that they are normal, Cohen-Macaulay, of pure expected dimension and have rational singularities. We then show that the cohomology of ample line bundles vanishes in positive degrees, in arbitrary characteristic. This extends to nef line bundles when the base field has characteristic zero or sufficiently large characteristic. Along the way, we prove that Lusztig varieties are Frobenius split in positive characteristic and that their open cells are affine. We also prove that the open cells in Deligne-Lusztig varieties are affine, settling a question that has been open since the foundational paper of Deligne and Lusztig.
In the second part, we explore their relationship with regular semisimple Hessenberg varieties. Both varieties admit Tymoczko's dot action of $W$ on their (intersection) cohomology. We associate to each element $w$ in $W$ a Hessenberg space using the tangent cone of the Schubert variety associated with $w$, and show that the cohomology of the associated regular semisimple Lusztig varieties and Hessenberg varieties is isomorphic as graded $W$-representations when they are smooth.
This relationship extends to the level of varieties: we construct a flat degeneration of regular semisimple Lusztig varieties to regular semisimple Hessenberg varieties. In particular, this proves a conjecture of Abreu and Nigro on the homeomorphism types of regular semisimple Lusztig varieties in type $A$, and generalizes it to arbitrary Lie types.
要約:
A real morphism $f$ from a real algebraic curve $X$ to $\mathbb{P}^1$ is called separating if $f^{-1}(\mathbb{R} \mathbb{P}^1) = \mathbb{R} X$. A separating morphism defines a covering $\mathbb{R} X \to \mathbb{R} \mathbb{P}^1$. Let $X_1, \ldots, X_r$ denote the components of $\mathbb{R} X$. M. Kummer and K. Shaw~\cite{kummer_separating_2020} defined the separating semigroup of a curve $X$ as the set of all vectors $d(f) = (d_1(f), \ldots, d_r(f)) \in \mathbb{N}^{r}$ where $f$ is a separating morphism $X \to \mathbb{P}^1$ and $d_i(f)$ is the degree of the restriction of $f$ to $X_i$.
In the present paper we prove that for a non-negative integer number $g$ the set of all separating semigroups of genus $g$ curves is finite.
要約:
We study L-equivalence in the Grothendieck ring of varieties and its interaction with categorical invariants of cubic fourfolds. Assuming a Derived Torelli-type criterion for Kuznetsov components and a mild condition on the discriminant of the transcendental lattice, we prove a counting formula for Fourier--Mukai partners of such cubic fourfolds. As an application, we exhibit cubic fourfolds with a fixed algebraic lattice admitting a unique non-trivial Fourier--Mukai partner, which is trivially L-equivalent to the original. Finally, we show that L-equivalence classes of cubic fourfolds are finite.
要約:
We prove Kov\'acs' conjecture that claims that if the $p^{th}$ exterior power of the tangent bundle of a smooth complex projective variety contains the $p^{th}$ exterior power of an ample vector bundle then the variety is either projective space or the $p$-dimensional quadric hypersurface. We also prove a similar characterization involving symmetric powers instead of exterior powers. This provides a common generalization of Mori, Wahl, Cho-Sato, Andreatta-Wi\'sniewski, Kobayashi-Ochiai, and Araujo-Druel-Kov\'acs type characterizations of such varieties.
要約:
Volume polynomials form a distinguished class of log-concave polynomials with remarkable analytic and combinatorial properties. I will survey realization problems related to them, review fundamental inequalities they satisfy, and discuss applications to the combinatorics of algebraic matroids. These notes are based on lectures given at the 2025 Summer Research Institute in Algebraic Geometry at Colorado State University.
要約:
We construct a quasi-coherent sheaf of associative algebras which controls a category of $AV$-modules over a smooth quasi-projective variety. We establish a local structure theorem, proving that in \'etale charts these associative algebras decompose into a tensor product of the algebra of differential operators and the universal enveloping algebra of the Lie algebra of power series vector fields vanishing at the origin.
要約:
Many systems of interest in cryptography consist of equations of the same degree. Under the assumption that the degree of regularity is finite, we prove upper bounds on the degree of regularity of a system of equations of the same degree, with or without adding the field equations to the system. The bounds translate into upper bounds on the solving degree of the systems, and hence on the complexity of solving them via Gr\"obner bases methods. Our bounds depend on the number of equations in the system, the number of variables, and the degree of the equations.
要約:
For an affine algebraic variety, we introduce algebraic Gelfand-Fuks cohomology of polynomial vector fields with coefficients in differentiable $AV$-modules. Its complex is given by cochains that are differential operators in the sense of Grothendieck. Using the jets of vector fields, we compute this cohomology for varieties with uniformizing parameters. We prove that in this case, Gelfand-Fuks cohomology with coefficients in a tensor module decomposes as a tensor product of the de Rham cohomology of the variety and the cohomology of the Lie algebra of vector fields on affine space, vanishing at the origin. We explicitly compute this cohomology for affine space, the torus, and Krichever-Novikov algebras.