相关论文: The Andr\'e-Oort conjecture via o-minimality

The purpose of this article is to give a new construction of the map relating the Borel-Serre and the Baily-Borel compactifications of a Shimura variety (Zucker 1983), and to provide a close analysis of its main properties.

In this article, we prove that the Zilber-Pink conjecture for abelian varieties over an arbitrary field of characteristic $0$ is implied by the same statement for abelian varieties over the algebraic numbers. More precisely, the conjecture…

We introduce the quasiminimal subshifts, subshifts having only finitely many subsystems. With $\mathbb{N}$-actions, their theory essentially reduces to the theory of minimal systems, but with $\mathbb{Z}$-actions, the class is much larger.…

Given a smooth, proper family of varieties in characteristic $p>0$, and a cycle $z$ on a fibre of the family, we formulate a Variational Tate Conjecture characterising, in terms of the crystalline cycle class of $z$, whether $z$ extends…

The purpose of this short note is to present a simplified proof of Serre's modularity conjecture using the strong modularity lifting results currently available. This second version includes extra details on definitions and proofs than the…

We consider reasoning and minimization in systems of polynomial ordinary differential equations (ode's). The ring of multivariate polynomials is employed as a syntax for denoting system behaviours. We endow this set with a transition system…

A theorem of alternatives provides a reduction of validity in a substructural logic to validity in its multiplicative fragment. Notable examples include a theorem of Arnon Avron that reduces the validity of a disjunction of multiplicative…

Rapoport-Zink spaces, or more generally local Shimura varieties, are expected to provide geometric realization of the local Langlands correspondence via their $l$-adic cohomology. Along this line is a conjecture by Harris and Viehmann,…

We extend the Ax-Schanuel theorem recently proven for Shimura varieties by Mok-Pila-Tsimerman to all varieties supporting a pure polarized integral variation of Hodge structures. The essential new ingredient is a volume bound on Griffiths…

In this note, we give an alternate proof of the multinomial theorem using a probabilistic approach. Although the multinomial theorem is basically a combinatorial result, our proof may be simpler for a student familiar with only basic…

In this paper we formulate some conjectures about algebraic flows on Shimura varieties. In the first part of the paper we prove the `logarithmic Ax-Lindemann theorem'. We then prove a result concerning the topological closure of the images…

We study Euler systems for $\mathbb{G}_m$ over a number field $k$. Motivated by a distribution-theoretic idea of Coleman, we formulate a conjecture regarding the existence of such systems that is elementary to state and yet strictly finer…

We give an overview of the constrained Willmore problem and address some conjectures arising from partial results and numerical experiments. Ramifications of these conjectures would lead to a deeper understanding of the Willmore functional…

This paper presents the notion of AND-OR reduction, which reduces a WF net to a smaller net by iteratively contracting certain well-formed subnets into single nodes until no more such contractions are possible. This reduction can reveal the…

The purpose of this short note is to prove a formula for the Chern-Mather classes of a toric variety in terms of its orbits and the local Euler obstructions at general points of each orbit (Theorem 2). We use the general definition of the…

We verify that the descent maps provided by Langlands's Conjugacy Conjecture do satisfy the continuity condition necessary for them to be effective. Thus Langlands's conjecture does imply the existence of canonical models. This replaces an…

We study a generalization of Serre--Tate theory of ordinary abelian varieties and their deformation spaces. This generalization deals with abelian varieties equipped with additional structures. The additional structures can be not only an…

We introduce the notion of minimal inversion sequences for a pattern $\rho$, which form the smallest set of inversion sequences whose avoidance is equivalent to the avoidance of $\rho$ for inversion sequences. We give a characterization of…

We discuss a procedure to simplify the Landau potential, based on Michel's reduction to orbit space and Poincar\'e normalization procedure; and illustrate it by concrete examples. The method makes use, as in Poincar\'e theory, of a chain of…

This article presents an elementary proof of Zorn's Lemma under the Axiom of Choice, simplifying and supplying necessary details in the original proof by Paul R. Halmos in his book, Naive Set Theory. Also provided, is a preamble to Zorn's…