Showing 1–6 of 6 results for author: Brussee, R

Fuzzy Logic and Markov Kernels

Authors: Rogier Brussee

Abstract: Fuzzy logic is a way to argue with boolean predicates for which we only have a confidence value between 0 and 1 rather than a well defined truth value. It is tempting to interpret such a confidence as a probability. We use Markov kernels, parametrised probability distributions, to do just that. As a consequence we get general fuzzy logic connectives from probabilistic computations on products of t… ▽ More Fuzzy logic is a way to argue with boolean predicates for which we only have a confidence value between 0 and 1 rather than a well defined truth value. It is tempting to interpret such a confidence as a probability. We use Markov kernels, parametrised probability distributions, to do just that. As a consequence we get general fuzzy logic connectives from probabilistic computations on products of the booleans, stressing the importance of joint confidence functions. We discuss binary logic connectives in detail and recover the "classic" fuzzy connectives as bounds for the confidence for general connectives. We push multivariable logic formulas as far as being able to define fuzzy quantifiers and estimate the confidence. △ Less

Submitted 7 March, 2023; originally announced March 2023.

Comments: 16 pages AMSLatex

MSC Class: 03B22; 18A15; 60A86

Probing Moduli Spaces of Sheaves with Donaldson and Seiberg Witten Invariants

Authors: Rogier Brussee

Abstract: We use Donaldson invariants of regular surfaces with p_g >0 to make quantitative statements about modulispaces of stable rank 2 sheaves. We give two examples: a quantitative existence theorem for stable bundles, and a computation of the rank of the canonical holomorphic two forms on the moduli space. The results are in some sense dual to the Donaldson and O'Grady non vanishing theorems because t… ▽ More We use Donaldson invariants of regular surfaces with p_g >0 to make quantitative statements about modulispaces of stable rank 2 sheaves. We give two examples: a quantitative existence theorem for stable bundles, and a computation of the rank of the canonical holomorphic two forms on the moduli space. The results are in some sense dual to the Donaldson and O'Grady non vanishing theorems because they use the Donaldson series of the surface as _input_. Results in purely algebraic geometric terms can be obtained by using the explicit form of the Donaldson series of the surface. The Donaldson series are easy to compute using the Seiberg Witten invariants and the Witten conjecture which has recently been rigorously proved by Feehan and Leness. △ Less

Submitted 21 November, 2006; originally announced November 2006.

Comments: 16 pages, AMSLaTeX 2.2

MSC Class: 14J60 (Primary); 14D20; 14J80 (Secondary)

The canonical class and the $C^\infty$ properties of Kähler surfaces

Authors: Rogier Brussee

Abstract: We give a self contained proof using Seiberg Witten invariants that for Kähler surfaces with non negative Kodaira dimension (including those with $p_g = 0$) the canonical class of the minimal model and the $(-1)$-curves, are oriented diffeomorphism invariants up to sign. This implies that the Kodaira dimension is determined by the underlying differentiable manifold (Van de Ven Conjecture). We us… ▽ More We give a self contained proof using Seiberg Witten invariants that for Kähler surfaces with non negative Kodaira dimension (including those with $p_g = 0$) the canonical class of the minimal model and the $(-1)$-curves, are oriented diffeomorphism invariants up to sign. This implies that the Kodaira dimension is determined by the underlying differentiable manifold (Van de Ven Conjecture). We use a set up that replaces generic metrics by the construction of a localised Euler class of an infinite dimensional bundle with a Fredholm section. This allows us to compute the Seiberg Witten invariants of all elliptic surfaces with excess intersection theory. We then reprove that the multiplicities of the elliptic fibration are determined by the underlying oriented manifold, and that the plurigenera of a surface are oriented diffeomorphism invariants. △ Less

Submitted 25 August, 1995; v1 submitted 10 March, 1995; originally announced March 1995.

Comments: 38 pages. Hardcopy available upon request. Latex 2e with amsart v. 1.2 or AMSlaTeX version 1.1. reason for resubmission: Changed title, corrected serious error in the argument for $p_g = 0$, major technical improvements in the handling of the localised Euler class of infinite dimensional bundles, referred some analysis to the literature and made some general improvements in the exposition

