\mathcal{D}-modules with finite support are semi-simple

Let \((R, \frak{m}, k_{R})\) be a regular local k-algebra satisfying the weak Jacobian criterion, and such that k _R /k is an algebraic field extension. Let \(\mathcal{D}_{R}\) be the ring of k-linear differential operators of R. We give an explicit decomposition of the \(\mathcal{D}_{R}\) -module \(\mathcal{D}_{R}/\mathcal{D}_{R} \frak{m}_{R}^{n+1}\) as a direct sum of simple modules, all isomorphic to \(\mathcal{D}_{R}/\mathcal{D}_{R} \frak{m}\) , where certain “Pochhammer” differential operators are used to describe generators of the simple components.     

Towards a classification of modular compactifications of \mathcal {M}_{g,n}

The moduli space of smooth curves admits a beautiful compactification $\mathcal{M}_{g,n} \subset \overline{\mathcal{M}}_{g,n}$ by the moduli space of stable curves. In this paper, we undertake a systematic classification of alternate modular compactifications of $\mathcal{M}_{g,n}$ . Let $\mathcal{U}_{g,n}$ be the (non-separated) moduli stack of all n-pointed reduced, connected, complete, one-dimensional schemes of arithmetic genus g. When g=0, $\mathcal{U}_{0,n}$ is irreducible and we classify all open proper substacks of $\mathcal{U}_{0,n}$ . When g≥1, $\mathcal{U}_{g,n}$ may not be irreducible, but there is a unique irreducible component $\mathcal{V}_{g,n} \subset\mathcal{U}_{g,n}$ containing $\mathcal{M}_{g,n}$ . We classify open proper substacks of $\mathcal {V}_{g,n}$ satisfying a certain stability condition.     

Pro-\mathcal {C} completions of orientable \text{ PD }^3-pairs

Let \({\mathcal {C}}\) be a class of finite groups. We study some sufficient conditions for the pro- \({\mathcal {C}}\) completion of an orientable \(\text{ PD }^3\) -pair over \(\mathbb {Z}\) to be an orientable profinite \(\text{ PD }^3\) -pair over \(\mathbb {F}_p\) . More results are proven for the pro- \(p\) completion of \(\text{ PD }^3\) -pairs.     

\mathcal {A}_{p, {\mathbb {E}}} Weights,Maximal Operators,and Hardy Spaces Associated with a Family of General Sets

Suppose that \({\mathbb {E}}:=\{E_r(x)\}_{r\in {\mathcal {I}}, x\in X}\) is a family of open subsets of a topological space \(X\) endowed with a nonnegative Borel measure \(\mu \) satisfying certain basic conditions. We establish an \(\mathcal {A}_{{\mathbb {E}}, p}\) weights theory with respect to \({\mathbb {E}}\) and get the characterization of weighted weak type (1,1) and strong type \((p,p)\) , \(1<p\le \infty \) , for the maximal operator \({\mathcal {M}}_{{\mathbb {E}}}\) associated with \({\mathbb {E}}\) . As applications, we introduce the weighted atomic Hardy space \(H^1_{{\mathbb {E}}, w}\) and its dual \(BMO_{{\mathbb {E}},w}\) , and give a maximal function characterization of \(H^1_{{\mathbb {E}},w}\) . Our results generalize several well-known results.     

Structure of \mathrm {Gal}(\mathbb {k}_2^{(2)}/\mathbb {k}) for some fields \mathbb {k}=\mathbb {Q}(\sqrt{2p_1p_2},i) with \mathbf {C}l_2(\mathbb {k})\simeq (2, 2, 2)

Let \(p_1 \equiv p_2 \equiv 5\pmod 8\) be different primes. Put \(i=\sqrt{-1}\) and \(d=2p_1p_2\) , then the bicyclic biquadratic field \(\mathbb {k}=\mathbb {Q}(\sqrt{d},i)\) has an elementary abelian 2-class group of rank \(3\) . In this paper we determine the nilpotency class, the coclass, the generators and the structure of the non-abelian Galois group \(\mathrm {Gal}(\mathbb {k}_2^{(2)}/\mathbb {k})\) of the second Hilbert 2-class field \(\mathbb {k}_2^{(2)}\) of \(\mathbb {k}\) . We study the capitulation problem of the 2-classes of \(\mathbb {k}\) in its seven unramified quadratic extensions \(\mathbb {K}_i\) and in its seven unramified bicyclic biquadratic extensions \(\mathbb {L}_i\) .     

