Doitchinov's Construct of Supertopological Spaces is Topological

It is shown that the construct of supertopological spaces and continuous maps is topological

On the relations P(X×Y)=PX×PY

AbstractLet P and Q be epireflective full subcategories of the category Haus of Hausdorff spaces and continuous functions, and also denote the corresponding reflectors by P: Haus → P and Q: Haus → Q respectively. Denote the class of P-regular spaces, i.e., of subspaces of P-spaces, by RP. Embracing certain special cases which have been treated in the literature, we show that if P ⊂ Q ⊂ RP then for X, Y ϵ RP the relation P(X × Y) = PX × PY implies Q(X × Y) = QX × QY. Applications to particular classes P,Q are given

Introduction to Categories and Categorical Logic

The aim of these notes is to provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The notes are based on a lecture course given at Oxford over the past few years. They contain numerous exercises, and hopefully will prove useful for self-study by those seeking a first introduction to the subject, with fairly minimal prerequisites. The coverage is by no means comprehensive, but should provide a good basis for further study; a guide to further reading is included. The main prerequisite is a basic familiarity with the elements of discrete mathematics: sets, relations and functions. An Appendix contains a summary of what we will need, and it may be useful to review this first. In addition, some prior exposure to abstract algebra - vector spaces and linear maps, or groups and group homomorphisms - would be helpful.Comment: 96 page

Splittings of generalized Baumslag-Solitar groups

We study the structure of generalized Baumslag-Solitar groups from the point of view of their (usually non-unique) splittings as fundamental groups of graphs of infinite cyclic groups. We find and characterize certain decompositions of smallest complexity (`fully reduced' decompositions) and give a simplified proof of the existence of deformations. We also prove a finiteness theorem and solve the isomorphism problem for generalized Baumslag-Solitar groups with no non-trivial integral moduli.Comment: 20 pages; hyperlinked latex. Version 2: minor change

ΔMs/ΔMd\Delta M_s/\Delta M_d, sin⁡2β\sin 2\beta and the angle γ\gamma in the Presence of New ΔF=2\Delta F=2 Operators

We present formulae for the mass differences $\Delta M_d$ and $\Delta M_s$ in the \BBds systems and for the CP violation parameter $\epsilon$ which are valid in minimal flavour violation models giving rise to new four-fermion $\Delta F=2$ operators. Short distance contributions to $\Delta M_s$, $\Delta M_d$ and $\epsilon$ are parameterized by three {\it real} functions $F^s_{tt}$, $F^d_{tt}$ and $F^\epsilon_{tt}$, respectively ($F^s_{tt} = F^d_{tt} = F^\epsilon_{tt}$ holds only if the Standard Model $(V-A) \otimes (V-A)$ operators dominate). We present simple strategies involving the ratio $\Delta M_s/\Delta M_d$, $\sin2\beta$ and $\gamma$ that allow to search for the effects of the new operators. We point out that their sizable contributions to the ratio $\Delta M_s/\Delta M_d$ would in principle allow $\gamma$ to be larger than $90^\circ$. Constraints on the functions $F^i_{tt}$ imposed by the present (and future) experimental data are also discussed. As an example we show that for large $\tan\bar\beta\equiv v_2/v_1$ and $H^+$ not too heavy, $F^s_{tt}$ in the MSSM with heavy sparticles can be substantially smaller than in the SM due the charged Higgs box contributions and in particular due to the growing like $\tan^4\bar\beta$ contribution of the double penguin diagrams involving neutral Higgs boson exchanges. As a result the bounds on the function $F^s_{tt}$ can be violated which allows to exclude large mixing of stops. In this scenario the range of $\sin2\beta$ following from $\epsilon$ and $\Delta M_d$ is identical to the SM ones ($0.5<\sin 2\beta<0.8$). On the other hand $\gamma$ following from $\Delta M_s/\Delta M_d$ is lower.Comment: 39 pages, 13 figures, uses axodraw.sty. V2: new BaBar and Belle results on \sin2\beta incorporated; some explanations of the details of calculation of \tan^4\bar\beta terms adde

Three-Loop Anomalous Dimension of the Heavy Quark Pair Production Current in Non-Relativistic QCD

The three-loop non-mixing contributions to the anomalous dimension of the leading order quark pair production current in non-relativistic QCD are computed. It is demonstrated that the renormalization procedure can only be carried out consistently if the dynamics of both soft and the ultrasoft degrees of freedom is present for all scales below the heavy quark mass, and if the soft and ultrasoft renormalization scales are always correlated.Comment: 19 pages, revtex, 5 postscript figures include

Two-loop matching of the dipole operators for b→sγb \to s \gamma and b→sgluonb \to s gluon

The order $\alpha_s$ corrections to the Wilson coefficients of the dipole operators ($O_7,O_8$) at the matching scale $\mu =m_W$ are a crucial ingredient for a complete next- to-leading logarithmic calculation of the branching ratio for $b \to s \gamma$. Given the phenomenological relevance and the fact that this two-loop calculation has been done so far only by one group [1], we present a detailed re-calculation using a different method. Our results are in complete agreement with those in ref. [1].Comment: 24 pages, latex, 6 figures include

Estimate of B(K -> pi nu nubar) from Standard Model fits to lambda_t

We estimate B(K -> pi nu nubar) in the context of the Standard Model by fitting for lambda_t = Vtd x V*ts of the `kaon unitarity triangle' relation. We fit data from epsilon_K, the CP-violating parameter describing K-mixing, and a_{psi K}, the CP-violating asymmetry in B -> J/psi K decays. Our estimate is independent of the CKM matrix element Vcb and of the ratio of Bs to Bd mixing frequencies. The measured value of B(K+ -> pi+ nu nubar) can be compared both to this estimate and to predictions made from the ratio of B mixing frequencies.Comment: 8 pages, including 6 figures. v3 includes an expanded discussion of correlations between SM inputs to the lambda_t fit, clarifies the discussion of the independence of this result from the ratio of B mixing frequencies, includes minor updates to the values of SM input parameters, and includes some new and some updated reference