We construct mirror abstract Lefschetz fibrations associated to a class of surfaces with cyclic quotient singularities which we call effective. These surfaces can be obtained by contracting disjoint chains of smooth rational curves inside the anticanonical cycle $D$ of a smooth log Calabi-Yau surface $(Y,D)$ with maximal boundary and considering the result as an orbifold. The Fukaya-Seidel categories of these abstract Lefschetz fibrations admit semiorthogonal decompositions akin to the ones described via the derived special McKay correspondence of Ishii and Ueda arXiv:1104.2381v2 [math.AG]. We apply this construction to establish an equivalence at the large volume limit between the derived category of an effective orbifold log Calabi-Yau surface with points of type $\frac{1}{k}(1,1)$ and the Fukaya-Seidel category of its mirror Lefschetz fibration. We also compare the abstract construction to an explicit Landau-Ginzburg model defined by a Laurent polynomial associated to a toric degeneration in the case of the family of hypersurfaces $X_{k+1}\subset \mathbb{P}(1,1,1,k)$. The hypersurfaces $X_{k+1}$ admit a non-trivial moduli of complex structures, which we compare with an open subset of the space of symplectic structures on the total space of the mirror Landau-Ginzburg model via a mirror map built out of intrinsic quantities in a non-exact Fukaya-Seidel category.
In this article we complete the work started in arXiv:2303.00376v1 [math.AG] and arXiv:2404.18808v1 [math.AG], explicitly determining the Weierstrass semigroup at any place and the full automorphism group of a known $\mathbb{F}_{q^2}$-maximal function field $Z_3$ having the third largest genus, for $q \equiv 0 \pmod 3$. The cases $q \equiv 2 \pmod 3$ and $q \equiv 1 \pmod 3$ have been in fact analyzed in arXiv:2303.00376v1 [math.AG] and arXiv:2404.18808v1 [math.AG], respectively. As in the other two cases, the function field $Z_3$ arises as a Galois subfield of the Hermitian function field, and its uniqueness (with respect to the value of its genus) is a well-known open problem. Knowing the Weierstrass semigroups may provide a key towards solving this problem. Surprisingly enough, $Z_3$ has many different types of Weierstrass semigroups and the set of its Weierstrass places is much richer than its set of $\mathbb{F}_{q^2}$-rational places. We show that a similar exceptional behaviour does not occur in terms of automorphisms, that is, $\mathrm{Aut}(Z_3)$ is exactly the automorphism group inherited from the Hermitian function field, apart from the case $q=3$.
In this paper, which is a follow-up of the previous ones (arXiv: 2406.14414 [math.AG] and arXiv: 2511.05117 [math.AG]), we extend the explicit parametrization of torsion-free rank \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$1$$\end{document} sheaves on projective irreducible curves with vanishing cohomology groups obtained earlier to an analogous parametrization of torsion-free sheaves of arbitrary rank with vanishing cohomology groups on projective irreducible curves. As an illustration of our theorem we calculate an explicit example, namely, the parametrization of rank \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$2$$\end{document} sheaves on the Weierstrass cubic curve.
We explain how the geometric framework introduced in arXiv:2508.11621 [math.AG] provides a universal property for the 2-rings of perfect complexes on qcqs spectral or Dirac spectral schemes. As an application, given a qcqs spectral or Dirac spectral scheme $X$ this produces a comparison morphism from $\operatorname{Spec} \mathrm{Perf}_{X}$ to $X$ itself, which is moreover natural in $X$. When $X$ is an ordinary qcqs scheme, this construction supplies a new proof of the Balmer-Thomason reconstruction of $X$ from its space of thick subcategories, assuming the result for noetherian rings due to Neeman. As another application, we find spectral and Dirac spectral enhancements of support varieties arising for 2-rings in representation theory which"geometrize"the 2-rings that produce them. For example, given a finite group $G$ over a field $k$, this produces a"spectral support variety"$\mathcal{V}_{G}$ such that $\mathrm{Perf}_{\mathcal{V}_{G}}$ maps into the stable module category of $kG$. We derive these results as a corollary of a general affineness criterion for 2-schemes which are covered by the Zariski spectra of rigid 2-rings: this states that such 2-schemes are affine if and only if they are quasicompact and quasiseparated.
We show that the continuous \'etale cohomology groups $H^n_{\mathrm{cont}}(X,\mathbf{Z}_l(n))$ of smooth varieties $X$ over a finite field $k$ are spanned as $\mathbf{Z}_l$-modules by the $n$-th Milnor $K$-sheaf locally for the Zariski topology, for all $n\ge 0$. Here $l$ is a prime invertible in $k$. This is the first general unconditional result towards the conjectures of arXiv:math/9801017 (math.AG) which put together the Tate and the Beilinson conjectures relative to algebraic cycles on smooth projective $k$-varieties.
This paper is a follow-up to Positselski and Št’ovíček (Flat quasi-coherent sheaves as directed colimits, and quasi-coherent cotorsion periodicity. Electronic preprint arXiv:2212.09639 [math.AG]). We consider two algebraic settings of comodules over a coring and contramodules over a topological ring with a countable base of two-sided ideals. These correspond to two (noncommutative) algebraic geometry settings of certain kind of stacks and ind-affine ind-schemes. In the context of a coring C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {C}}$$\end{document} over a noncommutative ring A, we show that all A-flat C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {C}}$$\end{document}-comodules are ℵ1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\aleph _1$$\end{document}-directed colimits of A-countably presentable A-flat C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {C}}$$\end{document}-comodules. In the context of a complete, separated topological ring R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {R}}$$\end{document} with a countable base of neighborhoods of zero consisting of two-sided ideals, we prove that all flat R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {R}}$$\end{document}-contramodules are ℵ1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\aleph _1$$\end{document}-directed colimits of countably presentable flat R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {R}}$$\end{document}-contramodules. We also describe arbitrary complexes, short exact sequences, and pure acyclic complexes of A-flat C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {C}}$$\end{document}-comodules and flat R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {R}}$$\end{document}-contramodules as ℵ1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\aleph _1$$\end{document}-directed colimits of similar complexes of countably presentable objects. The arguments are based on a very general category-theoretic technique going back to an unpublished 1977 preprint of Ulmer and rediscovered in Positselski (Notes on limits of accessible categories. Electronic preprint arXiv:2310.16773 [math.CT]). Applications to cotorsion periodicity and coderived categories of flat objects in the respective settings are discussed. In particular, in any acyclic complex of cotorsion R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {R}}$$\end{document}-contramodules, all the contramodules of cocycles are cotorsion.
As announced in Gross and Siebert (in Algebraic geometry: Salt Lake City 2015, Proceedings of Symposia in Pure Mathematics, vol 97, no 2. AMS, Providence, pp 199–230, 2018) in 2016, we construct and prove consistency of the canonical wall structure. This construction starts with a log Calabi–Yau pair (X, D) and produces a wall structure, as defined in Gross et al. (Mem. Amer. Math. Soc. 278(1376), 1376, 1–103, 2022). Roughly put, the canonical wall structure is a data structure which encodes an algebro-geometric analogue of counts of Maslov index zero disks. These enumerative invariants are defined in terms of the punctured invariants of Abramovich et al. (Punctured Gromov–Witten invariants, 2020. arXiv:2009.07720v2 [math.AG]). There are then two main theorems of the paper. First, we prove consistency of the canonical wall structure, so that, using the setup of Gross et al. (Mem. Amer. Math. Soc. 278(1376), 1376, 1–103, 2022), the canonical wall structure gives rise to a mirror family. Second, we prove that this mirror family coincides with the intrinsic mirror constructed in Gross and Siebert (Intrinsic mirror symmetry, 2019. arXiv:1909.07649v2 [math.AG]). While the setup of this paper is narrower than that of Gross and Siebert (Intrinsic mirror symmetry, 2019. arXiv:1909.07649v2 [math.AG]), it gives a more detailed description of the mirror.
A new approach based on the nonequilibrium statistical operator is presented that makes it possible to take into account the inhomogeneous particle distribution and provides obtaining all thermodynamic relations of self-gravitating systems. The equations corresponding to the extremum of the partition function completely reproduce the well-known equations of the general theory of relativity. Guided by the principle of Mach's "economing of thinking" quantitatively and qualitatively, is shown that the classical statistical description and the associated thermodynamic relations reproduce Einstein's gravitational equation. The article answers the question of how is it possible to substantiate the general relativistic equations in terms of the statistical methods for the description of the behavior of the system in the classical case.
We provide a description of the fundamental group of the quotient of a product of topological spaces X i, each admitting a universal cover, by a finite group G, provided that there is only a finite number of path-connected components in X g i for every g ∈ G. This generalizes previous work of Bauer-Catanese-Grunewald-Pignatelli and Dedieu-Perroni.
We classify all smooth projective horospherical varieties of Picard group $\mathbb{Z}^2$ and we give a first description of their geometry via the Log Minimal Model Program.
We provide an equivalence between the category of affine, smooth group schemes over the ring of generalized dual numbers $k[I]$, and the category of extensions of the form $1 \to \text{Lie}(G, I) \to E \to G \to 1$ where G is an affine, smooth group scheme over k. Here k is an arbitrary commutative ring and $k[I] = k \oplus I$ with $I^2 = 0$. The equivalence is given by Weil restriction, and we provide a quasi-inverse which we call Weil extension. It is compatible with the exact structures and the $\mathbb{O}_k$-module stack structures on both categories. Our constructions rely on the use of the group algebra scheme of an affine group scheme; we introduce this object and establish its main properties. As an application, we establish a Dieudonné classification for smooth, commutative, unipotent group schemes over $k[I]$.
The main result of this article is to construct infinite families of non-equivalent equivariant real forms of linear C*-actions on affine four-space. We consider the real form of $\mathbb{C}^*$ whose fixed point is a circle. In [F-MJ] one example of a non-linearizable circle action was constructed. Here, this result is generalized by developing a new approach which allows us to compare different real forms. The constructions of these forms are based on the structure of equivariant $\mathrm{O}_2(\mathbb{C})$-vector bundles.
Building on the work of the fourth author in math.AG/9904074, we prove the weak factorization conjecture for birational maps in characteristic zero: a birational map between complete nonsingular varieties over an algebraically closed field K of characteristic zero is a composite of blowings up and blowings down with smooth centers. Such a factorization exists which is functorial with respect to absolute isomorphisms, and compatible with a normal crossings divisor. The same holds for algebraic and analytic spaces. Another proof of the main theorem by the fourth author appeared in math.AG/9904076.
Let $X$ be a smooth complex projective variety, $a\colon X\rightarrow A$ a morphism to an abelian variety such that $\mathrm{Pic}^0(A)$ injects into $\mathrm{Pic}^0(X)$ and let $L$ be a line bundle on $X$; denote by $h^0_a(X,L)$ the minimum of $h^0(X,L\otimes a^*α)$ for $α\in \mathrm{Pic}^0(A)$. The so-called Clifford-Severi inequalities have been proven in arXiv:1303.3045 [math.AG] and arXiv:1606.03290 [math.AG]}; in particular, for any $L$ there is a lower bound for the volume given by: $$\mathrm{vol}(L)\ge n! h^0_a(X,L),$$ and, if $K_X-L$ is pseudoeffective, $$\mathrm{vol}(L)\ge 2n! h^0_a(X,L).$$ In this paper we characterize varieties and line bundles for which the above Clifford-Severi inequalities are equalities.
We prove that the affine cone over a general primitively polarised K3 surface of genus g is smoothable if and only if g ≤ 10 or g = 12. We also give several examples of singularities with special behaviour, such as surfaces whose affine cone is smoothable even though the projective cone is not.
This is the second part of the paper "A degeneration of stable morphisms and relative stable morphisms", (math.AG/0009097). In this paper, we constructed the relative Gromov-Witten invariants of a pair of a smooth variety and a smooth divisor. We then proved a degeneration formula of Gromov-Witten invariants, in cycle form.
This article is an extended version of preprint math.AG/9902104. We find an explicit formula for the number of topologically different ramified coverings of a sphere by a genus g surface with only one complicated branching point in terms of Hodge integrals over the moduli space of genus g curves with marked points.
We exhibit an intimate relationship between "reciprocity sheaves" from arXiv:1402.4201 [math.AG] and "modulus sheaves with transfers" from arXiv:1908.02975 [math.AG] and arXiv:1910.14534 [math.AG].