Uniformizing the Stacks of Abelian Sheaves

Elliptic sheaves (which are related to Drinfeld modules) were introduced by Drinfeld and further studied by Laumon--Rapoport--Stuhler and others. They can be viewed as function field analogues of elliptic curves and hence are objects "of dimension 1". Their higher dimensional generalisations are called abelian sheaves. In the analogy between function fields and number fields, abelian sheaves are counterparts of abelian varieties. In this article we study the moduli spaces of abelian sheaves and prove that they are algebraic stacks. We further transfer results of Cerednik--Drinfeld and Rapoport--Zink on the uniformization of Shimura varieties to the setting of abelian sheaves. Actually the analogy of the Cerednik--Drinfeld uniformization is nothing but the uniformization of the moduli schemes of Drinfeld modules by the Drinfeld upper half space. Our results generalise this uniformization. The proof closely follows the ideas of Rapoport--Zink. In particular, analogies of $p$-divisible groups play an important role. As a crucial intermediate step we prove that in a family of abelian sheaves with good reduction at infinity, the set of points where the abelian sheaf is uniformizable in the sense of Anderson, is formally closed.Comment: Final version, appears in "Number Fields and Function Fields - Two Parallel Worlds", Papers from the 4th Conference held on Texel Island, April 2004, edited by G. van der Geer, B. Moonen, R. Schoo

A verified algorithm enumerating event structures

An event structure is a mathematical abstraction modeling concepts as causality, conflict and concurrency between events. While many other mathematical structures, including groups, topological spaces, rings, abound with algorithms and formulas to generate, enumerate and count particular sets of their members, no algorithm or formulas are known to generate or count all the possible event structures over af inite set of events. We present an algorithm to generate such a family, along with a functional implementation verified using Isabelle/HOL. As byproducts, we obtain a verified enumeration of all possible preorders and partial orders. While the integer sequences counting preorders and partial orders are already listed on OEIS (On-line Encyclopedia of Integer Sequences), the one counting event structures is not. We therefore used our algorithm to submit a formally verified addition, which has been successfully reviewed and is now part of the OEIS.Postprin

A single-blinded trial of methotrexate versus azathioprine as steroid-sparing agents in generalized myasthenia gravis

<p>Abstract</p> <p>Background</p> <p>Long-term immunosuppression is often required in myasthenia gravis (MG). There are no published trials using methotrexate (MTX) in MG. The steroid-sparing efficacy of azathioprine (AZA) has been demonstrated after 18-months of starting therapy. However, AZA is considered expensive in Africa. We evaluated the steroid-sparing efficacy of MTX (17.5 mg weekly) compared with AZA (2.5 mg/kg daily) in subjects recently diagnosed with generalized MG by assessing their average monthly prednisone requirements.</p> <p>Methods</p> <p>The primary outcome was the average daily prednisone requirement by month between the two groups. Prednisone was given at the lowest dose to manage MG symptoms and adjusted as required according to protocol. Single-blinded assessments were performed 3-monthly for 2-years to determine the quantitative MG score and the MG activities of daily living score in order to determine those with minimal manifestations of MG.</p> <p>Results</p> <p>Thirty-one subjects (AZA n = 15; MTX n = 16) satisfied the inclusion criteria but only 24 were randomized. Baseline characteristics were similar. There was no difference between the AZA- and MTX-groups in respect of prednisone dosing (apart from months 10 and 12), in quantitative MG Score improvement, proportions in sustained remission, frequencies of MG relapses, or adverse reactions and/or withdrawals. The MTX-group received lower prednisone doses between month 10 (p = 0.047) and month 12 (p = 0.039). At month 12 the prednisone dose per kilogram bodyweight in the MTX-group (0.15 mg/kg) was half that of the AZA-group (0.31 mg/kg)(p = 0.019).</p> <p>Conclusions</p> <p>This study provides evidence that in patients with generalized MG methotrexate is an effective steroid-sparing agent 10 months after treatment initiation. Our data suggests that in generalized MG methotrexate has similar efficacy and tolerability to azathioprine and may be the drug of choice in financially constrained health systems.</p> <p>Trial registration</p> <p>SANCTR:DOH-27-0411-2436</p

Selective Preservation of Bone Marrow Mature Recirculating but Not Marginal Zone B Cells in Murine Models of Chronic Inflammation

Inflammation promotes granulopoiesis over B lymphopoiesis in the bone marrow (BM). We studied B cell homeostasis in two murine models of T cell mediated chronic inflammation, namely calreticulin-deficient fetal liver chimeras (FLC), which develop severe blepharitis and alopecia due to T cell hyper responsiveness, and inflammatory bowel disease (IBD) caused by injection of CD4+ naïve T cells into lymphopenic mice. We show herein that despite the severe depletion of B cell progenitors during chronic, peripheral T cell-mediated inflammation, the population of BM mature recirculating B cells is unaffected. These B cells are poised to differentiate to plasma cells in response to blood borne pathogens, in an analogous fashion to non-recirculating marginal zone (MZ) B cells in the spleen. MZ B cells nevertheless differentiate more efficiently to plasma cells upon polyclonal stimulation by Toll-like receptor (TLR) ligands, and are depleted during chronic T cell mediated inflammation in vivo. The preservation of mature B cells in the BM is associated with increased concentration of macrophage migration inhibitory factor (MIF) in serum and BM plasma. MIF produced by perivascular dendritic cells (DC) in the BM provides a crucial survival signal for recirculating B cells, and mice treated with a MIF inhibitor during inflammation showed significantly reduced mature B cells in the BM. These data indicate that MIF secretion by perivascular DC may promote the survival of the recirculating B cell pool to ensure responsiveness to blood borne microbes despite loss of the MZ B cell pool that accompanies depressed lymphopoiesis during inflammation

