The present paper deals with the non-real eigenvalues for singular indefinite Sturm–Liouville problems. The lower bounds on non-real eigenvalues for this singular problem associated with a special separated boundary condition are obtained.

The Ceresa cycle is an algebraic cycle attached to a smooth algebraic curve with a marked point, which is trivial when the curve is hyperelliptic with a marked Weierstrass point. The image of the Ceresa cycle under a certain cycle class map provides a class in étale cohomology called the Ceresa class. Describing the Ceresa class explicitly for nonhyperelliptic curves is in general not easy. We present a ‘combinatorialization’ of this problem, explaining how to define a Ceresa class for a tropical algebraic curve and also for a topological surface endowed with a multiset of commuting Dehn twists (where it is related to the Morita cocycle on the mapping class group). We explain how these are related to the Ceresa class of a smooth algebraic curve over $\mathbb {C}(\!(t)\!)$ and show that the Ceresa class in each of these settings is torsion.

Let $\Omega \subset \mathbb {R}^N$ ($N\geq 3$) be a $C^2$ bounded domain and $\Sigma \subset \partial \Omega$ be a $C^2$ compact submanifold without boundary, of dimension $k$, $0\leq k \leq N-1$. We assume that $\Sigma = \{0\}$ if $k = 0$ and $\Sigma =\partial \Omega$ if $k=N-1$. Let $d_{\Sigma }(x)=\mathrm {dist}\,(x,\Sigma )$ and $L_\mu = \Delta + \mu \,d_{\Sigma }^{-2}$, where $\mu \in {\mathbb {R}}$. We study boundary value problems ($P_\pm$) $-{L_\mu} u \pm |u|^{p-1}u = 0$ in $\Omega$ and $\mathrm {tr}_{\mu,\Sigma}(u)=\nu$ on $\partial \Omega$, where $p>1$, $\nu$ is a given measure on $\partial \Omega$ and $\mathrm {tr}_{\mu,\Sigma}(u)$ denotes the boundary trace of $u$ associated to $L_\mu$. Different critical exponents for the existence of a solution to ($P_\pm$) appear according to concentration of $\nu$. The solvability for problem ($P_+$) was proved in [3, 29] in subcritical ranges for $p$, namely for $p$ smaller than one of the critical exponents. In this paper, assuming the positivity of the first eigenvalue of $-L_\mu$, we provide conditions on $\nu$ expressed in terms of capacities for the existence of a (unique) solution to ($P_+$) in supercritical ranges for $p$, i.e. for $p$ equal or bigger than one of the critical exponents. We also establish various equivalent criteria for the existence of a solution to ($P_-$) under a smallness assumption on $\nu$.

We show that the Hausdorff dimension of any slice of the graph of the Takagi function is bounded above by the Assouad dimension of the graph minus one, and that the bound is sharp. The result is deduced from a statement on more general self-affine sets, which is of independent interest. We also prove that Marstrand’s slicing theorem on the graph of the Takagi function extends to all slices if and only if the upper pointwise dimension of every projection of the length measure on the x-axis lifted to the graph is at least one.

In this article, we study the recent development of the qualitative uncertainty principle on certain Lie groups. In particular, we consider that if the Weyl transform on certain step-two nilpotent Lie groups is of finite rank, then the function has to be zero almost everywhere as long as the nonvanishing set for the function has finite measure. Further, we consider that if the Weyl transform of each Fourier–Wigner piece of a suitable function on the Heisenberg motion group is of finite rank, then the function has to be zero almost everywhere whenever the nonvanishing set for each Fourier–Wigner piece has finite measure.

A notion of normal submonoid of a monoid M is introduced that generalizes the normal subgroups of a group. When ordered by inclusion, the set $\mathsf {NorSub}(M)$ of normal submonoids of M is a complete lattice. Joins are explicitly described and the lattice is computed for the finite full transformation monoids $T_n$, $n\geq ~1$. It is also shown that $\mathsf {NorSub}(M)$ is modular for a specific family of commutative monoids, including all Krull monoids, and that it, as a join semilattice, embeds isomorphically onto a join subsemilattice of the lattice $\mathsf {Cong}(M)$ of congruences on M. This leads to a new strategy for computing $\mathsf {Cong}(M)$ consisting of computing $\mathsf {NorSub}(M)$ and the so-called unital congruences on the quotients of M modulo its normal submonoids. This provides a new perspective on Malcev’s computation of the congruences on $T_n$.

