scholarly journals Embedding the Picard group inside the class group: the case of $$\mathbb {Q}$$-factorial complete toric varieties

2021 ◽  
Author(s):  
Michele Rossi ◽  
Lea Terracini
Keyword(s):  
Free Group ◽  
Toric Variety ◽  
Class Group ◽  
Abelian Groups ◽  
Toric Varieties ◽  
Picard Group ◽  
Closed Field ◽  
Finitely Generated ◽  
Free Part ◽  
Canonical Injection

AbstractLet X be a $$\mathbb {Q}$$ Q -factorial complete toric variety over an algebraic closed field of characteristic 0. There is a canonical injection of the Picard group $$\mathrm{Pic}(X)$$ Pic ( X ) in the group $$\mathrm{Cl}(X)$$ Cl ( X ) of classes of Weil divisors. These two groups are finitely generated abelian groups; while the first one is a free group, the second one may have torsion. We investigate algebraic and geometrical conditions under which the image of $$\mathrm{Pic}(X)$$ Pic ( X ) in $$\mathrm{Cl}(X)$$ Cl ( X ) is contained in a free part of the latter group.

scholarly journals Rings of differential operators on toric varieties

1994 ◽  
Vol 37 (1) ◽  
pp. 143-160 ◽  
Author(s):  
A. G. Jones
Keyword(s):  
Line Bundle ◽  
Toric Variety ◽  
Characteristic Zero ◽  
Differential Operators ◽  
Toric Varieties ◽  
Closed Field ◽  
Finitely Generated ◽  
Algebraically Closed Field ◽  
Finite Dimensional ◽  
Rings Of Differential Operators

Let be a finite dimensional toric variety over an algebraically closed field of characteristic zero, k. Let be the sheaf of differential operators on . We show that the ring of global sections, is a finitely generated Noetherian k-algebra and that its generators can be explicitly found. We prove a similar result for the sheaf of differential operators with coefficients in a line bundle.

scholarly journals On the Hodge conjecture for quasi-smooth intersections in toric varieties

2021 ◽  
Author(s):  
Ugo Bruzzo ◽  
William Montoya
Keyword(s):  
Complete Intersection ◽  
Toric Variety ◽  
Toric Varieties ◽  
Picard Group ◽  
Hodge Conjecture ◽  
Smooth Hypersurface ◽  
Suitable Notion

AbstractWe establish the Hodge conjecture for some subvarieties of a class of toric varieties. First we study quasi-smooth intersections in a projective simplicial toric variety, which is a suitable notion to generalize smooth complete intersection subvarieties in the toric environment, and in particular quasi-smooth hypersurfaces. We show that under appropriate conditions, the Hodge conjecture holds for a very general quasi-smooth intersection subvariety, generalizing the work on quasi-smooth hypersurfaces of the first author and Grassi in Bruzzo and Grassi (Commun Anal Geom 28: 1773–1786, 2020). We also show that the Hodge Conjecture holds asymptotically for suitable quasi-smooth hypersurface in the Noether–Lefschetz locus, where “asymptotically” means that the degree of the hypersurface is big enough, under the assumption that the ambient variety $${{\mathbb {P}}}_\Sigma ^{2k+1}$$ P Σ 2 k + 1 has Picard group $${\mathbb {Z}}$$ Z . This extends to a class of toric varieties Otwinowska’s result in Otwinowska (J Alg Geom 12: 307–320, 2003).

scholarly journals A NOTE ON NIELSEN EQUIVALENCE IN FINITELY GENERATED ABELIAN GROUPS

2011 ◽  
Vol 84 (1) ◽  
pp. 127-136 ◽  
Author(s):  
DANIEL OANCEA
Keyword(s):  
Abelian Group ◽  
Equivalence Class ◽  
Free Group ◽  
Free Abelian Group ◽  
Abelian Groups ◽  
Finitely Generated ◽  
Finite Abelian Groups ◽  
Arbitrary Rank ◽  
Generating Sets

AbstractNielsen transformations determine the automorphisms of a free group of rank n, and also of a free abelian group of rank n, and furthermore the generating n-tuples of such groups form a single Nielsen equivalence class. For an arbitrary rank n group, the generating n-tuples may fall into several Nielsen classes. Diaconis and Graham [‘The graph of generating sets of an abelian group’, Colloq. Math.80 (1999), 31–38] determined the Nielsen classes for finite abelian groups. We extend their result to the case of infinite abelian groups.

scholarly journals Torsion-free Abelian groups torsion over their endomorphism rings

