要約:
The border apolarity technique was introduced in our earlier work for secant varieties over complex numbers. We extend the theory to cactus varieties of toric varieties over any algebraically closed field. A border cactus decomposition is a mulithomogeneous ideal in the Cox ring (also called the total coordinate ring) of the toric variety that witnesses that a given point is in a specific cactus variety. The definition of such witness uses apolarity and we describe the set of ideals that are credible witnesses for this purpose in terms of a correspondence between the usual Hilbert scheme (parametrising all closed subschemes of the toric variety) and the multigraded Hilbert scheme (parametrising all multihomogeneous ideals in the Cox ring). We also take this opportunity to extend the border apolarity to linear subspaces (in non-border setting, this is equivalent to simultaneous decompositions).
要約:
In this paper, we define vector bundles within the framework of almost mathematics (referred to as almost vector bundles) and establish the $v$-descent theorem together with a structure theorem for these bundles over perfectoid spaces. The proof yields several interesting intermediate results.
要約:
We consider Iwahori-Coulomb branches $\mathcal{A}_{G,\mathbf{N},\mathbf{V}}^{\mathrm{Fl}}$, which are the affine flag analogs of the original Coulomb branches $\mathcal{A}_{G,\mathbf{N}}^{\mathrm{Gr}}$ defined by Braverman, Finkelberg, and Nakajima. For any conical symplectic resolution $X$, we prove that the $\mathcal{A}_{G,\mathbf{N},\mathbf{V}}^{\mathrm{Fl}}$-action on the localized equivariant quantum cohomology of $X$, induced by shift operators, satisfies a polynomiality property in terms of stable envelopes.
We then study the case $X = T^*(G/P)$, the cotangent bundle of a flag variety, for which the Iwahori-Coulomb branch is isomorphic to the trigonometric double affine Hecke algebra $\mathcal{H}_{G,\hbar,k}$. The polynomiality property enables us to compute explicitly the above action in terms of the Demazure-Lusztig elements and stable envelopes. Applications include:
(1) Computation of the Iwarhori-Coulomb branch action for $G/P$ by taking the confluent limit, recovering Peterson-Lam-Shimozono's theorem.
(2) Construction of an explicit Namikawa-Weyl group action on the equivariant quantum cohomology of $T^*(G/P)$ that preserves the quantum product, extending a result of Li-Su-Xiong.
(3) Proof of a conjecture of Braverman-Finkelberg-Nakajima stating that, up to a shift of the dilation parameter, $\mathcal{A}_{G,\mathfrak{g}^*}^{\mathrm{Gr}}$ is isomorphic to the spherical subalgebra of $\mathcal{H}_{G,\hbar,k}$.
要約:
We show that up to isomorphism there are exactly twenty pairs $(C,E)$, where $C$ is a genus-$2$ curve over ${\mathbf C}$, where $E$ is an elliptic curve over ${\mathbf C}$, and where for every integer $n>1$ there is a map of degree $n$ from $C$ to $E$.
要約:
We introduce the notion of the $\infty$-category of (complete) derived $G$-graded modules over a $G$-graded ring $R$ for a torsion-free abelian group $G$, and we study its foundational properties. Moreover, we prove a categorical equivalence between (complete) derived $G$-graded modules over $R$ and derived (formal) comodules over a certain comonad constructed from the group ring $R[G]$ of $G$ over $R$.
要約:
Let $(X, \Delta)$ be a log Fano pair with standard coefficients endowed with a singular K\"ahler--Einstein metric. We show that the adapted tangent sheaf $\mathcal{T}_{X, \Delta, f}$ and the adapted canonical extension $\mathcal{E}_{X, \Delta, f}$ are polystable with respect to $f^*c_1(X, \Delta)$ for any strictly $\Delta$-adapted morphism $f: Y \to X$.
要約:
We prove an analogue, over global function fields, of a conjecture due to Su-Ion Ih concerning the non-Zariski density of torsion points on abelian varieties that are integral with respect to a given non-special divisor. Along the way, we establish a Tate--Voloch type theorem for abelian varieties over completions of global function fields, which allows us to obtain a logarithmic equidistribution result for Galois orbits of torsion points.
要約:
Building upon the work of Buczy\'nska et al., we study here tensor formats and their corresponding encoding of tensors via two-fold tensor products determined by the combinatorics of a binary tree. The set of all tensors representable by a given network forms the corresponding tensor network variety. A very basic question asks whether every tensor representable by one network is representable by another network, namely, when one tensor network variety is contained in another. Specific instances of this question became known as the Hackbusch Conjecture. Here, we propose a general framework for this question and take first steps, theoretical as well as experimental, towards a better understanding. In particular, given any two binary trees on $n$ leaves, we define (and prove existence of) a new measure, the containment exponent, which gauges how much one has to boost the parameters of one network for the containment to hold. We present an algorithm for bounding these containment exponents of tensor network varieties and report on an exhaustive search among trees on up to $n=8$ leaves.
要約:
Based on previous work by the author we deduce that the invariant introduced by Bierstone and Milman in order to give a proof for constructive resolution of singularities in characteristic zero can be determined purely by considering certain polyhedra and their projections.
要約:
Given a crepant contraction f to a singularity X, we may expect a derived symmetry of the source of f. Under easily-checked geometric assumptions, I construct such a symmetry when X is a hypersurface in a smooth ambient S, using a spherical functor from the derived category of S. I describe this symmetry, relate it to other symmetries, and establish its compatibility with base change.
要約:
We develop algorithms to compute two versions of the motivic Hilbert zeta function for curve singularities: the classical version, applicable to singularities with a monomial valuation semigroup or to singular curves defined by \(y^{k}=x^{n}\) with \(\gcd(k,n)=1\), and a finer version introduced by the first and third authors together with Mounir Hajli, which currently applies to the specific family \(y^{k}=x^{n}\) where \(\gcd(k,n)=1\).
It is well known that the Hilbert scheme of points on a smooth curve is isomorphic to the symmetric product of the curve. However, the geometry of the Hilbert scheme of points on singular curves remains much less understood. Our algorithms compute the motivic Hilbert zeta functions \[ Z_{(C,O)}^{\mathrm{Hilb}}(q) \in K_{0}(\mathrm{Var}_{\mathbb{C}})[[q]], \qquad Zm_{(C,O)}^{\mathrm{Hilb}}(a^{2},q^{2}) \in K_{0}(\mathrm{Var}_{\mathbb{C}})[[a^{2}, q^{2}]], \] for such curve singularities, expressed as formal power series with coefficients in the Grothendieck ring of complex varieties.
The main computational difficulty arises from the fact that \(\Gamma\) is infinite. To overcome this, we approximate \(\Gamma\) by truncating it to a suitable finite subset, which allows the algorithms to run effectively. We analyze the time complexity of the method and provide an estimate for the effective finite length of \(\Gamma\) required to obtain reliable results. A Python implementation of the algorithms is available at https://github.com/whaozhu/motivic_hilbert.
要約:
For a smooth quasi-affine variety $X$, the affine closure $\overline{T^*X} := \text{Spec}(\mathbb{K}[T^*X])$ contains $T^*X$ as an open subset, and its smooth locus carries a symplectic structure. A natural question is whether $\overline{T^*X}$ itself is a symplectic variety. A notable example is the conjecture of Ginzburg and Kazhdan, which predicts that $\overline{T^*(G/U)}$ is symplectic for a maximal unipotent subgroup $U$ in a reductive linear algebraic group $G$. This conjecture was recently proved by Gannon using representation-theoretic methods.
In this paper, we provide a new geometric approach to this conjecture. Our method allows us to prove a more general result: $\overline{T^*(G/H)}$ is symplectic for any horospherical subgroup $H$ in $G$ such that $G/H$ is quasi-affine. In particular, this implies that the affine closure $\overline{T^*(G/[P,P])}$ is a symplectic variety for any parabolic subgroup $P$ in $G$.
要約:
We prove that the local Euler class of a line on a degree $2n-1$ hypersurface in projective $n+1$ space is given by a product of indices of Segre involutions. Segre involutions and their associated indices were first defined by Finashin and Kharlamov over the reals. Our result is valid over any perfect field of characteristic not 2 and gives an infinite family of problems in enriched enumerative geometry with a shared geometric interpretation for the local type.
要約:
In a previous paper, arXiv:1301.4409, we showed that the moduli space of curves C with a G-symmetry (that is, with a faithful action of a finite group G), having a fixed generalized homological invariant, is irreducible if the genus g' of the quotient curve C' : = C/G satisfies g'>>0.
Interpreting this result as stabilization for the 0-th homology group of the moduli space of curves with G-symmetry, we begin here a program for showing genus stabilization for all the homology groups of these spaces, in similarity to the results of Harer for the moduli space of curves.
In this first paper we prove homology stabilization for a variant of the moduli space where one G-orbit is tangentially framed.
要約:
Let $Y$ be an irreducible non-singular affine $G$-variety with a $2$-large action. We show that the Hamiltonian reduction $T^*Y/\!\!/\!\!/G$ is a symplectic variety with terminal singularities, isomorphic to the affine closure of $T^*Z_{\text{reg}}$ where $Z:=Y/\!/G$. Furthermore, we provide sufficient conditions for the non-existence of a symplectic resolution for such varieties. These results yield three main applications: (i) providing a short proof of G. Schwarz's theorem on the graded surjectivity of the push-forward map $\mathcal{D}(Y)^G \to \mathcal{D}(Z)$; (ii) establishing the surjectivity of the symbol map on $Z$; and (iii) confirming the non-linear analog of a conjecture of Kaledin--Lehn--Sorger for $2$-large actions.
要約:
In this paper, we prove "prismatic Kunz's theorem" which states that a complete Noetherian local ring $R$ of residue characteristic $p$ is a regular local ring if and only if the Frobenius lift on a prismatic complex of (a derived enhancement of) $R$ over a specific prism $(A, I)$ is faithfully flat. This generalizes classical Kunz's theorem from the perspective of extending the "Frobenius map" to mixed characteristic rings. Our approach involves studying the deformation problem of the "regularity" of prisms and demonstrating the faithful flatness of the structure map of the prismatic complex.
要約:
We show that if $(M,\omega)$ is any compact K\"ahler manifold, then the blowup of $M$ at any point furnishes a K\"ahler metric with scalar curvature globally and arbitrarily $C^0$-close to the scalar curvature of $\omega$. It follows that if $M$ admits a positive scalar curvature K\"ahler metric, then so do all of its blowups. This special case extends a result of N. Hitchin to surfaces and answers a conjecture of C. LeBrun in the affirmative, consequently completing the classification of positive scalar curvature K\"ahler surfaces as being precisely those of negative Kodaira dimension (i.e. blowups of either the projective plane or a holomorphic bundle of projective lines over a Riemann surface).
要約:
Let $k$ be a field and $X$ a smooth projective variety over $k$. When $k$ is a number field, the Beilinson-Bloch conjecture relates the ranks of the Chow groups of $X$ to the order of vanishing of certain $L$-functions. We consider the same conjecture when $k$ is a global function field, and give a criterion for the conjecture to hold for $X$, extending an earlier result of Jannsen. As an application, we provide a new proof of a theorem of Geisser connecting the Tate conjecture over finite fields and the Birch and Swinnerton-Dyer conjecture over function fields. We then prove the Tate conjecture for a product of a smooth projective curve with a power of a CM elliptic curve over any finitely generated field, and thus deduce special cases of the Beilinson--Bloch conjecture. In the process we obtain a conditional answer to a question of Moonen on the Chow groups of powers of ordinary CM elliptic curves over arbitrary fields.
要約:
We study the cone of non-negative polynomials on generalized elliptic curves. We show that the zero set of every extreme ray has dense real points. If a generalized elliptic curve is embedded via a complete linear system, then we show that the convex hull of its real points (taken inside any affine chart containing all real points) is a spectrahedron. On the way, we generalize a result by Geyer--Martens on 2-torsion points in the Picard group of smooth real curves (of arbitrary genus) to possibly singular and reducible ones.
要約:
We first give a geometric construction of a 2-dimensional mixed motive over $\mathbb{Q}$ with the Catalan constant $\mathbf{G}=1-1/3^2+1/5^2-1/7^2+\cdots$ as a period. We then use this motive to obtain a supply of linear forms in 1 and $\mathbf{G}$. We also explicitly compute the coefficients of 1 and $\mathbf{G}$ in these linear forms.