Volume 3 (2003), Number 1. Abstracts

A. Bondal, M. Van den Bergh. Generators and Representability of Functors in Commutative and Noncommutative Geometry [PDF]

We give a sufficient condition for an Ext-finite triangulated category to be saturated. Saturatedness means that every contravariant cohomological functor of finite type to vector spaces is representable. The condition consists in the existence of a strong generator. We prove that the bounded derived categories of coherent sheaves on smooth proper commutative and noncommutative varieties have strong generators, and are hence saturated. In contrast, the similar category for a smooth compact analytic surface with no curves is not saturated.

Keywords. Saturation, generators, representability, triangulated categories.

2000 Mathematics Subject Classification. Primary 18E30.

P. Etingof, S. Gelaki. The Classification of Finite-Dimensional Triangular Hopf Algebras over an Algebraically Closed Field of Characteristic 0 [PDF]

We explain that a new theorem of Deligne on symmetric tensor categories [De2] implies, in a straightforward manner, that any finite dimensional triangular Hopf algebra over an algebraically closed field of characteristic zero has the Chevalley property, and in particular the list of finite dimensional triangular Hopf algebras over such a field, given in [AEG], [EG3], is complete. We also use Deligne's theorem to settle a number of questions about triangular Hopf algebras, raised in our previous publications, and generalize Deligne's result to nondegenerate semisimple categories in positive characteristic p, by using the lifting methods developed in [ENO].

Keywords. Triangular Hopf algebras, finite supergroups.

2000 Mathematics Subject Classification. 16W30.

B. Helffer, T. Hoffmann-Ostenhof, N. Nadirashvili. Periodic Schrödinger Operators and Aharonov—Bohm Hamiltonians [PDF]

Let H=−Δ+V be a two-dimensional Schröodinger operator defined on a domain Ω⊂R2 with Dirichlet boundary conditions. Suppose that H and Ω are invariant with respect to translations in the x1 direction, so that V(x1,x2)=V(x1+1, x2); suppose in addition that V(x1, x2)=V(−x1, x2) and that (x1,x2)∈Ω implies (x1+1,x2)∈Ω and (−x1,x2)∈Ω. We investigate the associated Floquet operator H(q), 0≤q<1. In particular, we show that the lowest eigenvalue λq is simple for q≠1/2 and strictly increasing in q for 0<q<1/2 and that the associated complex-valued eigenfunction uq has empty zero set.

For the Dirichlet realization of the Aharonov—Bohm Hamiltonian in an annulus-like domain with an axis of symmetry,

 HA,V = (i ∂x1 + A1)2 + (i ∂x2 + A2)2 + V,
we obtain similar results, where the parameter q is replaced by the 1/2π-flux through the hole, under the assumption that the magnetic field curl A vanishes identically.

Keywords. Schröodinger operator, magnetic field, eigenvalues.

2000 Mathematics Subject Classification. 35B05.

G. Laptev. Non-Existence of Global Solutions for Higher-Order Evolution Inequalities in Unbounded Cone-Like Domains [PDF]

We use the test function method developed by Mitidieri and Pohozaev to get a priori estimates and non-existence results for semi-linear higher-order evolution inequalities'' in unbounded cone-like domains. As a model we consider the problem in a cone K with the positive initial-boundary conditions

 ∂ku ∂tk −Δu ≥ |u|q,   k=1,2,...;   u |∂ K×[0,∞) ≥ 0, ∂k-1u ∂tk-1 |t=0 ≥ 0,
where Δ denotes the Laplace operator.

Keywords. Blow-up, partial differential inequalities, non-existence cone, cone-like domain.

2000 Mathematics Subject Classification. Primary 35G25; Secondary 35R45, 35K55, 35L70.

M. Larsen, V. Lunts. Motivic Measures and Stable Birational Geometry [PDF]

We study the motivic Grothendieck group of algebraic varieties from the point of view of stable birational geometry. In particular, we obtain a counterexample to a conjecture of M. Kapranov on the rationality of motivic zeta-functions.

Keywords. Grothendieck group, motivic zeta-function, stable birational equivalence.

2000 Mathematics Subject Classification. Primary: 14F42, 14E05.

A. Odesskii. Set-Theoretical Solutions to the Yang—Baxter Relation from Factorization of Matrix Polynomials and θ-Functions [PDF]

New set-theoretical solutions to the Yang—Baxter Relation are constructed. These solutions arise from the decompositions in different order'' of matrix polynomials and θ-functions. We also construct a local action of the symmetric group'' in these cases, generalizations of the action of the symmetric group SN given by the set-theoretical solution.

Keywords. Yang—Baxter relation, set-theoretical solution, local action of the symmetric group, matrix polynomials, matrix θ-functions.

2000 Mathematics Subject Classification. Primary: 81R50.

A. Polishchuk. Triple Massey Products on Curves, Fay's Trisecant Identity and Tangents to the Canonical Embedding [PDF]