Extremal effective divisors on \overline{\mathcal M}_{1,n}

For every \(n\ge 3\) , we exhibit infinitely many extremal effective divisors on \(\overline{\mathcal M}_{1,n}\) , the Deligne-Mumford moduli space parameterizing stable genus one curves with \(n\) ordered marked points.     

Simply transitive geodesic ball packings to \mathbf{S}^2\!\times \!\mathbf{R} space groups generated by glide reflections

The \(\mathbf{S}^2\!\times \!\mathbf{R}\) geometry can be derived by the direct product of the spherical plane \(\mathbf{S}^2\) and the real line \(\mathbf{R}\) . In (Beiträge zur Algebra und Geometrie (Contributions to Algebra and Geometry) 42:235–250, 2001), Farkas has classified and given the complete list of the space groups of \(\mathbf{S}^2\!\times \!\mathbf{R}\) . The \(\mathbf{S}^2\!\times \!\mathbf{R}\) manifolds were classified by Molnár and Farkas in [2] by similarity and diffeomorphism. In Szirmai (Beiträge zur Algebra und Geometrie (Contributions to Algebra and Geometry) 52(2):413–430, 2011), we have studied the geodesic balls and their volumes in \(\mathbf{S}^2\!\times \!\mathbf{R}\) space; moreover, we have introduced the notion of geodesic ball packing and its density and have determined the densest geodesic ball packing for generalized Coxeter space groups of \(\mathbf{S}^2\!\times \!\mathbf{R}\) . In this paper, we study the locally optimal ball packings to the \(\mathbf{S}^2\!\times \!\mathbf{R}\) space groups having Coxeter point groups, and at least one of the generators is a glide reflection. We determine the densest simply transitive geodesic ball arrangements for the above space groups; moreover, we compute their optimal densities and radii. The density of the densest packing is \(\approx 0.80407553\) , may be surprising enough in comparison with the Euclidean result \(\frac{\pi }{\sqrt{18}}\approx 0.74048\) . Molnár has shown in (Beiträge zur Algebra und Geometrie (Contributions to Algebra and Geometry) 38(2):261–288, 1997) that the homogeneous 3-spaces have a unified interpretation in the real projective 3-sphere \(\mathcal PS ^3(\mathbf{V}^4,\varvec{V}_4,\mathbb R )\) . In our work, we shall use this projective model of \(\mathbf{S}^2\!\times \!\mathbf{R}\) geometry.     

{\boldsymbol(}\boldsymbol{\mathcal{Z}}_{\bf 1}, \boldsymbol{\mathcal{Z}}_{\bf 2}{\boldsymbol)}-Complete Partially Ordered Sets and Their Representations by \boldsymbol{\mathcal{Q}}-Spaces

The present paper proposes a general theory for $\left( \mathcal{Z}_{1}, \mathcal{Z}_{2}\right) $ -complete partially ordered sets (alias $\mathcal{Z} _{1}$ -join complete and $\mathcal{Z}_{2}$ -meet complete partially ordered sets) and their Stone-like representations. It is shown that for suitably chosen subset selections $\mathcal{Z}_{i}$ (i?=?1,...,4) and $\mathcal{Q} =\left( \mathcal{Z}_{1},\mathcal{Z}_{2},\mathcal{Z}_{3},\mathcal{Z} _{4}\right) $ , the category $\mathcal{Q}$ P of $\left( \mathcal{Z}_{1},\mathcal{Z}_{2}\right) $ -complete partially ordered sets and $\left( \mathcal{Z}_{3},\mathcal{Z}_{4}\right) $ -continuous (alias $\mathcal{ Z}_{3}$ -join preserving and $\mathcal{Z}_{4}$ -meet preserving) functions forms a useful categorical framework for various order-theoretical constructs, and has a close connection with the category $\mathcal{Q}$ S of $\mathcal{Q}$ -spaces which are generalizations of topological spaces involving subset selections. In particular, this connection turns into a dual equivalence between the full subcategory $ \mathcal{Q}$ P _s of $\mathcal{Q}$ P of all $\mathcal{Q}$ -spatial objects and the full subcategory $\mathcal{Q}$ S _s of $\mathcal{Q}$ S of all $\mathcal{Q}$ -sober objects. Here $\mathcal{Q}$ -spatiality and $\mathcal{Q}$ -sobriety extend usual notions of spatiality of locales and sobriety of topological spaces to the present approach, and their relations to $\mathcal{Z}$ -compact generation and $\mathcal{Z}$ -sobriety have also been pointed out in this paper.     

