We introduce the notion of families of $n$-marked smooth rational tropical curves over smooth tropical varieties and establish a one-to-one correspondence between (equivalence classes of) these families and morphisms from smooth tropical varieties into the moduli space of $n$-marked abstract rational tropical curves $\mathcal{M}_{n}$.

We classify minimal surfaces of general type with $p_g=q=2$ and $K^2=6$ whose Albanese map is a generically finite double cover. We show that the corresponding moduli space is the disjoint union of three generically smooth irreducible components $\mathcal{M}_{Ia}$, $\mathcal{M}_{Ib}$, $\mathcal{M}_{II}$ of dimension $4$, $4$, $3$, respectively.

Let $\Delta$ be an Euclidean quiver. We prove that the closures of the maximal orbits in the varieties of representations of $\Delta$ are normal and Cohen--Macaulay (even complete intersections). Moreover, we give a generalization of this result for the tame concealed-canonical algebras.

In this paper we first generalize to the case of partial flags a result proved both by Spaltenstein and by Steinberg that relates the relative position of two complete flags and the irreducible components of the flag variety in which they lie, using the Robinson-Schensted-Knuth correspondence. Then we use this result to generalize the mirabolic Robinson-Schensted-Knuth correspondence defined by Travkin, to the case of two partial flags and a line.

In this paper, we generalize a conjecture due to Darmon and Logan in an adelic setting. We study the relation between our construction and Kudla's works on cycles on orthogonal Shimura varieties. This relation allows us to conjecture a Gross-Kohnen-Zagier theorem for Darmon's points.

On établit quelques résultats généraux relatifs à la taille du groupe d'automorphismes de l'espace de Douady de points sur une surface, puis on étudie quelques propriétés des automorphismes provenant d'un automorphisme de la surface, en particulier leur action sur la cohomologie et la classification de leurs points fixes.

Darmon cycles are a higher weight analogue of Stark--Heegner points. They yield local cohomology classes in the Deligne representation associated with a cuspidal form on $\Gamma _{0}( N) $ of even weight $k_{0}\geq 2$. They are conjectured to be the restriction of global cohomology classes in the Bloch--Kato Selmer group defined over narrow ring class fields attached to a real quadratic field. We show that suitable linear combinations of them obtained by genus characters satisfy these conjectures. We also prove $p$-adic Gross--Zagier type formulas, relating the derivatives of $p$-adic $L$-functions of the weight variable attached to imaginary (resp. real) quadratic fields to Heegner cycles (resp. Darmon cycles). Finally we express the second derivative of the Mazur--Kitagawa $p$-adic $L$-function of the weight variable in terms of a global cycle defined over a quadratic extension of $\mathbb{Q}$.

We study the topology of tropical varieties that arise from a certain natural class of varieties. We use the theory of tropical degenerations to construct a natural, ``multiplicity-free'' parameterization of $\operatorname{Trop}(X)$ by a topological space $\Gamma_X$ and give a geometric interpretation of the cohomology of $\Gamma_X$ in terms of the action of a monodromy operator on the cohomology of $X$. This gives bounds on the Betti numbers of $\Gamma_X$ in terms of the Betti numbers of $X$ which constrain the topology of $\operatorname{Trop}(X)$. We also obtain a description of the top power of the monodromy operator acting on middle cohomology of $X$ in terms of the volume pairing on $\Gamma_X$.

Considering quantum random walks, we construct discrete-time approximations of the eigenvalues processes of minors of Hermitian Brownian motion. It has been recently proved by Adler, Nordenstam, and van Moerbeke that the process of eigenvalues of two consecutive minors of a Hermitian Brownian motion is a Markov process; whereas, if one considers more than two consecutive minors, the Markov property fails. We show that there are analog results in the noncommutative counterpart and establish the Markov property of eigenvalues of some particular submatrices of Hermitian Brownian motion.

In this article, we study the correspondence between the geometry of del Pezzo surfaces $S_{r}$ and the geometry of the $r$-dimensional Gosset polytopes $(r-4)_{21}$. We construct Gosset polytopes $(r-4)_{21}$ in $\operatorname{Pic} S_{r}\otimes\mathbb{Q}$ whose vertices are lines, and we identify divisor classes in $\operatorname{Pic} S_{r}$ corresponding to $(a-1)$-simplexes ($a\leq r$), $(r-1)$-simplexes and $(r-1)$-crosspolytopes of the polytope $(r-4)_{21}$. Then we explain how these classes correspond to skew $a$-lines($a\leq r$), exceptional systems, and rulings, respectively. As an application, we work on the monoidal transform for lines to study the local geometry of the polytope $(r-4)_{21}$. And we show that the Gieser transformation and the Bertini transformation induce a symmetry of polytopes $3_{21}$ and $4_{21}$, respectively.

