Let$S$be a closed Shimura variety uniformized by the complex$n$-ball associated with a standard unitary group. The Hodge conjecture predicts that every Hodge class in $${H^{2k} (S, \mathbb{Q})}$$ , $${k=0,\dots, n}$$ , is algebraic. We show that this holds for all degrees$k$away from the neighborhood $${\bigl]\tfrac13n,\tfrac23n\bigr[}$$ of the middle degree. We also prove the Tate conjecture for the same degrees as the Hodge conjecture and the generalized form of the Hodge conjecture in degrees away from an interval (depending on the codimension$c$of the subvariety) centered at the middle dimension of S. These results are derived from a general theorem that applies to all Shimura varieties associated with standard unitary groups of any signature. The proofs make use of Arthur’s endoscopic classification of automorphic representations of classical groups. As such our results rely on the stabilization of the trace formula for the (disconnected) groups $${GL (N) \rtimes \langle \theta \rangle}$$ associated with base change.

No abstract uploaded!

Resolution Matrix Semantics (RMS) introduces a novel truth-value-based framework for modal logic, providing a substantive alternative to Kripke’s relational semantics of possible worlds. Drawing inspiration from Y. Ivlev’s substantive semantics, RMS utilizes a 4-valued structure—necessary truth (tn), contingent truth (tc), contingent false (fc), and necessary false (fn)—augmented by indeterminate values (t, f, t/f) to define modal systems Km, KDm, KTm, S4m, and S5m, analogous to Kripke’s K, KD, T, S4, and S5. By directly assigning determined and indeterminate truth values via an interpretation function, RMS validates formulas without relying on accessibility relations, as demonstrated through soundness and completeness proofs and a tailored tableau method. The framework’s versatility extends to applications in deontic logic, artificial intelligence, and quantum computing, enabling context-dependent reasoning with computational efficiency. RMS thus bridges philosophical logic and practical domains, offering a truth-centric perspective on modal reasoning’s complexities.

No abstract uploaded!

In this paper, we propose a conjectural multiplicity formula for general spherical varieties. For all the cases where a multiplicity formula has been proved, including Whittaker model, Gan-Gross-Prasad model, Ginzburg-Rallis model, Galois model and Shalika model, we show that the multiplicity formula in our conjecture matches the multiplicity formula that has been proved. We also give a proof of this multiplicity formula in two new cases.