Derived representation schemes and Nakajima quiver varieties

We introduce a derived representation scheme associated with a quiver, which may be thought of as a derived version of a Nakajima variety. We exhibit an explicit model for the derived representation scheme as a Koszul complex and by doing so we show that it has vanishing higher homology if and only if the moment map defining the corresponding Nakajima variety is flat. In this case we prove a comparison theorem relating isotypical components of the representation scheme to equivariant K-theoretic classes of tautological bundles on the Nakajima variety. As a corollary of this result we obtain some integral formulas present in the mathematical and physical literature since a few years, such as the formula for Nekrasov partition function for the moduli space of framed instantons on $$S^4$$ S 4 . On the technical side we extend the theory of relative derived representation schemes by introducing derived partial character schemes associated with reductive subgroups of the general linear group and constructing an equivariant version of the derived representation functor for algebras with a rational action of an algebraic torus.

Non-fillable Augmentations of Twist Knots

We establish new examples of augmentations of Legendrian twist knots that cannot be induced by orientable Lagrangian fillings. To do so, we use a version of the Seidel –Ekholm–Dimitroglou Rizell isomorphism with local coefficients to show that any Lagrangian filling point in the augmentation variety of a Legendrian knot must lie in the injective image of an algebraic torus with dimension equal to the 1st Betti number of the filling. This is a Floer-theoretic version of a result from microlocal sheaf theory. For the augmentations in question, we show that no such algebraic torus can exist.

LAURENT POLYNOMIAL LANDAU–GINZBURG MODELS FOR COMINUSCULE HOMOGENEOUS SPACES

In this article we construct Laurent polynomial Landau–Ginzburg models for cominuscule homogeneous spaces. These Laurent polynomial potentials are defined on a particular algebraic torus inside the Lie-theoretic mirror model constructed for arbitrary homogeneous spaces in [Rie08]. The Laurent polynomial takes a similar shape to the one given in [Giv96] for projective complete intersections, i.e., it is the sum of the toric coordinates plus a quantum term. We also give a general enumeration method for the summands in the quantum term of the potential in terms of the quiver introduced in [CMP08], associated to the Langlands dual homogeneous space. This enumeration method generalizes the use of Young diagrams for Grassmannians and Lagrangian Grassmannians and can be defined type-independently. The obtained Laurent polynomials coincide with the results obtained so far in [PRW16] and [PR13] for quadrics and Lagrangian Grassmannians. We also obtain new Laurent polynomial Landau–Ginzburg models for orthogonal Grassmannians, the Cayley plane and the Freudenthal variety.

CLASS NUMBERS OF CM ALGEBRAIC TORI, CM ABELIAN VARIETIES AND COMPONENTS OF UNITARY SHIMURA VARIETIES

We give a formula for the class number of an arbitrary complex mutliplication (CM) algebraic torus over $\mathbb {Q}$ . This is proved based on results of Ono and Shyr. As applications, we give formulas for numbers of polarized CM abelian varieties, of connected components of unitary Shimura varieties and of certain polarized abelian varieties over finite fields. We also give a second proof of our main result.

Intersections of Amoebas

International audience Amoebas are projections of complex algebraic varieties in the algebraic torus under a Log-absolute value map, which have connections to various mathematical subjects. While amoebas of hypersurfaces have been inten- sively studied during the last years, the non-hypersurface case is barely understood so far. We investigate intersections of amoebas of n hypersurfaces in (C∗)n, which are genuine supersets of amoebas given by non-hypersurface vari- eties. Our main results are amoeba analogs of Bernstein's Theorem and Be ́zout's Theorem providing an upper bound for the number of connected components of such intersections. Moreover, we show that the order map for hypersur- face amoebas can be generalized in a natural way to intersections of amoebas. We show that, analogous to the case of amoebas of hypersurfaces, the restriction of this generalized order map to a single connected component is still 1-to-1.

Kähler–Ricci flow on homogeneous toric bundles