This paper gives a characterization of homotopy fibres of inverse image maps on groupoids of torsors that are induced by geometric morphisms, in terms of both pointed torsors and pointed cocycles, suitably defined. Cocycle techniques are used to give a complete description of such fibres, when the underlying geometric morphism is the canonical stalk on the classifying topos of a profinite group $G$. If the torsors in question are defined with respect to a constant group $H$, then the path components of the fibre can be identified with the set of continuous maps from the profinite group $G$ to the group $H$. More generally, when $H$ is not constant, this set of path components is the set of continuous maps from a pro-object in sheaves of groupoids to $H$, which pro-object can be viewed as a ``Grothendieck fundamental groupoid".

Let $\rho \colon G \to \operatorname{GL}(V)$ be a rational finite dimensional complex representation of a reductive linear algebraic group $G$, and let $\sigma_1,\dots,\sigma_n$ be a system of generators of the algebra of invariant polynomials $\mathbb C[V]^G$. We study the problem of lifting mappings $f\colon \mathbb R^q \supseteq U \to \sigma(V) \subseteq \mathbb C^n$ over the mapping of invariants $\sigma=(\sigma_1,\dots,\sigma_n) \colon V \to \sigma(V)$. Note that $\sigma(V)$ can be identified with the categorical quotient $V /\!\!/ G$ and its points correspond bijectively to the closed orbits in $V$. We prove that if $f$ belongs to a quasianalytic subclass $\mathcal C \subseteq C^\infty$ satisfying some mild closedness properties that guarantee resolution of singularities in $\mathcal C$, e.g., the real analytic class, then $f$ admits a lift of the same class $\mathcal C$ after desingularization by local blow-ups and local power substitutions. As a consequence we show that $f$ itself allows for a lift that belongs to $\operatorname{SBV}_{\operatorname{loc}}$, i.e., special functions of bounded variation. If $\rho$ is a real representation of a compact Lie group, we obtain stronger versions.

Let $E$ be an elliptic curve over $\mathbb Q$ without complex multiplication, and for each prime $p$ of good reduction, let $n_E(p) = | E(\mathbb F_p) |$. For any integer $b$, we consider elliptic pseudoprimes to the base $b$. More precisely, let $Q_{E,b}(x)$ be the number of primes $p \leq x$ such that $b^{n_E(p)} \equiv b\,({\rm mod}\,n_E(p))$, and let $\pi_{E, b}^{\operatorname{pseu}}(x)$ be the number of compositive $n_E(p)$ such that $b^{n_E(p)} \equiv b\,({\rm mod}\,n_E(p))$ (also called elliptic curve pseudoprimes). Motivated by cryptography applications, we address the problem of finding upper bounds for $Q_{E,b}(x)$ and $\pi_{E, b}^{\operatorname{pseu}}(x)$, generalising some of the literature for the classical pseudoprimes to this new setting.

We analyze flat $S_3$-covers of schemes, attempting to create structures parallel to those found in the abelian and triple cover theories. We use an initial local analysis as a guide in finding a global description.

In this paper we study genus $2$ curves whose Jacobians admit a polarized $(4,4)$-isogeny to a product of elliptic curves. We consider base fields of characteristic different from $2$ and $3$, which we do not assume to be algebraically closed. We obtain a full classification of all principally polarized abelian surfaces that can arise from gluing two elliptic curves along their $4$-torsion, and we derive the relation their absolute invariants satisfy. As an intermediate step, we give a general description of Richelot isogenies between Jacobians of genus $2$ curves, where previously only Richelot isogenies with kernels that are pointwise defined over the base field were considered. Our main tool is a Galois theoretic characterization of genus $2$ curves admitting multiple Richelot isogenies.

Generalized étale homotopy pro-groups $\pi_1^{\operatorname{ét}}(ċ{C}, x)$ associated with pointed, connected, small Grothendieck sites $(\mathcal{C}, x)$ are defined, and their relationship to Galois theory and the theory of pointed torsors for discrete groups is explained.
Applications include new rigorous proofs of some folklore results around $\pi_1^{\operatorname{ét}}(ét(X), x)$, a description of Grothendieck's short exact sequence for Galois descent in terms of pointed torsor trivializations, and a new étale van Kampen theorem that gives a simple statement about a pushout square of pro-groups that works for covering families that do not necessarily consist exclusively of monomorphisms. A corresponding van Kampen result for Grothendieck's profinite groups $\pi_1^{\mathrm{Gal}}$ immediately follows.

