Let 𝑝 be an odd prime number, and 𝑁 a positive integer prime to 𝑝. We prove that 𝜇-type subgroups of the modular Jacobian variety 𝐽1(𝑁) or 𝐽1(𝑁𝑝) 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 Ext1𝐾𝑄(𝒳, 𝐾𝑄) = 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 ℵ1 many dense sets, which is a combinatorial axiom in set theory) implies that Ext1𝐾𝑄(𝑀𝜔_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 𝐿2-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 𝑌2 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.