要約:
We compute explicit bases for the de Rham cohomology of cyclic covers of the projective line defined over an algebraically closed field of characteristic $p\geq 0$. For both Kummer and Artin-Schreier extensions, we describe precise $k$-bases for the cohomology groups $H^{1}(X,\mathcal{O}_{X})$ and $H^{0}(X,\Omega_{X})$, and we use these to construct an explicit basis for the first de Rham cohomology group $H^{1}_{\mathrm{dR}}(X/k)$ via \v{C}ech cohomology. Our approach relies on detailed computations of divisors of functions and differentials, together with residue calculations and the duality pairing between $H^{0}(X,\Omega_{X})$ and $H^{1}(X,\mathcal{O}_{X})$. The resulting expressions are given in closed form in terms of the defining equation of the cover, making the cohomology fully explicit and readily applicable to questions involving group actions, and the study of $p$-cyclic covers.
要約:
We study neurovarieties for polynomial neural networks and fully characterize when they attain the expected dimension in the single-output case. As consequences, we establish non-defectiveness and global identifiability for multi-output architectures.
要約:
We propose a new formulation of a vanishing theorem for surfaces. Although this vanishing theorem follows easily from the well-known Kawamata--Viehweg vanishing theorem, it turns out to be remarkably useful. In particular, it is sufficient for the minimal model theory of log surfaces, and it allows one to carry out both the minimal model program and the abundance theorem for log surfaces without invoking any of the deeper vanishing theorems.
要約:
Let $X$ be a real algebraic variety with set of complex points $X_{\mathbb C}$ and set of real points $X_{\mathbb R}$. A complex slice of $X$ is a transverse intersection of $X_{\mathbb R}$ with a complex subvariety $V$ of $X_{\mathbb C}$. Complex slices are real algebraic varieties of a very special kind. They are cooriented, realize an integer cohomology class. A codimension 2 projective variety is a slice, iff it is a base of pencil of real algebraic hypersurfaces. We prove an upper bound for the linking number of a real projective curve bounding in its complexification with a slice of codimension two.
要約:
We determine the Hodge endomorphism algebras of non-projective complex K3 surfaces (and more generally, hyperk\"ahler manifolds). We show that they are either totally real fields or number fields generated by Salem numbers. This is unlike the projective case, where the endomorphism fields are either totally real or CM. We also develop precise existence criteria and explore the relations to number theory and dynamics.
要約:
Let $X \subset \mathbb{P}^4$ be a quadric threefold with a single ordinary double point, and let $\mathcal{K}u(X)$ be its Kuznetsov component. In this paper, we construct a weak stability condition $\sigma_{\widetilde{\mathcal{D}}'}$ on its categorical resolution $\widetilde{\mathcal{D}}' \subset \mathrm{D^b}(\widetilde{X})$, which is compatible with the Verdier localization $\mathbf{R}\pi_\ast$ and descends to a Bridgeland stability condition on $\mathcal{K}u(X)$. This can be viewed as a three-dimensional analogue of our previous result.
We describe the geometry of the blow-up $\pi \colon \widetilde{X} \longrightarrow X$ and obtain two semiorthogonal decompositions of $\mathrm{D^b}(\widetilde{X})$, arising from the projective bundle structure of $\widetilde{X}$ and from Kuznetsov's categorical resolution. Comparing them, we isolate an admissible subcategory $\widetilde{\mathcal{D}}' \subseteq \mathrm{D^b}(\widetilde{X})$ resolving $\mathcal{K}u(X)$ and show that it admits a full Ext-exceptional collection, from which we construct $\sigma_{\widetilde{\mathcal{D}}'}$.
要約:
In this paper, we prove that for any smooth projective curve $C$ of genus $g\geq2$ over an algebraically closed field of positive characteristic, there exists a stable vector bundle over $C$ whose exterior power is not semi-stable.
要約:
Function field lattices are an interesting example of algebraically constructed lattices. Their minimum distance is bounded below by a function of the gonality of the underlying function field. Known explicit examples--coming mostly from elliptic and Hermitian curves--typically meet this lower bound. In this paper, we construct, for every integer $n \geqslant 4$, a new family of lattices arising from the Fermat function field $F_n$ and the set of its $3n$ total inflection points. These lattices have rank $3n-1$, and we show that their minimum distance equals $\sqrt{2n}$, thereby exceeding the classical bound $\sqrt{2\gamma(F_n)} = \sqrt{2(n-1)}$. We also determine their kissing number, which turns out to be independent of $n$, and analyze the structure of the second shortest vectors. Our results provide the first explicit examples of function field lattices of arbitrarily large rank whose minimum distance surpasses the expected bound, offering new geometric features of potential interest for coding-theoretic and cryptographic applications.
要約:
We prove that very general, dual Gushel-Mukai surfaces are not isomorphic, though derived and L-equivalent. We use this result to study two semiorthogonal decompositions for a family of Fano fourfolds of K3 type, answering a question by Bernardara-Fatighenti-Manivel-Tanturri.
要約:
We develop the basic theory of derived quasi-coherent ideals for stacks relative to a given derived algebraic context. We compare different notions of adic completeness with respect to derived ideals, define and compare formal spectra and formal completions along closed immersions, and connect the theory of derived ideals to that of derived extended Rees algebras. A first application is the construction of derived scheme-theoretic images in full generality. We further show that the deformation space of any nonconnectively affine morphism of derived stacks is nonconnectively affine over the base. We close with a first exploration of transmutation cohomology and filtrations thereof in this more general context.
要約:
We develop the theory of difference algebraic groups in the case where we have finitely many pairwise commuting difference operators. We show that the defining ideal of a difference algebraic group is finitely generated as a difference ideal, and this result allows us to prove the existence of a dimension polynomial for any partial difference algebraic group.
要約:
Let $X$ be a complete toric variety. We give a criterion to decide whether $X$ decomposes as a product of complete toric varieties by analyzing the $1$-skeleton of its fan. More precisely, we prove that any direct-sum decomposition of the 1-skeleton induces a corresponding direct-sum decomposition of the fan itself. As an application, we show that if the identity component of the automorphism group is semisimple, then $X$ must be a product of projective spaces.
要約:
We classify all isomorphisms between moduli stacks of vector bundles of fixed determinant on a smooth complex projective of genus at least 4. It is shown that each isomorphism between two different moduli stacks can be described as a composition of a pullback using an isomorphism of curves, dualization of vector bundles and tensoring with the pullback of a line bundle on the curve. We finally compare the 2-group of automorphisms of the moduli stack of vector bundles with the group of automorphisms of the moduli space of semistable vector bundles.
要約:
For a wildly ramified extension $K/k$ of complete discrete valuation fields we study collections of elements of $k[G]$ (where $G=Gal(K/k)$) that fit well for constructing bases of various associated Galois modules and orders. In the case $G=(Z/pZ)^2$ (where $p$ is the characteristic of residue fields) we are able to compute the action of the elements $(\sigma_1-1)^i(\sigma_2-1)^j,\ 0\le i,j\le p-1,$ on the valuation filtration; here $\sigma_1,\sigma_2$ are generators of $G$. If the ramification jumps of $K/k$ are distinct modulo $p^2$ then these elements do yield "good enough" bases in question.
要約:
We define and study the parabolic K-motivic Hecke category of a (possibly disconnected) Kac-Moody group. Our main result is a combinatorial description via singular K-theory Soergel bimodules which arise from the equivariant algebraic K-theory of parabolic Bott-Samelson resolutions. In the spherical affine case, the K-motivic Hecke category serves as one side of a conjectural quantum K-theoretic derived Satake equivalence, addressing a conjecture of Cautis-Kamnitzer.
要約:
We establish an explicit lower bound for the N\'eron-Tate height on elliptic curves with complex multiplication, for nontorsion points defined over the maximal abelian extension of a number field. Building on a strategy developed by Amoroso, David, and Zannier, we provide an alternative proof of a theorem originally due to Baker. The novelty in our approach is that it produces a lower bound that is fully explicit and independent of the discriminant of the base field.
要約:
We review categorical aspects of 't Hooft's large $N$ expansion, which is expected to map any Quantum Field Theory of large matrices to a string theory. Our goal is to describe a general strategy to derive the string theory dual to given QFT, at least at the leading order in the 't Hooft expansion. The basic idea is to characterize the underlying worldsheet theory of the dual string theory as an extended two-dimensional differential graded Topological Field Theory (dg-TFT), i.e. present an $A_\infty$-category of boundary conditions ("D-branes"). A basic aspect of the 't Hooft expansion is that D-branes arise from the addition of vector-valued degrees of freedom to the QFT. We propose that formal deformations of such "fundamental modifications" must match the formal deformations of the dual D-branes, which in turn capture the $A_\infty$-category structure and thus the worldsheet dg-TFT. We discuss several systems for which a rigorous analysis along these lines is or should be possible.
要約:
We prove the rigidity of Witten-Reshetikhin-Turaev $\mathrm{SU}(2)$ and $\mathrm{SO}(3)$ quantum representations of mapping class groups at all prime levels for closed surfaces of genus at least $7$. The proof relies on Ocneanu rigidity of modular categories and harmonic representatives in Hodge theory.
要約:
Using the birational map between a smooth toric variety (adapted to the phase function of the oscillatory integral) and $\mathbb{R}^n\textbackslash\{0\}$, we can effectively carry out the van der Corput-type analysis in higher dimensions. This allows us to give an elegant derivation of the leading term in Varchenko's asymptotic expansion \cite{Var76}. We expect that this observation may have further applications to other problems involving oscillatory integrals.
要約:
Using a previous novel way of defining kernel functions for Laplacian integral operators on a compact $p$-adic analytic manifold $X$, one such operator $\Delta_0^s$ with $s\in\mathds{R}$ is applied to hearing the Serre invariant $i(X)$ by showing that a wavelet eigenvalue is always congruent to $i(X)$ modulo $q-1$, where $q$ is the cardinality of the residue field $k$ attached to a $p$-adic number field $K$. It is shown how the number of $k$-rational points of the special fibre of the N\'eron model of an elliptic curve defined over $K$ relates to the wavelet spectrum of $\Delta^s_0$, and this then leads to the realisation that the Serre invariant $i(E(X))$ in the case of an elliptic curve $E$ with split multiplicative reduction vanishes modulo $q-1$.
要約:
We construct the first explicit non-trivial example of deformed Hermitian Yang-Mills (dHYM) connection on a higher rank slope-unstable holomorphic vector bundle over a Fano threefold. Additionally, we provide a sufficient algebraic condition in terms of central charges for the existence of dHYM connections on Whitney sum of holomorphic line bundles over rational homogeneous varieties. As a consequence, we obtain several new examples of dHYM connections on higher rank holomorphic vector bundles.
要約:
Recently, Bellamy et al. constructed an infinite series of 4-dimensional isolated symplectic sngularities with trivial local fundamental group, inspired by a question of Beauville. In this short note, we introduce an easy construction of isolated symplectic singularities (of any dimension) with trivial local fundamental group. We will use a toric hyperkaehler construction.
要約:
We give a general formula for generators of the NL-cone, the cone of effective linear combinations of irreducible components of Noether-Lefschetz divisors, on an orthogonal modular variety. We then fully describe the NL-cone and its extremal rays in the cases of moduli spaces of polarized K3 surfaces and hyperk\"ahler manifolds of known deformation type for low degree polarizations. Moreover, we exhibit explicit divisors in the boundary of NL-cones for polarizations of arbitrarily large degrees. Additionally, we study the NL-positivity of the canonical class for these modular varieties. As a consequence, we obtain uniruledness results for moduli spaces of primitively polarized hyperk\"ahler manifolds of ${\rm{OG6}}$ and ${\rm{Kum}}_n$-type. Finally, we show that any family of polarized hyperk\"ahler fourfolds of ${\rm{Kum}}_2$-type with polarization of degree $2$ and divisibility $2$ over a projective base is isotrivial.
要約:
With any hyper-K\"ahler variety $K$ of generalized Kummer type is associated via Hodge theory a K3 surface $S_K$. We show how they are related geometrically through a moduli space of sheaves on $S_K$. As a consequence, building fundamentally on the works of O'Grady, Markman, Voisin, Varesco, we establish the Hodge conjecture for all powers of any of these K3 surfaces as well as for all abelian fourfolds of Weil type with discriminant 1 and their powers, strenghtening a result of Markman.
要約:
We develop the notion of Peskine sixfolds with associated K3 surfaces and cubic fourfolds and work out numerical conditions for when these associations occur. In discriminant 24, the first family for which there is an associated cubic fourfold, we identify the cubic explicitly. Moreover, we prove that in this case the Fano variety of lines of the cubic fourfold is isomorphic to the associated Debarre-Voisin hyperk\"ahler fourfold.
要約:
Let X be a smooth projective variety carrying an Ulrich bundle. In the first part of this note, we construct an Ulrich sheaf on n-th symmetric power of X, which is a singular variety when $DimX >1$. As a consequence, we get the existence of an Ulrich bundle on Hillb^{n}C, where C is a smooth projective curve. Let A be an abelian variety which carries an Ulrich bundle. In the second part of this note, we show the existence of Ulrich bundle on the blow up of $A \times A$ along $A \times \{0\}$.
要約:
We study the notion of $1$-twisted semi-homogeneous vector bundles on $\mathbb{G}_m$-gerbes over abelian varieties, and classify point objects in the twisted derived categories of abelian varieties. As an application, we classify the twisted Fourier-Mukai partners of abelian varieties.
要約:
Serre's uniformity question asks whether there exists a bound $N>0$ such that, for every non-CM elliptic curve $E$ over $\mathbb{Q}$ and every prime $p>N$, the residual Galois representation $\rho_{E,p}:\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \to \operatorname{Aut}(E[p])$ is surjective. The work of many authors has shown that, for $p>37$, this representation is either surjective or has image contained in the normaliser of a non-split Cartan subgroup $C_{ns}^+(p)$. Zywina has further proved that, whenever $\rho_{E,p}$ is not surjective for $p>37$, its image is either $C_{ns}^+(p)$ or a certain subgroup $G(p)$ of $C_{ns}^+(p)$ of index $3$. Recently, Le Fourn and Lemos showed that the index-$3$ case cannot arise for $p>1.4 \cdot 10^7$. We strengthen this result by proving that the image of $\rho_{E, p}$ is not conjugate to $G(p)$ for any prime larger than $5$.
要約:
In the context of Berglund-Huebsch mirror symmetry, we compute the eigenvalues of the Frobenius endomorphism acting on a p-adic version of Borisov's complex. As a result, we conjecture an explicit formula for the number of points of crepant resolutions of invertible Calabi-Yau orbifolds defined over a finite field.
要約:
In this paper, we construct good toroidal and minimal compactifications in the sense of Lan-Stroh for integral models of abelian-type Shimura varieties. We start with finding suitable types of cusp labels and cone decompositions which are compatible with those of the associated Hodge-type Shimura varieties. We then study the action of $\mathbb{Q}$-points of the adjoint group on boundary charts and toroidal compactifications of Hodge-type integral models. In particular, we extend the twisting construction of Kisin and Pappas to boundary charts. Finally, up to taking refinements of cone decompositions, we construct an abelian-type toroidal compactification as an open and closed algebraic subspace of a quotient from a disjoint union of Hodge-type toroidal compactifications and construct minimal compactifications with a similar method. Furthermore, we show results on nearby cycles of these compactifications and verify Pink's formula when the level at $p$ is an intersection of $n$ quasi-parahoric subgroups.
要約:
We describe an algorithm to numerically evaluate Riemann theta functions in any dimension in quasi-linear time in terms of the required precision, uniformly on reduced input. This algorithm is implemented in the FLINT number theory library and vastly outperforms existing software. As an application, we evaluate the theta constants attached to certain special abelian varieties of dimension 6 to construct explicit polynomials of degree 65 over $\mathbb{Q}$ with conjectural Galois group $\mathrm{SL}_2(\mathbb{F}_{64})$.
要約:
In this paper we show that a holomorphic function, defined on an open subset $D$ of $\mathbb{C}^n$, is a complex Nash function if and only if its real part (or equivalently its imaginary part) is a real Nash function.
要約:
This paper investigates the distribution of rational and algebraic points of bounded weighted height in weighted projective spaces over number fields. For a weighted projective space with weights q over a number field k of degree m, we derive an asymptotic formula for the count of such points, featuring a leading term D times X raised to m e Q, plus an error term, where e is the extension degree and Q is the sum of the weights. The constant D combines geometric aspects of the weights with an arithmetic obstruction given by the reciprocal of the gcd of the least common multiple of the weights and Euler's totient of m e. This obstruction stems from the non-surjectivity of the natural morphism from the weighted space to ordinary projective space on rational points, linked to nontrivial torsors under groups of roots of unity. We provide a cohomological interpretation, analogous to the Brauer-Manin obstruction. These findings refine a weighted version of the Batyrev-Manin conjecture and open avenues for applications in moduli theory and arithmetic geometry.