Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches.
Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is required to view non-Open Access content.
Contact email@example.com with any questions.
Let be a non-Archimedean locally compact field, and let be a split connected reductive group over . For a parabolic subgroup and a ring , we consider the -representation on the -module Let denote an Iwahori subgroup. We define a certain free finite rank- module (depending on ; if is a Borel subgroup, then (∗) is the Steinberg representation and is of rank ) and construct an -equivariant embedding of (∗) into . This allows the computation of the -invariants in (∗). We then prove that if is a field with characteristic equal to the residue characteristic of and if is a classical group, then the -representation (∗) is irreducible. This is the analogue of a theorem of Casselman (which says the same for ); it had been conjectured by Vignéras.
Herzig (for ) and Abe (for general ) have given classification theorems for irreducible admissible modulo representations of in terms of supersingular representations. Some of their arguments rely on the present work.
We provide examples of families of (log) smooth canonically polarized varieties, including smooth weighted pointed curves and smooth hypersurfaces in with large degree such that the Chow semistable limits under distinct pluricanonical embeddings do not stabilize.
A classical and widely used lemma of Erdős and Szekeres asserts that for every there exists such that every -term sequence of real numbers contains an -term increasing subsequence or an -term nonincreasing subsequence; quantitatively, the smallest with this property equals . In the setting of the present paper, we express this lemma by saying that the set of predicates is Erdős–Szekeres with Ramsey function .
In general, we consider an arbitrary finite set of semialgebraic predicates, meaning that each is a Boolean combination of polynomial equations and inequalities in some number of real variables. We define to be Erdős–Szekeres if for every there exists such that each -term sequence of real numbers has an -term subsequence such that at least one of the holds everywhere on , which means that holds for every choice of indices , . We write for the smallest with the above property.
We prove two main results. First, the Ramsey functions in this setting are at most doubly exponential (and sometimes they are indeed doubly exponential): for every that is Erdős–Szekeres, there is a constant such that . Second, there is an algorithm that, given , decides whether it is Erdős–Szekeres; thus, -dimensional Erdős–Szekeres-style theorems can in principle be proved automatically.
We regard these results as a starting point in investigating analogous questions for -dimensional predicates, where instead of sequences of real numbers, we consider sequences of points in (and semialgebraic predicates in their coordinates). This setting includes many results and problems in geometric Ramsey theory, and it appears considerably more involved. Here we prove a decidability result for algebraic predicates in (i.e., conjunctions of polynomial equations), as well as for a multipartite version of the problem with arbitrary semialgebraic predicates in .
This paper describes the intrinsic geometry of a leaf of the absolute period foliation of the Hodge bundle : its singular Euclidean structure, its natural foliations, and its discretized Teichmüller dynamics. We establish metric completeness of for general and then turn to a study of the case . In this case the Euclidean structure comes from a canonical meromorphic quadratic differential on whose zeros, poles, and exotic trajectories are analyzed in detail.