437 research outputs found
Microlocal sheaves and quiver varieties
We relate Nakajima Quiver Varieties (or, rather, their multiplicative
version) with moduli spaces of perverse sheaves. More precisely, we consider a
generalization of the concept of perverse sheaves: microlocal sheaves on a
nodal curve X. They are defined as perverse sheaves on normalization of X with
a Fourier transform condition near each node and form an abelian category M(X).
One has a similar triangulated category DM(X) of microlocal complexes. For a
compact X we show that DM(X) is Calabi-Yau of dimension 2. In the case when all
components of X are rational, M(X) is equivalent to the category of
representations of the multiplicative pre-projective algebra associated to the
intersection graph of X. Quiver varieties in the proper sense are obtained as
moduli spaces of microlocal sheaves with a framing of vanishing cycles at
singular points. The case when components of X have higher genus, leads to
interesting generalizations of preprojective algebras and quiver varieties. We
analyze them from the point of view of pseudo-Hamiltonian reduction and
group-valued moment maps.Comment: 49 page
Convergence and Optimality of Adaptive Mixed Methods on Surfaces
In a 1988 article, Dziuk introduced a nodal finite element method for the
Laplace-Beltrami equation on 2-surfaces approximated by a piecewise-linear
triangulation, initiating a line of research into surface finite element
methods (SFEM). Demlow and Dziuk built on the original results, introducing an
adaptive method for problems on 2-surfaces, and Demlow later extended the a
priori theory to 3-surfaces and higher order elements. In a separate line of
research, the Finite Element Exterior Calculus (FEEC) framework has been
developed over the last decade by Arnold, Falk and Winther and others as a way
to exploit the observation that mixed variational problems can be posed on a
Hilbert complex, and Galerkin-type mixed methods can be obtained by solving
finite dimensional subproblems. In 2011, Holst and Stern merged these two lines
of research by developing a framework for variational crimes in abstract
Hilbert complexes, allowing for application of the FEEC framework to problems
that violate the subcomplex assumption of Arnold, Falk and Winther. When
applied to Euclidean hypersurfaces, this new framework recovers the original a
priori results and extends the theory to problems posed on surfaces of
arbitrary dimensions. In yet another seemingly distinct line of research,
Holst, Mihalik and Szypowski developed a convergence theory for a specific
class of adaptive problems in the FEEC framework. Here, we bring these ideas
together, showing convergence and optimality of an adaptive finite element
method for the mixed formulation of the Hodge Laplacian on hypersurfaces.Comment: 22 pages, no figures. arXiv admin note: substantial text overlap with
arXiv:1306.188
The K-theory of filtered deformations of graded polynomial algebras
Recent discoveries make it possible to compute the K-theory of certain rings
from their cyclic homology and certain versions of their cdh-cohomology. We
extend the work of G. Corti\~nas et al. who calculated the K-theory of, in
addition to many other varieties, cones over smooth varieties, or equivalently
the K-theory of homogeneous polynomial rings. We focus on specific examples of
polynomial rings, which happen to be filtered deformations of homogeneous
polynomial rings. Along the way, as a secondary result, we will develop a
method for computing the periodic cyclic homology of a singular variety as well
as the negative cyclic homology when the cyclic homology of that variety is
known. Finally, we will apply these methods to extend the results of Michler
who computed the cyclic homology of hypersurfaces with isolated singularities.Comment: 66 pages, PhD Thesi
Stable finite element pair for Stokes problem and discrete Stokes complex on quadrilateral grids
In this paper, we first construct a nonconforming finite element pair for the
incompressible Stokes problem on quadrilateral grids, and then construct a
discrete Stokes complex associated with that finite element pair. The finite
element spaces involved consist of piecewise polynomials only, and the
divergence-free condition is imposed in a primal formulation. Combined with
some existing results, these constructions can be generated onto grids that
consist of both triangular and quadrilateral cells
Structure-preserving mesh coupling based on the Buffa-Christiansen complex
The state of the art for mesh coupling at nonconforming interfaces is
presented and reviewed. Mesh coupling is frequently applied to the modeling and
simulation of motion in electromagnetic actuators and machines. The paper
exploits Whitney elements to present the main ideas. Both interpolation- and
projection-based methods are considered. In addition to accuracy and
efficiency, we emphasize the question whether the schemes preserve the
structure of the de Rham complex, which underlies Maxwell's equations. As a new
contribution, a structure-preserving projection method is presented, in which
Lagrange multiplier spaces are chosen from the Buffa-Christiansen complex. Its
performance is compared with a straightforward interpolation based on Whitney
and de Rham maps, and with Galerkin projection.Comment: 17 pages, 7 figures. Some figures are omitted due to a restricted
copyright. Full paper to appear in Mathematics of Computatio
- …