On Projective Modules in Category \mathcal{O}_{int} of Quantum \mathfrak{sl}_{2}

The restriction of a Verma module of ${\bf U}(\mathfrak{sl}_3)$ to ${\bf U}(\mathfrak{sl}_2)$ is isomorphic to a Verma module tensoring with all the finite dimensional simple modules of ${\bf U}(\mathfrak{sl}_2)$ . The canonical basis of the Verma module is compatible with such a decomposition. An explicit decomposition of the tensor product of the Verma module of highest weight 0 with a finite dimensional simple module into indecomposable projective modules in the category $\mathcal O_{\rm{int}}$ of quantum $\mathfrak{sl}_2$ is given.     

Brauer algebras of type \mathrm{I}_2^n(n\ge 5)

We will present an algebra related to the Coxeter group of type \(\mathrm{I}_2^n\) which can be taken as the twisted subalgebra in Brauer algebra of type \(\mathrm{A}_{n-1}\) . Also, we will describe some properties of this algebra.     

The Idempotents of the TL n -Module {\otimes^{n}\mathbb{C}2} in Terms of Elements of {{\rm U}_{q} \mathfrak{sl}_2}

The vector space \({\otimes^{n}\mathbb{C}^2}\) upon which the XXZ Hamiltonian with n spins acts bears the structure of a module over both the Temperley–Lieb algebra \({{\rm TL}_{n}(\beta = q + q^{-1})}\) and the quantum algebra \({{\rm U}_{q} \mathfrak{sl}_2}\) . The decomposition of \({\otimes^{n}\mathbb{C}^2}\) as a \({{\rm U}_{q} \mathfrak{sl}_2}\) -module was first described by Rosso (Commun Math Phys 117:581–593, 1988), Lusztig (Cont Math 82:58–77, 1989) and Pasquier and Saleur (Nucl Phys B 330:523–556, 1990) and that as a TL _n -module by Martin (Int J Mod Phys A 7:645–673, 1992) (see also Read and Saleur Nucl Phys B 777(3):316–351, 2007; Gainutdinov and Vasseur Nucl Phys B 868:223–270, 2013). For q generic, i.e. not a root of unity, the TL _n -module \({\otimes^{n}\mathbb{C}^2}\) is known to be a sum of irreducible modules. We construct the projectors (idempotents of the algebra of endomorphisms of \({\otimes^{n}\mathbb{C}^2}\) ) onto each of these irreducible modules as linear combinations of elements of \({{\rm U}_{q} \mathfrak{sl}_2}\) . When q = q _c is a root of unity, the TL _n -module \({\otimes^{n}\mathbb{C}^2}\) (with n large enough) can be written as a direct sum of indecomposable modules that are not all irreducible. We also give the idempotents projecting onto these indecomposable modules. Their expression now involves some new generators, whose action on \({\otimes^{n}\mathbb{C}^2}\) is that of the divided powers \({(S^{\pm})^{(r)} = \lim_{q \rightarrow q_{c}} (S^{\pm})^r/[r]!}\) .     

On Quadratic Differentials and Twisted Normal Maps of Surfaces in {\mathbb{S}^{2} \times\mathbb{R}} and {\mathbb{H}^{2} \times\mathbb{R}}

