Tài liệu Đề tài: “SPIN and specifying and verifying in concurrent systems, reactive systems” docx

... [LT] and the references482 ALEXANDRU DIMCA AND STEFAN PAPADIMAtherein. Global polar curves in the study of the topology of polynomials is atopic under intense investigations; see for instance ... localize at the origin ofn+1 in the standard way, see[D1]. However, using geometric intuition, we find it easier to work with globalobjects, and hence we adopt this viewpoint in the sequel.We ... reader should have noproblem in checking them by using Theorem 3 in [CD] and the fact proved byN´emethi in [N1,2] that the only bad sections in a good pencil are the singularsections. Completely...

... end of my talk in Yau’s seminar, E. KlassenMODULI SPACES OF SURFACES AND REAL STRUCTURES 591 and V. Kharlamov for a useful conversation, V. Kulikov and Sandro Manfre-dini for pointing out some ... Observe that, given two points y,z of C, f(y)=f(z)ifand only ifz ∈ Ay and then the branching indices of y,z for fare the same. On the otherhand, the branching index of y for fis the ... moduli space containing S.We are now going to explain the construction of our examples:Let G be the semidirect product group constructed in Section 2, and letC2be the corresponding triangle curve.MODULI...

... Bergman and Szeg¨o kernels are determined by the finite jets of ρ,dσ and dv at each boundary point. Thus, for a domain Ω with C∞definingfunction ρ and the contact form θ = i(∂ρ−∂ρ)on∂Ω, by taking ... heat kernelcan be expressed in terms of the curvature of the metric; by integrating the co-efficients one obtains index theorems in various settings. For the Bergman and Szeg¨o kernels, there has ... defining functionρ of the domain, which is positive in Ω and dρ =0on∂Ω, then (by [6] and [2])we can expand the singularity asSθ(z,z)=ϕθ(z)ρ(z)−n+ ψθ(z) log ρ(z),(1.1)where ϕθand...

... the sum in (0.14) and compensating by adding the ζ-regularized valueoutside the sum.The same regularization can be obtained in a more elementary fashion bysumming the following generating series:∞i=1∞k=0(−i ... fromthe results of [12] and, more generally, from the line of research pursued in 532 A. OKOUNKOV AND R. PANDHARIPANDE[11], [12]. Our interaction with S. Bloch, A. Eskin, and A. Zorich played avery ... in (1.10).1.5. The leading term. Equating the dimension of the integrand in ν, τk(ω)◦P1with the virtual dimension of the moduli space, we obtaink +1=2g − 1+|ν| + (ν) .Since g ≥ 0 and...

... global normalcrossing union of four planes with five double lines and two E3points, P123 and P134, both lying on the double line C13. Since the lines C23 and C34(resp.C14 and C12) both ... Eν-point, and no other Zappatic singularity, the singular-ities in codimension one being double lines.Proof. (i) According to Remark 5.1 and Theorem 5.19, X is connected in codimension one and ... multy(H)=4.Proof. Since y ∈ H is a minimal (resp. quasi-minimal) singularity, hencereduced and Cohen-Macaulay, the singularity y ∈ Y is reduced and Cohen-Macaulay too.Assume that y ∈ H is a minimal singularity,...

... OZSV´ATH, AND Z. SZAB´Ocylindrical-end manifold obtained by attaching cylinders R−×Y0 and R+×Y1.From a solution γ in Mloc(W∗), we obtain paths ˇγ0: R−→Bσ(Y0) and ˇγ1: ... ξ is invariant under I;MONOPOLES AND LENS SPACE SURGERIES467so bearing in mind the definition of the relations∼, and using the additivity ofall the terms involved, we can reduce the lemma ... have the following proposition.Proposition 2.5. There is one and only one way to decompose the grad-ing set J(Y ) for all Y into even and odd parts in such a way that the followingtwo conditions...

... the set of lines in Rp, parallel to some element of Θ and not passing through 0.The main result in this section is the following.theorem 3.1. Let (T,A) be a locally constant integral uniform ... weakly mixing and every weakly mixing transformation is ergodic. A clas-sical theorem states that any invertible measure-preserving transformation fis weakly mixing if and only if it has continuous ... and arithmetic, DukeMath. J . 103 (2000), 191–213.[GK]E. Gutkin and A. B. Katok, Weakly mixing billiards, in Holomorphic dynamics(Mexico, 1986), Lecture Notes in Math. 1345, 163–176, Springer-Verlag,...

... 303–311.[40]E. M. Stein, Singular Integrals and Differentiability Properties of Functions, PrincetonMath. Series 30, Princeton Univ. Press, Princeton, NJ, 1970.[41]———, Harmonic Analysis, Princeton Math. ... allderivatives rapidly decreasing in space; in practice, we can then extend theformulae obtained here to more general situations by limiting arguments. Webegin by introducing some notation which ... Ljk+2δjkG(|φ|2)(2.10)is the (linear and nonlinear) momentum current. Integrating (2.4) and (2.9) in space we see that the total massRdT00dx =Rd|φ(t, x)|2dx and the total momentumRdT0jdx...

... thimble over γ, and its boundary Lγis the vanishing cycleassociated to the critical point pi and to the arc γ.Let γ1, ,γrbe a collection of arcs in C joining the reference point λ0tothe ... theexistence of a dualizing sheaf for smooth projective varieties. In this case thedualizing sheaf is a line bundle and coincides with the sheaf of differential formsΩnXof top degree.Since the definition ... LUDMIL KATZARKOV, AND DMITRI ORLOVthe contrary, in the nonexact case it is important to incorporate this weightingby area into the definition.Hence, given two intersection points p ∈ Li∩Lj,...