We show that Fay's trisecant identity follows from the A-constraint satisfied by certain triple Massey products in the derived category of coherent sheaves on a curve. We also deduce the matrix analogue of this identity that can be conveniently formulated using quasideterminants of matrices with noncommuting entries. On the other hand, looking at more special Massey products, we derive a formula for the tangent line to a canonically embedded curve at a given point.

Keywords. Massey products, theta functions, quasideterminant.

2000 Mathematics Subject Classification. Primary 14H42; Secondary 15A15.

J. Rebelo, R. Silva. The Multiple Ergodicity of Nondiscrete Subgroups of Diffω (S1) [PDF]

We deal with nondiscrete subgroups of Diffω (S1), the group of orientation-preserving analytic diffeomorphisms of the circle. If Γ is such a group, we consider its natural diagonal action ˜Γ on the n-dimensional torus Tn. A complete characterization of those groups Γ whose corresponding ˜Γ-action on Tn is not piecewise ergodic (see Introduction) for all nN is obtained (see Theorem A). Theorem A can also be interpreted as an extension of Lie's classification of Lie algebras on S1 to general nondiscrete subgroups of S1.

Keywords. Diagonal action, ergodicity, vector fields.

2000 Mathematics Subject Classification. 58F11, 22E65.

S. Ryom-Hansen. A q-Analogue of Kempf's Vanishing Theorem [PDF]

We use deep properties of Kashiwara's crystal basis to show that the induction functor Hk0(−) introduced by Andersen, Polo and Wen satisfies an analogon of Kempf's vanishing theorem for k a field.

Keywords. Kempf Vanishing, Quantum groups, crystal basis, Hk0(−), Demazure modules.

2000 Mathematics Subject Classification. 17B37, 20G42.

B. Saussol, S. Troubetzkoy, S. Vaienti. Recurrence and Lyapunov Exponents [PDF]

We prove two inequalities between the Lyapunov exponents of a diffeomorphism and some characteristics of its local recurrence properties. We give examples of linear hyperbolic maps of the torus showing that each of the inequalities is optimal.

Keywords. Return time, Lyapunov exponents.

2000 Mathematics Subject Classification. Primary: 37B20; Secondary: 37C45.

V. Vologodsky. Hodge Structure on the Fundamental Group and its Application to p-Adic Integration [PDF]

We study the unipotent completion ΠdRun(x0, x1, XK) of the de Rham fundamental groupoid of a smooth algebraic variety over a local non-Archimedean field K of characteristic 0. We show that the vector space ΠdRun(x0, x1, XK) carries a certain additional structure. That is a Qurp-space Πun(x0, x1, XK) equipped with a σ-semi-linear operator φ, a linear operator N satisfying the relation Nφ = pφN, and a weight filtration W together with a canonical isomorphism ΠdRun(x0, x1, XK)⊗ K \overline K Πun(x0, x1, XK) ⊗ Qurp \overline K. We prove that an analogue of the monodromy conjecture holds for Πun(x0, x1, XK).

As an application, we show that the vector space ΠdRun(x0, x1, XK) possesses a distinguished element. In other words, given a vector bundle E on XK\$ together with a unipotent integrable connection, we have a canonical isomorphism Ex0 Ex1 between the fibres. This construction is a generalisation of Colmez's p-adic integration (rk E=2) and Coleman's p-adic iterated integrals (XK is a curve with good reduction).

In the second part, we prove that, for a smooth variety XK0 over an unramified extension of Qp with good reduction and r ≤ (p−1)/2, there is a canonical isomorphism ΠdRr(x0, x1, XK0) ⊗ BdR Πetr(x0, x1, X\overline K0) ⊗ BdR compatible with the action of the Galois group (ΠdRr(x0, x1, XK0) stands for the level r quotient of ΠdRun(x0, x1, XK)). In particular, this implies the crystalline conjecture for the fundamental group (for r ≤ (p−1)/2).

Keywords. Crystalline cohomology, Hodge structure, p-adic integration.

2000 Mathematics Subject Classification. Primary 14D10, 11G25; Secondary 14D07.

R. Yuncken. Regular Tessellations of the Hyperbolic Plane by Fundamental Domains of a Fuchsian Group [PDF]

For positive integers p and q with 1/p+1/q<1/2, a tessellation of type {p,q} is a tessellation of the hyperbolic plane by regular p-gons with q p-gons meeting at each vertex. In this paper, a necessary and sufficient condition on the integers p and q is established to determine when a tessellation of type {p,q} can be realized as a tessellation of the hyperbolic plane by fundamental domains of some Fuchsian group. Specifically, a tessellation of type {p,q} is a tessellation by fundamental domains if and only if q has a prime divisor less than or equal to p.

Keywords. Fuchsian group, regular tessellation, hyperbolic plane, fundamental domain.

2000 Mathematics Subject Classification. 20H10.

 Moscow Mathematical Journal is distributed by the American Mathematical Society for the Independent University of Moscow Online ISSN 1609-4514 © 2003, Independent University of Moscow Comments:mmj@mccme.ru