要約:
Cluster type varieties are compactifications of algebraic tori on which the volume form has no zeros. These form a natural class of varieties that generalizes both toric varieties and cluster varieties. The aim of this article is to introduce the reader to the concept of cluster type varieties and explain some recent results towards the understanding of these varieties. At the same time, we will pose some problems for further research.
要約:
In this work, we investigate the behaviour of the covering gonality of a very general hypersurface in a product of projective spaces. Inspired by the work of Bastianelli, Ciliberto, Flamini and Suppino in [BCFS19] which addresses the case of a hypersurface in a projective space, we establish a similar result for very general smooth hypersurfaces of sufficiently large bi-degree. More precisely, we show that the covering gonality of such hypersurfaces can be computed by viewing them as a family of hypersurfaces over a projective space. Then, the curves computing the covering gonality lie entirely within the fibres of one of the families. This rules out transversal curves from computing the covering gonality. In addition to this, we investigate the behaviour of the joint covering gonality as in [LM23] and establish a lower bound for bi-degree large enough.
要約:
In this article we explicitly determine the Weierstrass semigroup at any place of some $\mathbb{F}_{q^2}$-maximal Fermat function fields $\mathcal{F}_m$, namely for $m=(q+1)/2$ and $m=(q+1)/3$. These famous function fields arise as Galois subfields of the Hermitian function field, and even though they have been intensively studied in the literature, the Weierstrass semigroup at every place is still not fully known. Surprisingly enough this problem is in fact quite involved and $\mathcal{F}_m$ has many different types of Weierstrass semigroups. Moreover, its set of Weierstrass places is much richer than its set of rational places.
要約:
Using the modern perspective of noncommutative algebraic geometry we survey some recent progress in the theory of stability conditions and moduli spaces with applications in hyperk\"ahler geometry and classical algebraic geometry.
要約:
We prove a Seidel product formula for the torus-equivariant quantum $K$-theory of a generalized flag variety $G/P.$ This is a natural generalization of the corresponding results by Buch, Chaput, and Perrin for the cominuscule flag varieties. Our proof is based on the $K$-theoretic Peterson isomorphism, due to Kato. We also use a version of the $K$-theoretic nil-Hecke algebra associated with the extended affine Weyl group, which was studied by Ikeda, Shimozono, and Yamaguchi.
要約:
Let $f$ be a defining polynomial of a reduced projective curve $C\subset{\bf P}^2$ having only weighted homogeneous singularities. We show that the strong monodromy conjecture for $f$ follows rather easily from arxiv:1609.0480v11 using a formula of Denef and Loeser for the Newton-nondegenerate case with three variables (which can be deduced in the applied case from the one for the two variable case) together with known results about the strong monodromy conjecture in the two variable case. Here an amazing cancellation occurs so that possible counterexamples fail.
要約:
Reeb spaces of real-valued functions on manifolds are the spaces of all connected components (contours) of level sets and endowed with the natural quotient topology. They have been fundamental and strong tools in investigating manifolds via smooth functions with mild critical points since the birth of fundamental theory of Morse functions in the 20th century.
We are concerned with topologies and combinatorics of them. Following an explicit note on explicit Reeb spaces of explicit functions which are real analytic (on dense sets) and seem to be simplest and most fundamental, edited by the author himself.
We investigate other construction of examples of such functions and their Reeb spaces. Reeb spaces are naturally graphs in considerable cases and as another work, we also discuss natural definitions of vertices for them.
要約:
We characterize the variety of compatible fundamental matrix triples by computing its multidegree and multihomogeneous vanishing ideal. This answers the first interesting case of a question recently posed by Br{\aa}telund and Rydell. Our result improves upon previously discovered sets of algebraic constraints in the geometric computer vision literature, which are all incomplete (as they do \emph{not} generate the vanishing ideal) and sometimes make restrictive assumptions about how a matrix triple should be scaled. Our discussion touches more broadly on generalized compatibility varieties, whose multihomogeneous vanishing ideals are much less well understood. One of our key new discoveries is a simple set of quartic constraints vanishing on compatible fundamental matrix triples. These quartics are also significant in the setting of essential matrices: together with some previously known constraints, we show that they locally cut out the variety of compatible essential matrix triples.
要約:
For a Weyl group $W$ and a $W$-permutohedron $P$, there are associated toric varieties $X_P$ and $X_{P/W_K}$ for any parabolic subgroup $W_K$ of $W$, since the quotient $P/W_K$ can be identified with a polytope inside $P$. We construct an explicit algebra isomorphism between $H^*(X_{P/W_K};\mathbb{Q})$ and $H^*(X_P;\mathbb{Q})^{W_K}$. We further generalize this isomorphism to intermediate lattices, to finite Coxeter groups, and to non-degenerate $W$-symmetric polytopes. Our results give affirmative answers to two open questions of Horiguchi--Masuda--Shareshain--Song.
要約:
We focus on copositive and completely positive cones over symmetric cones of rank at least $5$, and in particular investigate whether these cones are spectrahedral shadows. We extend known results for nonnegative orthants of dimension at least $5$ to general symmetric cones of rank at least $5$. Specifically, we prove that when the rank of a symmetric cone is at least $5$, neither the copositive nor the completely positive cone over it is a spectrahedral shadow. We then generalize the Horn matrix to the setting of symmetric cones of rank at least $5$ by introducing Horn transformations and analyzing their geometric and algebraic properties. We show that Horn transformations generate exposed rays of copositive cones over symmetric cones. We also show that Horn transformations evade the zeroth level of a sum-of-squares inner-approximation hierarchy for copositive cones over symmetric cones.
要約:
We work towards a question raised by Cluckers and Glazer in [CG25], to bring the dimension growth upper bounds and lower bounds for the worst case closer together. To this end, we introduce a sublinear sharpened version of the projective Schwartz-Zippel bound. We prove several cases, including the case of configurations of linear varieties. This leads to subquadratic dimension growth bounds in some low dimensions, improving on the quadratic dependence obtained by Binyamini, Cluckers and Kato in [BCK25]. We introduce a natural projection argument with pull-backs and use this to address a second question by Cluckers and Glazer by extending the quadratic dimension growth bounds from [BCK25] to arbitrary codimension.
要約:
We compute the periods associated with a special class of hyperplane arrangements. In particular, we exhibit a combinatorial condition on the intersection lattice of a hyperplane arrangement that ensures that its associated periods are linear combinations of special values of multiple polylogarithms. Our method generalizes Brown's approach to the periods of moduli spaces of curves of genus zero. We apply this result to the reflection arrangement of the full monomial group, whose periods are shown to be linear combinations of values of multiple polylogarithms at roots of unity.
要約:
Let $X$ be a smooth projective hypersurface over a finite field $k$ of characteristic $p$. We address the problem of practically computing the zeta function $Z(X,T)$ of $X$ (equivalently, the point counts $\#X(\mathbb{F}_q)$, where $q = p^n$), and we focus on the case when $7 \leq p < 50$. We use the theoretical framework of the variant of Kedlaya's algorithm in arXiv:archive/0601508, and we use the technique of controlled reduction as described in Costa's Thesis. We define an optimization problem that abstracts the key bottleneck in the implementation of controlled reduction. An algorithm that solves this problem is called a reduction policy. We present three reduction policies with different advantages and disadvantages. We also present a high-performance implementation of controlled reduction that contains GPU-optimized linear algebra code and a data structure for linear recurrences that the authors hope can be used to study further reduction policies. Our algorithms get state-of-the-art performance in many cases; for example, we beat arXiv:1402.6758 or arXiv:2203.02070 on many examples of quintic curves, while also being able to compute zeta functions of cubic fourfolds when $p = 7$. We also have the first (to our knowledge) systematic computations of zeta functions of quintic surfaces. We use our implementation to deduce many new explicit examples of varieties with specified Newton polygons, including a cubic fourfold which are neither ordinary nor supersingular, quartic K3 surfaces of various Artin-Mazur heights, and quintic surfaces of all possible domino numbers.
要約:
Given a noncompact Riemann surface $\Sigma_0\,=\, \Sigma \setminus P$, where $P$ is a finite subset of a compact connected Riemann surface $\Sigma$, and a reductive representation $\rho\,:\,\pi_1(\Sigma_0)\,\longrightarrow\, \mathrm{PU}(2,1)$, we prove that any finite--energy $\rho$--equivariant conformal minimal immersion is proper around every cusp if and only if the peripheral holonomy of $\rho$ is parabolic. Assuming parabolic peripheral holonomy, we give an explicit parametrization of complete finite--energy immersions in the mixed case in terms of tame parabolic $\mathrm{PU}(2,1)$--Higgs bundles with nilpotent residues and satisfying concrete parabolic slope inequalities. We also discuss complete ends and construct explicit families of $\rho$ equivariant proper $\mathbb{CH}^2$ $n$--noids on $\mathbb{CP}^1\setminus P$ for $|P|\,\ge\, 5$.
要約:
Let $(X,B)$ be a log Calabi-Yau pair of dimension $n$, index one, and birational complexity $c$. We show that $(X,B)$ has a crepant birational model that admits a tower of Mori fiber spaces of which at least $n-c$ are conic fibrations. Motivated by the proof of the previous statement, we introduce new measures of the complexity of a log Calabi-Yau pair; the alteration complexity and the conic complexity. We characterize when these invariants are zero. Finally, we give applications of the tools of the main theorem to birational superrigidity, Fano hypersurfaces, dual complexes, Weil indices of Fano varieties, and klt singularities.
要約:
In a recent article Halpern-Leistner defines the notion of quasi--convergent path in the space of Bridgeland stability conditions. Such a path induces a semiorthogonal decomposition of the derived category. We investigate quasi-convergent paths in the stability manifold of projective spaces and answer positively to two questions posed by Halpern-Leistner. We construct quasi-convergent paths that start from the geometric region of the stability space and whose central charge is given by a fundamental solution of the quantum differential equation. We also construct quasi-convergent paths whose central charges are the quantum cohomology central charges defined by Iritani.
要約:
The cone of nonnegative polynomials is of fundamental importance in real algebraic geometry, but its facial structure is understood in very few cases. We initiate a systematic study of the facial structure of the cone of nonnegative polynomials $\pos$ on a smooth real projective curve $X$. We show that there is a duality between its faces and totally real effective divisors on $X$. This allows us to fully describe the face lattice in case $X$ has genus one. We compute the Carath\'{e}odory number of the dual moment cone $\pos^\vee$ for an elliptic normal curve $X$, which measures the complexity of quadrature rules of measures supported on $X$. Interestingly, the topology of the real locus of $X$ influences the Carath\'{e}odory number of $\pos^\vee$. We apply our results to truncated moment problems on affine cubic curves, where we deduce sharp bounds on the flat extension degree.
要約:
In these lecture notes, we provide an introduction to the moduli space of Riemann surfaces, a fundamental concept in the theories of 2D quantum gravity, topological string theory, and matrix models. We begin by reviewing some basic results concerning the recursive boundary structure of the moduli space and the associated cohomology theory. We then present Witten's celebrated conjecture and its generalisation, framing it as a recursive computation of cohomological field theory correlators via topological recursion. We conclude with a discussion of JT gravity in relation to hyperbolic geometry and topological strings. These lecture notes accompanied a series of lectures at the Les Houches school "Quantum Geometry (Mathematical Methods for Gravity, Gauge Theories and Non-Perturbative Physics)" in Summer 2024.
要約:
M. Kontsevich conjectured and T. Bitoun proved that if M is a nonzero holonomic D-module then the p-support of a generic reduction of M to characteristic p>0 is Lagrangian. We provide a new elementary proof of this theorem and also generalize it to q-D-modules. The proofs are based on Bernstein's theorem that any holonomic D-module can be transformed by an element of the symplectic group into a vector bundle with a flat connection, and a q-analog of this theorem. We also discuss potential applications to quantizations of symplectic singularities and to quantum cluster algebras.
要約:
In this paper, we introduce the notions of parabolic representation pair variety and relative representation variety of a given parabolic type. We investigate the local behavior of these varieties. The Zariski tangent space and the tangent quadratic cones are described. By the Riemann--Hilbert--Deligne correspondence, we pro-represent the analytic germs of these varieties by functors related to certain groupoids of parabolic logarithmic flat bundles. Under suitable assumptions, we prove that the differential graded Lie algebra (DGLA) controlling the deformation of parabolic logarithmic flat bundle is mixedly formal. Finally, we construct the moduli space of weighted parabolic representation pairs, and, by means of quiver representation theory, we establish the Kobayashi--Hitchin-type theorem for polystable parabolic representation pairs.
要約:
For a cubic hypersurface $X$, work of Galkin--Shinder and Voisin shows the existence of a birational map relating the Hilbert scheme of two points $X^{[2]}$ with a certain projective bundle over $X$. Belmans--Fu--Raedschelders show that this is a standard flip, a particularly nice type of birational map inducing decompositions of derived categories. We show that this geometric construction extends to produce standard flips for Hilbert schemes of quadrics on various higher-dimensional del Pezzo varieties of degree at least 3, including cubics, intersections of two quadrics, and linear sections of $\mathrm{Gr}(2, 5)$. The resulting construction also generalizes results of Chung--Hong--Lee for quintic del Pezzo varieties. As an application, we produce a conjectural semiorthogonal decompositions for orthogonal Grassmannians of lines.
要約:
This paper studies how the theory of derived algebras (in the sense of Bhatt-Mathew and Raksit) interacts with formal derived geometry, specifically the formal derived stacks which show up in the theory of prismatization. As an application we prove some classification theorems for derived algebras in quasi-coherent sheaves on a certain class of filtered \emph{formal} stacks, which includes those whose quasi-coherent sheaves are prismatic gauges over a perfectoid ring. Along the way, among other things, we study the behavior of derived algebras along schematic quasi-affine morphisms in derived geometry, and for example, classify derived algebras on the source as precisely those derived algebras on the target which receive a map from the pushforward of the structure sheaf of the source. We also indicate how to extend some of our results to (formal) classifying stacks of diagonalizable group schemes. As an aside, we also show some classification theorems even for quasi-coherent sheaves on formal stacks which (to our knowledge) weren't available in the literature on derived geometry previously. These results are motivated by forthcoming work of the author but hoped to be generally useful.
要約:
This expository article is an introduction to logarithmic Gromov--Witten (GW) theory. We discuss how to study the GW theory of a smooth projective variety via simple normal crossings degenerations. We survey several approaches to constructing well-behaved, virtually smooth moduli spaces of stable maps to such degenerations. Each irreducible component of the special fiber of a degeneration determines a pair consisting of a variety and a normal crossings divisor, and these pairs carry their own logarithmic GW theory. We explain how the GW theory of the general fiber can be expressed in terms of the logarithmic GW theory of these pairs. Finally, we discuss applications to tautological classes on the moduli space of curves.
要約:
This paper introduces explicit Galois cohomological methods for determining the ranks of Bloch--Kato Selmer groups associated to the Tate twists of the 2-adic second \'etale cohomology of the Jacobian of a hyperelliptic curve with a rational Weierstrass point. In particular, this can give a method to determine the rational points on such curves via the Chabauty--Coleman--Kim method. This is applied to answer a question of Bugeaud, Mignotte, Siksek, Stoll and Tengely.
要約:
Given an elliptic curve $E$ defined over $\mathbb{Q}$ without complex multiplication, we provide an explicit sharp bound on the index of the image of the adelic representation $\rho_E$. In particular, if $\operatorname{h}_{\mathcal{F}}(E)$ is the stable Faltings height of $E$, we show that $[\operatorname{GL}_2(\widehat{\mathbb{Z}}) : \operatorname{Im}\rho_E]$ is bounded above by $10^{21} (\operatorname{h}_{\mathcal{F}}(E)+40)^{4.42}$, and, for $\operatorname{h}_{\mathcal{F}}(E)$ tending to infinity, by $\operatorname{h}_{\mathcal{F}}(E)^{3+o(1)}$. We also classify the possible (conjecturally non-existent) images of the representations $\rho_{E,p^n}$ whenever $\operatorname{Im}\rho_{E,p}$ is contained in the normaliser of a non-split Cartan. This result improves previous work of Zywina and Lombardo.
要約:
We introduce a streamlined procedure for constructing small symplectic $4$-manifolds via contact gluing, based on a technique invented by David Gay around 2000. We give several applications of this procedure, which produced results concerning embeddings of singular Lagrangian $RP^2$s, or embeddings of lens spaces as a hypersurface of contact type, in small rational surfaces such as $CP^2\#\overline{CP^2}$ and $S^2\times S^2$, as well as results on the uniqueness or classification of certain symplectic fillings by a $Q$-homology $4$-ball. Further work on the classification of singular Lagrangian $RP^2$s is suggested. Moreover, our investigation on the $S^1$-invariant contact structures suggests an interesting and fairly strong upper bound for the self-intersection of a rational unicuspidal curve with one Puiseux pair $(p,q)$ in any algebraic surface (the bound depends only on the values $p,q$), and for the symplectic version, we prove the existence of an ``optimal" symplectic rational unicuspidal curve in a rational $4$-manifold which realizes the upper bound for any given Puiseux pair $(p,q)$. Our results also suggest a revisit of the ``symplectic divisorial capping" problem first considered by Li and Mak. Further applications of the techniques developed in this paper hinge upon better understandings for the tightness and fillability criterions of $S^1$-invariant contact structures as well as their (small) symplectic fillings.
要約:
Brane tilings are bipartite periodic graphs on the 2-torus and realize a large family of 4d N=1 supersymmetric gauge theories corresponding to toric Calabi-Yau 3-folds. We present a complete classification of dimer integrable systems corresponding to the 30 brane tilings whose toric Calabi-Yau 3-folds are given by the 16 reflexive polygons in 2 dimensions. For each dimer integrable system associated to a reflexive polygon, we present the Casimirs, the single Hamiltonian built from 1-loops, the spectral curve, and the Poisson commutation relations. We also identify all birational equivalences between dimer integrable systems in this classification by presenting the birational transformations that match the Casimirs and the Hamiltonians as well as the spectral curves and Poisson structures between equivalent dimer integrable systems. In total, we identify 16 pairs of birationally equivalent dimer integrable systems which combined with Seiberg duality between the corresponding brane tilings form 5 distinct equivalence classes. Echoing phenomena observed for brane brick models realizing a family of 2d (0,2) supersymmetric gauge theories corresponding to toric Calabi-Yau 4-folds, we illustrate that deformations of brane tilings, including mass deformations, correspond to the birational transformations we discover in this work, and leave invariant the number of generators of the mesonic moduli space as well as the corresponding U(1)R-refined Hilbert series.
要約:
In the context of complex algebraic varieties, the decomposition theorem for semi-small maps provides a decomposition of the direct image of the constant sheaf. In this work, we develop a decomposition theorem for branched coverings of topological spaces. To achieve this, we start by constructing a decomposition theorem for unramified covering maps via an explicit gluing construction using transition functions. For a given branched covering of closed topological manifolds, we use the previous result to establish a decomposition of the direct image of the constant sheaf on the covering space. In the next step, we generalize our discussion to the case where the target space is not necessarily a topological manifold.
要約:
As a first step towards a refined description of the asymptotic of the Weil-Petersson metric on the moduli space of polarized Calabi-Yau manifolds we investigate the concrete case of abelian varieties by linking such asymptotic with the multi-scale collapsing limits of the parametrized flat tori, as explicitly classified by Odaka.