2,077 research outputs found
Hodge theory and deformations of affine cones of subcanonical projective varieties:
We investigate the relation between the Hodge theory of a smooth subcanonical n-dimensional projective variety X and the deformation theory of the affine cone A_X over X. We start by identifying H^{nâ1,1}_prim(X) as a distinguished graded component of the module of first order deformations of A_X, and later on we show how to identify the whole primitive cohomology of X as a distinguished graded component of the Hochschild cohomology module of the punctured affine cone over X. In the particular case of a projective smooth hypersurface X we recover Griffiths' isomorphism between the primitive cohomology of X and certain distinguished graded components of the Milnor algebra of a polynomial defining X. The main result of the article can be effectively exploited to compute Hodge numbers of smooth subcanonical projective varieties. We provide a few example computation, as well a SINGULAR code, for Fano and Calabi-Yau threefolds
Methodological Fundamentalism: or why Battermanâs Different Notions of âFundamentalismâ may not make a Difference
I argue that the distinctions Robert Batterman (2004) presents between âepistemically fundamentalâ versus âontologically fundamentalâ theoretical approaches can be subsumed by methodologically fundamental procedures. I characterize precisely what is meant by a methodologically fundamental procedure, which involves, among other things, the use of multilinear graded algebras in a theoryâs formalism. For example, one such class of algebras I discuss are the Clifford (or Geometric) algebras. Aside from their being touted by many as a âunified mathematical language for physics,â (Hestenes (1984, 1986) Lasenby, et. al. (2000)) Finkelstein (2001, 2004) and others have demonstrated that the techniques of multilinear algebraic âexpansion and contractionâ exhibit a robust regularizablilty. That is to say, such regularization has been demonstrated to remove singularities, which would otherwise appear in standard field-theoretic, mathematical characterizations of a physical theory. I claim that the existence of such methodologically fundamental procedures calls into question one of Battermanâs central points, that âour explanatory physical practice demands that we appeal essentially to (infinite) idealizationsâ (2003, 7) exhibited, for example, by singularities in the case of modeling critical phenomena, like fluid droplet formation. By way of counterexample, in the field of computational fluid dynamics (CFD), I discuss the work of Mann & Rockwood (2003) and Gerik Scheuermann, (2002). In the concluding section, I sketch a methodologically fundamental procedure potentially applicable to more general classes of critical phenomena appearing in fluid dynamics
A new linear quotient of C⎠admitting a symplectic resolution
We show that the quotient C^4/G admits a symplectic resolution for G = (Q_8 x D_8)/(Z/2) < Sp(4,C). Here Q_8 is the quaternionic group of order eight and D_8 is the dihedral group of order eight, and G is the quotient of their direct product which identifies the nontrivial central elements -1 of each. It is equipped with the tensor product of the defining two-dimensional representations of Q_8 and D_8. This group is also naturally a subgroup of the wreath product group of Q_8 by S_2. We compute the singular locus of the family of commutative spherical symplectic reflection algebras deforming C^4/G. We also discuss preliminary investigations on the more general question of classifying linear quotients V / G admitting symplectic resolutions
Local analysis of Grauert-Remmert-type normalization algorithms
Normalization is a fundamental ring-theoretic operation; geometrically it
resolves singularities in codimension one. Existing algorithmic methods for
computing the normalization rely on a common recipe: successively enlarge the
given ring in form an endomorphism ring of a certain (fractional) ideal until
the process becomes stationary. While Vasconcelos' method uses the dual
Jacobian ideal, Grauert-Remmert-type algorithms rely on so-called test ideals.
For algebraic varieties, one can apply such normalization algorithms
globally, locally, or formal analytically at all points of the variety. In this
paper, we relate the number of iterations for global Grauert-Remmert-type
normalization algorithms to that of its local descendants.
We complement our results by an explicit study of ADE singularities. This
includes the description of the normalization process in terms of value
semigroups of curves. It turns out that the intermediate steps produce only ADE
singularities and simple space curve singularities from the list of
Fruehbis-Krueger.Comment: 22 pages, 7 figure
Formal Desingularization of Surfaces - The Jung Method Revisited -
In this paper we propose the concept of formal desingularizations as a
substitute for the resolution of algebraic varieties. Though a usual resolution
of algebraic varieties provides more information on the structure of
singularities there is evidence that the weaker concept is enough for many
computational purposes. We give a detailed study of the Jung method and show
how it facilitates an efficient computation of formal desingularizations for
projective surfaces over a field of characteristic zero, not necessarily
algebraically closed. The paper includes a generalization of Duval's Theorem on
rational Puiseux parametrizations to the multivariate case and a detailed
description of a system for multivariate algebraic power series computations.Comment: 33 pages, 2 figure
- âŠ