Search

If $R$ is a topological ring, then it is well known that $R^{\ast}$, the group of units of $R$, with the subspace topology is not necessarily a topological group. This fact first leads us to a natural definition: By an \emph{absolute topological ring} we mean a topological ring such that its group of units with the subspace topology is a topological group. We prove that every commutative ring with the $I$-adic topology is an absolute topological ring. Next we show that for a given topological ring $R$ then $R^{\ast}$ with the subspace topology $\mathscr{T}$ is a topological group (or equivalently, $R$ is an absolute topological ring) if and only if $\mathscr{T}=\mathscr{T}_{f}$ where the topology $\mathscr{T}_{f}$ over $R^{\ast}$ is induced by the map $R^{\ast}\rightarrow R\times R$ which is given by $a\mapsto(a,a^{-1})$. If $G$ is a topological group then every monomial function $G^{n}\rightarrow G$ as well as if $R$ is a topological ring then every polynomial function $R^{n}\rightarrow R$ are continuous. In particular, the Boolean ring of every topological ring with the subspace topology is a topological ring. We prove that for the $I$-adic topology over a ring $R$, then $\pi_{0}(R)=R/(\bigcap\limits_{n\geqslant1}I^{n})=t(R)$ where $\pi_{0}(R)$ is the space of connected components of $R$ and $t(R)$ is the space of irreducible closed subsets of $R$. We show that if the identity element of a topological group is dense, then its topology is trivial. As a consequence, a normal subgroup of a topological group is dense if and only if the topology of the quotient group is trivial. Finally, we realized that the main result of Koh \cite{kwangil} as well as its corrected version \cite[Chap II, \S12, Theorem 12.1]{Ursul} are not true, then we corrected this result in the right way., Comment: 13 pages

Motivated by the cohomological construction for the BV formalism from physics, this thesis asks how to perform the intersections and quotients appearing in the BV construction. This leads to the study of the derived symplectic reduction and the extension of these classical notions for group action and infinitesimal actions of Lie algebroids. In this context, we generalize the classical notion of moment maps for global and infinitesimal actions. We then study examples of such moment maps and their derived reductions and produce new shifted examples through a procedure of derived Lagrangian intersection. We then motivate why these new examples can bring a new geometric understanding of the BV complex as a generalized shifted symplectic reduction., Comment: 266 pages, PhD thesis

The aim of this paper is to estimate the irrationality of moduli spaces of hyperkähler manifolds of types K3$^{[n]}$, Kum$_{n}$, OG6, and OG10. We prove that the degrees of irrationality of these moduli spaces are bounded from above by a universal polynomial in the dimension and degree of the manifolds they parametrize. We also give a polynomial bound for the degrees of irrationality of moduli spaces of $(1,d)$-polarized abelian surfaces., 29 pages. Comments are welcome!

For an algebraic curve $\mathcal{X}$ defined over an algebraically closed field of characteristic $p > 0$, the $a$-number $a(\mathcal{X})$ is the dimension of the space of exact holomorphic differentials on $\mathcal{X}$. We compute the $a$-number for a family of certain Picard curves, using the action of the Cartier operator on $H^0(\mathcal{X},\Omega^1)$.

Normal complexes are orthogonal truncations of polyhedral fans. In this paper, we develop the study of mixed volumes for normal complexes. Our main result is a sufficiency condition that ensures when the mixed volumes of normal complexes associated to a given fan satisfy the Alexandrov-Fenchel inequalities. By specializing to Bergman fans of matroids, we give a new proof of the Heron-Rota-Welsh Conjecture as a consequence of the Alexandrov-Fenchel inequalities for normal complexes., Comment: 37 pages, 17 images, comments welcome

