要約:
We study degenerations of cluster type varieties and pairs. Our first theorem proves that degenerations of toric pairs are finite quotients of toric pairs. In a similar vein, under some mild conditions, we prove that degenerations of cluster type pairs are finite quotients of cluster type pairs. Then, we focus on degenerations of cluster type surfaces. We give some general criteria for the existence of $1$-complements on degenerations of toric surfaces. We prove that for almost all $(a,b,c)\in \mathbb{Z}_{\geq 1}^3$ the weighted projective plane $\mathbb{P}(a,b,c)$ has no non-trivial degenerations. In particular, for a Markov triple $(a,b,c)\in \mathbb{Z}_{\geq 2}^3$, we prove that $\mathbb{P}(a^2,b^2,c^2)$ admits no non-trivial degenerations. Finally, we give a complete classification of the degenerations of $\mathbb{P}(1,1,n)$ for $n\geq 3$.
要約:
Let $K$ be a complete non-archimedean field over $\mathbb{Q}_p$, $G$ be a rigid group over $K$, and $X$ be a perfectoid space over $K$. We consider the natural morphism of sites $\nu: X_v \to X_{\mathrm{\acute{e}t}}$. It is known from work of Heuer that the direct image functor $\nu_*$ induces an equivalence of the categories of $G$-torsors. In this article, we show that there is an equivalence of 2-categories of $G$-gerbes on these two topologies.
要約:
We consider the action of the one-parameter subgroup of the special linear group corresponding to a simple root on Grassmannians and describe the structure of the associated Geometric Invariant Theory (GIT) quotients with respect to Pl\"ucker line bundle. Using the combinatorics of Weyl group elements, we explicitly describe the semistable loci and identify cases where the resulting quotient admits the structure of a parabolic induction of a projective space. We further analyze the orbit structure under the Levi subgroup, compute the Picard group, connected component of the automorphism group and examine key geometric features such as Fano properties, cohomology of line bundles, and projective normality with respect to the descended linearization.
要約:
Suppose $X$ is a smooth affine real variety and $\mathscr{E}$ is a vector bundle over $X$. We analyze the problem of splitting off a free rank one summand from $\mathscr{E}$ in corank $0$ and $1$. The problem in corank $0$ can be viewed as the search for a real analog of Murthy's celebrating splitting theorem in the algebraically closed case: to wit, beyond the vanishing of the top Chern class in Chow theory, are the obstructions to splitting ``purely topological''? In a sense, the answer in this case is yes, and we give a proof, using motivic techniques, of a mild extension of the results of Bhatwadekar-Sridharan and Bhatwadekar-Das-Mandal.
In corank $1$, in the algebraically closed situation, Murthy's splitting conjecture (now a theorem in characteristic $0$) predicts that the vanishing of the top Chern class in Chow theory is the only obstruction to splitting off a free rank $1$ summand, and we can search for a suitable ``real'' analog of this assertion. We observe that several natural guesses for a ``real'' analog of Murthy's splitting conjecture cannot be true, i.e., that the situation over the real numbers is rather complicated.
要約:
We study differentiable holonomic sheaves of $AV$-modules on a smooth quasi-projective variety. We show that a simple differentiable holonomic sheaf $M$ of $AV$-modules is locally the tensor product of a simple holonomic $D$-module and a simple finite-dimensional $gl_n$-module $W$. In particular, in the case when $W$ is integrable, $M$ is the tensor product of a simple holonomic $D$-module and the tensor module associated with $W$.
要約:
For any Legendrian link in $\displaystyle \mathbb{R}^{3}$ given by the rainbow closure of a positive braid word, we develop an explicit and computable description of a Legendrian isotopy invariant associated with it, namely the cohomological category of compactly supported, microlocal rank-one sheaves with singular support on the Legendrian link. In particular, we parametrize the objects of the category by points of a braid variety, and for any pair of objects, we provide a linear map that algebraically characterizes their possible non-trivial graded morphism spaces. In addition, we provide combinatorial rules governing the compositions of graded morphisms in the category under consideration. Finally, we present several applications of our results, highlighting the structural features captured by the categorical invariant of interest.
要約:
Richardson tableaux are a remarkable subfamily of standard Young tableaux introduced by Karp and Precup in order to index the irreducible components of Springer fibers equal to Richardson varieties. We show that the set of insertion tableaux of noncrossing partial matchings on $\{1,2,,\ldots, n\}$ by applying the Robinson--Schensted algorithm coincides with the set of Richardson tableaux of size $n$. This leads to a natural one-to-one correspondence between the set of Richardson tableaux of size $n$ and the set of Motzkin paths with $n$ steps, in response to a problem proposed by Karp and Precup. As consequences, we recover some known and establish new properties for Richardson tableaux. Especially, we relate the $q$-counting of Richardson tableaux to $q$-Catalan numbers.
要約:
We establish a general construction of single-valued elliptic polylogarithms as functions on the once-punctured elliptic curve. Our formalism is an extension of Brown's construction of genus-zero single-valued polylogarithms to the elliptic curve: the condition of trivial monodromy for solutions to the Knizhnik-Zamolodchikov-Bernard equation is expressed in terms of elliptic associators and involves two representations of a two-letter alphabet. Our elliptic single-valued condition reduces to Brown's genus-zero condition upon degeneration of the torus. We provide several examples for our construction, including the elliptic Bloch-Wigner dilogarithm.
要約:
Watanabe's singular learning theory provides a framework for asymptotic analysis of Bayesian model selection for statistical models with singularities, where traditional statistical regularity assumptions fail. Learning coefficients, also known as real log canonical thresholds, play a central role in singular learning, as they govern the asymptotic behavior of Bayesian marginal likelihood integrals in settings where the Laplace approximations used for regular statistical models are not applicable. Learning coefficients are algebraic invariants that quantify the geometric complexity of a model and reveal how the singular structure impacts the model's generalization properties. In this paper, we apply algebraic methods to study the learning coefficients of factor analysis models, which are widely used latent variable models for continuously distributed data. Our main results provide a general upper bound for the learning coefficients as well as exact formulas for specific cases.
要約:
In this paper we study principally polarized abelian varieties that admit an automorphism of prime order $p>2$. It turns out that certain natural conditions on the multiplicities of its action on the differentials of the first kind do guarantee that those polarized varieties are not jacobians of curves.
要約:
We classify the topological types of surfaces in the 3-dimensional unit sphere that contain both a great and a small circle through each point. In particular, these surfaces are homeomorphic to one of five normal forms and are either the pointwise product of circles in the unit quaternions or contain five concurrent circles. We classify the real singular loci of such surfaces and characterize how circles in the surface meet the self-intersection locus.
要約:
Browning and Vishe used the Hardy-Littlewood circle method to show the moduli space of rational curves on smooth hypersurfaces of low degree is irreducible and of the expected dimension. We reinterpret the circle method geometrically and prove a generalization for higher genus smooth projective curves. In particular, we explain how the geometry of numbers can be understood via the Beauville-Laszlo theorem in terms of vector bundles on curves and their slopes, allowing us to prove a higher genus variant of Davenport's shrinking lemma. As a corollary, we apply this result to show the Fujita invariant of any proper subvariety of a smooth hypersurface of low degree is less than 1.
要約:
We study rank-2 wobbly bundles on a Riemann surface $C$ of genus $g\geq 2$, i.e. semi-stable bundles admitting nonzero nilpotent Higgs fields, in terms of direct images of line bundles on smooth spectral curves $\tilde{C} \overset{\pi}{\rightarrow} C$. We give a sufficient condition for a semi-stable bundle $E$ to be wobbly: $E$ is a twist of $\pi_\ast \left(\mathcal{O}_{\tilde{C}}(\tilde{D}) \right)$ where the norm of $\tilde{D}$ is a summand of the divisor of a quadratic differential on $C$. We sketch the proof of the necessary condition statement, namely all rank-2 wobbly bundles can be characterised as such, and discuss how certain singularities of the wobbly locus arise from the Brill-Noether loci of spectral curves.
要約:
L\"uroth's theorem describes the dominant maps from rational curves over a field.
In this note we study those dominant rational maps from cartesian powers $X^{\Psi}$ of geometrically irreducible varieties $X$ over a field $k$ for infinite sets $\Psi$ that are equivariant with respect to all permutations of the factors $X$. At least some of such maps arise as compositions $h:X^{\Psi}\xrightarrow{f^{\Psi}}Y^{\Psi}\to H\backslash Y^{\Psi}$, where $X\xrightarrow{f}Y$ is a dominant $k$-map and $H$ is a group of birational automorphisms of $Y|k$, acting diagonally on $Y^{\Psi}$.
In characteristic 0, we show that this construction, when properly modified, gives all dominant equivariant maps from $X^{\Psi}$, if $\dim X=1$. For arbitrary $X$, the results are only partial.
Also, a somewhat similar problem of describing the equivariant integral schemes over $X^{\Psi}$ of finite type is touched very briefly.
要約:
We show that a very general hypersurface of degree d at least 4 and dimension at most $(d+1)2^{d-4}$ over a field of characteristic different from 2 does not admit a decomposition of the diagonal; hence, it is neither stably nor retract rational, nor $\mathbb{A}^1$-connected. Similar results hold in characteristic 2 under a slightly weaker degree bound. This improves earlier results by the second named author and Moe.
要約:
We construct a theory of (etale) Berkovich motives. This is closely related to Ayoub's theory of rigid-analytic motives, but works uniformly in the archimedean and nonarchimedean setting. We aim for a self-contained treatment, not relying on previous work on algebraic or analytic motives. Applying the theory to discrete fields, one still recovers the etale version of Voevodsky's theory. Two notable features of our setting which do not hold in other settings are that over any base, the cancellation theorem holds true, and under only minor assumptions on the base, the stable $\infty$-category of motivic sheaves is rigid dualizable.
要約:
We discuss symmetrical monoidal $(\infty,\infty)$-categoricalizations in relevant $p$-adic functional analysis and $p$-adic analytic geometry. Our motivation has three sources relevant in $p$-adic local Langlands correspondence: one is the corresponding foundation from Bambozzi-Ben-Bassat-Kremnizer on derived functional analysis and Clausen-Scholze on derived topologicalization, and the second one is representations of derived $E_1$-rings which is relevant in integral deformed version of the $p$-adic local Langlands correspondence with eventually Banach coefficients, and the third one is the corresponding comparison of the solid quasicoherent sheaves over two kinds of generalized prismatization stackifications over small arc stacks and small $v$-stacks: one from the de Rham Robba stackification, and the other one from the de Rham prismatization stackification. Small arc stacks imperfectize the prismatization stackification, which will then perfectize the prismatization stackification when we regard them as small $v$-stacks. After Scholze's philosophy, one can in fact imperfectize those significant $v$-stacks in Fargues-Scholze to still have the geometrization at least by using Berkovich motives. Both small arc-stacks and small $v$-stacks can be studied using local totally disconnectedness which is the key observation for condensed mathematics, theory of diamonds and perfectoid rings. Following Scholze, Richarz-Scholbach and Ayoub we then study the $p$-adic local Langlands correspondence by using $p$-adic motivic cohomology theories. We study in some uniform way many significant $p$-adic motivic cohomology theories in families, after the general framework and formalism in the recent work of Ayoub. We extend in some sense Ayoub's formalism after Scholze's recent theory of Berkovich motives, Scholze's theory of small $v$-stacks and Clausen-Scholze's analytic stacks.
要約:
The action of a Weyl group on the associated weight lattice induces an additive action on the symmetric algebra and a multiplicative action on the group algebra of the lattice. We show that the coinvariant space of the multiplicative action affords the regular representation and is isomorphic to a space of multiplicative harmonics, which corresponds to existing results for additive coinvariants of reflection groups. We then design an algorithm to compute a multiplicative coinvariant basis from an additive one. The algorithm preserves isotypic decomposition and graded structure and enables the study of multiplicative coinvariants by integrating combinatorial knowledge from the additive setting. We investigate the Weyl groups of type A and C to find new explicit equivariant maps and combinatorial structure.
要約:
We show that for a $\mathbb Q$-factorial canonical Fano $3$-fold $X$ of Picard number $1$, $(-K_X)^3\leq 72$. The main tool is a Kawamata--Miyaoka type inequality which relates $(-K_X)^3$ with $\hat{c}_2(X)\cdot c_1(X)$, where $\hat{c}_2(X)$ is the generalized second Chern class.
要約:
We show that smooth quintic del Pezzo threefolds over arbitrary base schemes are classified by non-degenerate ternary symmetric bilinear forms. Then we describe the automorphism group schemes, the Hilbert schemes of lines and the orbit structures of quintic del Pezzo threefolds, and we find several new phenomena in characteristic two. As arithmetic applications, we prove a refinement of the Shafarevich conjecture, and prove that there are exactly two isomorphism classes of quintic del Pezzo threefolds over the ring of rational integers.
要約:
Using the ring space of sheared Witt vectors, we define certain ring stacks. We suggest several models for the ring stacks.
Motivation: there is a conjectural description of the stack of n-truncated Barsotti-Tate groups and its Shimurian analogs in terms of the new ring stacks.
要約:
In this article, we first prove a general result in topology which asserts that every quasi-component of a quasi-spectral space is connected. As an important application, the structure of all connected components of every quasi-compact quasi-separated (qcqs) scheme $X$ is fully characterized. They are exactly of the form ...
要約:
A roadmap for an algebraic set $V$ defined by polynomials with coefficients in the field $\mathbb{Q}$ of rational numbers is an algebraic curve contained in $V$ whose intersection with all connected components of $V\cap\mathbb{R}^{n}$ is connected. These objects, introduced by Canny, can be used to answer connectivity queries over $V\cap \mathbb{R}^{n}$ provided that they are required to contain the finite set of query points $\mathcal{P}\subset V$; in this case, we say that the roadmap is associated to $(V, \mathcal{P})$.
In this paper, we make effective a connectivity result we previously proved, to design a Monte Carlo algorithm which, on input (i) a finite sequence of polynomials defining $V$ (and satisfying some regularity assumptions) and (ii) an algebraic representation of finitely many query points $\mathcal{P}$ in $V$, computes a roadmap for $(V, \mathcal{P})$. This algorithm generalizes the nearly optimal one introduced by the last two authors by dropping a boundedness assumption on the real trace of $V$.
The output size and running times of our algorithm are both polynomial in $(nD)^{n\log d}$, where $D$ is the maximal degree of the input equations and $d$ is the dimension of $V$. As far as we know, the best previously known algorithm dealing with such sets has an output size and running time respectively polynomial in $(n^{\log{n}}D)^{n\log n}$ and $(n^{\log{n}}D)^{n\log^2 n}$.
要約:
Sawin recently gave an axiomatic characterization of multiple Dirichlet series over the function field $\mathbb{F}_{q}(T)$ and proved their existence by exhibiting the coefficients as trace functions of specific perverse sheaves. However, he did not prove that these series actually converge anywhere, instead treating them as formal power series.
In this paper, we prove that these series do converge in a certain region, and moreover that the functions obtained by analytically continuing them satisfy functional equations.
For convergence, it suffices to obtain bounds on the coefficients, for which we use the decomposition theorem for perverse sheaves, in combination with the Kontsevich moduli space of stable maps to construct a suitable compactification.
For the functional equations, the key identity is a multi-variable generalization of the relationship between a Dirichlet character and its Fourier transform; in the multiple Dirichlet series setting, this uses a density trick for simple perverse sheaves and an explicit formula for intermediate extensions from the complement of a normal crossings divisor.
要約:
We consider the group $\mathcal G$ which is the semidirect product of the group of analytic functions with values in ${\mathbb C}^*$ on the circle and the group of analytic diffeomorphisms of the circle that preserve the orientation. Then we construct the central extensions of the group $\mathcal G$ by the group ${\mathbb C}^*$. The first central extension, so-called the determinant central extension, is constructed by means of determinants of linear operators acting in infinite-dimensional locally convex topological $\mathbb C$-vector spaces. Other central extensions are constructed by $\cup$-products of group $1$-cocycles with the application to them the map related with algebraic $K$-theory. We prove in the second cohomology group, i.e. modulo of a group $2$-coboundary, the equality of the $12$th power of the $2$-cocycle constructed by the first central extension and the product of integer powers of the $2$-cocycles constructed above by means of \linebreak $\cup$-products (in multiplicative notation). As an application of this result we obtain a new topological Riemann-Roch theorem for a complex line bundle $L$ on a smooth manifold $M$, where $\pi :M \to B$ is a fibration in oriented circles. More precisely, we prove that in the group $H^3(B, {\mathbb Z})$ the element $12 \, [ {\mathcal Det} (L)]$ is equal to the element $6 \, \pi_* ( c_1(L) \cup c_1(L))$, where $[{\mathcal Det} (L)]$ is the class of the determinant gerbe on $B$ constructed by $L$ and the determinant central extension.