Uniquely <Emphasis Type="Italic">C</Emphasis><Subscript>4</Subscript>-Saturated Graphs

For a fixed graph H, a graph G is uniquely H-saturated if G does not contain H, but the addition of any edge from [`(G)]{\overline{G}} to G completes exactly one copy of H. Using a combination of algebraic methods and counting arguments, we determine all the uniquely C ₄-saturated graphs; there are only ten of them.     

Augmented Teichmüller spaces and orbifolds

We study complex analytic properties of the augmented Teichmüller spaces [`(T)]<sub>g,n</sub>{\overline{\mathcal{T}}_{g,n}} obtained by adding to the classical Teichmüller spaces T<sub>g,n</sub>{\mathcal{T}_{g,n}} points corresponding to Riemann surfaces with nodal singularities. Unlike T<sub>g,n</sub>{\mathcal{T}_{g,n}}, the space [`(T)]_g,n{\overline{\mathcal{T}}_{g,n}} is not a complex manifold (it is not even locally compact). We prove, however, that the quotient of the augmented Teichmüller space by any finite index subgroup of the Teichmüller modular group has a canonical structure of a complex orbifold. Using this structure, we construct natural maps from [`(T)]{\overline{\mathcal{T}}} to stacks of admissible coverings of stable Riemann surfaces. This result is important for understanding the cup-product in stringy orbifold cohomology. We also establish some new technical results from the general theory of orbifolds which may be of independent interest.     

Minimizers of a weighted maximum of the Gauss curvature

On a Riemann surface [`(S)]{\overline{\Sigma}} with smooth boundary, we consider Riemannian metrics conformal to a given background metric. Let κ be a smooth, positive function on [`(S)]{\overline{\Sigma}}. If K denotes the Gauss curvature, then the L ^∞-norm of K/κ gives rise to a functional on the space of all admissible metrics. We study minimizers subject to an area constraint. Under suitable conditions, we construct a minimizer with the property that |K|/κ is constant. The sign of K can change, but this happens only on the nodal set of the solution of a linear partial differential equation.     

The classification of irreducible admissible mod <Emphasis Type="Italic">p</Emphasis> representations of a <Emphasis Type="Italic">p</Emphasis>-adic GL<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

Let F be a finite extension of ℚ _p . Using the mod p Satake transform, we define what it means for an irreducible admissible smooth representation of an F-split p-adic reductive group over  [`( \mathbbF)]<sub>p</sub>\overline{ \mathbb{F}}_{p} to be supersingular. We then give the classification of irreducible admissible smooth GL <sub>n</sub> (F)-representations over  [`( \mathbbF)]_p\overline{ \mathbb{F}}_{p} in terms of supersingular representations. As a consequence we deduce that supersingular is the same as supercuspidal. These results generalise the work of Barthel–Livné for n=2. For general split reductive groups we obtain similar results under stronger hypotheses.     

Compactified Picard stacks over $${\overline{\mathcal M}_g}$$

We study algebraic (Artin) stacks over [`(M)]<sub>g</sub>{\overline{\mathcal M}_{g}} giving a functorial way of compactifying the relative degree d Picard variety for families of stable curves. We also describe for every d the locus of genus g stable curves over which we get Deligne–Mumford stacks strongly representable over[`(M)]_g{\overline{\mathcal M}_{g}} .     

Pontrjagin–Thom maps and the homology of the moduli stack of stable curves

We study the singular homology (with field coefficients) of the moduli stack [`(\mathfrakM)]<sub>g, n</sub>{\overline{\mathfrak{M}}_{g, n}} of stable n-pointed complex curves of genus g. Each irreducible boundary component of [`(\mathfrakM)]_{g, n}{\overline{\mathfrak{M}}_{g, n}} determines via the Pontrjagin–Thom construction a map from [`(\mathfrakM)]<sub>g, n</sub>{\overline{\mathfrak{M}}_{g, n}} to a certain infinite loop space whose homology is well understood. We show that these maps are surjective on homology in a range of degrees proportional to the genus. This detects many new torsion classes in the homology of [`(\mathfrakM)]_{g, n}{\overline{\mathfrak{M}}_{g, n}}.     

