Let 𝑝 be an odd prime number, and 𝑁 a positive integer prime to 𝑝. We prove that 𝜇-type subgroups of the modular Jacobian variety 𝐽₁(𝑁) or 𝐽₁(𝑁𝑝) of order a power of 𝑝 and defined over some abelian extensions of ℚ are trivial, under several hypotheses. For the proof, we use the method of Vatsal. As application, we show that a conjecture of Sharifi is valid in some cases.

In this paper it is proved that, when 𝑄 is a quiver that admits some closure, for any algebraically closed field 𝐾 and any finite dimensional 𝐾-linear representation 𝒳 of 𝑄, if Ext¹_𝐾𝑄(𝒳, 𝐾𝑄) = 0 then 𝒳 is projective. In contrast, we show that if 𝑄 is a specific quiver of the type above, then there is an infinitely generated non-projective 𝐾𝑄-module 𝑀_{𝜔_1} such that, when 𝐾 is a countable field, 𝐌𝐀_{ℵ_1} (Martin's axiom for ℵ₁ many dense sets, which is a combinatorial axiom in set theory) implies that Ext¹_𝐾𝑄(𝑀_{𝜔_1}, 𝐾𝑄) = 0.

In this paper, we investigate the Hamiltonian-stability of Lagrangian tori in the complex hyperbolic space ℂ𝐻^𝑛. We consider a standard Hamiltonian 𝑇^𝑛-action on ℂ𝐻^𝑛, and show that every Lagrangian 𝑇^𝑛-orbits in ℂ𝐻^𝑛 is H-stable when 𝑛 ≤ 2 and there exist infinitely many H-unstable 𝑇^𝑛-orbits when 𝑛 ≥ 3. On the other hand, we prove a monotone 𝑇^𝑛-orbit in ℂ𝐻^𝑛 is H-stable and rigid for any 𝑛. Moreover, we see almost all Lagrangian 𝑇^𝑛-orbits in ℂ𝐻^𝑛 are not Hamiltonian volume minimizing when 𝑛 ≥ 3 as well as the case of ℂ^𝑛 and ℂ𝑃^𝑛.

Inspired by the recent progress by Coates–Corti–Kasprzyk et al. on mirror symmetry for del Pezzo surfaces, we show that for any positive integer 𝑘 the deformation families of del Pezzo surfaces with a single 1/𝑘(1, 1) singularity (and no other singular points) fit into a single cascade. Additionally we construct models and toric degenerations of these surfaces embedded in toric varieties in codimension ≤ 2. Several of these directly generalise constructions of Reid–Suzuki (in the case 𝑘 = 3). We identify a root system in the Picard lattice, and in light of the work of Gross–Hacking–Keel, comment on mirror symmetry for each of these surfaces. Finally we classify all del Pezzo surfaces with certain combinations of 1/𝑘(1, 1) singularities for 𝑘 = 3, 5, 6 which admit a toric degeneration.

In 1978 Uchiyama gave a proof of the characterization of CMO(ℝ^𝑛) which is the closure of 𝐶^∞_comp(ℝ^𝑛) in BMO(ℝ^𝑛). We extend the characterization to the closure of 𝐶^∞_comp(ℝ^𝑛) in the Campanato space with variable growth condition. As an application we characterize compact commutators [𝑏, 𝑇] and [𝑏, 𝐼_𝛼] on Morrey spaces with variable growth condition, where 𝑇 is the Calderón–Zygmund singular integral operator, 𝐼_𝛼 is the fractional integral operator and 𝑏 is a function in the Campanato space with variable growth condition.

We study the asymptotic behavior of metric measure spaces satisfying the rough curvature dimension condition. We prove stabilities of the rough curvature dimension condition with respect to the observable distance function and the 𝐿²-transportation distance function.

We construct a framework which gives intuitive representation of local cohomology groups. By defining the concrete mappings among them, we show their equivalence. As an application, we justify intuitive representation of Laplace hyperfunctions.

Given a generic 𝐾3-surface 𝑌_𝑘 of the Apéry–Fermi pencil, we use the Kneser–Nishiyama technique to determine all its non isomorphic elliptic fibrations. These computations lead to determine those fibrations with 2-torsion sections T. We classify the fibrations such that the translation by T gives a Shioda–Inose structure. The other fibrations correspond to a 𝐾3-surface identified by its transcendental lattice. The same problem is solved for a singular member 𝑌₂ of the family showing the differences with the generic case. In conclusion we put our results in the context of relations between 2-isogenies and isometries on the singular surfaces of the family.

Let 𝐔⁻_𝑞 = 𝐔⁻_𝑞(𝔤) be the negative part of the quantum group associated to a finite dimensional simple Lie algebra 𝔤, and 𝜎 : 𝔤 → 𝔤 be the automorphism obtained from the diagram automorphism. Let 𝔤^𝜎 be the fixed point subalgebra of 𝔤, and put \underline{𝐔}⁻_𝑞 = 𝐔⁻_𝑞(𝔤^𝜎). Let 𝐁 be the canonical basis of 𝐔⁻_𝑞 and \underline{𝐁} the canonical basis of \underline{𝐔}⁻_𝑞. 𝜎 induces a natural action on 𝐁, and we denote by 𝐁^𝜎 the set of 𝜎-fixed elements in 𝐁. Lusztig proved that there exists a canonical bijection 𝐁^𝜎 ≃ \underline{𝐁} by using geometric considerations. In this paper, we construct such a bijection in an elementary way. We also consider such a bijection in the case of certain affine quantum groups, by making use of PBW-bases constructed by Beck and Nakajima.