Related papers: Some Remarks on Atypical Intersections

Finitary/static semantics in the form of intersection type assignments have become a paradigm for analysing the fine structure of all sorts of lambda-models. The key step is the construction of a filter model isomorphic to a given…

We develop algebraic geometry for general Segal's Gamma-rings and show that this new theory unifies two approaches we had considered earlier on (for a geometry under Spec Z). The starting observation is that the category obtained by gluing…

We establish the geometric Bogomolov conjecture for semiabelian varieties over function fields. We show a closed subvariety contains Zariski dense sets of small points, if and only if, after modulo its stabilizer, it is a torsion translate…

We study the trace set of the commutator subgroup of $\Gamma(2),$ a type of Local-Global problem about thin groups. We determine the local obstructions and then use the correspondence between binary quadratic forms and hyperbolic matrices…

We give a proof of the Zilber--Pink conjecture for $n$-fold self-products of a curve $X$ inside the self-product of its Jacobian, when $X$ has appropriate bad reduction, its Jacobian has no extra endomorphisms, and $n$ is sufficiently…

In this paper, we establish the following family version of Habegger's bounded height theorem on abelian varieties: a locally closed subvariety of an abelian scheme with Gao's $t^{\mathrm{th}}$ degeneracy locus removed, intersected with all…

An $\widetilde A_2$ group $\Gamma$ acts simply transitively on the vertices of an affine building $\triangle$. We study certain subgroups $\Gamma_0 \cong {\Bbb Z}^2$ which act on certain apartments of $\triangle$. If one of these subgroups…

Given partitions $\alpha$, $\beta$, $\gamma$, the short exact sequences $0\to N_\alpha \to N_\beta \to N_\gamma \to 0$ of nilpotent linear operators of Jordan types $\alpha$, $\beta$, $\gamma$, respectively, define a constructible subset…

The Torsion Anomalous Conjecture states that an irreducible variety $V$ embedded in a semi-abelian variety contains only finitely many maximal $V$-torsion anomalous varieties. In this paper we consider an irreducible variety embedded in a…

We introduce an intersection type system for the lambda-mu calculus that is invariant under subject reduction and expansion. The system is obtained by describing Streicher and Reus's denotational model of continuations in the category of…

We are interested in the intersection cohomology of the minimal compactification of Siegel modular varieties at some places of bad reduction. We compute the semi-simple trace of the Frobenius morphism on the fibers of the nearby cycles of…

Let $G$ be a commutative algebraic group embedded in projective space and $\Gamma$ a finitely generated subgroup of $G$. From these data we construct a chain of algebraic subgroups of $G$ which is intimately related to obstructions to…

We study Extremal Combinatorics problems where local properties are used to derive global properties. That is, we consider a given configuration where every small piece of the configuration satisfies some restriction, and use this local…

For a fixed finite solvable group $G$ and number field $K$, we prove an upper bound for the number of $G$-extensions $L/K$ with restricted local behavior (at infinitely many places) and ${\rm inv}(L/K)<X$ for a general invariant $"{\rm…

The aim of this paper is to study the intersection hypergraph $\tilde{\Gamma}_\mathcal{H}(\mathbb{Z}_n)$ and co-maximal hypergraph $Co_\mathcal{H}(\mathbb{Z}_n)$ on the subgroups of $\mathbb{Z}_n$. We prove that the intersection and…

The non--commuting graph $\Gamma(G)$ of a non--abelian group $G$ is defined as follows. The vertex set $V(\Gamma(G))$ of $\Gamma(G)$ is $G\setminus Z(G)$ where $Z(G)$ denotes the center of $G$ and two vertices $x$ and $y$ are adjacent if…

We use the fixed point method and toroidal compactifications to establish general lower bounds for the essential dimension of congruence covers $\Gamma' \backslash \mathcal{X}^0 \rightarrow \Gamma \backslash \mathcal{X}^0$ of mixed Shimura…

In this paper, we study the Reconstruction Conjecture for finite simple graphs. Let $\Gamma$ and $\Gamma'$ be finite simple graphs with at least three vertices such that there exists a bijective map $f:V(\Gamma) \rightarrow V(\Gamma')$ and…

Given an Artin group $A_\Gamma$, a common strategy in the study of $A_\Gamma$ is the reduction to parabolic subgroups whose defining graphs have small diameter, i.e. showing that $A_\Gamma$ has a specific property if and only if all "small"…

Let $\Lambda, \Lambda'$ be a pair of closed Legendrian submanifolds in a closed contact manifold $(Y, \xi = Ker(\alpha))$ related by a Legendrian cobordism $W\subset (\mathbb{C}\times Y, \tilde{\xi}=Ker(-y dx +\alpha))$. In this note, we…