On perfect pairs for quadruples in complemented modular lattices and concepts of perfect elements

Gel’fand and Ponomarev [11] introduced the concept of perfect elements and constructed such in the free modular lattice on 4 generators. We present an alternative construction of such elements u (linearly equivalent to theirs) and for each u a direct decomposition u, [`(u)]{\bar{u}} of the generating quadruple within the free complemented modular lattice on 4 generators; u, [`(u)]{\bar{u}} are said to form a perfect pair. This builds on [17] and fills a gap left there. We also discuss various notions of perfect elements and relate them to preprojective and preinjective representations.     

Partitions involving D.H. Lehmer numbers

Let n ≥ 2 be a fixed integer, let q and c be two integers with q > n and (n, q) = (c, q) = 1. For every positive integer a which is coprime with q we denote by [`(a)]<sub>c</sub>{\overline{a}_{c}} the unique integer satisfying 1 ￡ [`(a)]_c ￡ q{1\leq\overline{a}_{c} \leq{q}} and a[`(a)]_c o c(mod q){a\overline{a}_{c} \equiv{c}({\rm mod}\, q)}. Put

Projective Freeness of Algebras of Real Symmetric Functions

Let \mathbb Dⁿ:={z=(z₁,?, z_n) ? \mathbb Cⁿ:|z_j| < 1,   j=1,?, n}{\mathbb {D}^n:=\{z=(z_1,\ldots, z_n)\in \mathbb {C}^n:|z_j| < 1, \;j=1,\ldots, n\}}, and let [`(\mathbbD)]ⁿ{\overline{\mathbb{D}}^n} denote its closure in \mathbb Cⁿ{\mathbb {C}^n}. Consider the ring

Purity for overconvergence

Let X \hookrightarrow[`(X)]{X \hookrightarrow \overline{X}} be an open immersion of smooth varieties over a field of characteristic p > 0 such that the complement is a simple normal crossing divisor and [`(Z)] í Z í [`(X)]{\overline{Z}\subseteq Z \subseteq \overline{X}} closed subschemes of codimension at least 2. In this paper, we prove that the canonical restriction functor between the categories of overconvergent F-isocrystals F-Isoc<sup>f</sup>(X,[`(X)]) ? F-Isoc^f(X\Z,[`(X)]\[`(Z)]){F-{\rm Isoc}^\dagger(X,\overline{X}) \longrightarrow F-{\rm Isoc}^\dagger(X{\setminus}Z, \overline{X}{\setminus}\overline{Z})} is an equivalence of categories. We also give an application of our result to the equivalence of certain categories.     

Extending the Torelli map to toroidal compactifications of Siegel space

It has been known since the 1970s that the Torelli map M  _g →A  _g , associating to a smooth curve its Jacobian, extends to a regular map from the Deligne–Mumford compactification [`(\operatorname M)]<sub>g</sub>\overline {\operatorname {M}}_{g} to the 2nd Voronoi compactification [`(\operatorname A)]_g^vor\overline {\operatorname {A}}_{g}^{\mathrm {vor}}. We prove that the extended Torelli map to the perfect cone (1st Voronoi) compactification [`(\operatorname A)]<sub>g</sub><sup>perf</sup>\overline {\operatorname {A}}_{g}^{\mathrm {perf}} is also regular, and moreover [`(\operatorname A)]_g^vor\overline {\operatorname {A}}_{g}^{\mathrm {vor}} and [`(\operatorname A)]<sub>g</sub><sup>perf</sup>\overline {\operatorname {A}}_{g}^{\mathrm {perf}} share a common Zariski open neighborhood of the image of [`(\operatorname M)]_g\overline {\operatorname {M}}_{g}. We also show that the map to the Igusa monoidal transform (central cone compactification) is not regular for g≥9; this disproves a 1973 conjecture of Namikawa.     

Voronovskaja-Type Results in Compact Disks for Quaternion q-Bernstein Operators, q ≥ 1