The moduli space of smooth real binary octics has five connected components. They parametrize the real binary octics whose defining equations have $0,\dots,4$ complex-conjugate pairs of roots respectively. We show that each of these five components has a real hyperbolic structure in the sense that each is isomorphic as a real-analytic manifold to the quotient of an open dense subset of $5$-dimensional real hyperbolic space $\mathbb{RH}^5$ by the action of an arithmetic subgroup of $\operatorname{Isom}(\mathbb{RH}^5)$. These subgroups are commensurable to discrete hyperbolic reflection groups, and the Vinberg diagrams of the latter are computed.

Speyer and Sturmfels associated Gröbner toric degenerations $\mathrm{Gr}_2(\mathbb{C}^n)^{\mathcal{T}}$ of $\mathrm{Gr}_2(\mathbb{C}^n)$ with each trivalent tree $\mathcal{T}$ having $n$ leaves. These degenerations induce toric degenerations $M_{\mathbf{r}}^{\mathcal{T}}$ of $M_{\mathbf{r}}$, the space of $n$ ordered, weighted (by $\mathbf{r}$) points on the projective line. Our goal in this paper is to give a geometric (Euclidean polygon) description of the toric fibers and describe the action of the compact part of the torus as "bendings of polygons". We prove the conjecture of Foth and Hu that the toric fibers are homeomorphic to the spaces defined by Kamiyama and Yoshida.

In this note we search the parameter space of Horrocks-Mumford quintic threefolds and locate a Calabi-Yau threefold that is modular, in the sense that the $L$-function of its middle-dimensional cohomology is associated with a classical modular form of weight 4 and level 55.

In this paper, we give several pictorial fractal representations of the ample or Kähler cone for surfaces in a certain class of $K3$ surfaces. The class includes surfaces described by smooth $(2,2,2)$ forms in ${\mathbb P^1\times\mathbb P^1\times \mathbb P^1}$ defined over a sufficiently large number field $K$ that have a line parallel to one of the axes and have Picard number four. We relate the Hausdorff dimension of this fractal to the asymptotic growth of orbits of curves under the action of the surface's group of automorphisms. We experimentally estimate the Hausdorff dimension of the fractal to be $1.296 \pm .010$.

We give another proof of Vojta's $1+\varepsilon$ conjecture.

Very ampleness criteria for rank $2$ vector bundles over smooth, ruled surfaces over rational and elliptic curves are given. The criteria are then used to settle open existence questions for some special threefolds of low degree.

An inductive approach to classifying all toric Fano varieties is given. As an application of this technique, we present a classification of the toric Fano threefolds with at worst canonical singularities. Up to isomorphism, there are $674,\!688$ such varieties.

Let $\mathcal{F}$ be a coherent rank $2$ sheaf on a scheme $Y \subset \mathbb{P}^{n}$ of dimension at least two and let $X \subset Y$ be the zero set of a section $\sigma \in H^0(\mathcal{F})$. In this paper, we study the relationship between the functor that deforms the pair $(\mathcal{F},\sigma)$ and the two functors that deform $\mathcal{F}$ on $Y$, and $X$ in $Y$, respectively. By imposing some conditions on two forgetful maps between the functors, we prove that the scheme structure of \emph{e.g.,} the moduli scheme ${\rm M_Y}(P)$ of stable sheaves on a threefold $Y$ at $(\mathcal{F})$, and the scheme structure at $(X)$ of the Hilbert scheme of curves on $Y$ become closely related. Using this relationship, we get criteria for the dimension and smoothness of $ {\rm M_{Y}}(P)$ at $(\mathcal{F})$, without assuming $ {\textrm{Ext}^2}(\mathcal{F} ,\mathcal{F} ) = 0$. For reflexive sheaves on $Y=\mathbb{P}^{3}$ whose deficiency module $M = H_{*}^1(\mathcal{F})$ satisfies $ {_{0}\! \textrm{Ext}^2}(M ,M ) = 0 $ (\emph{e.g.,} of diameter at most 2), we get necessary and sufficient conditions of unobstructedness that coincide in the diameter one case. The conditions are further equivalent to the vanishing of certain graded Betti numbers of the free graded minimal resolution of $H_{*}^0(\mathcal{F})$. Moreover, we show that every irreducible component of ${\rm M}_{\mathbb{P}^{3}}(P)$ containing a reflexive sheaf of diameter one is reduced (generically smooth) and we compute its dimension. We also determine a good lower bound for the dimension of any component of ${\rm M}_{\mathbb{P}^{3}}(P)$ that contains a reflexive stable sheaf with ``small'' deficiency module $M$.

We prove that the quantum cohomology ring of any minuscule or cominuscule homogeneous space, specialized at $q=1$, is semisimple. This implies that complex conjugation defines an algebra automorphism of the quantum cohomology ring localized at the quantum parameter. We check that this involution coincides with the strange duality defined in our previous article. We deduce Vafa--Intriligator type formulas for the Gromov--Witten invariants.