要約:
We study tensor network varieties associated with the triangular graph, with a focus on the case where one of the physical dimensions is 2. This allows us to interpret the tensors as pencils of matrices. We provide a complete characterization of these varieties in terms of the Kronecker invariants of pencils. We determine their dimension, identifying the cases for which the dimension is smaller than the expected parameter count. We provide necessary conditions for membership in these varieties, in terms of the geometry of classical determinantal varieties, coincident root loci and plane cubic curves. We address some extensions to arbitrary graphs.
要約:
We study moduli spaces of Higgs bundles with two poles on an elliptic curve. We describe all singular fibers of the Hitchin map, including the nilpotent cone. To achieve this, we consider a modular map that lifts Higgs bundles with five poles on the Riemann sphere to Higgs bundles on the elliptic curve. This map is a two-sheeted covering and we analyze its Galois involution. We prove that the modular map is surjective and determine its ramification locus. In particular, we also obtain an explicit description of the singular locus of the moduli space.
要約:
We associate to every analytic surface singularity $(V,0)$ in $(\mathbb C^3,0)$, not necessarily isolated, an invariant $mult^* (V)$ and show that an analytic family of such singularities $(V_t,0)$, $t\in (\mathbb C^l,0)$, is generically Zariski equisingular if and only if $mult^* (V_t)$ is constant. The invariant, that we call the multiplicity sequence of $V$, takes into account the multiplicities of the successive discriminants of $V$ by generic corank one projections.
要約:
Let $X$ be a mildly singular Fano variety such that the tangent sheaf is a direct sum. We show that the direct factors are algebraically integrable, so the infinitesimal decomposition induces a product structure on a quasi-\'etale cover of $X$.
要約:
In this paper, by using the generalized Borel theorems in $\mathbb{CP}^2$, we show the hyperbolicity of Fermat type curves and their complement in $\mathbb{CP}^2$. This improves Noguchi-Shirosaki's and Demailly-El Goul's degree bounds.
要約:
It is shown by Belotto da Silva and Bierstone [arXiv:2602.09114] and W{\l}odarczyk [arxiv:2602.14266] that, if one allows to introduce stack theoretic weighted blowups, any variety $X$ over a field of characteristic 0 admits a normal crossings resolution. We introduce a principle that makes such results possible and inevitable, see Theorem 3.
要約:
This expository article elaborates upon my talk at the 2025 AMS Summer Institute on Algebraic Geometry. It gives an introduction to a conjecture from Tate's 1966 S\'eminaire Bourbaki report, predicting the existence of a symplectic form on Brauer groups of surfaces over finite fields, and then an informal tour of the proof in \cite{Feng20} and \cite{CF}.
要約:
We provide an upper bound for the genus zero logarithmic Gromov-Witten invariants of projective space relative to its toric boundary. The upper bound is polynomial in the contact orders, with degree depending on the number of marked points. The result hinges on the positivity of intersections for projective spaces.
要約:
We give generators for the nef cone and the cone of curves of rational surfaces obtained by blowing-up the complex projective plane at a set of points $\mathcal{B} \cup \mathcal{D}$, where $\mathcal{B}$ is the set of (proper and infinitely near) base points of a pencil associated with a curve having one place at infinity, and $\mathcal{D}$ is a set of finitely many infinitely near free points on the strict transforms of curves of the pencil. We also prove that, when the pencil is given by an AMS-type curve and $\mathcal{D}$ contains at most two free points on any curve considered, the Cox ring of the obtained surface is finitely generated.
要約:
It is well known that, given two curves $\mathcal{X}: y^p+cy=x^m$ and $\mathcal{Y}:y^p+cy=x^n$, defined over $\F_p$, if $n$ divides $m$ then there exists a nonconstant morphism $\mathcal{X} \longrightarrow \mathcal{Y}$. In this paper we are interested in studying whether the converse of this statement is true, i.e., if there exists a morphism $\mathcal{X} \longrightarrow\mathcal{Y}$ then must it be true that $n$ divides $m$? In particular, we consider the case when $m=p^{k}+1$ and $n=p^\ell+1$. We prove that the converse is true under certain hypotheses. We deal with both the cases of Galois morphisms and non-Galois morphisms.
要約:
For $a,b \ge 1$, Hilbert found in 1886 a collection of polynomial equations that cut out set-theoretically the variety X parametrizing a-th powers of binary forms of degree b. We determine the ideal of all polynomials vanishing on X, showing that it is generated in degree b+1 and that it has a linear minimal free resolution. We do this by generalizing results of Abdesselam and Chipalkatti on an analogue of the Foulkes--Howe map and by establishing a derived analogue of the classical Hermite reciprocity theorem for complexes of ${\rm SL}_2$-representations. In our investigation, we are led to the ideal generated by the subrepresentation ${\rm Sym}^{ab}({\Bbb C}^2) \subset {\rm Sym}^a({\rm Sym}^b {\Bbb C}^2)$. We determine its Castelnuovo--Mumford regularity in general and the minimal free resolution for small values of b.
要約:
In [GL24], Galashin and Lam discovered that when $k$ and $n$ are coprime, the proportion of subspaces in $\mathrm{Gr}(k,n)(\mathbb{F}_q)$ that lie in the top-dimensional open positroid variety $\Pi_{k,n}^\circ(\mathbb{F}_q)$ is $|(\mathbb{F}_q^\times)^n|/|\mathbb{F}_{q^n}^\times|$. In this paper, I recover this point count identity by relating the split torus action on $(\Pi_{k,n}^\circ)_{\mathbb{F}_q}$ and an anisotropic torus action on a $\mathbb{F}_q$ rational form of $\Pi_{k,n}^\circ$. The main step in the point count argument and the main technical result in this paper is that cyclic rotation acts trivially on the torus-equivariant cohomology of $\Pi_{k,n}^\circ$ when $k$ and $n$ are coprime.
要約:
We show that for non-conjugate subgroups $G_1$ and $G_2$ of a finite group $G$ there exists an extension of $G$ (by a finite group) in which the pre-images of $G_1$ and $G_2$ are not isomorphic. This allows us to show that $\mathbb Z$-coset equivalent subgroups of a finite group are not necessarily isomorphic, answering a question of Dipendra Prasad. We also indicate connections to profinite rigidity, anabelian geometry, mapping class groups, and non-arithmetic lattices in Lie groups.
要約:
Let a reductive group $G$ act on a smooth variety $X$ such that a good quotient $X{/\!\!/}G$ exists. We show that the derived category of a noncommutative crepant resolution (NCCR) of $X{/\!\!/} G$, obtained from a $G$-equivariant vector bundle on $X$, can be embedded in the derived category of the (canonical, stacky) Kirwan resolution of $X{/\!\!/} G$. In fact the embedding can be completed to a semi-orthogonal decomposition in which the other parts are all derived categories of Azumaya algebras over smooth Deligne-Mumford stacks.
要約:
For connected reductive groups together with a Frobenius root $F$, we show that the cohomology of the structure sheaf and respectively the canonical sheaf for compactified Deligne--Lusztig varieties associated to an element in the free monoid generated by the simple reflections is isomorphic to that of a minimal length element in an $F$-conjugacy class in the Weyl group.
要約:
For an endofunctor $F\colon\mathcal{C}\to\mathcal{C}$ on an ($\infty$-)category $\mathcal{C}$ we define the $\infty$-category $\operatorname{Cart}(\mathcal{C},F)$ of generalized Cartier modules as the lax equalizer of $F$ and the identity. This generalizes the notion of Cartier modules on $\mathbb{F}_p$-schemes considered in the literature. We show that in favorable cases $\operatorname{Cart}(\mathcal{C},F)$ is monadic over $\mathcal{C}$. If $\mathcal{A}$ is a Grothendieck abelian category and $F\colon\mathcal{A}\to\mathcal{A}$ is an exact and colimit-preserving endofunctor, we use this fact to construct an equivalence $\mathcal{D}(\operatorname{Cart}(\mathcal{A},F)) \simeq \operatorname{Cart}(\mathcal{D}(\mathcal{A}),\mathcal{D}(F))$ of stable $\infty$-categories. We use this equivalence to construct a perverse t-structure on $\mathcal{D}(\operatorname{Cart}(\operatorname{Mod}(X), F_*))$ for any Noetherian $\mathbb{F}_p$-scheme $X$ with absolute Frobenius $F$. If $F$ is finite, this coincides with the perverse t-structure constructed by Baudin.
要約:
We give conditions for topological and bi-Lipschitz equivalences within a class of mixed singularities of Pham-Brieskorn type. As a consequence, we construct infinite families that are topologically trivial but have distinct bi-Lipschitz types. We also investigate this problem in the context of mixed surfaces defined by these singularities in the case of two complex variables, deriving conditions for inner, outer, and ambient bi-Lipschitz equivalences. In particular, we obtain an invariant of the subanalytic outer geometry of the associated mixed surfaces, which is determined by the exponents.
要約:
The aim of this paper is to review how some approximation results in commutative algebra are being used to construct equisingular deformations of singularities. The first example of such an approximation result appeared for the first time in A. Ploski's PhD thesis.
要約:
Here we give an explicit construction of a globally defined strictly plurisubharmonic function on projectivized strata of strictly meromorphic differentials with prescribed orders of zeros and poles. In particular, this yields a flat-geometric proof that these strata do not contain positive-dimensional complete subvarieties.
要約:
A main conjecture in the field of Positive Geometry states that amplituhedra, which are certain semi-algebraic sets in the Grassmannian, are positive geometries. It is motivated by examples showing that the canonical forms of certain amplituhedra compute scattering amplitudes in particle physics. Beyond a small number of special cases, this conjecture is still open. In recent work, Brown and Dupont introduced a new framework, based on mixed Hodge theory, connecting canonical forms and de Rham cohomology via genus zero pairs. We give short proofs that the amplituhedron gives rise to a genus zero pair in the cases when it is known to be a positive geometry. However, in the general case we show that amplituhedra inside the Grassmannian give rise to pairs of strictly positive genus. We provide an explicit example of a genus one pair arising from a positive geometry in projective space, showing that having genus zero is not a necessary condition to be a positive geometry. Finally, we show that this positive geometry still gives rise to a genus zero pair in a different ambient variety.
要約:
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.
要約:
We give an overview of the fundamental definitions and results concerning hypersurface singularities, defined by convergent power series over an arbitrary real valued field. This approach combines, on the one hand, the classical case of analytic power series over the complex numbers with formal power series over arbitrary fields, but on the other hand, it goes significantly beyond that. Besides general definitions and basic results, we report on the classification of contact simple and right simple singularities in positive characteristic. Some of the results are new in this general setting, for which we provide complete proofs.
要約:
Given a positive definite even lattice and a commutative ring, there is a standard construction of a lattice vertex algebra over the commutative ring, and it admits a natural grading by non-negative integers. We describe the groups of automorphisms of these graded vertex algebras as affine group schemes, showing in particular that each is an extension of an explicitly described split reductive group of ADE type by the outer automorphism group of the lattice.
要約:
We show that the moduli spaces of Scholze's $p$-adic shtukas with framing satisfy a $p$-adic rigid analytic version of Borel's extension theorem. In particular, this holds for local Shimura varieties, for all local Shimura data $(G,[b],\{\mu\})$, even for exceptional groups $G$, and extends work of Oswal-Shankar-Zhu-Patel who proved a $p$-adic Borel extension property for Rapoport-Zink spaces. As a corollary, we deduce that all these spaces satisfy a $p$-adic rigid analytic version of Brody hyperbolicity.
要約:
Although algebraic matroids were discovered in the 1930s, interest in them was largely dormant until their recent use in applications of algebraic geometry. Because nonlinear algebra is computationally challenging, it is easier to work with an isomorphic linear matroid if one exists. We describe an explicit construction that produces a linear representation over an algebraically closed field of characteristic zero starting with the data used in applications. We will also discuss classical examples of algebraic matroids in the modern language of polynomial ideals, illustrating how the existence of an isomorphic linear matroid depends on properties of the field.
要約:
We compute the arithmetic rank as well as the local/\'etale cohomological dimension of nullcone ideals arising from the classical actions of the symplectic group, the general linear group, and the orthogonal group. We use these calculations to establish striking vanishing results for local cohomology modules supported at these nullcone ideals; this is achieved via a careful analysis of the critical local cohomology modules. The vanishing theorems that we prove are sharp in various respects.