Attaching to a compact disk [`(\mathbbD<sub>r</sub>)]{\overline{\mathbb{D}_{r}}} in the quaternion field \mathbbH{\mathbb{H}} and to some analytic function in Weierstrass sense on [`(\mathbbD_r)]{\overline{\mathbb{D}_{r}}} the so-called q-Bernstein operators with q ≥ 1, Voronovskaja-type results with quantitative upper estimates are proved. As applications, the exact orders of approximation in [`(\mathbbD_r)]{\overline{\mathbb{D}_{r}}} for these operators, namely \frac1n{\frac{1}{n}} if q = 1 and \frac1qⁿ{\frac{1}{q^{n}}} if q > 1, are obtained. The results extend those in the case of approximation of analytic functions of a complex variable in disks by q-Bernstein operators of complex variable in Gal (Mediterr J Math 5(3):253–272, 2008) and complete the upper estimates obtained for q-Bernstein operators of quaternionic variable in Gal (Approximation by Complex Bernstein and Convolution-Type Operators, 2009; Adv Appl Clifford Alg, doi:, 2011).     

Even Galois representations and the Fontaine–Mazur conjecture

We prove, under mild hypotheses, that there are no irreducible two-dimensional ordinary even Galois representations of Gal([`(Q)]/Q)\mathrm{Gal}(\overline{\mathbf{Q}}/\mathbf{Q}) with distinct Hodge–Tate weights. This is in accordance with the Fontaine–Mazur conjecture. If K/Q is an imaginary quadratic field, we also prove (again, under certain hypotheses) that Gal([`(Q)]/K)\mathrm{Gal}(\overline{\mathbf{Q}}/K) does not admit irreducible two-dimensional ordinary Galois representations of non-parallel weight.     

When is the Uvarov transformation positive definite?

Let L\cal{L} be a positive definite bilinear functional, then the Uvarov transformation of L\cal{L} is given by  U(p,q) = L(p,q) + m p(a)[`(q)](a<sup>-1</sup>) +[`(m)] p([`(a)]<sup>-1</sup>)\,\mathcal{U}(p,q) = \mathcal{L}(p,q) + m\,p(\alpha)\overline{q}(\alpha^{-1}) + \overline{m}\,p(\overline{\alpha}^{-1}) [`(q)]([`(a)])\overline{q}(\overline{\alpha}) where $|\alpha| > 1, m \in \mathbb{C}$|\alpha| > 1, m \in \mathbb{C}. In this paper we analyze conditions on m for U\cal{U} to be positive definite in the linear space of polynomials of degree less than or equal to n. In particular, we show that m has to lie inside a circle in the complex plane defined by α, n and the moments associated with L\cal{L}. We also give an upper bound for the radius of this circle that depends only on α and n. This and other conditions on m are visualized for some examples.     

Abelian and Hamiltonian varieties of groupoids

We study certain groupoids generating Abelian, strongly Abelian, and Hamiltonian varieties. An algebra is Abelian if t( a,[`(c)] ) = t( a,[`(d)] ) ? t( b,[`(c)] ) = t( b,[`(d)] ) t\left( {a,\bar{c}} \right) = t\left( {a,\bar{d}} \right) \to t\left( {b,\bar{c}} \right) = t\left( {b,\bar{d}} \right) for any polynomial operation on the algebra and for all elements a, b, [`(c)] \bar{c} , [`(d)] \bar{d} . An algebra is strongly Abelian if t( a,[`(c)] ) = t( b,[`(d)] ) ? t( e,[`(c)] ) = t( e,[`(d)] ) t\left( {a,\bar{c}} \right) = t\left( {b,\bar{d}} \right) \to t\left( {e,\bar{c}} \right) = t\left( {e,\bar{d}} \right) for any polynomial operation on the algebra and for arbitrary elements a, b, e, [`(c)] \bar{c} , [`(d)] \bar{d} . An algebra is Hamiltonian if any subalgebra of the algebra is a congruence class. A variety is Abelian (strongly Abelian, Hamiltonian) if all algebras in a respective class are Abelian (strongly Abelian, Hamiltonian). We describe semigroups, groupoids with unity, and quasigroups generating Abelian, strongly Abelian, and Hamiltonian varieties.     

