Searcharxiv⌕ Search

SEARCH · Searcharxiv

Results for “math.AG”

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 91 records · Page 5Linked to original sources
arXiv2005

Geometric Bessel models for GSp_4 and multiplicity one

I this paper, which is a sequel to math.AG/0310361, we study Bessel models of representations of GSp_4 over a local non archimedian field in the framework of the geometric Langlands program. The Bessel module over the nonramified Hecke algebra of GSp_4 admits a geometric counterpart, the Bessel category of perverse sheaves on some ind-algebraic stack. We use it to prove a geometric version of the multiplicity one for Bessel models. It implies a geometric Casselman-Shalika type formula for these models. The strategy of the proof is the same as in the paper of Frenkel, Gaitsgory and Vilonen math.AG/9907133. We also propose a geometric framework unifying Whittaker, Waldspurger and Bessel models.

math.AG↗
arXiv2007

Birational geometry and deformations of nilpotent orbits

This is a continuation of math.AG/0408274, where we have described the relative movable cone for a Springer resolution of the closure of a nilpotent orbit in a complex simple Lie algebra. But, in general, the movable cone does not coincide with the whole space of numerical classes of divisors on the Springer resolution. The purpose of this paper is, to describe the remainder. We shall first construct a deformation of the nilpotent orbit closure in a canonical manner according to Brieskorn and Slodowy, and next describe all its crepant simultaneous resolutions. This construction enables us to divide the whole space into a finite number of chambers. Moreover, by using this construction, one can generalize the main result of math.AG/0408274 to arbitrary Richardson orbits whose Springer maps have degree > 1. New Mukai flops, different from those of type A,D,E_6, will appear in the birational geometry for such orbits.

math.AG↗
arXiv2003

Surface group representations in PU(p,q) and Higgs bundles

Using the L^2 norm of the Higgs field as a Morse function, we study the moduli spaces of U(p,q)-Higgs bundles over a Riemann surface. We require that the genus of the surface be at least two, but place no constraints on (p,q). A key step is the identification of the function's local minima as moduli spaces of holomorphic triples. In a companion paper "Moduli spaces of holomorphic triples over compact Riemann surfaces" (math.AG/0211428) we prove that these moduli spaces of triples are non-empty and irreducible. Because of the relation between flat bundles and fundamental group representations, we can interpret our conclusions as results about the number of connected components in the moduli space of semisimple PU(p,q)-representations. The topological invariants of the flat bundles are used to label subspaces. These invariants are bounded by a Milnor-Wood type inequality. For each allowed value of the invariants satisfying a certain coprimality condition, we prove that the corresponding subspace is non-empty and connected. If the coprimality condition does not hold, our results apply to the closure of the moduli space of irreducible representations. This paper, and its companion mentioned above, form a substantially revised version of math.AG/0206012.

math.AG↗
arXiv2005

Dual Teichmuller and lamination spaces

We survey explicit coordinate descriptions for two (A and X) versions of Teichmuller and lamination spaces for open 2D surfaces, and extend them to the more general set-up of surfaces with distinguished collections of points on the boundary. Main features, such as mapping class group action, Poisson and symplectic structures and others, are described in these terms. The lamination spaces are interpreted as the tropical limits of the Teichmuller ones. Canonical pairings between lamination and Teichmuller spaces are constructed. The paper could serve as an introduction to higher Teichmuller theory developed by the authors in math.AG/0311149, math.AG/0311245.

math.DG↗
arXiv2007

Gorenstein locus of minuscule Schubert varieties

In this article, we describe explicitely the Gorenstein locus of all minuscule Schubert varieties. This proves a special case of a conjecture of A. Woo and A. Yong (see math.AG/0603273) on the Gorenstein locus of Schubert varieties.

math.AG↗
arXiv2008

Algebraic cycles on the relative symmetric powers and on the relative Jacobian of a family of curves. I