Given a Lie group G with a bi-invariant metric and a compact Lie subgroup K, Bittencourt and Ripoll used the homogeneous structure of quotient spaces to define a Gauss map ${\mathcal{N}:M^{n}\rightarrow{\mathbb{S}}}$ on any hypersupersurface ${M^{n}\looparrowright G/K}$ , where ${{\mathbb{S}}}$ is the unit sphere of the Lie algebra of G. It is proved in Bittencourt and Ripoll (Pacific J Math 224:45–64, 2006) that M ⁿ having constant mean curvature (CMC) is equivalent to ${\mathcal{N}}$ being harmonic, a generalization of a Ruh–Vilms theorem for submanifolds in the Euclidean space. In particular, when n = 2, the induced quadratic differential ${\mathcal{Q}_{\mathcal{N}}:=(\mathcal{N}^{\ast}g)^{2,0}}$ is holomorphic on CMC surfaces of G/K. In this paper, we take ${G/K={\mathbb{S}}^{2}\times{\mathbb{R}}}$ and compare ${\mathcal{Q}_{\mathcal{N}}}$ with the Abresch–Rosenberg differential ${\mathcal{Q}}$ , also holomorphic for CMC surfaces. It is proved that ${\mathcal{Q}=\mathcal{Q}_{\mathcal{N}}}$ , after showing that ${\mathcal{N}}$ is the twisted normal given by (1.5) herein. Then we define the twisted normal for surfaces in ${{\mathbb{H}}^{2}\times{\mathbb{R}}}$ and prove that ${\mathcal{Q}=\mathcal{Q}_{\mathcal{N}}}$ as well. Within the unified model for the two product spaces, we compute the tension field of ${\mathcal{N}}$ and extend to surfaces in ${{\mathbb{H}}^{2}\times{\mathbb{R}}}$ the equivalence between the CMC property and the harmonicity of ${\mathcal{N}.}$      

Notes on the partition property of {\mathcal{P}_\kappa\lambda}

We investigate the partition property of ${\mathcal{P}_{\kappa}\lambda}$ . Main results of this paper are as follows: (1) If λ is the least cardinal greater than κ such that ${\mathcal{P}_{\kappa}\lambda}$ carries a (λ ^κ , 2)-distributive normal ideal without the partition property, then λ is ${\Pi^1_n}$ -indescribable for all n?<?ω but not ${\Pi^2_1}$ -indescribable. (2) If cf(λ) ≥?κ, then every ineffable subset of ${\mathcal{P}_{\kappa}\lambda}$ has the partition property. (3) If cf(λ) ≥ κ, then the completely ineffable ideal over ${\mathcal{P}_{\kappa}\lambda}$ has the partition property.     

The \mathfrak {sl}_{3}-web algebra

In this paper we use Kuperberg’s $\mathfrak {sl}_3$ -webs and Khovanov’s $\mathfrak {sl}_3$ -foams to define a new algebra $K^S$ , which we call the $\mathfrak {sl}_3$ -web algebra. It is the $\mathfrak {sl}_3$ analogue of Khovanov’s arc algebra. We prove that $K^S$ is a graded symmetric Frobenius algebra. Furthermore, we categorify an instance of $q$ -skew Howe duality, which allows us to prove that $K^S$ is Morita equivalent to a certain cyclotomic KLR-algebra of level 3. This allows us to determine the split Grothendieck group $K^{\oplus }_0(\mathcal {W}^S)_{\mathbb {Q}(q)}$ , to show that its center is isomorphic to the cohomology ring of a certain Spaltenstein variety, and to prove that $K^S$ is a graded cellular algebra.     

On the group sheaf of \mathcal{A}-symplectomorphisms

This is a part of a further undertaking to affirm that most of classical module theory may be retrieved in the framework of Abstract Differential Geometry (à la Mallios). More precisely, within this article, we study some defining basic concepts of symplectic geometry on free \(\mathcal{A}\) -modules by focussing in particular on the group sheaf of \(\mathcal{A}\) -symplectomorphisms, where \(\mathcal{A}\) is assumed to be a torsion-free PID ?-algebra sheaf. The main result arising hereby is that \(\mathcal{A}\) -symplectomorphisms locally are products of symplectic transvections, which is a particularly well-behaved counterpart of the classical result.     

