Searcharxiv⌕ Search

arXiv subjects

Dan Edidin

Publications and source records attributed to Dan Edidin.

72 records · Page 4Linked to original sources
arXiv2007

Algebraic cycles and completions of equivariant K-theory

Let $G$ be a complex, linear algebraic group acting on an algebraic space $X$. The purpose of this paper is to prove a Riemann-Roch theorem (Theorem 5.3) which gives a description of the completion of the equivariant Grothendieck group $G_0(G,X)$ at any maximal ideal of the representation ring $R(G) \otimes \C$ in terms of equivariant cycles. The main new technique for proving this theorem is our non-abelian completion theorem (Theorem 4.3) for equivariant $K$-theory. Theorem 4.3 generalizes the classical localization theorems for diagonalizable group actions to arbitrary groups.

math.AG↗
arXiv2007

Compactifying normal algebraic spaces

The author wrote this note after being asked about the existence of compactifications of algebraic spaces. Subsequent to posting the article to the math arXiv, the author learned from Yutakaa Matsuura that the results of this paper had been proved by Raoult in 1971, using the same techniques. Since Raoult's article may be unknown to those working in the field, the author is keeping this preprint on the arXiv server. However, he makes no claim of originality.

math.AG↗
arXiv2007

Projections and the Kadison-Singer Problem

We prove some new equivalences of the paving conjecture and obtain some estimates on the paving constants. In addition we give a new family of counterexamples to one of the Akemann-Anderson conjectures.

math.FA↗
arXiv2006

The Gromov-Witten and Donaldson-Thomas correspondence for trivial elliptic fibrations

We study the Gromov-Witten and Donaldson-Thomas correspondence conjectured in [MNOP1, MNOP2], for trivial elliptic fibrations. In particular, we verify the Gromov-Witten and Donaldson-Thomas correspondence for primary fields when the threefold is $E \times S$ where $E$ is a smooth elliptic curve and $S$ is a smooth surface with numerically trivial canonical class.

math.AG↗
arXiv2005

Nonabelian localization in equivariant K-theory and Riemann-Roch for quotients

We prove a localization formula in equivariant algebraic $K$-theory for an arbitrary complex algebraic group acting with finite stabilizer on a smooth algebraic space. This extends to non-diagonalizable groups the localization formulas H.A. Nielsen in equivariant $K$-theory of vector bundles and R.W. Thomason for higher $K$-theory of equivariant coherent sheaves. As an application we give a Riemann-Roch formula for quotients of smooth algebraic spaces by proper group actions. This formula extends previous work of B. Toen for stacks with quasi-projective moduli spaces and the authors for quotients by diagonalizable groups.

math.AG↗
arXiv2004

On signal reconstruction without noisy phase

We construct new classes of Parseval frames for a Hilbert space which allow signal reconstruction from the absolute value of the frame coefficients. As a consequence, signal reconstruction can be done without using noisy phase or its estimation. This verifies a longstanding conjecture of the speech processing community.

math.FA↗
arXiv2003

Riemann-Roch for quotients and Todd classes of simplicial toric varieties

In this paper we give an explicit formula for the Riemann-Roch map for singular schemes which are quotients of smooth schemes by diagonalizable groups. As an application we obtain a simple proof of a formula for the Todd class of a simplicial toric variety. An equivariant version of this formula was previously obtained for complete simplicial toric varieties by Brion and Vergne using different techniques.

math.AG↗
arXiv2003

Gromov-Witten invariants of the Hilbert scheme of 3-points on P^2

Using obstruction bundles, composition law and the localization formula, we compute certain 3-point genus-0 Gromov-Witten invariants of the Hilbert scheme of 3-points on the complex projective plane. Our results partially verify Ruan's conjecture about quantum corrections for this Hilbert scheme.

math.AG↗
arXiv2000

Good representations and solvable groups

We give a characterization of connected solvable groups in terms of the existence of representations with certain geometric properties. The existence of such representations for the group of upper triangular matrices played an important role in the proof of the authors' equivariant Riemann-Roch theorem.

math.AG↗
arXiv1999

Riemann-Roch for equivariant Chow groups

The purpose of this paper is to prove an equivariant Riemann-Roch theorem for schemes or algebraic spaces with an action of a linear algebraic group $G$. For a $G$-space $X$, this theorem gives an isomorphism between a completion of the equivariant Grothendieck group and a completion of equivariant equivariant Chow groups. The key to proving this isomorphism is a geometric description of completions of the equivariant Grothendieck group. Besides Riemann-Roch, this result has some purely $K$-theoretic applications. In particular, we prove a conjecture of Köck (in the case of regular schemes) and extend to arbitrary characteristic a result of Segal on representation rings.