In this paper we construct and study the actions of certain deformations of the Lie algebra of Hamiltonians on the plane on the Chow groups (resp., cohomology) of the relative symmetric powers ${\cal C}^{[\bullet]}$ and the relative Jacobian ${\cal J}$ of a family of curves ${\cal C}/S$. As one of the applications, we show that in the case of a single curve $C$ this action induces a integral form of a Lefschetz $\operatorname{sl}_2$-action on the Chow groups of $C^{[N]}$. Another application gives a new grading on the ring of 0-cycles on the Jacobian $J$ of $C$ (with respect to the Pontryagin product) and equips it with an action of the Lie algebra of vector fields on the line. We also define the groups of tautological classes in $CH^*({\cal C}^{[\bullet]})$ and in $CH^*({\cal J})$ and prove for them analogs of the properties established in the case of the Jacobian of a single curve by Beauville in math.AG/0204188. We also show that the our algebras of operators preserve the subrings of tautological cycles and act on them via some explicit differential operators.

math.AG↗
arXiv2009

Orbifoldes speciales et classification bimeromorphe des varietes kaehleriennes compactes

This is a sequel to [Ca01]=math.AG/0110051. We define the bimeromorphic {\it category} of geometric orbifolds. These interpolate between (compact K\" ahler) manifolds and such manifolds with logarithmic structure. These geometric orbifolds are considered from the point of view of their geometry, and thus equipped with the usual invariants of varieties: morphisms and bimeromorphic maps, differential forms, fundamental groups and universal covers, fields of definition and rational points. The most elementary properties, directly adapted from the case of varieties without orbifold structure, are established here. The arguments of [Ca01] can then be directly adapted to extend the main structure results to this orbifold category. We hope to come back to deeper aspects later. The motivation is that the natural frame for the theory of classification of compact K\" ahler (and complex projective) manifolds includes at least the category of orbifolds, as shown in [Ca01] by the fonctorial decomposition of {\it special} manifolds as tower of orbifolds with either $κ_+=-\infty$ or $κ=0$, and also, seemingly, by the minimal model program, in which most proofs work only after the adjunction of a "boundary". Also, fibrations enjoy in the bimeromorphic category of geometric orbifolds extension properties not satisfied in the category of varieties without orbifold structure, permitting to express invariants of the total space from those of the generic fibre and of the base. For example, the natural sequence of fundamental groups is exact there; also the total space is special if so are the generic fibre and the base. This makes this category suitable to lift properties from orbifolds having either $κ_+=-\infty$ or $κ=0$ to those which are special.

math.AG↗
arXiv2007

Some obstructed equisingular families of curves on surfaces in projective three-space

Very few examples of obstructed equsingular families of curves on surfaces other than the projective plane are known. Combining results from Westenberger and Hirano with an idea from math.AG/9802009 we give in the present paper series of examples of families of irreducible curves with simple singularities on surfaces in projective three-space which are not T--smooth, i.e. do not have the expected dimension, and we compare this with conditions (showing the same asymptotics) which ensure the existence of a T--smooth component.

math.AG↗
arXiv2007

The Lie algebra perturbation lemma

Let g be a differential graded Lie algebra and suppose given a contraction of chain complexes of g onto a general chain complex M. We show that the data determine an sh-Lie algebra structure on M, that is, a coalgebra perturbation of the coalgebra differential on the cofree coaugmented differential graded cocommutative coalgebra S' on the suspension of M, a Lie algebra twisting cochain from the perturbed coalgebra S" to the given Lie algebra g, and an extension of this Lie algebra twisting cochain to a contraction of chain complexes from the Cartan-Chevalley-Eilenberg coalgebra on g onto S" which is natural in the data. This extends a result established in a joint paper of the author with J. Stashef [Forum math. 14 (2002), 847-868, math.AG/9906036] where only the particular where M is the homology of g has been explored.

math.AG↗
arXiv2008

On ground fields of arithmetic hyperbolic reflection groups. II

This paper continues arXiv.org:math.AG/0609256 and arXiv:0708.3991 Using authors's methods of 1980, 1981, some explicit finite sets of number fields containing all ground fields of arithmetic hyperbolic reflection groups in dimensions at least 4 are defined, and good explicit bounds of their degrees (over Q) are obtained. This could be important for further classification. Thus, now, an explicit bound of degree of ground fields of arithmetic hyperbolic reflection groups is unknown in dimension 3 only.

math.AG↗
arXiv2009

Tropical theta characteristics

This note is a follow up of math.AG/0612267v2 and it is largely inspired by a beautiful description of Baker-Norine of non-effective degree (g-1) divisors via chip-firing game. We consider the set of all theta characteristics on a tropical curve and identify the Riemann constant as a unique non-effective one among them.

math.AG↗
arXiv2008

Quotients by non-reductive algebraic group actions

Given a suitable action on a complex projective variety X of a non-reductive affine algebraic group H, this paper considers how to choose a reductive group G containing H and a projective completion of G x_H X which is a reductive envelope in the sense of math.AG/0703131. In particular it studies the family of examples given by moduli spaces of hypersurfaces in the weighted projective plane P(1,1,2) obtained as quotients by linear actions of the (non-reductive) automorphism group of P(1,1,2).

math.AG↗
arXiv2008

Regularity on abelian varieties III: relationship with Generic Vanishing and applications

We describe the relationship between the notions of $M$-regular sheaf and $GV$-sheaf in the case of abelian varieties. The former is a natural strengthening of the latter, and we provide an algebraic criterion characterizing it among the larger class. Based on this we deduce new basic properties of both $M$-regular and $GV$-sheaves. In the second part we give a number of applications of generation criteria for $M$-regular sheaves to the study of Seshadri constants, Picard bundles, pluricanonical maps on irregular varieties, and semihomogeneous vector bundles. This second part of the paper is based on our earlier preprint math.AG/0306103, with some improved statements and shortened arguments.

math.AG↗
arXiv2008

Differential Geometry of Gerbes and Differential Forms

We discuss certain aspects of the combinatorial approach to the differential geometry of non-abelian gerbes, due to W. Messing and the author (arXiv:math.AG/0106083), and give a more direct derivation of the associated cocycle equations. This leads us to a more restrictive definition of the corresponding coboundary relations. We also show that the diagrammatic proofs of certain local curving and curvature equations may be replaced by computations with differential forms.

math.CT↗
arXiv2008

A report on "Regulators of canonical extension are torsion; the smooth divisor case"

In this note, we report on a work jointly done with C. Simpson on a generalization of Reznikov's theorem which says that the Chern-Simons classes and in particular the Deligne Chern classes (in degrees $> 1$) are torsion, of a flat vector bundle on a smooth complex projective variety. We consider the case of a smooth quasi--projective variety with an irreducible smooth divisor at infinity. We define the Chern-Simons classes of the Deligne's \textit{canonical extension} of a flat vector bundle with unipotent monodromy at infinity, which lift the Deligne Chern classes and prove that these classes are torsion. The details of the proof can be found in arxiv:0707.0372 [math.AG].

math.AG↗
arXiv2008

Prym-Tyurin varieties using self-products of groups

Given Prym-Tyurin varieties of exponent $q$ with respect to a finite group $G$, a subgroup $H$ and a set of rational irreducible representations of $G$ satisfying some additional properties, we construct a Prym-Tyurin variety of exponent $[G:H]q$ in a natural way. We study an example of this result, starting from the dihedral group $\mathbf{D}_p$ for any odd prime $p$. This generalizes the construction of arXiv:math/0412103v2[math.AG] for $p=3$. Finally, we compute the isogeny decomposition of the Jacobian of the curve underlying the above mentioned example.

math.AG↗
arXiv2011

Frobenius Amplitude, Ultraproducts, and Vanishing on Singular Spaces

When X is a singular complex projective variety, we prove a Kodaira type vanishing theorem generalizing results of Navarro Aznar and others. This is proved by extending the Deligne-Illusie decomposition to the Du Bois complex. We also give a new definition of Frobenius amplitude (introduced in math.AG/0202129) using ultraproducts.

math.AG↗