Supercyclic abelian semigroups of matrices on \mathbb {C}^{n}

We give a complete characterization of a supercyclic abelian semigroup of matrices on \(\mathbb {C}^{n}\) . For finitely generated semigroups, this characterization is explicit and it is used to determine the minimal number of matrices in normal form over \(\mathbb {C}\) that form a supercyclic abelian semigroup on \({\mathbb {C}}^{n}\) . In particular, no abelian semigroup generated by \(n-1\) matrices on \(\mathbb {C}^{n}\) can be supercyclic.     

Polynomials for \mathrm{GL}_p\times \mathrm{GL}_q orbit closures in the flag variety

The subgroup \(K=\mathrm{GL}_p \times \mathrm{GL}_q\) of \(\mathrm{GL}_{p+q}\) acts on the (complex) flag variety \(\mathrm{GL}_{p+q}/B\) with finitely many orbits. We introduce a family of polynomials specializing representatives for cohomology classes of the orbit closures in the Borel model. We define and study \(K\) -orbit determinantal ideals to support the geometric naturality of these representatives. Using a modification of these ideals, we describe an analogy between two local singularity measures: the \(H\) -polynomials and the Kazhdan–Lusztig–Vogan polynomials.     

The rearrangement-invariant space \Gamma _{p,\phi }

Fix \(b\in \mathbb R _+\) and \(p\in (1,\infty )\) . Let \(\phi \) be a positive measurable function on \(I_b:=(0,b)\) . Define the Lorentz Gamma norm, \(\rho _{p,\phi }\) , at the measurable function \(f:\mathbb R _+\rightarrow \mathbb R _+\) by \(\rho _{{}_{p,\phi }}(f):=\left[ \int _0^bf^{**}(t)^p\phi (t)\,dt\right] ^{\frac{1}{p}}\) , in which \(f^{**}(t):=t^{-1}\int _0^tf^{*}(s)\,ds\) , where \(f^*(t):=\mu _f^{-1}(t)\) , with \(\mu _f(s):=|\{ x\in I_b: |f(x)|>s\}|\) . Our aim in this paper is to study the rearrangement-invariant space determined by \(\rho _{{}_{p,\phi }}\) . In particular, we determine its Köthe dual and its Boyd indices. Using the latter a sufficient condition is given for a Caldéron–Zygmund operator to map such a space into itself.     

Conservative fragments of {{S}^{1}_{2}} and {{R}^{1}_{2}}

Conservative subtheories of ${{R}^{1}_{2}}$ and ${{S}^{1}_{2}}$ are presented. For ${{S}^{1}_{2}}$ , a slight tightening of Je?ábek??s result (Math Logic Q 52(6):613?C624, 2006) that ${T^{0}_{2} \preceq_{\forall \Sigma^{b}_{1}}S^{1}_{2}}$ is presented: It is shown that ${T^{0}_{2}}$ can be axiomatised as BASIC together with induction on sharply bounded formulas of one alternation. Within this ${\forall\Sigma^{b}_{1}}$ -theory, we define a ${\forall\Sigma^{b}_{0}}$ -theory, ${T^{-1}_{2}}$ , for the ${\forall\Sigma^{b}_{0}}$ -consequences of ${S^{1}_{2}}$ . We show ${T^{-1}_{2}}$ is weak by showing it cannot ${\Sigma^{b}_{0}}$ -define division by 3. We then consider what would be the analogous ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ based on Pollett (Ann Pure Appl Logic 100:189?C245, 1999. It is shown that this theory, ${{T}^{0,\left\{2^{(||\dot{id}||)}\right\}}_{2}}$ , also cannot ${\Sigma^{b}_{0}}$ -define division by 3. On the other hand, we show that ${{S}^{0}_{2}+open_{\{||id||\}}}$ -COMP is a ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ . Finally, we give a refinement of Johannsen and Pollett (Logic Colloquium?? 98, 262?C279, 2000) and show that ${\hat{C}^{0}_{2}}$ is ${\forall\hat\Sigma^{b}_{1}}$ -conservative over a theory based on open _cl-comprehension.