要約:
Let X(1,3,a) be a crepant resolution of the quotient singularity C^3/G, where G is a diagonal cyclic subgroup of SL(3,\C) acting on C^3 with weights (1,3,a). For each such X(1,3,a), we construct a (Q,W)-configuration of spherical objects in the bounded derived category of coherent sheaves. When a=9, the derived category D(X(1,3,9)) admits a faithful algebraic braid twist group action of type D induced by the associated (Q,W)-configuration. When a=13, the derived category D(X(1,3,13)) admits a faithful algebraic braid twist group action of type E. These two cases illustrate the emergence of type D and type E patterns from specific geometric data, supporting a broader conjectural framework.
要約:
For a smooth projective surface $S$, Johnson, Oprea, and Pandharipande defined cohomological descendent generating series for the Quot schemes of rank-$0$ quotients of $\mathcal{O}_S^{\oplus N}$. We prove that these series are rational in the remaining surface case $p_g(S)=0$, $\beta\neq 0$, and $N>1$. The proof uses a fixed-source one-parameter wall-crossing recursion of Pandharipande-Thomas type, a factorization through pure Quot by two explicit zero-dimensional correction operators, a support-flat reduction of the first correction to relative Quot theory on curves, rationality of the resulting smooth and singular local curve factors, and a local $K$-theoretic vanishing that collapses the second correction to the universal punctual smooth-surface factor.
要約:
For a simple flop $X\dashrightarrow X'$, we construct a correspondence between genus $0$ descendant Gromov-Witten theories of $X$ and $X'$. We show that the Fourier-Mukai equivalence induced by $X\dashrightarrow X'$ is compatible, in a precise sense, with the descendant correspondence.
要約:
We discuss arithmetic and Hodge-theoretic properties of the isomorphisms appearing in the decomposition theorem for quantum cohomology of blowups. These properties underpin the application to the rationality questions by Katzarkov-Kontsevich-Pantev-Yu.
要約:
We prove that the classical algebraic varieties over algebraically closed fields can be defined over arbitrary fields $k.$ Then we prove that for associative algebras $A$, there exist local representing objects $A_M$ for simple modules $M.$ Replacing the localization in maximal ideals in the commutative situation with the local representations in simple modules in the associative, we define an associative generalization of varieties. Now we realize that replacing $\mathbb R[x_1,\dots,x_n]=\mathbb R[n]$ with $C^\infty(\mathbb R^n),$ we can do differential geometry for associative $\mathbb R[n]$-algebras. This says that we can define a Riemannian geometry on associative varieties. This gives us the definition of connections and algebraic geodesic curves, introducing real geometry into associative algebras.
要約:
We show that the asymptotic behavior of the two main competing notions of rank of a linear series on a tropical curve is governed by a single invariant, closely paralleling the theory of volumes in algebraic geometry. In addition, we show that the tropical volume is compatible with the tropicalization of curves.
要約:
Non-commutative crepant resolutions (NCCRs) are non-commutative versions of classical crepant resolutions in algebraic geometry. For 3-dimensional terminal Gorenstein singularities Iyama and Wemyss proved that all NCCRs are connected by mutations, which may be viewed as a non-commutative analogue of Kawamata's result that all crepant resolutions are connected by flops. In this paper we prove the corresponding result for a class of canonical Gorenstein singularities which are not terminal, namely anticanonical cones over del Pezzo surfaces. More precisely, we first obtain a classification of NCCRs of anticanonical del Pezzo cones, showing that every NCCR arises from a geometric helix on the corresponding del Pezzo surface. We then prove that all such geometric helices are connected to each other by mutations, up to simple operations which include tensoring by line bundles and shifts.
A crucial ingredient in our proofs is the polygons that can be associated to exceptional collections on del Pezzo surfaces following the works of Hille and Perling. We obtain some interesting observations about these polygons which may be of independent interest.
要約:
We study the singular central fibre arising in the Donaldson--Friedman construction for twistor spaces of connected sums, viewing it as a Ferrand pushout of two blown-up twistor spaces along the exceptional quadric. We describe its operational Chow ring explicitly as an equalizer of the Chow rings of the two branches, derive a componentwise specialization formula for semistable smoothings, and obtain rigid gluing constraints for surfaces across the double locus. We then interpret the local semistable equation through the Kato--Nakayama space, identifying the fixed-phase boundary as a natural circle bundle over the exceptional quadric and relating it to the topology of the neck. Finally, we apply this algebro-geometric formalism to bundles arising from Ward and Hartshorne--Serre data, proving additivity results for the second Chern cycle and for the polarized charge across the pushout.
要約:
We study curves on the product of two $K$-trivial surfaces. In the case of the product of two very general abelian surfaces $A_1\times A_2$, we prove that the minimal genus of a non-trivial curve on $A_1\times A_2$ is $6$.
要約:
We study the complete diagonal of the Laurent series expansion of a rational function in $n$-complex variables. For a denominator that is nondegenerate for its Newton polyhedron, we prove that the complete diagonal, initially defined in a logarithmically convex domain, can be analytically continued along any path in the $r$-dimensional complex torus that avoids an explicitly defined complex analytic set $L$ called the Landau variety. This variety is constructed as the union of discriminants associated with specific truncations of the denominator to the faces of its Newton polyhedron.
要約:
Motivated by Hartogs' theorem on separate holomorphicity, we establish two rigidity results in complex geometry.
First, we prove a lemma on regularity for weak solutions of algebraic differential equations, namely, we show that a fiber-wise distributional $L^2$ solution to an algebraic linear differential equation automatically upgrades to a global holomorphic solution on the total space, assuming the equation admits a compatible $L^2$ distributional solution along a transverse compact complex submanifold that maps birationally to the base.
Second, for a compact Kobayashi hyperbolic manifold fibered over $\mathbb{P}^1$, we prove that a continuous, fiber-wise holomorphic map of degree $1$ to a projective variety is a bi-holomorphic isomorphism, provided it is injective on a very ample hypersurface.
要約:
We present \emph{GlobalCY}, a JAX-based framework for globally defined and symmetry-aware neural K\"ahler-potential models on projective hypersurface Calabi--Yau geometries. The central problem is that local-input neural K\"ahler-potential models can train successfully while still failing the geometry-sensitive diagnostics that matter in hard quartic regimes, especially near singular and near-singular members of the Cefal\'u family. To study this, we compare three model families -- a local-input baseline, a globally defined invariant model, and a symmetry-aware global model -- on the hard Cefal\'u cases $\lambda=0.75$ and $\lambda=1.0$ using a fixed multi-seed protocol and a geometry-aware diagnostic suite. In this benchmark, the globally defined invariant model is the strongest overall family, outperforming the local baseline on the two clearest geometric comparison metrics, negative-eigenvalue frequency and projective-invariance drift, in both cases. The gains are strongest at $\lambda=0.75$, while $\lambda=1.0$ remains more difficult. The current symmetry-aware model improves projective-invariance drift relative to the local baseline, but does not yet surpass the plain global invariant model. These results show that global invariant structure is a meaningful architectural constraint for learned K\"ahler-potential modeling in hard quartic Calabi--Yau settings.
要約:
Let $F$ be a local non-archimedian field of odd residue characteristic and let $G=PGL(2)$. In this paper we study an analog of irreducible cuspidal representations of the group $G(F)$ when $F$ is replaced by the field $K=F((t))$. The story turns out to be similar to the classical case, but also with some differences. We present a construction of such representations essentially (up to a small subtlety) starting from a quadratic extension $L$ of $K$ and a character $\theta:L^*/K^*\to \mathbb C^*$ which is not Galois invariant. We also show that the restriction of the representations we construct to the group $P(K)$ (here $P$ is a Borel subgroup of $PGL(2)$) is irreducible. However, contrary to the classical case it turns out that these restrictions are not isomorphic to the "standard" irreducible cuspidal representation of $P(K)$.
In the Appendix we propose a notion of cuspidality for smooth representations of the group $H(K)$ for an arbitrary split reductive group $H$.
要約:
Let $R \to S$ be a cyclically pure map of Noetherian $\mathbb{Q}$-algebras. In this paper, we show that if $S$ has Du Bois singularities, then $R$ has Du Bois singularities. Our result is new even when $R \to S$ is faithfully flat. Our proof also yields interesting results in prime characteristic and in mixed characteristic. As a consequence, we show that if $R \to S$ is a cyclically pure map of rings essentially of finite type over the complex numbers $\mathbb{C}$, $S$ has log canonical type singularities, and $K_R$ is Cartier, then $R$ has log canonical singularities. Along the way, we prove a version of the key injectivity theorem of Kov\'acs and Schwede for Noetherian schemes of equal characteristic zero that have isolated non-Du Bois points. Throughout the paper, we use the characterization of the complex $\underline{\Omega}^0_X$ and of Du Bois singularities in terms of sheafification with respect to Grothendieck topologies.
要約:
The Lichtenbaum-Quillen conjecture for smooth complex varieties states that algebraic and topological K-theory with finite coefficients become isomorphic in high degrees. We define the "Lichtenbaum-Quillen dimension" of a variety in terms of the point where this happens, show that it is surprisingly computable, and analyze many examples. It gives an obstruction to rationality, but one that turns out to be weaker than unramified cohomology and some related birational invariants defined by Colliot-Th\'el\`ene and Voisin using Bloch-Ogus theory. Because it is compatible with semi-orthogonal decompositions, however, it allows us to prove some new cases of the integral Hodge conjecture using homological projective duality, and to compute the higher algebraic K-theory of the Kuznetsov components of the derived categories of some Fano varieties.
要約:
We explicitly determine the optimal degenerations of Fano threefolds $X$ in family No 2.23 of Mori-Mukai's list as predicted by the Hamilton-Tian conjecture. More precisely, we find a special degeneration $(\mathcal{X}, \xi_0)$ of $X$ such that $(\mathcal{X}_0, \xi_0)$ is weighted K-polystable, which is equivalent to $(\mathcal{X}_0, \xi_0)$ admitting a K\"ahler-Ricci soliton (KRS) by \cite{HL23} and \cite{BLXZ23}. Furthermore, we study the moduli spaces of $(\mathcal{X}_0, \xi_0)$. The $\mathbf{H}$-invariant of $X$ divides the natural parameter space into two strata, which leads to different moduli spaces of KRS Fano varieties. We show that one of them is isomorphic to the GIT-moduli space of biconic curves $C\subseteq \mathbb{P}^1\times \mathbb{P}^1$, and the other one is a single point.
要約:
We study the integral Chow ring of the stack $\mathcal{H}_{g,n}$ parametrizing $n$-pointed smooth hyperelliptic curves of genus $g$. We compute the integral Chow ring of $\mathcal{H}_{g,n}$ for $n=1,2$ completely, while for $3\leq n\leq2g+2$ we compute it up to the additive order of a single class in degree 2. We obtain partial results also for $n=2g+3$. In particular, taking $g=2$ and recalling that $\mathcal{H}_{2,n}=\mathcal{M}_{2,n}$, our results hold for $\mathrm{CH}^*(\mathcal{M}_{2,n})$ for $1\leq n\leq7$.
要約:
We study locally trivial deformations of toric varieties from a combinatorial point of view. For any fan $\Sigma$, we construct a deformation functor $\mathrm{Def}_\Sigma$ by considering \v{C}ech zero-cochains on certain simplicial complexes. We show that under appropriate hypotheses, $\mathrm{Def}_\Sigma$ is isomorphic to $\mathrm{Def}'_{X_\Sigma}$, the functor of locally trivial deformations for the toric variety $X_\Sigma$ associated to $\Sigma$. In particular, for any complete toric variety $X$ that is smooth in codimension $2$ and $\mathbb{Q}$-factorial in codimension $3$, there exists a fan $\Sigma$ such that $\mathrm{Def}_\Sigma$ is isomorphic to $\mathrm{Def}_X$, the functor of deformations of $X$. We apply these results to give a new criterion for a smooth complete toric variety to have unobstructed deformations, and to compute formulas for higher order obstructions, generalizing a formula of Ilten and Turo for the cup product. We use the functor $\mathrm{Def}_\Sigma$ to explicitly compute the deformation spaces for a number of toric varieties, and provide examples exhibiting previously unobserved phenomena. In particular, we classify exactly which toric threefolds arising as iterated $\mathbb{P}^1$-bundles have unobstructed deformation space.
要約:
In this work, we describe a prenormal form for the generators of the semigroup of a toric variety $X \subset \mathbb{C}^p$ with isolated singularity at the origin and smooth normalization. A complete description of the semigroup is given when $X$ is a variety of dimension $n$ in $\mathbb{C}^{2n}$. Moreover, for toric surfaces in $\mathbb{C}^4$, we provide a set of generators of the ideal $I$ defining $X$.
要約:
We investigate in this paper the so-called pointed Shafarevich problem for families of primitive symplectic varieties. More precisely, for any fixed pointed curve $(B, 0)$ and any fixed primitive symplectic variety $X$, among all locally trivial families of $\mathbb{Q}$-factorial and terminal primitive symplectic varieties over $B$ whose fiber over $0$ is isomorphic to $X$, we show that there are only finitely many isomorphism classes of generic fibers. Moreover, assuming semi-ampleness of isotropic nef divisors, which holds true for all hyper-K\"ahler manifolds of known deformation types, we show that there are only finitely many such projective families up to isomorphism. These results are optimal since we can construct infinitely many pairwise non-isomorphic (not necessarily projective) families of smooth hyper-K\"ahler varieties over some pointed curve $(B, 0)$ such that they are all isomorphic over the punctured curve $B\backslash \{0\}$ and have isomorphic fibers over the base point $0$.
要約:
We discuss the relative log minimal model theory for log surfaces in the analytic setting. More precisely, we show that the minimal model program, the abundance theorem, and the finite generation of log canonical rings hold for log pairs of complex surfaces which are projective over complex analytic varieties.
要約:
Using the homological sieve method developed by Das--Lehmann--Tosteson and the author, we prove Peyre's all height approach to Manin's conjecture for split quintic del Pezzo surfaces defined over $\mathbb F_q(t)$ assuming $q$ is sufficiently large. We also establish lower bounds of correct magnitude for the counting function of rational curves on split low degree del Pezzo surfaces defined over $\mathbb F_q$ assuming $q$ is large.
要約:
We establish the equivalence of three notions of $\mathbb{F}_q$-rational points on weighted projective spaces $\mathbb{P}_{\mathbf{w}}^n$ and derive explicit combinatorial formulas for their enumeration, leveraging Burnside's lemma and gcd (greatest common divisor) computations. We further derive formulas for point counts under weight normalization, providing closed expressions for the singular and smooth loci. Our results confirm the rationality of the zeta function $Z(\mathbb{P}_{\mathbf{w}}^n, t)$ via a finite product formula and reveal a canonical multiplicative decomposition aligning with the stratification into smooth and singular loci. These contributions advance the arithmetic theory of weighted projective spaces over finite fields, with computational examples illustrating the formulas for specific weights and fields.
要約:
We study the integral models of meta-unitary Shimura varieties through the lens of Scholze's fiber product conjecture. Reformulating Bultel's original construction in terms of moduli stacks of Shtukas and Igusa stacks, we prove the validity of the fiber product formula for this class of non-abelian type Shimura varieties, thereby generalizing the works of Zhang and Daniels, Van Hoften, Kim, and Zhang. We utilize this geometric description to derive local-global compatibility results and, adapting the strategy of Zhu and Yang, apply the unipotent categorical local Langlands correspondence to prove a general vanishing theorem for the generic part of the cohomology of meta-unitary Shimura varieties.
要約:
We prove that a Noetherian ring $R$ is a splinter if and only if for every equidimensional surjective morphism $\operatorname{Spec}(S) \to \operatorname{Spec}(R)$, the map $R \to S$ is pure. This yields a large, nontrivial class of ring maps that are automatically pure. More generally, we prove that a locally Noetherian scheme $Y$ is locally a splinter if and only if every locally equidimensional morphism $X \to Y$ is strongly pure. Special cases of our results show that equidimensional fibrations over normal $\mathbf{Q}$-schemes or regular schemes of arbitrary characteristic are strongly pure. The main ingredient is a new factorization result for locally equidimensional morphisms of schemes, which is of independent interest. Additionally, we prove a weak Boutot-type theorem for $F$-rationality, which says that $F$-rationality descends under pure ring maps that are locally equidimensional under universally catenary assumptions. This statement is false without the locally equidimensional hypothesis.
要約:
Let $k$ be a perfect field with $\mathrm{char}(k)\neq 2,3$, set $K=k(t)$, and let $\mathcal{W}_n^{\min}$ be the moduli stack of minimal elliptic curves over $K$ of Faltings height $n$, constructed via the height-moduli framework of Bejleri-Park-Satriano applied to $\overline{\mathcal{M}}_{1,1}\simeq\mathcal{P}(4,6)$. The Shioda-Tate formula $\rho(S)=T(S)+\mathrm{rk}(E/K)$ decomposes the Picard rank of the associated elliptic surface into the trivial lattice rank, which is local (determined by Kodaira fiber types), and the Mordell-Weil rank, which is global. We prove that these two invariants are governed by fundamentally different arithmetic: the motivic height zeta function weighted by trivial lattice rank is approximately rational in $s=t^{1/12}$ in the dimensionally completed Grothendieck ring, combining exact Euler products on isotrivial loci with a motivic discriminant stabilization adapting Vakil-Wood to $\Delta=4a_4^3+27a_6^2$; over $k=\mathbb{C}$, this yields bidegree-wise Hodge number stabilization. In sharp contrast, the Kudla-Millson theta correspondence shows that the distribution of new Mordell-Weil sections by canonical height is determined by modular forms of weight $6n-2$ for $\mathrm{SL}_2(\mathbb{Z})$, transcendental over $\mathbb{C}(q)$. We establish through Shepherd-Barron that the Kodaira-Spencer map is transverse to every Heegner hyperplane and that infinitely many canonical heights are geometrically realized by sections.
要約:
We compute an explicit closed formula for the Hilbert polynomial of the Jacobian algebra $M(f)$ of a reduced surface $X:f=0$ in $\mathbb P^3$ in terms of the graded Betti numbers of the algebra $M(f)$. When $X$ has only isolated singularities, a result by A. du Plessis and C. T. C. Wall yields new necessary condition for a set of positive integers to be the graded Betti numbers of the Jacobian algebra of such a surface. The comparison with the plane curve case is discussed in detail and additional information is given in the case of nodal surfaces. In the final section we construct four natural Jacobian syzygies for surfaces $X$ coming from pencils of surfaces.
要約:
A Tate-Shafarevich twist $X^\phi\to B$ of a fibration $X\to B$ modifies it by a $1$-cocycle of flows of vector fields relative to the base, locally in the analytic topology. Sacc\`a conjectured that the total spaces of two projective Lagrangian fibrations related by such a twist are deformation-equivalent.
Assuming that the class of the twist is torsion (which is often equivalent to the twist being realizable in the \'etale topology), we show that there is an isomorphism $H^\ast(X;\mathbb Q)\cong H^\ast(X^\phi;\mathbb Q)$ of graded vector spaces that respects (1) the Hodge structures and (2) the Hodge-Riemann pairing. Consequently, the rational Beauville-Bogomolov-Fujiki lattices of these two spaces are Hodge-similar.
Assuming further that $B$ is smooth, and both the original fibration and its twist admit $C^\infty$-sections, we show Sacc\`a's conjecture using the theory of degenerate twistor deformations.
要約:
We prove the conjectural correspondence between logarithmic Gromov-Witten theory and logarithmic Donaldson/Pandharipande-Thomas theory for pairs $(Y|\partial Y)$ consisting of a toric threefold $Y$ and any torus invariant divisor $\partial Y$, with primary insertions. The results are the first verifications of this conjecture when $\partial Y$ is singular, i.e., the ``fully logarithmic'' setting, and the first proof of the equivariant toric correspondence for pairs when $\partial Y$ is nonempty. When $\partial Y$ is empty, we get a new proof of the known toric correspondence, but our methods also lead to stronger conclusions. In particular, we show the PT series is a Laurent polynomial in the presence of sufficient positivity and prove a 2008 conjecture of Oblomkov, Okounkov, Pandharipande, and the first author stating the capped vertex is a Laurent polynomial. The methods also verify the logarithmic DT/PT conjecture for toric threefold pairs. Using the constraints of the logarithmic theory, the complete evaluation of toric pairs is determined by a single calculation -- the degree $1$ series of $\mathbb{P}^3$.
要約:
Let X be an affine variety and L be a solvable Lie subalgebra of Lie(Aut(X)) generated by a finite collection of locally finite Lie subalgebras. The authors of [arXiv:2507.09679] wondered whether L is itself locally finite. Here we present some criteria for the local finiteness of L. Under some additional assumption, we answer this question in the affirmative in the particular case where X is the affine plane.
要約:
We study one-parameter conifold degenerations whose central fiber has finitely many ordinary double points. Working within a deliberately minimal finite-node bulk/localized-sector formalism, we identify the first categorical layer suggested by the corrected finite-node perverse extension and its mixed-Hodge-module package. Assuming that the local ordinary-double-point coupling pattern admits categorical realization in this finite-node setting, we formalize the corresponding local and finite-node data over a chosen bulk category, prove compatibility of their specified shadows with the corrected finite-node perverse extension established in earlier work, and isolate one localized categorical sector per node. We also extract a first finite combinatorial skeleton encoding the nodewise coupling pattern. The paper does not claim a universal perverse-schober theory for arbitrary singular Calabi--Yau degenerations, nor a categorical wall-crossing theory. Rather, it provides the foundational finite-node categorical formalization layer above the corrected perverse and mixed-Hodge-module packages in the conifold degeneration.
要約:
We provide a short proof of the necessity of Crawley-Boevey's condition in his solution to the Deligne-Simpson problem. The proof relies on the local neighbourhood theorem for $2$-Calabi-Yau categories due to Davison together with Crawley-Boevey's sufficient condition for the existence of local systems with prescribed conjugacy classes of monodromy around the punctures.
要約:
A descent conjecture of Wittenberg [Wit24, Conjecture 3.7.4] predicts that if all the twists of a rationally connected torsor over a smooth base satisfy weak approximation with Brauer-Manin obstruction, then so does the base. We give an alternative proof of Wittenberg's conjecture for certain torsors under connected linear groups via Cao's descent formula.
要約:
We compute the classifying space of the surface category $h\mathrm{Bord}_2$ whose objects are closed oriented $1$-manifolds and whose morphisms are diffeomorphism classes of oriented surface bordisms, and show that it is rationally equivalent to a circle. It is hence much smaller than the classifying space of the topologically enriched surface category $\mathrm{Bord}_2$ studied by Galatius-Madsen-Tillmann-Weiss.
However, we also show that for the wide subcategory $h\mathrm{Bord}_2^{\chi\le 0} \subset h\mathrm{Bord}_2$ that contains all morphisms without disks or spheres, the classifying space $B(h\mathrm{Bord}_2^{\chi\le0})$ is surprisingly large. Its rational homotopy groups contain the homology of all moduli spaces of tropical curves $\Delta_g$ as a summand.
The technical key result shows that a version of positive boundary surgery applies to a large class of discrete symmetric monoidal categories, which we call \emph{labelled cospan categories}. We also use this to show that the $(2,1)$-category of cospans of finite sets has a contractible classifying space.
要約:
We classify a "dense open" subset of categories with an action of a reductive group, which we call nondegenerate categories, entirely in terms of the root datum of the group. As an application of our methods, we also:
(1) Upgrade an equivalence of Ginzburg and Lonergan, which identifies the category of bi-Whittaker $\mathcal{D}$-modules on a reductive group with the category of $\tilde{W}$-equivariant sheaves on a dual Cartan subalgebra $\mathfrak{t}^*$ which descend to the coarse quotient $\mathfrak{t}^*//\tilde{W}$, to a monoidal equivalence (where $\tilde{W}$ denotes the extended affine Weyl group) and
(2) Show the parabolic restriction of a very central sheaf acquires a Weyl group equivariant structure such that the associated equivariant sheaf descends to the coarse quotient $\mathfrak{t}^*//\tilde{W}$, providing evidence for a conjecture of Ben-Zvi-Gunningham on parabolic restriction.
要約:
Let $X$ be a smooth projective curve of genus $\geq2$ over a number field. A natural variant of Grothendieck's Section Conjecture postulates that every section of the fundamental exact sequence for $X$ which everywhere locally comes from a point of $X$ in fact globally comes from a point of $X$. We show that $X/\mathbb{Q}$ satisfies this version of the Section Conjecture if it satisfies Kim's Conjecture for almost all choices of auxiliary prime $p$, and give the appropriate generalisation to $S$-integral points on hyperbolic curves. This gives a new "computational" strategy for proving instances of this variant of the Section Conjecture, which we carry out for the thrice-punctured line over $\mathbb{Z}[1/2]$.
要約:
The main purpose is to establish two theorems about closed 0-definable subsets $A$ of an affine space $K^{n}$ over a Hensel minimal field $K$. The first, being a non-Archimedean counterpart of one from o-minimal geometry, states that every such subset $A$ is the zero locus of a continuous 0-definable function on $K^{n}$. The second is a definable, non-Archimedean version of the Tietze-Urysohn extension theorem. The proofs use ubiquity of clopen sets in non-Archimedean geometry and a description of definable sets.
要約:
In this paper, we introduce morphisms for matroids with coefficients (in the sense of Baker and Bowler) and quiver matroids. We investigate their basic properties, such as functoriality, duality, minors and cryptomorphic characterizations in terms of vectors, circuits and bases (a.k.a. Grassmann-Pl\"ucker functions). We generalize quiver matroids to quiver matroid bundles and construct their moduli space, which is an $\mathbb{F}_1$-analogue of a complex quiver Grassmannian. Eventually we introduce a suitable interpretation of $\mathbb{F}_1$-points for these moduli spaces, so that in 'nice' cases their number is equal to the Euler characteristic of the associated complex quiver Grassmannian.
要約:
For a polynomial dynamical system, we study the problem of computing the minimal differential equation satisfied by a chosen coordinate (in other words, projecting the system on the coordinate). This problem can be viewed as a special case of the general elimination problem for systems of differential equations and appears in applications to modeling and control. We give a bound for the Newton polytope of such minimal equation. Our bound depends on the dimension of the model and the degrees $d$ and $D$ of the polynomials defining the dynamics of the chosen coordinate and the remaining coordinates, respectively. We show that our bound is sharp if $d \leqslant D$ or the model is planar. We further use this bound to design an algorithm for computing the minimal equation following the evaluation-interpolation paradigm. We demonstrate that our implementation of the algorithm can tackle problems which are out of reach for the state-of-the-art software for differential elimination.
要約:
We define an algebraic group over a group $G$ to be a variety - that is, a subset of $G^d$ defined by equations over $G$ - endowed with a group law whose coordinates can be expressed as word maps. In the case where $G$ is a torsion-free hyperbolic group and the underlying variety is irreducible we give a complete description of all algebraic groups.
要約:
We prove a formula for the Bergman kernel of polarized complex hyperbolic manifolds. The formula expresses the Bergman kernel as a sum over the geodesic loops in the manifold. As an application, we prove a result about the maximum and minimum of the Bergman kernel function. We also prove an estimate of the off-diagonal Bergman kernel.
要約:
Hurwitz spaces which parametrize branched covers of the line play a prominent role in inverse Galois theory. This paper surveys fifty years of works in this direction with emphasis on recent advances. Based on the Riemann-Hurwitz theory of covers, the geometric and arithmetic setup is first reviewed, followed by the semi-modern developments of the 1990--2010 period: large fields, compactification, descent theory, modular towers. The second half of the paper highlights more recent achievements that have reshaped the arithmetic of Hurwitz spaces, notably via the systematic study of the ring of components. These include the construction of components defined over ${\mathbb Q}$, and the Ellenberg-Venkatesh-Westerland approach to rational points over finite fields, applied to the Cohen-Lenstra heuristics and the Malle conjecture over function fields ${\mathbb F}_q(T)$.
要約:
Given a simply-connected simple algebraic group $G$, we determine the tangent space of any Finkelberg-Mirkovi\'c Schubert scheme at the base point of the affine Grassmannian of $G$. As a consequence, we exhibit non-reduced Finkelberg-Mirkovi\'c Schubert schemes when $G$ is of type $E_6,E_7$ and $E_8$.