1994 ◽  
Vol 50 (2) ◽  
pp. 177-195 ◽  
Author(s):  
Theodore G. Faticoni
Keyword(s):  
Free Group ◽  
Maximal Ideal ◽  
Integral Domain ◽  
Abelian Groups ◽  
Finitely Generated ◽  
Endomorphism Rings ◽  
Torsion Free Group ◽  
Free Abelian Groups ◽  
Finitely Presented ◽  
Torsion Free

We use a variation on a construction due to Corner 1965 to construct (Abelian) groups A that are torsion as modules over the ring End (A) of group endomorphisms of A. Some applications include the failure of the Baer-Kaplansky Theorem for Z[X]. There is a countable reduced torsion-free group A such that IA = A for each maximal ideal I in the countable commutative Noetherian integral domain, End (A). Also, there is a countable integral domain R and a countable. R-module A such that (1) R = End(A), (2) T0 ⊗RA ≠ 0 for each nonzero finitely generated (respectively finitely presented) R-module T0, but (3) T ⊗RA = 0 for some nonzero (respectively nonzero finitely generated). R-module T.

scholarly journals Codimension bounds for the Noether–Lefschetz components for toric varieties

2021 ◽  
Author(s):  
Ugo Bruzzo ◽  
William D. Montoya
Keyword(s):  
Irreducible Component ◽  
Toric Variety ◽  
Toric Varieties ◽  
Ample Divisor ◽  
Smooth Hypersurface

AbstractFor a quasi-smooth hypersurface X in a projective simplicial toric variety $$\mathbb {P}_{\Sigma }$$ P Σ , the morphism $$i^*:H^p(\mathbb {P}_{\Sigma })\rightarrow H^p(X)$$ i ∗ : H p ( P Σ ) → H p ( X ) induced by the inclusion is injective for $$p=\dim X$$ p = dim X and an isomorphism for $$p<\dim X-1$$ p < dim X - 1 . This allows one to define the Noether–Lefschetz locus $$\mathrm{NL}_{\beta }$$ NL β as the locus of quasi-smooth hypersurfaces of degree $$\beta $$ β such that $$i^*$$ i ∗ acting on the middle algebraic cohomology is not an isomorphism. We prove that, under some assumptions, if $$\dim \mathbb {P}_{\Sigma }=2k+1$$ dim P Σ = 2 k + 1 and $$k\beta -\beta _0=n\eta $$ k β - β 0 = n η , $$n\in \mathbb {N}$$ n ∈ N , where $$\eta $$ η is the class of a 0-regular ample divisor, and $$\beta _0$$ β 0 is the anticanonical class, every irreducible component V of the Noether–Lefschetz locus quasi-smooth hypersurfaces of degree $$\beta $$ β satisfies the bounds $$n+1\leqslant \mathrm{codim}\,Z \leqslant h^{k-1,\,k+1}(X)$$ n + 1 ⩽ codim Z ⩽ h k - 1 , k + 1 ( X ) .

Infinitely presented permutation stable groups and invariant random subgroups of metabelian groups

2021 ◽  
pp. 1-36
Author(s):  
ARIE LEVIT ◽  
ALEXANDER LUBOTZKY
Keyword(s):  
Ergodic Theorem ◽  
Abelian Groups ◽  
Wreath Products ◽  
Finitely Generated ◽  
Metabelian Groups ◽  
Amenable Groups ◽  
Pointwise Ergodic Theorem ◽  
Lamplighter Group ◽  
Invariant Random Subgroups

Abstract We prove that all invariant random subgroups of the lamplighter group L are co-sofic. It follows that L is permutation stable, providing an example of an infinitely presented such group. Our proof applies more generally to all permutational wreath products of finitely generated abelian groups. We rely on the pointwise ergodic theorem for amenable groups.

scholarly journals ABELIAN GROUPS WITH A p2-BOUNDED SUBGROUP, REVISITED

2011 ◽  
Vol 10 (03) ◽  
pp. 377-389
Author(s):  
CARLA PETRORO ◽  
MARKUS SCHMIDMEIER
Keyword(s):  
Abelian Group ◽  
Prime Number ◽  
Maximal Ideal ◽  
Abelian Groups ◽  
Finitely Generated ◽  
Uniserial Ring