Assume that [Formula: see text] is a homogeneous toric bundle of the form [Formula: see text] and is Fano, where [Formula: see text] is a compact semisimple Lie group with complexification [Formula: see text], [Formula: see text] a parabolic subgroup of [Formula: see text], [Formula: see text] is a surjective homomorphism from [Formula: see text] to the algebraic torus [Formula: see text], and [Formula: see text] is a compact toric manifold of complex dimension [Formula: see text]. In this note, we show that the normalized Kähler–Ricci flow on [Formula: see text] with a [Formula: see text]-invariant initial Kähler form in [Formula: see text] converges, modulo the algebraic torus action, to a Kähler–Ricci soliton. This extends a previous work of Zhu. As a consequence, we recover a result of Podestà–Spiro.

The number of maximal torsion cosets in subvarieties of tori

We present sharp bounds on the number of maximal torsion cosets in a subvariety of the complex algebraic torus {\mathbb{G}_{\mathrm{m}}^{n}}. Our first main result gives a bound in terms of the degree of the defining polynomials. We also give a bound for the number of isolated torsion point, that is maximal torsion cosets of dimension 0, in terms of the volume of the Newton polytope of the defining polynomials. This result proves the conjectures of Ruppert and of Aliev and Smyth on the number of isolated torsion points of a hypersurface. These conjectures bound this number in terms of the multidegree and the volume of the Newton polytope of a polynomial defining the hypersurface, respectively.

On the Standard Poisson Structure and a Frobenius Splitting of the Basic Affine Space

The goal of this paper is to construct a Frobenius splitting on $G/U$ via the Poisson geometry of $(G/U,\pi _{{{\scriptscriptstyle G}}/{{\scriptscriptstyle U}}})$, where $G$ is a simply connected semi-simple algebraic group defined over an algebraically closed field of characteristic $p> 3$, $U$ is the uniradical of a Borel subgroup of $G$, and $\pi _{{{\scriptscriptstyle G}}/{{\scriptscriptstyle U}}}$ is the standard Poisson structure on $G/U$. We first study the Poisson geometry of $(G/U,\pi _{{{\scriptscriptstyle G}}/{{\scriptscriptstyle U}}})$. Then we develop a general theory for Frobenius splittings on $\mathbb{T}$-Poisson varieties, where $\mathbb{T}$ is an algebraic torus. In particular, we prove that compatibly split subvarieties of Frobenius splittings constructed in this way must be $\mathbb{T}$-Poisson subvarieties. Lastly, we apply our general theory to construct a Frobenius splitting on $G/U$.

THE DYNAMICAL MORDELL–LANG CONJECTURE FOR ENDOMORPHISMS OF SEMIABELIAN VARIETIES DEFINED OVER FIELDS OF POSITIVE CHARACTERISTIC

Let $K$ be an algebraically closed field of prime characteristic $p$ , let $X$ be a semiabelian variety defined over a finite subfield of $K$ , let $\unicode[STIX]{x1D6F7}:X\longrightarrow X$ be a regular self-map defined over $K$ , let $V\subset X$ be a subvariety defined over $K$ , and let $\unicode[STIX]{x1D6FC}\in X(K)$ . The dynamical Mordell–Lang conjecture in characteristic $p$ predicts that the set $S=\{n\in \mathbb{N}:\unicode[STIX]{x1D6F7}^{n}(\unicode[STIX]{x1D6FC})\in V\}$ is a union of finitely many arithmetic progressions, along with finitely many $p$ -sets, which are sets of the form $\{\sum _{i=1}^{m}c_{i}p^{k_{i}n_{i}}:n_{i}\in \mathbb{N}\}$ for some $m\in \mathbb{N}$ , some rational numbers $c_{i}$ and some non-negative integers $k_{i}$ . We prove that this conjecture is equivalent with some difficult diophantine problem in characteristic 0. In the case $X$ is an algebraic torus, we can prove the conjecture in two cases: either when $\dim (V)\leqslant 2$ , or when no iterate of $\unicode[STIX]{x1D6F7}$ is a group endomorphism which induces the action of a power of the Frobenius on a positive dimensional algebraic subgroup of $X$ . We end by proving that Vojta’s conjecture implies the dynamical Mordell–Lang conjecture for tori with no restriction.

About almost geodesic curves

We determine in Rn the form of curves C for which also any image under an (n-1)-dimensional algebraic torus is an almost geodesic with respect to an affine connection ? with constant coefficients and calculate the components of ?.