Association of Panton Valentine Leukocidin (PVL) genes with methicillin resistant Staphylococcus aureus (MRSA) in Western Nepal: a matter of concern for community infections (a hospital based prospective study)

BACKGROUND: Methicillin resistant Staphylococcus aureus (MRSA) is a major human pathogen associated with nosocomial and community infections. Panton Valentine leukocidin (PVL) is considered one of the important virulence factors of S. aureus responsible for destruction of white blood cells, necrosis and apoptosis and as a marker of community acquired MRSA. This study was aimed to determine the prevalence of PVL genes among MRSA isolates and to check the reliability of PVL as marker of community acquired MRSA isolates from Western Nepal. METHODS: A total of 400 strains of S. aureus were collected from clinical specimens and various units (Operation Theater, Intensive Care Units) of the hospital and 139 of these had been confirmed as MRSA by previous study. Multiplex PCR was used to detect mecA and PVL genes. Clinical data as well as antimicrobial susceptibility data was analyzed and compared among PVL positive and negative MRSA isolates. RESULTS: Out of 139 MRSA isolates, 79 (56.8 %) were PVL positive. The majority of the community acquired MRSA (90.4 %) were PVL positive (Positive predictive value: 94.9 % and negative predictive value: 86.6 %), while PVL was detected only in 4 (7.1 %) hospital associated MRSA strains. None of the MRSA isolates from hospital environment was found positive for the PVL genes. The majority of the PVL positive strains (75.5 %) were isolated from pus samples. Antibiotic resistance among PVL negative MRSA isolates was found higher as compared to PVL positive MRSA. CONCLUSION: Our study showed high prevalence of PVL among community acquired MRSA isolates. Absence of PVL among MRSA isolates from hospital environment indicates its poor association with hospital acquired MRSA and therefore, PVL may be used a marker for community acquired MRSA. This is first study from Nepal, to test PVL among MRSA isolates from hospital environment. ELECTRONIC SUPPLEMENTARY MATERIAL: The online version of this article (doi:10.1186/s12879-016-1531-1) contains supplementary material, which is available to authorized users

Toll-Like Receptor Agonists Synergize with CD40L to Induce Either Proliferation or Plasma Cell Differentiation of Mouse B Cells

In a classical dogma, pathogens are sensed (via recognition of Pathogen Associated Molecular Patterns (PAMPs)) by innate immune cells that in turn activate adaptive immune cells. However, recent data showed that TLRs (Toll Like Receptors), the most characterized class of Pattern Recognition Receptors, are also expressed by adaptive immune B cells. B cells play an important role in protective immunity essentially by differentiating into antibody-secreting cells (ASC). This differentiation requires at least two signals: the recognition of an antigen by the B cell specific receptor (BCR) and a T cell co-stimulatory signal provided mainly by CD154/CD40L acting on CD40. In order to better understand interactions of innate and adaptive B cell stimulatory signals, we evaluated the outcome of combinations of TLRs, BCR and/or CD40 stimulation. For this purpose, mouse spleen B cells were activated with synthetic TLR agonists, recombinant mouse CD40L and agonist anti-BCR antibodies. As expected, TLR agonists induced mouse B cell proliferation and activation or differentiation into ASC. Interestingly, addition of CD40 signal to TLR agonists stimulated either B cell proliferation and activation (TLR3, TLR4, and TLR9) or differentiation into ASC (TLR1/2, TLR2/6, TLR4 and TLR7). Addition of a BCR signal to CD40L and either TLR3 or TLR9 agonists did not induce differentiation into ASC, which could be interpreted as an entrance into the memory pathway. In conclusion, our results suggest that PAMPs synergize with signals from adaptive immunity to regulate B lymphocyte fate during humoral immune response

Apoptotic Effects of Antilymphocyte Globulins on Human Pro-inflammatory CD4+CD28− T-cells

BACKGROUND: Pro-inflammatory, cytotoxic CD4(+)CD28(-) T-cells with known defects in apoptosis have been investigated as markers of premature immuno-senescence in various immune-mediated diseases. In this study we evaluated the influence of polyclonal antilymphocyte globulins (ATG-Fresenius, ATG-F) on CD4(+)CD28(-) T-cells in vivo and in vitro. PRINCIPAL FINDINGS: Surface and intracellular three colour fluorescence activated cell sorting analyses of peripheral blood mononuclear cells from 16 consecutive transplant recipients and short-term cell lines were performed. In vivo, peripheral levels of CD3(+)CD4(+)CD28(-) T-cells decreased from 3.7 ± 7.1% before to 0 ± 0% six hours after ATG-F application (P = 0.043) in 5 ATG-F treated but not in 11 control patients (2.9 ± 2.9% vs. 3.9 ± 3.0%). In vitro, ATG-F induced apoptosis even in CD4(+)CD28(-) T-cells, which was 4.3-times higher than in CD4(+)CD28(+) T-cells. ATG-F evoked apoptosis was partially reversed by the broad-spectrum caspase inhibitor benzyloxycarbonyl (Cbz)-Val-Ala-Asp(OMe)-fluoromethylketone (zVAD-fmk) and prednisolon-21-hydrogensuccinate. ATG-F triggered CD25 expression and production of pro-inflammatory cytokines, and induced down-regulation of the type 1 chemokine receptors CXCR-3, CCR-5, CX3CR-1 and the central memory adhesion molecule CD62L predominately in CD4(+)CD28(-) T-cells. CONCLUSION: In summary, in vivo depletion of peripheral CD3(+)CD4(+)CD28(-) T-cells by ATG-F in transplant recipients was paralleled in vitro by ATG-F induced apoptosis. CD25 expression and chemokine receptor down-regulation in CD4(+)CD28(-) T-cells only partly explain the underlying mechanism