Let Λ be a commutative local uniserial ring of length n, p be a generator of the maximal ideal, and k be the radical factor field. The pairs (B, A) where B is a finitely generated Λ-module and A ⊆B a submodule of B such that pmA = 0 form the objects in the category [Formula: see text]. We show that in case m = 2 the categories [Formula: see text] are in fact quite similar to each other: If also Δ is a commutative local uniserial ring of length n and with radical factor field k, then the categories [Formula: see text] and [Formula: see text] are equivalent for certain nilpotent categorical ideals [Formula: see text] and [Formula: see text]. As an application, we recover the known classification of all pairs (B, A) where B is a finitely generated abelian group and A ⊆ B a subgroup of B which is p2-bounded for a given prime number p.

scholarly journals NORMAL DOMAINS WITH MONOMIAL PRESENTATIONS

2009 ◽  
Vol 19 (03) ◽  
pp. 287-303 ◽  
Author(s):  
ISABEL GOFFA ◽  
ERIC JESPERS ◽  
JAN OKNIŃSKI
Keyword(s):  
Commutative Algebra ◽  
Class Group ◽  
Semigroup Algebra ◽  
Closed Domain ◽  
Finitely Generated ◽  
Defining Relations ◽  
Integrally Closed ◽  
Algebra Over A Field

Let A be a finitely generated commutative algebra over a field K with a presentation A = K 〈X1,…, Xn | R〉, where R is a set of monomial relations in the generators X1,…, Xn. So A = K[S], the semigroup algebra of the monoid S = 〈X1,…, Xn | R〉. We characterize, purely in terms of the defining relations, when A is an integrally closed domain, provided R contains at most two relations. Also the class group of such algebras A is calculated.

scholarly journals The free group on n generators modulo n + u random relations as n goes to infinity

2020 ◽  
Vol 2020 (762) ◽  
pp. 123-166
Author(s):  
Yuan Liu ◽  
Melanie Matchett Wood
Keyword(s):  
Free Group ◽  
Abelian Groups ◽  
Random Group ◽  
Random Groups

AbstractWe show that, as n goes to infinity, the free group on n generators, modulo {n+u} random relations, converges to a random group that we give explicitly. This random group is a non-abelian version of the random abelian groups that feature in the Cohen–Lenstra heuristics. For each n, these random groups belong to the few relator model in the Gromov model of random groups.

ALGEBRO-GEOMETRIC INVARIANTS OF GROUPS (THE DIMENSION SEQUENCE OF A REPRESENTATION VARIETY)

2011 ◽  
Vol 21 (04) ◽  
pp. 595-614 ◽  
Author(s):  
S. LIRIANO ◽  
S. MAJEWICZ
Keyword(s):  
Algebraic Group ◽  
Free Group ◽  
Algebraic Variety ◽  
Commutator Subgroup ◽  
Finitely Generated ◽  
Finitely Generated Group ◽  
Geometric Invariants ◽  
Torus Knot ◽  
Irreducible Components ◽  
Irreducible Variety

If G is a finitely generated group and A is an algebraic group, then RA(G) = Hom (G, A) is an algebraic variety. Define the "dimension sequence" of G over A as Pd(RA(G)) = (Nd(RA(G)), …, N0(RA(G))), where Ni(RA(G)) is the number of irreducible components of RA(G) of dimension i (0 ≤ i ≤ d) and d = Dim (RA(G)). We use this invariant in the study of groups and deduce various results. For instance, we prove the following: Theorem A.Let w be a nontrivial word in the commutator subgroup ofFn = 〈x1, …, xn〉, and letG = 〈x1, …, xn; w = 1〉. IfRSL(2, ℂ)(G)is an irreducible variety andV-1 = {ρ | ρ ∈ RSL(2, ℂ)(Fn), ρ(w) = -I} ≠ ∅, thenPd(RSL(2, ℂ)(G)) ≠ Pd(RPSL(2, ℂ)(G)). Theorem B.Let w be a nontrivial word in the free group on{x1, …, xn}with even exponent sum on each generator and exponent sum not equal to zero on at least one generator. SupposeG = 〈x1, …, xn; w = 1〉. IfRSL(2, ℂ)(G)is an irreducible variety, thenPd(RSL(2, ℂ)(G)) ≠ Pd(RPSL(2, ℂ)(G)). We also show that if G = 〈x1, . ., xn, y; W = yp〉, where p ≥ 1 and W is a word in Fn = 〈x1, …, xn〉, and A = PSL(2, ℂ), then Dim (RA(G)) = Max {3n, Dim (RA(G′)) +2 } ≤ 3n + 1 for G′ = 〈x1, …, xn; W = 1〉. Another one of our results is that if G is a torus knot group with presentation 〈x, y; xp = yt〉 then Pd(RSL(2, ℂ)(G))≠Pd(RPSL(2, ℂ)(G)).

Sign in / Sign up

Export Citation Format

Share Document