Bratteli–Vershik models of compact, invertible zero-dimensional systems have been well studied. We take up such a study for polygonal billiards on the hyperbolic plane, thus considering these models beyond zero-dimensions. We describe the associated Bratteli models and show that these billiard dynamics can be described by Vershik maps.

For a post-critically finite branched covering of the sphere that is a subdivision map of a finite subdivision rule, we define non-expanding spines which determine the existence of a Levy cycle in a non-exhaustive semi-decidable algorithm. Especially when a finite subdivision rule has polynomial growth of edge subdivisions, the algorithm terminates very quickly, and the existence of a Levy cycle is equivalent to the existence of a Thurston obstruction. To show the equivalence between Levy and Thurston obstructions, we generalize the arcs intersecting obstruction theorem by Pilgrim and Tan [Combining rational maps and controlling obstructions. Ergod. Th. & Dynam. Sys. 18(1) (1998), 221–245] to a graph intersecting obstruction theorem. As a corollary, we prove that for a pair of post-critically finite polynomials, if at least one polynomial has core entropy zero, then their mating has a Levy cycle if and only if the mating has a Thurston obstruction.

We show that continuous group homomorphisms between unitary groups of unital C*-algebras induce maps between spaces of continuous real-valued affine functions on the trace simplices. Under certain $K$-theoretic regularity conditions, these maps can be seen to commute with the pairing between $K_0$ and traces. If the homomorphism is contractive and sends the unit circle to the unit circle, the map between spaces of continuous real-valued affine functions can further be shown to be unital and positive (up to a minus sign).

We study bracket words, which are a far-reaching generalization of Sturmian words, along Hardy field sequences, which are a far-reaching generalization of Piatetski-Shapiro sequences $\lfloor n^c \rfloor $. We show that sequences thus obtained are deterministic (that is, they have subexponential subword complexity) and satisfy Sarnak’s conjecture.

We give a new proof of rationality of stable commutator length (scl) of certain elements in surface groups: those represented by curves that do not fill the surface. Such elements always admit extremal surfaces for scl. These results also hold more generally for non-filling $1$–chains.

In Chen and Liang previous work, a model, together with its well-posedness, was established for credit rating migrations with different upgrade and downgrade thresholds (i.e. a buffer zone, also called dead band in engineering). When positive dividends are introduced, the model in Chen and Liang (SIAM Financ. Math. 12, 941–966, 2021) may not be well-posed. Here, in this paper, a new model is proposed to include the realistic nonzero dividend scenarios. The key feature of the new model is that partial differential equations in Chen and Liang (SIAM Financ. Math. 12, 941–966, 2021) are replaced by variational inequalities, thereby creating a new free boundary, besides the original upgrading and downgrading free boundaries. Well-posedness of the new model, together with a few financially meaningful properties, is established. In particular, it is shown that when time to debt paying deadline is long enough, the underlying dividend paying company is always in high grade rating, that is, only when time to debt paying deadline is within a certain range, there can be seen the phenomenon of credit rating migration.

Quaternionic automorphic representations are one attempt to generalize to other groups the special place holomorphic modular forms have among automorphic representations of $\mathrm {GL}_2$. Here, we use ‘hyperendoscopy’ techniques to develop a general trace formula and understand them on an arbitrary group. Then we specialize this general formula to study quaternionic automorphic representations on the exceptional group $G_2$, eventually getting an analog of the Eichler–Selberg trace formula for classical modular forms. We finally use this together with some techniques of Chenevier, Renard and Taïbi to compute dimensions of spaces of level-$1$ quaternionic representations. On the way, we prove a Jacquet–Langlands-style result describing them in terms of classical modular forms and automorphic representations on the compact-at-infinity form $G_2^c$.

The main technical difficulty is that the quaternionic discrete series that quaternionic automorphic representations are defined in terms of do not satisfy a condition of being ‘regular’. A real representation theory argument shows that regularity miraculously does not matter for specifically the case of quaternionic discrete series.