Report number: Bielefeld Preprint 95-037 MSC Class: 57N13 (primary) 47H11 (secondary)

Blow-up formulas for (-2)-spheres

Authors: Rogier Brussee

Abstract: Let $X$ be a simply connected 4-manifold containing a $(-1)$-sphere $e$. Fintushel and Stern prove that $$ D_c(\exp(te)) = D_c(B(t)) on e^\perp if c\cdot e is even, $$ $$ D_c(\exp(te)) = D_{c-e}(S(t)) on e^\perp if c \cdot e is odd, $$ for some universal series $B(t),S(t) \in \Q[x][[t]]$ with $x$ the class of a point. We show that their method can easily be extended to $(-2)$-spheres $τ$ to give… ▽ More Let $X$ be a simply connected 4-manifold containing a $(-1)$-sphere $e$. Fintushel and Stern prove that $$ D_c(\exp(te)) = D_c(B(t)) on e^\perp if c\cdot e is even, $$ $$ D_c(\exp(te)) = D_{c-e}(S(t)) on e^\perp if c \cdot e is odd, $$ for some universal series $B(t),S(t) \in \Q[x][[t]]$ with $x$ the class of a point. We show that their method can easily be extended to $(-2)$-spheres $τ$ to give blow up formulas like $$ D_c(\exp(tτ)) = D_c(B^2(t) + S^2(t)/2 τ^2) on τ^perp if c\cdot τis even. $$ △ Less

Submitted 23 December, 1994; originally announced December 1994.

Comments: 6 pages, AMS-latex version 1.1

Some remarks on the Kronheimer-Mrowka classes of algebraic surfaces

Authors: R. Brussee

Abstract: Define the Donaldson series of a simply connected 4-manifold by q(X) = \sum_d q_d(X)/d! Recently Kronheimer and Mroka have announced the result that the Donaldson series of so called simple 4-manifolds can be written as q(X) = e^{Q/2}\sum_{i=1}^p a_i e^{K_i} where $Q$ is the intersection form and the $K_i \in H^2(X,\Z)$ are the {\it Kronheimer-Mrowka classes}. We prove that for simple si… ▽ More Define the Donaldson series of a simply connected 4-manifold by q(X) = \sum_d q_d(X)/d! Recently Kronheimer and Mroka have announced the result that the Donaldson series of so called simple 4-manifolds can be written as q(X) = e^{Q/2}\sum_{i=1}^p a_i e^{K_i} where $Q$ is the intersection form and the $K_i \in H^2(X,\Z)$ are the {\it Kronheimer-Mrowka classes}. We prove that for simple simply connected algebraic surfaces the $K_i$ are algebraic classes and that they are closely related to the canonical class $K_X$. For simple simply connected minimal surfaces of general type we prove $K_i^2 \le K_X^2$ with equality if and only if $K_i = \pm K_X$. Remark: although no gauge theory is used in this paper it should have a cross reference with the as yet non existent e-print service for low dimensional topology. △ Less

Submitted 20 August, 1993; originally announced August 1993.

Comments: 6 pages, Latex 2.09

On the $(-1)$-curve conjecture of Friedman and Morgan

Authors: Rogier Brussee

Abstract: Main difference with previous version: we prove that every differentiably embedded sphere with self intersection $-1$ in a simply connected algebraic surface with $p_g >0$ is homologous to a $(-1)$-curve if $|K_{\min}|$ contains a smooth irreducible curve of genus at least 2 and $p_g$ is even or $K_{\min}^2 \not\equiv 7 \pmod8$ (here $K_{\min}$ is the canonical class of the minimal model). Main difference with previous version: we prove that every differentiably embedded sphere with self intersection $-1$ in a simply connected algebraic surface with $p_g >0$ is homologous to a $(-1)$-curve if $|K_{\min}|$ contains a smooth irreducible curve of genus at least 2 and $p_g$ is even or $K_{\min}^2 \not\equiv 7 \pmod8$ (here $K_{\min}$ is the canonical class of the minimal model). △ Less

Submitted 14 October, 1992; v1 submitted 12 September, 1992; originally announced September 1992.

Comments: 13 pages, LaTeX 2.09