math.AG↗
arXiv1998

K-theory of simplicial toric varieties

This paper has been withdrawn. Theorem 2.1 of the paper is false, as it contradicts a result of Srinvas (Crelle's J. v.381, 1987). The error in our proof is in the construction of a functor in Claim 2. What we construct does not preserve composition of functions, so it is not a functor.

math.AG↗
arXiv1998

Notes on the construction of the moduli space of curves

The purpose of these notes is to give an introduction to Deligne-Mumford stacks and their moduli spaces, with emphasis on the moduli problem for curves. The paper has 4 sections. In section 1 we discuss the general problem of constructing a moduli "space" of curves. In section 2 we give an introduction to Deligne-Mumford stacks and their moduli spaces. In section 3 we return to curves and outline Deligne and Mumford's proof that the stack of stable curves is a smooth and irreducible Deligne-Mumford stack which is proper over Spec Z. In section 4 we explain how to use geometric invariant to construct moduli spaces for quotient stacks. Finally, we briefly outline Gieseker's geometric invariant theory construction of the moduli scheme of projective curves defined over an algebraically closed field. These notes are a slightly revised version of notes which the author has circulated privately for several years, and are based on lectures the author gave at the Weizmann Institute in July 1994. They are also available at the URL http://math.missouri.edu/~edidin/Papers/ Any updates will be posted to this URL.

math.AG↗
arXiv1997

Equivariant intersection theory

This is a revised and shortened version of our paper "Equivariant intersection theory" (alg-geom/9603008). In particular, the sections on Riemann-Roch and localization are omitted. They will appear in separate papers, at which time alg-geom/9603008 will become obsolete. We have intsead added a section of examples, and have include a calculation of the integral Chow ring of the mdouli stack of elliptic curves.

alg-geom↗
arXiv1996

Localization in equivariant intersection theory and the Bott residue formula

The purpose of this paper is to prove the localization theorem for torus actions in equivariant intersection theory. Using the theorem we give another proof of the Bott residue formula for Chern numbers of bundles on smooth complete varieties. In addition, our techniques allow us to obtain residue formulas for bundles on a certain class of singular schemes which admit torus actions. This class is rather special, but it includes some interesting examples such as complete intersections and Schubert varieties.

alg-geom↗
arXiv1996

Algebraic Cuts

Let $X$ be a projective variety with a torus action, which for simplicity we assume to have dimension 1. If $X$ is a smooth complex variety, then the geometric invariant theory quotient $X//G$ can be identifed with the symplectic reduction $X_r$. Lerman introduced a construction (valid for symplectic manifolds) called symplectic cutting, which constructs a manifold $X_c$, such that $X_c$ is the union of $X_r$ and an open subset $X_{>0} \subset X$. Moreover, there is a natural torus action on $X_c$ such that $X_r$ is a component of the fixed locus. Using localization for equivariant cohomology, this construction can be used to study of $X_r$. In this note, we give an algebraic version of this construction valid for projective but possibly singular varieties defined over arbitrary fields. This construction is useful for studying $X_r$ from the point of view of algebraic geometry, using the equivariant intersection theory developed by the authors. At the end of the paper we briefly give an adaptation of Lerman's proof of the Kalkman residue formula and use it to give some formulas for characteristic numbers of quotients by a torus.

alg-geom↗
arXiv1996

Equivariant intersection theory

In this paper we develop an equivariant intersection theory for actions of algebraic groups on algebraic schemes. The theory is based on our construction of equivariant Chow groups. They are algebraic analogues of equivariant cohomology groups which satsify the formal properties of ordinary Chow groups. In addition, they enjoy many of the properties of equivariant cohomology. The principal results are: (1) We prove the existence of canonical intersection products on the Chow groups of geometric quotients of smooth varieties- even when the stabilizers of geometric points are non-reduced. (2) We construct a Todd class map from equivariant $K$-theory of coherent sheaves to a completion of equivariant Chow groups, and prove that a completion of equivariant $K$-theory is isomorphic to the completion of equivariant Chow groups. (3) We prove a localization theorem for torus actions and use it to give a characteristic free proof of the Bott residue formula for actions of tori on complete smooth varieties.

alg-geom↗