We hope that the techniques and shortcuts highlighted in this project are of interest in other computations about discrete-at-infinity automorphic representations on arbitrary reductive groups instead of just classical ones.

The complex algebra of an inverse semigroup with finitely many idempotents in each $\mathcal D$-class is stably finite by a result of Munn. This can be proved fairly easily using $C^{*}$-algebras for inverse semigroups satisfying this condition that have a Hausdorff universal groupoid, or more generally for direct limits of inverse semigroups satisfying this condition and having Hausdorff universal groupoids. It is not difficult to see that a finitely presented inverse semigroup with a non-Hausdorff universal groupoid cannot be a direct limit of inverse semigroups with Hausdorff universal groupoids. We construct here countably many nonisomorphic finitely presented inverse semigroups with finitely many idempotents in each $\mathcal D$-class and non-Hausdorff universal groupoids. At this time, there is not a clear $C^{*}$-algebraic technique to prove these inverse semigroups have stably finite complex algebras.

We prove the existence of $\mathrm {GSpin}_{2n}$-valued Galois representations corresponding to cohomological cuspidal automorphic representations of certain quasi-split forms of ${\mathrm {GSO}}_{2n}$ under the local hypotheses that there is a Steinberg component and that the archimedean parameters are regular for the standard representation. This is based on the cohomology of Shimura varieties of abelian type, of type $D^{\mathbb {H}}$, arising from forms of ${\mathrm {GSO}}_{2n}$. As an application, under similar hypotheses, we compute automorphic multiplicities, prove meromorphic continuation of (half) spin L-functions and improve on the construction of ${\mathrm {SO}}_{2n}$-valued Galois representations by removing the outer automorphism ambiguity.

In this work, we study ergodic and dynamical properties of symbolic dynamical system associated to substitutions on an infinite countable alphabet. Specifically, we consider shift dynamical systems associated to irreducible substitutions which have well-established properties in the case of finite alphabets. Based on dynamical properties of a countable integer matrix related to the substitution, we obtain results on existence and uniqueness of shift invariant measures.

We prove that crossed products of fiberwise essentially minimal zero-dimensional dynamical systems, a class that includes systems in which all orbit closures are minimal, have isomorphic K-theory if and only if the dynamical systems are strong orbit equivalent. Under the additional assumption that the dynamical systems have no periodic points, this gives a classification theorem including isomorphism of the associated crossed product $C^*$-algebras as well. We additionally explore the K-theory of such crossed products and the Bratteli diagrams associated to the dynamical systems.

We study equilibrium states for a class of non-uniformly expanding skew products, and show how a family of fiberwise transfer operators can be used to define the conditional measures along fibers of the product. We prove that the pushforward of the equilibrium state onto the base of the product is itself an equilibrium state for a Hölder potential defined via these fiberwise transfer operators.

We consider orthogonally invariant probability measures on $\operatorname {\mathrm {GL}}_n(\mathbb {R})$ and compare the mean of the logs of the moduli of eigenvalues of the matrices with the Lyapunov exponents of random matrix products independently drawn with respect to the measure. We give a lower bound for the former in terms of the latter. The results are motivated by Dedieu and Shub [On random and mean exponents for unitarily invariant probability measures on $\operatorname {\mathrm {GL}}_n(\mathbb {C})$. Astérisque 287 (2003), xvii, 1–18]. A novel feature of our treatment is the use of the theory of spherical polynomials in the proof of our main result.

We compute $ku^*\left(K\!\left({\mathbb{Z}}_p,2\right)\right)$ and $ku_*\left(K\!\left({\mathbb{Z}}_p,2\right)\right)$, the connective $KU$-cohomology and connective $KU$-homology groups of the mod-$p$ Eilenberg–MacLane space $K\!\left({\mathbb{Z}}_p,2\right)$, using the Adams spectral sequence. We obtain a striking interaction between $h_0$-extensions and exotic extensions. The mod-$p$ connective $KU$-cohomology groups, computed elsewhere, are needed in order to establish higher differentials and exotic extensions in the integral groups.