We prove the addition-deletion theorems for the Solomon-Terao polynomials, which have two important specializations. Namely, one is to the characteristic polynomials of hyperplane arangements, and the other to the Poincar\`{e} polynomials of the regular nilpotent Hessenberg varieties. One of the main tools to show them is the free surjection theorem which confirms the right exactness of several important exact sequences among logarithmic modules. Moreover, we introduce a generalized polynomial $B$-theory to the higher order logarithmic modules, whose origin was due to Terao., Comment: 22 pages

As shown by P-E Paradan, the set of orbits contained in the sum of two holomorphic orbits in the Lie algebra of U(p,q) is determined by a set of inequalities similar to the Horn inequalities for the sum of conjugacy classes of two Hermitian matrices. We give another proof of these inequalities using representations of quivers. We also discuss the implications of these inequalities for the decomposition of tensor products of representations of the holomorphic discrete series.

In this article, we look into the tree gonality of genus $3$ metric graphs $\Gamma$ which is defined as the minimum of degrees of all tropical morphisms from any tropical modification of $\Gamma$ to any metric tree. It is denoted by tgon$(\Gamma)$ and is at most $3$. We define hyperelliptic metric graphs in terms of tropical morphisms and tree gonality. Let $\Gamma$ be a genus $3$ metric graph with tgon$(\Gamma) = 3$ which is not hyperelliptic. In this paper, for such metric graphs $\Gamma$, we construct a tropical modification $\Gamma'$ of $\Gamma$, a metric tree $T$ and a tropical map $\varphi:\Gamma' \to T$ of degree $3$., Comment: 38 pages, 61 figures

An LCK (locally conformally Kahler) manifold is a complex manifold admitting a Hermitian form $\omega$ which satisfies $d\omega =\omega\wedge \theta$, where $\theta$ is a closed 1-form, called the Lee form. An LCK manifold is called Vaisman if the Lee form is parallel with respect to the Levi-Civita connection. The dual vector field, called the Lee field, is holomorphic and Killing. We prove that any holomorphic tensor on a Vaisman manifold is invariant with respect to the Lee field. This is used to compute the Kodaira dimension of Vaisman manifolds. We prove that the Kodaira dimension of a Vaisman manifold obtained as a $Z$-quotient of an algebraic cone over a projective manifold $X$ is equal to the Kodaira dimension of $X$. This can be applied to prove the deformational stability of the Kodaira dimension of Vaisman manifolds., Comment: 16 pages, Latex, version 1.0. arXiv admin note: substantial text overlap with arXiv:2208.07188

We study transverse equivariant Hilbert schemes of $W$-invariant affine hypertoric varieties. In particular, we show that the Coulomb branches of Braverman, Finkelberg, and Nakajima can be obtained either as such Hilbert schemes or Hamiltonian reductions thereof. We also investigate the putative complete hyperk\"ahler metrics on these objects. We show that they can be described as natural $L^2$-metrics on moduli spaces of solutions to Nahm's equations on a star-shaped graph with poles at the outer ends of the edges and with the matching of solutions at the central vertex described by a hyperspherical variety canonically associated to a hypertoric variety.

We prove that the surface $S(X)$ of bitangent lines of a general smooth quartic surface $X$ in $\mP^3$ has unobstructed deformations of dimension $20=h^1(S(X), T_{S(X)})$. In addition, we show that the space of infinitesimal embedded deformations of $X$ injects into the one of $S(X)$. Finally we prove that there is a natural birational map from the 20--dimensional moduli space of (polarised) double coverings of EPW--sextics to the moduli space of regular surfaces $S$ with $p_g=45$ and $K_S^2=360$ polarised with a very ample line bundle $H$ such that $H^2=40$, $h^0(S, H)=6$: the map sends a double covering of a EPW--sextic in $\mP^5$ to the surface of double points of the EPW--sextic.

We propose a novel sufficient condition establishing that a piecewise affine variety has the same topology as a variety of the sphere $\mathbb{S}^n$ defined by positively homogeneous $C^1$ functions. This covers the case of $C^1$ varieties in the projective space $\mathbb{P}^n$. We prove that this condition is sufficient in the case of codimension one and arbitrary dimension. We describe an implementation working for homogeneous polynomials in arbitrary dimension and codimension and give experimental evidences that our condition might still be sufficient in codimension greater than one.

Surfaces of amplitude 1 in ordinary projective space are of general type, but this need not be the case in weighted projective spaces. Indeed, there are 4 classes of quasi-smooth weighted hypersurfaces in $\mathbf{P}(1,2,a,b)$ of amplitude 1 with an elliptic pencil cut out by hyperplanes. Their moduli spaces are constructed, the monodromy of their universal families is determined as well as their period maps. These all turn out to be non-injective. We analyse the reason behind this, which for each type is different. For the two classes that give properly elliptic surfaces this leads to a mixed Torelli-type theorem as in the case of the Catanese-Kunev-Todorov surfaces., Comment: In this version we added some material (e.g. computations using SAGE) and we corrected minor errors

We suggest to look at formal sentences describing complex algebraic varieties together with their universal covers as topological invariants. We prove that for abelian varieties and Shimura varieties this is indeed a complete invariant, i.e. it determines the variety up to complex conjugation.

We study topological strings on non-commutative resolutions of singular Calabi-Yau threefolds that are double covers of $\mathbb{P}^3$, ramified over determinantal octic surfaces. Using conifold transitions to complete intersections in toric ambient spaces, we prove that any small resolution has 2-torsional exceptional curves and is necessarily non-K\"ahler. The same transitions imply that M-theory develops a $\mathbb{Z}_2$ gauge symmetry on the singular space. We then construct gauged linear sigma models with hybrid phases that flow to the worldsheet theories of strings propagating on the determinantal double solids in the presence of a flat but topologically non-trivial B-field. Localizing the sphere partition function allows us to calculate the fundamental periods of the mirror Calabi-Yau manifolds, then we check agreement with the periods of the Borisov-Li mirrors. We find that the corresponding variations of Hodge structure either correspond to one of the 14 hypergeometric cases or to a double cover thereof. We then use mirror symmetry and integrate the holomorphic anomaly equations to calculate $\mathbb{Z}_2$-refined Gopakumar-Vafa invariants for several examples., Comment: 74 pages + references

We study the relationship between solutions to better-behaved GKZ hypergeometric systems near different large radius limit points, and their geometric counterparts given by the $K$-groups of the associated toric Deligne-Mumford stacks. We prove that the $K$-theoretic Fourier-Mukai transforms associated to toric wall-crossing coincide with analytic continuation transformations of Gamma series solutions to the better-behaved GKZ systems, which settles a conjecture of Borisov and Horja., Comment: 19 pages, 1 figure

For any $i \geq 1$, we construct smooth projective families of algebraic varieties in characteristic $p$ of relative dimension $i+1$ such that the dimension of the $i$-th de Rham cohomology groups of the fibers can be made to jump by an arbitrarily large amount. To do this, we first construct an example using the classifying stack of an appropriately constructed finite flat group scheme which deforms $\mathbb{Z}/p^2\mathbb{Z}$ to $\alpha_p \oplus \alpha_p$., Comment: 7 pages. Comments welcome!

In order to study certain algebraic objects, and notably algebraic groups, Serre introduced the notion on invariants, in particular cohomological invariants. The construction of non-trivial cohomological invariants of algebraic groups is an active area of modern research, and very few invariants are known in degree greater than 3. In the first chapter, we give a complete description of Witt and cohomological invariants of the functors In as combinations of fundamental invariants behaving like divided powers, whose construction relies crucially on lambda operations in the Grothendieck-Witt ring. We also study the behaviour of these invariants with respect to various operations such as products or similitudes. The second chapter is dedicated to the construction of a "mixed" Witt ring associated to an algebra with involution : the fundamental idea is to define the product of two $ε$-hermitian forms using a Morita equivalence given by the involution trace form of the algebra. We also define lambda operations on the mixed Grothendieck-Witt ring, as well as a fundamental filtration imitating the split case. A particular attention is given to explicit calculations in the case of algebras of index 2. We use those tools in the third chapter to mimic the constructions of chapter 1 in the framework of hermitian forms, and thus construct cohomological invariants of algebras with involution, with more detailed results in index 2. The main interest is to be in principle able to define non-trivial invariants of arbitrarily high degree, although the index constitues a form of obstruction., thesis, in French, 143 pages

Let $X$ be a smooth complex projective rationally connected threefold with $-K_X$ nef and not semi-ample. In our previous work, we classified all such threefolds when $|{-}K_X|$ has no fixed divisor. In this paper, we continue our classification when $|{-}K_X|$ has a non-zero fixed divisor.

Weighted projective spaces are natural generalizations of projective spaces with a rich structure. Projective Reed-Muller codes are error-correcting codes that played an important role in reliably transmitting information on digital communication channels. In this case study, we explore the power of commutative and homological algebraic techniques to study weighted projective Reed-Muller (WPRM) codes on weighted projective spaces of the form $\mathbb{P}(1,1,a)$. We compute minimal free resolutions and thereby obtain Hilbert series for the vanishing ideal of the $\mathbb{F}_q$-rational points, and compute main parameters for these codes.

In this article, we construct the Gysin isomorphisms in the axiomatic motivic setting for fs log schemes. We formulate the purity transformations for log smooth morphisms. We show that the purity transformations are isomorphisms for certain specific non-strict morphisms of fs log schemes., Comment: 53 pages

This is a collection of open problems and research ideas following the presentations and the discussions of the AGATES Kickoff Workshop held at the Institute of Mathematics of the Polish Academy of Sciences (IMPAN) and at the Department of Mathematics of University of Warsaw (MIM UW), September 19-26, 2022., Comment: Comments are welcome. Final version also available at https://agates.mimuw.edu.pl/index.php/research-reports-and-notes

We study the twisted ampleness criterion due to Collins, Jacob and Yau on surfaces, which is equivalent to the existence of solutions to the deformed Hermitian-Yang-Mills (dHYM) equation. When $X$ is a Weierstrass elliptic K3 surface, and $L$ is a line bundle and $\omega$ an ample class such that $c_1(L)$ and $\omega$ both lie in the span of a section class and a fiber class, we show that $L$ is always stable with respect to the Bridgeland stability $\sigma_{\omega,0}$ provided $L$ has fiber degree 1 and $\omega c_1(L)>0$. As a corollary, for such $L$ and $\omega$, whenever $L$ is twisted ample with respect to $\omega$, or equivalently, $L$ admits a solution of the dHYM equation, the line bundle $L$ is $\sigma_{\omega,0}$-stable, thus answering a question by Collins and Yau for a class of examples.

This paper goes beyond Katz-Sarnak theory on the distribution of curves over finite fields according to their number of rational points, theoretically, experimentally and conjecturally. In particular, we give a formula for the limits of the moments measuring the asymmetry of this distribution for (non-hyperelliptic) curves of genus $g \geq 3$. The experiments point to a stronger notion of convergence than the one provided by the Katz-Sarnak framework for all curves of genus $\geq 3$. However, for elliptic curves and for hyperelliptic curves of every genus we prove that this stronger convergence cannot occur., Comment: 22 pages, 5 figures

We give a simple recursion for the minimal generators $G=\{g_i\}$ of the generic value set $\Lambda_{gen}$ of a plane curve germ $C$ with a two-generator semigroup $\Gamma \langle p, m \rangle$. The main result provides for explicit calculation of all $g_i$ and shows that they are in fact minimal generators. Explicit formulas for the cardinality of the minimal generators $|G|$ and for the conductor $c(\Lambda_{gen})$ of $\Lambda_{gen}$ are given. The recursion can be used to compute the generic Tjurina number $\tau_{gen}$ in this case, a method we compare to that given by Alberich-Carrami\~nana, Almir\'on, Blanco, and Melle-Hern\'andez (arXiv:1904.02652). The main result is based on the non-explicit algorithm and ideas of Delorme.

In this paper, we use algebro-geometric methods in order to derive classification results for so-called $D$-bialgebra structures on the power series algebra $A[\![z]\!]$ for certain central simple non-associative algebras $A$. These structures are closely related to a version of the classical Yang-Baxter equation (CYBE) over $A$. If $A$ is a Lie algebra, we obtain new proofs for pivotal steps in the known classification of non-degenerate topological Lie bialgebra structures on $A[\![z]\!]$ as well as of non-degenerate solutions of the usual CYBE. If $A$ is associative, we achieve the classification of non-triangular topological balanced infinitesimal bialgebra structures on $A[\![z]\!]$ as well as of all non-degenerate solutions of an associative version of the CYBE.

Roughly speaking, the problem of geography asks for the existence of varieties of general type after we fix some invariants. In dimension $1$, where we fix the genus, the geography question is trivial, but already in dimension $2$, it becomes a hard problem in general. In higher dimensions, this problem is essentially wide open. In this paper, we focus on geography in dimension $3$. We generalize the techniques which compare the geography of surfaces with the geography of arrangements of curves via asymptotic constructions. In dimension $2$ this involves resolutions of cyclic quotient singularities and a certain asymptotic behavior of the associated Dedekind sums and continued fractions. We discuss the general situation with emphasis on dimension $3$, analyzing the singularities and various resolutions that show up, and proving results about the asymptotic behavior of the invariants we fix.

This is my habilitation thesis. As the tradition wants, I tried to give an introduction of my field of research. I post it on the ArXiv with the hope it can be useful to young researchers looking for a short and friendly text on cohomologies of algebraic varieties, periods, algebraic cycles and motives. I might one day find the energy to expand these notes and maybe translate them in English. In the meantime, please feel free to ask questions. The first sections of this text propose an introduction to the theory, I tried to present points of view and examples which are not always stressed in the literature. A leitmotif of the thesis is the difference between phenomena in characteristic zero and those in positive characteristic. The main results are: the standard conjecture of Hodge type for abelian foufolds; the construction of a class of $p$-adic periods controlled by motivic Galois groups and for which it is possible to formulate a $p$-adic analog of the Grothendieck period conjecture; the standard conjecture of Lefschetz type for the Laza--Sacc\`a--Voisin varieties and the Chow-K\"unneth conjecture for commutative group schemes. The techniques are based on $p$-adic Hodge theory, representation theory, perverse sheaves and motivic complexes \`a la Voevodsky., Comment: Habilitation thesis, in French

The Grothendieck conjecture for hyperbolic curves over finite fields was solved affirmatively by Tamagawa and Mochizuki. On the other hand, (a ``weak version'' of) the Grothendieck conjecture for some hyperbolic curves over algebraic closures of finite fields is also known by Tamagawa and Sarashina. So, it is natural to consider anabelian geometry over (infinite) algebraic extensions of finite fields. In the present paper, we give certain generalizations of the above results of Tamagawa and Sarashina to hyperbolic curves over these fields. Moreover, we give a necessary and sufficient condition for algebraic extensions of finite fields to be (torally) Kummer-faithful in terms of their absolute Galois groups., Comment: 21 pages

Delta-matroids are "type B" generalizations of matroids in the same way that maximal orthogonal Grassmannians are generalizations of Grassmannians. A delta-matroid analogue of the Tutte polynomial of a matroid is the interlace polynomial. We give a geometric interpretation for the interlace polynomial via the K-theory of maximal orthogonal Grassmannians. To do so, we develop a new Hirzebruch-Riemann-Roch-type formula for the type B permutohedral variety., Comment: 19 pages

Given a curve $C$ and a linear system $\ell$ on $C$, the secant locus $V_e^{e-f}( \ell )$ parametrises effective divisors of degree $e$ which impose at most $e-f$ conditions on $\ell$. For $E \to C$ a vector bundle of rank $r$, we define determinantal subschemes $H_e^{e-f} ( \ell ) \subseteq \mathrm{Hilb}^e ( \mathbb{P} E )$ and $Q_e^{e-f} (V) \subseteq \mathrm{Quot}^{0, e} ( E^* )$ which generalise $V_e^{e-f} ( \ell )$, giving several examples. We describe the Zariski tangent spaces of $Q_e^{e-f} (V)$, and give examples showing that smoothness of $Q_e^{e-f} (V)$ is not necessarily controlled by injectivity of a Petri map. We generalise the Abel--Jacobi map and the notion of linear series to the context of Quot schemes. We give some sufficient conditions for nonemptiness of generalised secant loci, and a criterion in the complete case when $f = 1$ in terms of the Segre invariant $s_1 (E)$. This leads to a geometric characterisation of semistability similar to that in arxiv:1812.00706. Using these ideas, we also give a partial answer to a question of Lange on very ampleness of ${\mathcal O}_{\mathbb{P} E} (1)$, and show that for any curve, $Q_e^{e-1} (V)$ is either empty or of the expected dimension for sufficiently general $E$ and $V$. When $Q_e^{e-1} (V)$ has and attains expected dimension zero, we use formulas of Oprea--Pandharipande and Stark to enumerate $Q_e^{e-1} (V)$. We mention several possible avenues of further investigation., Comment: 34 pages

Let $X$ be a toric variety. We establish vanishing (and non-vanishing) results for the sheaves $R^if_*\Omega^p_{\tilde X}(\log E)$, where $f: \tilde{X} \to X$ is a strong log resolution of singularities with reduced exceptional divisor $E$. These extend the local vanishing theorem for toric varieties in [MOP20]. Our consideration of these sheaves is motivated by the notion of $k$-rational singularities introduced by Friedman and Laza [FL22b]. In particular, our results lead to criteria for toric varieties to have $k$-rational singularities, as defined in [SVV23]., Comment: 17 pages. Comments welcome!

It is often stated that the Carlitz module is to the ring of univariate polynomials over a finite field what the multiplicative group is to the ring of integers. This analogy extends to the "rank 2" case, where Drinfeld modules play a role similar to that of elliptic curves. This work grew out with the will of finding a common definition for these objects, depending only on the ring of coefficients, and thus elevating this analogy to a common theory. To that end, we introduce a class of algebraic $A$-modules for a finitely generated Dedekind ring $A$, called "modules élémentaires", which naturally generalize Drinfeld modules, forms of the multiplicative group, and elliptic curves over a field (when $A$ has the corresponding form). The objective of this text is the classification of these "modules élémentaires"., 21 pages, in French

These lecture notes provide a unified overview of most known canonical desingularization methods in characteristic zero. It starts with discussing the classical method, and then proceeds with the recently discovered ones: logarithmic desingularization of logarithmic schemes and morphisms, weighted methods: logarithmic and non-logarithmic ones, desingularization in wider contexts: quasi-excellent schemes and formal schemes, complex and non-archimedean spaces., Comment: 63 pages, first version, comments are welcome

This paper establishes semiorthogonal decompositions for derived Grassmannians of perfect complexes with Tor-amplitude in $[0,1]$. This result verifies the author's Quot formula conjecture [J21a] and generalizes and strengthens Toda's result in [Tod23]. We give applications of this result to various classical situations such as blowups of determinantal ideals, reducible schemes, and varieties of linear series on curves. Our approach utilizes the framework of derived algebraic geometry, allowing us to work over arbitrary base spaces over $\mathbb{Q}$. It also provides concrete descriptions of Fourier-Mukai kernels in terms of derived Schur functors., Comment: 26 pages. Comments welcome!

We establish a connection between the theory of Ulrich sheaves and $\mathbb{A}^1$-homotopy theory. For instance, we prove that the $\mathbb{A}^1$-degree of a morphism between projective varieties, that is relatively oriented by an Ulrich sheaf, is constant on the target even when it is not $\mathbb{A}^1$-connected. Further if an embedded projective variety is the support of a symmetric Ulrich sheaf of rank one, the $\mathbb{A}^1$-degree of all its linear projections can be read off in an explicit way from the free resolution of the Ulrich sheaf. Finally, we construct an Ulrich sheaf on the secant variety of a curve and use this to define an arithmetic version of Viro's encomplexed writhe for curves in $\mathbb{P}^3$. This can be considered to be an arithmetic analogue of a link invariant.

We study the rank stratification for the differential of a Lagrangian fibration over a smooth basis. We also introduce and study the notion of Lagrangian morphism of vector bundles. As a consequence, we prove some of the vanishing, in the Chow groups of a Lagrangian fibered hyper-Kähler variety $X$, of certain polynomials in the Chern classes of $X$ and the Lagrangian divisor, predicted by the Beauville-Voisin conjecture. Under some natural assumptions on the dimensions of the rank strata, we also establish nonnegativity and positivity results for Chern classes., One reference added. One structure theorem for rank loci added

A $q$-bic hypersurface is a hypersurface in projective space of degree $q+1$, where $q$ is a power of the positive ground field characteristic, whose equation consists of monomials which are products of a $q$-power and a linear power; the Fermat hypersurface is an example. I identify $q$-bics as moduli spaces of isotropic vectors for an intrinsically defined bilinear form, and use this to study their Fano schemes of linear spaces. Amongst other things, I prove that the scheme of $m$-planes in a smooth $(2m+1)$-dimensional $q$-bic hypersurface is an $(m+1)$-dimensional smooth projective variety of general type which admits a purely inseparable covering by a complete intersection; I compute its Betti numbers by relating it to Deligne--Lusztig varieties for the finite unitary group; and I prove that its Albanese variety is purely inseparably isogenous via an Abel--Jacobi map to a certain conjectural intermediate Jacobian of the hypersurface. The case $m = 1$ may be viewed as an analogue of results of Clemens and Griffiths regarding cubic threefolds., Comment: 32 pages, comments very welcome!

Enriques manifolds are non simply connected manifolds whose universal cover is irreducible holomorphic symplectic, and as such they are natural generalizations of Enriques surfaces. The goal of this note is to prove the Morrison-Kawamata cone conjecture for such manifolds when the degree of the cover is prime using the analogous result (established by Amerik-Verbitsky) for their universal cover. We also verify the conjecture for the known examples having non-prime degree.

Let $G$ be a finite graph of genus $g$. Let $d$ and $r$ be non-negative integers such that the Brill-Noether number is non-negative. It is known that for some $k$ sufficiently large, the $k$-th homothetic refinement $G^{(k)}$ of $G$ admits a divisor of degree $d$ and rank at least $r$. We use results from algebraic geometry to give an upper bound for $k$ in terms of $g,d,$ and $r$., Comment: 9 pages, 2 figures

We prove a conjecture of Boyd and Rodriguez Villegas relating the Mahler measure of the polynomial $(1+x)(1+y)+z$ and the value at $s=3$ of the $L$-function of an elliptic curve of conductor $15$. The proof makes use of the computation by Zudilin and the author of the regulator of certain $K_4$ classes on modular curves., Comment: 12 pages, with tables in an appendix

We introduce and motivate the following question: Is every effective strictly nef Cartier divisor on a projective variety big? In the appendix, Andreas Höring produces a counterexample, thus providing a negative answer.

Let $X$ be any smooth Deligne-Mumford stack with projective coarse moduli, and $Y$ be a smooth complete intersection in $X$ associated with a direct sum of semi-positive line bundles. We will introduce a useful and broad class known as admissible series for discussing quantum Lefschetz theorem. For any admissible series on the Givental's Lagrangian cone of $X$, we will show that a hypergeometric modification of the series lies on the Lagrangian cone of $Y$. This confirms a prediction from Coates-Corti-Iritani-Tseng about the genus zero quantum Lefschetz theorem beyond convexity. In our quantum Lefschetz theorem, we use extended variables to formulate the hypergeometric modification, which may be of self-independent interest., Comment: Slightly change the definition of admissible series to allow super variables. Comments welcome!

We complete the analysis on the birational rigidity of quasismooth Fano 3-fold deformation families appearing in the Graded Ring Database as a complete intersection. When such a deformation family $X$ has Fano index at least 2 and is minimally embedded in a weighted projective space in codimension 2, we determine which cyclic quotient singularity is a maximal centre. If a cyclic quotient singularity is a maximal centre, we construct a Sarkisov link to a non-isomorphic Mori fibre space or a birational involution. This allows, in particular, the construction of new examples of Fano 3-folds of codimension 6 which are realised as complete intersections in fake weighted projective spaces. We define linear cyclic quotient singularities on $X$ and prove that these are maximal centres by explicitly computing Sarkisov links centred at them. It turns out that each $X$ has a linear cyclic quotient singularity leading to a new birational model. As a consequence, we show that if $X$ is birationally rigid then its Fano index is 1. If the new birational model is a strict Mori fibre space, we determine its fibration type explicitly. In this case, a general member of $X$ is birational to a del Pezzo fibration of degrees 1, 2 or 3 or to a conic bundle $Y/S$ where $S$ is a weighted projective plane with at most $A_2$ singularities., Comment: 112 pp. Comments are welcome

We develop two methods for expressing the global index of the gradient of a 2 variable polynomial function $f$: in terms of the atypical fibres of $f$, and in terms of the clusters of Milnor arcs at infinity. These allow us to derive upper bounds for the global index, in particular refining the one found by Durfee in terms of the degree of $f$., Comment: 25p, 3 figures

A set of Morse numbers is associated to a holomorphic function germ with stratified isolated singularity, extending the classical Milnor number to the setting of a singular base space., Comment: 9 pages

The main result states that a connected conic singular sub-manifold of a Riemannian manifold, compact when the ambient manifold is non-Euclidean, is Lipschitz Normally Embedded: the outer and inner metric space structures are metrically equivalent. We also show that a closed subset of $\mathbb{R}^n$ is a conic singular sub-manifold if and only if its closure in the one point compactification ${\bf S}^n =\mathbb{R}^n\cup \infty$ is a conic singular sub-manifold. Consequently the connected components of generic affine real and complex algebraic sets are conic at infinity, thus are Lipschitz Normally Embedded., Comment: 28 pages

We define a quadratically enriched count of rational curves in a given divisor class passing through a collection of points on a del Pezzo surface $S$ of degree $\geq 3$ over a perfect field $k$ of characteristic $\neq 2,3.$ When $S$ is $\mathbb{A}^1$-connected, the count takes values in the Grothendieck-Witt group GW(k) of quadratic forms over $k$ and depends only on the divisor class and the fields of definition of the points. More generally, the count is a morphism from the sheaf of connected components of tuples of points on $S$ with given fields of definition to the Grothendieck-Witt sheaf. We also treat del Pezzo surfaces of degree $2$ under certain conditions. The curve count defined in the present work recovers Gromov-Witten invariants when $k = \mathbb{C}$ and Welschinger invariants when $k = \mathbb{R}.$ To obtain an invariant curve count, we define a quadratically enriched degree for an algebraic map $f$ of $n$-dimensional smooth schemes over a field $k$ under appropriate hypotheses. For example, $f$ can be proper, generically finite and oriented over the complement of a subscheme of codimension $2.$ This degree is compatible with F. Morel's GW(k)-valued degree of an $\mathbb{A}^1$-homotopy class of maps between spheres. For $k \subseteq \mathbb{C}$, this produces an enrichment of the topological degree of a map between manifolds of the same dimension., Comment: 47 pages

Building off of work of Harada, Nowroozi, and Van Tuyl which provided particular length two virtual resolutions for finite sets of points in $\mathbb{P}^1\times\mathbb{P}^1$, we prove that the vast majority of virtual resolutions of a pair for minimal elements of the multigraded regularity in this setting are of Hilbert-Burch type. We give explicit descriptions of these short virtual resolutions that depend only on the number of points. Moreover, despite initial evidence, we show that these virtual resolutions are not always short, and we give sufficient conditions for when they are length three., Comment: 21 pages, comments welcome!

Applying Geometric Invariant Theory (GIT), we study the stability of foliations of degree 3 on P^2 with a unique singular point of multiplicity 1, 2, or 3 and Milnor number 13. In particular, we characterize those foliations for multiplicity 2 in three cases: stable, strictly semistable, and unstable.