1,033 research outputs found
The intrinsic normal cone
We suggest a construction of virtual fundamental classes of certain types of
moduli spaces.Comment: LaTeX, Postscript file available at
http://www.math.ubc.ca/people/faculty/behrend/inc.p
On the motive of Quot schemes of zero-dimensional quotients on a curve
For any locally free coherent sheaf on a fixed smooth projective curve, we study the class, in the Grothendieck ring of varieties, of the Quot scheme that parametrizes zero-dimensional quotients of the sheaf. We prove that this class depends only on the rank of the sheaf and on the length of the quotients. As an application, we obtain an explicit formula that expresses it in terms of the symmetric products of the curve
Smoothing semi-smooth stable Godeaux surfaces
We show that all the semi-smooth stable complex Godeaux surfaces, classified in
[M. Franciosi, R. Pardini and S. Rollenske, Ark. Mat. 56 (2018), no. 2, 299ā317], are
smoothable and that the moduli stack is smooth of the expected dimension 8 at the
corresponding points
The Drinfel'd Double and Twisting in Stringy Orbifold Theory
This paper exposes the fundamental role that the Drinfel'd double \dkg of
the group ring of a finite group and its twists \dbkg, \beta \in
Z^3(G,\uk) as defined by Dijkgraaf--Pasquier--Roche play in stringy orbifold
theories and their twistings.
The results pertain to three different aspects of the theory. First, we show
that --Frobenius algebras arising in global orbifold cohomology or K-theory
are most naturally defined as elements in the braided category of
\dkg--modules. Secondly, we obtain a geometric realization of the Drinfel'd
double as the global orbifold --theory of global quotient given by the
inertia variety of a point with a action on the one hand and more
stunningly a geometric realization of its representation ring in the braided
category sense as the full --theory of the stack . Finally, we show
how one can use the co-cycles above to twist a) the global orbifold
--theory of the inertia of a global quotient and more importantly b) the
stacky --theory of a global quotient . This corresponds to twistings
with a special type of 2--gerbe.Comment: 35 pages, no figure
A Logical Verification Methodology for Service-Oriented Computing
We introduce a logical verification methodology for checking behavioural properties of service-oriented computing systems. Service properties are described by means of SocL, a branching-time temporal logic that we have specifically designed to express in an effective way distinctive aspects of services, such as, e.g., acceptance of a request, provision of a response, and correlation among service requests and responses. Our approach allows service properties to be expressed in such a way that
they can be independent of service domains and specifications. We show an instantiation of our general methodology that uses the formal language COWS to conveniently specify services and the expressly developed software tool CMC to assist the user in the task of verifying SocL formulae over service specifications. We demonstrate feasibility and effectiveness of our methodology by means of the specification and the analysis of a case study in the automotive domain
Chen-Ruan cohomology of ADE singularities
We study Ruan's \textit{cohomological crepant resolution conjecture} for
orbifolds with transversal ADE singularities. In the -case we compute both
the Chen-Ruan cohomology ring and the quantum corrected
cohomology ring . The former is achieved in general, the
later up to some additional, technical assumptions. We construct an explicit
isomorphism between and in the -case,
verifying Ruan's conjecture. In the -case, the family
is not defined for . This implies that
the conjecture should be slightly modified. We propose a new conjecture in the
-case which we prove in the -case by constructing an explicit
isomorphism.Comment: This is a short version of my Ph.D. Thesis math.AG/0510528. Version
2: chapters 2,3,4 and 5 has been rewritten using the language of groupoids; a
link with the classical McKay correpondence is given. International Journal
of Mathematics (to appear
Strengthening the Cohomological Crepant Resolution Conjecture for Hilbert-Chow morphisms
Given any smooth toric surface S, we prove a SYM-HILB correspondence which
relates the 3-point, degree zero, extended Gromov-Witten invariants of the
n-fold symmetric product stack [Sym^n(S)] of S to the 3-point extremal
Gromov-Witten invariants of the Hilbert scheme Hilb^n(S) of n points on S. As
we do not specialize the values of the quantum parameters involved, this result
proves a strengthening of Ruan's Cohomological Crepant Resolution Conjecture
for the Hilbert-Chow morphism from Hilb^n(S) to Sym^n(S) and yields a method of
reconstructing the cup product for Hilb^n(S) from the orbifold invariants of
[Sym^n(S)].Comment: Revised versio
A Categorical Approach to Groupoid Frobenius Algebras
In this paper, we show that \C{G}-Frobenius algebras (for \C{G} a finite
groupoid) correspond to a particular class of Frobenius objects in the
representation category of D(k[\C{G}]), where D(k[\C{G}]) is the Drinfeld
double of the quantum groupoid k[\C{G}].Comment: final version; to appear in Applied Categorical Structure
Del Pezzo surfaces with 1/3(1,1) points
We classify del Pezzo surfaces with 1/3(1,1) points in 29 qG-deformation
families grouped into six unprojection cascades (this overlaps with work of
Fujita and Yasutake), we tabulate their biregular invariants, we give good
model constructions for surfaces in all families as degeneracy loci in rep
quotient varieties and we prove that precisely 26 families admit
qG-degenerations to toric surfaces. This work is part of a program to study
mirror symmetry for orbifold del Pezzo surfaces.Comment: 42 pages. v2: model construction added of last remaining surface,
minor corrections, minor changes to presentation, references adde
Homotopy colimits and global observables in Abelian gauge theory
We study chain complexes of field configurations and observables for Abelian gauge theory on contractible manifolds, and show that they can be extended to non-contractible manifolds by using techniques from homotopy theory. The extension prescription yields functors from a category of manifolds to suitable categories of chain complexes. The extended functors properly describe the global field and observable content of Abelian gauge theory, while the original gauge field configurations and observables on contractible manifolds are recovered up to a natural weak equivalence
- ā¦