Existence of shadow prices in finite probability spaces

A shadow price is a process [(S)\tilde]{\widetilde{S}} lying within the bid/ask prices S,[`(S)]{\underline{S},\overline{S}} of a market with proportional transaction costs, such that maximizing expected utility from consumption in the frictionless market with price process [(S)\tilde]{\widetilde{S}} leads to the same maximal utility as in the original market with transaction costs. For finite probability spaces, this note provides an elementary proof for the existence of such a shadow price.     

Extended equivariant Picard complexes and homogeneous spaces

Let k be a field of characteristic 0 and let [`(k)] \bar{k} be a fixed algebraic closure of k. Let X be a smooth geometrically integral k-variety; we set [`(X)] = X ×_k[`(k)] \bar{X} = X{ \times_k}\bar{k} and denote by [`(X)] \bar{X} . In [BvH2] we defined the extended Picard complex of X as the complex of Gal( [`(k)]

Connected Domination Number of a Graph and its Complement

A set S of vertices in a graph G is a connected dominating set if every vertex not in S is adjacent to some vertex in S and the subgraph induced by S is connected. The connected domination number γ _c (G) is the minimum size of such a set. Let d^*(G)=min{d(G),d([`(G)])}{\delta^*(G)={\rm min}\{\delta(G),\delta({\overline{G}})\}} , where [`(G)]{{\overline{G}}} is the complement of G and δ(G) is the minimum vertex degree. We prove that when G and [`(G)]{{\overline{G}}} are both connected, g<sub>c</sub>(G)+g<sub>c</sub>([`(G)]) ￡ d^*(G)+4-(g_c(G)-3)(g_c([`(G)])-3){{\gamma_c}(G)+{\gamma_c}({\overline{G}})\le \delta^*(G)+4-({\gamma_c}(G)-3)({\gamma_c}({\overline{G}})-3)} . As a corollary, g<sub>c</sub>(G)+g<sub>c</sub>([`(G)]) ￡ \frac3n4{{\gamma_c}(G)+{\gamma_c}({\overline{G}})\le \frac{3n}{4}} when δ*(G) ≥ 3 and n ≥ 14, where G has n vertices. We also prove that g_c(G)+g_c([`(G)]) ￡ d<sup>*</sup>(G)+2{{\gamma_c}(G)+{\gamma_c}({\overline{G}})\le \delta^*(G)+2} when g<sub>c</sub>(G),g<sub>c</sub>([`(G)]) 3 4{{\gamma_c}(G),{\gamma_c}({\overline{G}})\ge 4} . This bound is sharp when δ*(G) = 6, and equality can only hold when δ*(G) = 6. Finally, we prove that g_c(G)g_c([`(G)]) ￡ 2n-4{{\gamma_c}(G){\gamma_c}({\overline{G}})\le 2n-4} when n ≥ 7, with equality only for paths and cycles.     

A correspondence for the supercuspidal representations of $\overline {SL_2(F)}$, F p-adic

Following D. Manderscheid, we describe the supercuspidal representations of the n-fold metaplectic cover [`(SL<sub>2</sub>(F))]\overline {SL_2(F)}, where F is a p-adic field with (p, 2n) = 1. We prove a "Frobenius formula" for the character of a supercuspidal representation of [`(SL₂(F))]\overline {SL_2(F)}. Using this formula, we obtain a character relation between corresponding supercuspidal representations of [`(SL₂(F))]\overline {SL_2(F)} and of SL₂(F)> in the case n = 2.     

A note on lattices in semi-stable representations

Let p be a prime, K a finite extension over \mathbb Q_p{{\mathbb Q}_p} and G = Gal([`(K)] /K){G = {\rm Gal}(\overline K /K)} . We extend Kisin’s theory on j{\varphi} -modules of finite E(u)-height to give a new classification of G-stable \mathbb Z1_p{{\mathbb Z}1_p} -lattices in semi-stable representations.