We rigorously study the resonant tunneling of fast solitons through large potential barriers for the nonlinear Schrödinger equation in one dimension. Our approach covers the case of general nonlinearities, both local and Hartree (nonlocal).

The similar sublattices of a planar lattice can be classified via its multiplier ring. The latter is the ring of rational integers in the generic case, and an order in an imaginary quadratic field otherwise. Several classes of examples are discussed, with special emphasis on concrete results. In particular, we derive Dirichlet series generating functions for the number of distinct similar sublattices of a given index, and relate them to zeta functions of orders in imaginary quadratic fields.

W. Casselman defined a basis ${{f}_{u}}$ of Iwahori fixed vectors of a spherical representation $(\pi ,\,V)$ of a split semisimple $p$-adic group $G$ over a nonarchimedean local field $F$ by the condition that it be dual to the intertwining operators, indexed by elements $u$ of the Weyl group $W$. On the other hand, there is a natural basis ${{\psi }_{u}}$, and one seeks to find the transition matrices between the two bases. Thus, let ${{f}_{u}}\,=\,{{\sum }_{v}}\overset{\tilde{\ }}{\mathop{m}}\,(u,\,v){{\psi }_{v}}$ and ${{\psi }_{u}}\,=\,{{\sum }_{v}}m(u,\,v){{f}_{v}}$. Using the Iwahori–Hecke algebra we prove that if a combinatorial condition is satisfied, then $m(u,\,v)\,=\,{{\Pi }_{\alpha }}\,\frac{1-{{q}^{-1}}\,{{z}^{\alpha }}}{1-{{z}^{\alpha }}}$ , where $\mathbf{z}$ are the Langlands parameters for the representation and $\alpha $ runs through the set $S(u,\,v)$ of positive coroots $\alpha \,\in \,\hat{\Phi }$ (the dual root systemof $G$) such that $u\,\le \,v{{r}_{\alpha }}\,<\,v$ with ${{r}_{\alpha }}$ the reflection corresponding to $\alpha $. The condition is conjecturally always satisfied if $G$ is simply-laced and the Kazhdan–Lusztig polynomial ${{P}_{{{w}_{0}}v,\,{{w}_{0}}u}}\,=\,1$ with ${{w}_{0}}$ the long Weyl group element. There is a similar formula for $\tilde{m}$ conjecturally satisfied if ${{P}_{u,\,v}}\,=\,1$. This leads to various combinatorial conjectures.

An abstract polytope of rank $n$ is said to be chiral if its automorphism group has precisely two orbits on the flags, such that adjacent flags belong to distinct orbits. This paper describes a general method for deriving new finite chiral polytopes from old finite chiral polytopes of the same rank. In particular, the technique is used to construct many new examples in ranks 3, 4, and 5.

Ramanujan famously found congruences like $p(5n\,+\,4)\,\equiv \,0$ mod 5 for the partition function. We provide a method to find all simple congruences of this type in the coefficients of the inverse of a modular form on ${{\Gamma }_{1}}(4)$ that is non-vanishing on the upper half plane. This is applied to answer open questions about the (non)-existence of congruences in the generating functions for overpartitions, crank differences, and 2-colored $F$-partitions.

A diagonal ind-group is a direct limit of classical affine algebraic groups of growing rank under a class of inclusions that contains the inclusion

$$SL(n)\,\to \,SL(2n),\,\,M\mapsto \,\left( \begin{matrix} M & 0 \\ 0 & M \\ \end{matrix} \right)$$

as a typical special case. If $G$ is a diagonal ind-group and $B\,\subset \,G$ is a Borel ind-subgroup, we consider the ind-variety $G/B$ and compute the cohomology ${{H}^{\ell }}(G/B,\,{{\mathcal{O}}_{-\lambda }})$ of any $G$-equivariant line bundle ${{\mathcal{O}}_{-\lambda }}$ on $G/B$. It has been known that, for a generic $\lambda $, all cohomology groups of ${{\mathcal{O}}_{-\lambda }}$ vanish, and that a non-generic equivariant line bundle ${{\mathcal{O}}_{-\lambda }}$ has at most one nonzero cohomology group. The new result of this paper is a precise description of when ${{H}^{j}}(G/B,\,{{\mathcal{O}}_{-\lambda }})$ is nonzero and the proof of the fact that, whenever nonzero, ${{H}^{j}}(G/B,\,{{\mathcal{O}}_{-\lambda }})$ is a $G$-module dual to a highest weight module. The main difficulty is in defining an appropriate analog ${{W}_{B}}$ of the Weyl group, so that the action of ${{W}_{B}}$ on weights of $G$ is compatible with the analog of the Demazure “action” of the Weyl group on the cohomology of line bundles. The highest weight corresponding to ${{H}^{j}}(G/B,\,{{\mathcal{O}}_{-\lambda }})$ is then computed by a procedure similar to that in the classical Bott–Borel–Weil theorem.

In this paper, we investigate a conjecture due to S. and P. Chowla and its generalization by Milnor. These are related to the delicate question of non-vanishing of $L$-functions associated to periodic functions at integers greater than 1. We report on some progress in relation to these conjectures. In a different vein, we link them to a conjecture of Zagier on multiple zeta values and also to linear independence of polylogarithms.

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 $\mathfrak{g}\,=\,{{\oplus }_{i\in \mathbb{Z}}}{{\mathfrak{g}}_{i}}$ be an infinite-dimensional graded Lie algebra, with dim ${{\mathfrak{g}}_{i}}\,<\,\infty $, equipped with a non-degenerate symmetric bilinear form $B$ of degree 0. The quantum Weil algebra ${{\hat{\mathcal{W}}}_{\mathfrak{g}}}$ is a completion of the tensor product of the enveloping and Clifford algebras of $\mathfrak{g}$. Provided that the Kac–Peterson class of $\mathfrak{g}$ vanishes, one can construct a cubic Dirac operator $\mathcal{D}\,\in \,\hat{\mathcal{W}}(\mathfrak{g})$, whose square is a quadratic Casimir element. We show that this condition holds for symmetrizable Kac– Moody algebras. Extending Kostant's arguments, one obtains generalized Weyl–Kac character formulas for suitable “equal rank” Lie subalgebras of Kac–Moody algebras. These extend the formulas of G. Landweber for affine Lie algebras.

Generalized étale homotopy pro-groups $\pi _{1}^{\acute{e}t}(C, x)$ associated with pointed, connected, small Grothendieck sites $(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}^{\acute{e}t}(\acute{e}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 $\text{ }\!\!\pi\!\!\text{ }_{1}^{\text{Gal}}$ immediately follows.

We throw some light on the question: is there a MAD family (a maximal family of infinite subsets of $\mathbb{N}$, the intersection of any two is finite) that is saturated (=completely separable i.e., any $X\,\subseteq \,\mathbb{N}$ is included in a finite union of members of the family or includes a member (and even continuum many members) of the family). We prove that it is hard to prove the consistency of the negation:

(i) if ${{2}^{{{\aleph }_{0}}}}\,<\,{{\aleph }_{\omega }}$, then there is such a family;

(ii) if there is no such family, then some situation related to pcf holds whose consistency is large (and if ${{a}_{*}}\,>\,{{\aleph }_{1}}$ even unknown);

(iii) if, e.g., there is no inner model with measurables, then there is such a family.