Displaying 321 – 340 of 388

Showing per page

Expansions of subfields of the real field by a discrete set

Philipp Hieronymi (2011)

Fundamenta Mathematicae

Let K be a subfield of the real field, D ⊆ K be a discrete set and f: Dⁿ → K be such that f(Dⁿ) is somewhere dense. Then (K,f) defines ℤ. We present several applications of this result. We show that K expanded by predicates for different cyclic multiplicative subgroups defines ℤ. Moreover, we prove that every definably complete expansion of a subfield of the real field satisfies an analogue of the Baire category theorem.

Explicit birational geometry of threefolds of general type, I

Jungkai A. Chen, Meng Chen (2010)

Annales scientifiques de l'École Normale Supérieure

Let V be a complex nonsingular projective 3-fold of general type. We prove P 12 ( V ) : = dim H 0 ( V , 12 K V ) > 0 and P m 0 ( V ) > 1 for some positive integer m 0 24 . A direct consequence is the birationality of the pluricanonical map ϕ m for all m 126 . Besides, the canonical volume Vol ( V ) has a universal lower bound ν ( 3 ) 1 63 · 126 2 .

Explicit bounds for split reductions of simple abelian varieties

Jeffrey D. Achter (2012)

Journal de Théorie des Nombres de Bordeaux

Let X / K be an absolutely simple abelian variety over a number field; we study whether the reductions X 𝔭 tend to be simple, too. We show that if End ( X ) is a definite quaternion algebra, then the reduction X 𝔭 is geometrically isogenous to the self-product of an absolutely simple abelian variety for 𝔭 in a set of positive density, while if X is of Mumford type, then X 𝔭 is simple for almost all 𝔭 . For a large class of abelian varieties with commutative absolute endomorphism ring, we give an explicit upper bound...

Explicit bounds for the Łojasiewicz exponent in the gradient inequality for polynomials

Didier D'Acunto, Krzysztof Kurdyka (2005)

Annales Polonici Mathematici

Let f: ℝⁿ → ℝ be a polynomial function of degree d with f(0) = 0 and ∇f(0) = 0. Łojasiewicz’s gradient inequality states that there exist C > 0 and ϱ ∈ (0,1) such that | f | C | f | ϱ in a neighbourhood of the origin. We prove that the smallest such exponent ϱ is not greater than 1 - R ( n , d ) - 1 with R ( n , d ) = d ( 3 d - 3 ) n - 1 .

Explicit cogenerators for the homotopy category of projective modules over a ring

Amnon Neeman (2011)

Annales scientifiques de l'École Normale Supérieure

Let R be a ring. In two previous articles [12, 14] we studied the homotopy category 𝐊 ( R - Proj ) of projective R -modules. We produced a set of generators for this category, proved that the category is 1 -compactly generated for any ring R , and showed that it need not always be compactly generated, but is for sufficiently nice R . We furthermore analyzed the inclusion j ! : 𝐊 ( R - Proj ) 𝐊 ( R - Flat ) and the orthogonal subcategory 𝒮 = 𝐊 ( R - Proj ) . And we even showed that the inclusion 𝒮 𝐊 ( R - Flat ) has a right adjoint; this forces some natural map to be an equivalence...

Explicit models for perserse sheaves.

Félix Gudiel Rodríguez, Luis Narváez Macarro (2003)

Revista Matemática Iberoamericana

We consider categories of generalized perverse sheaves, with relaxed constructibility conditions, by means of the process of gluing t-structures and we exhibit explicit abelian categories defined in terms of standard sheaves categories which are equivalent to the former ones. In particular , we are able to realize perverse sheaves categories as non full abelian subcategories of the usual bounded complexes of sheaves categories. Our methods use induction on perversities. In this paper, we restrict...

Explicit moduli for curves of genus 2 with real multiplication by ℚ(√5)

John Wilson (2000)

Acta Arithmetica

1. Motivation. Let J₀(N) denote the Jacobian of the modular curve X₀(N) parametrizing pairs of N-isogenous elliptic curves. The simple factors of J₀(N) have real multiplication, that is to say that the endomorphism ring of a simple factor A contains an order in a totally real number field of degree dim A. We shall sometimes abbreviate "real multiplication" to "RM" and say that A has maximal RM by the totally real field F if A has an action of the full ring of integers of F. We say that a...

Currently displaying 321 – 340 of 388