BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Lea Terracini

Lea Terracini appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.AGmath.ACmath.NT

Catalog footprint

What is connected

11works
3topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2022arXiv

Large Algebraic Integers

An algebraic integer is said large if all its real or complex embeddings have absolute value larger than $1$. An integral ideal is said \emph{large} if it admits a large generator. We investigate the notion of largeness, relating it to some arithmetic invariants of the field involved, such as the regulator and the covering radius of the lattice of units. We also study its connection with the Weil height and the Bogomolov property. We provide an algorithm for testing largeness and give some applications to the construction of floor functions arising in the theory of continued fractions.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Quaternionic $p$-adic continued fractions

We develop a theory of $p$-adic continued fractions for a quaternion algebra $B$ over $\mathbb Q$ ramified at a rational prime $p$. Many properties holding in the commutative case can be proven also in this setting. In particular, we focus our attention on the characterization of elements having a finite continued fraction expansion. By means of a suitable notion of quaternionic height, we prove a criterion for finiteness. Furthermore, we draw some consequences about the solutions of a family of quadratic polynomial equations with coefficients in $B$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Fibration and classification of smooth projective toric varieties of low Picard number

In this paper we show that a smooth toric variety $X$ of Picard number $r\leq 3$ always admits a nef primitive collection supported on a hyperplane admitting non-trivial intersection with the cone $\Nef(X)$ of numerically effective divisors and cutting a facet of the pseudo-effective cone $\Eff(X)$, that is $\Nef(X)\cap\partial\overline{\Eff}(X)\neq\{0\}$. In particular this means that $X$ admits non-trivial and non-big numerically effective divisors. Geometrically this guarantees the existence of a fiber type contraction morphism over a smooth toric variety of dimension and Picard number lower than those of $X$, so giving rise to a classification of smooth and complete toric varieties with $r\leq 3$. Moreover we revise and improve results of Oda-Miyake by exhibiting an extension of the above result to projective, toric, varieties of dimension $n=3$ and Picard number $r=4$, allowing us to classifying all these threefolds. We then improve results of Fujino-Sato, by presenting sharp (counter)examples of smooth, projective, toric varieties of any dimension $n\geq4$ and Picard number $r=4$ whose non-trivial nef divisors are big, that is $\Nef(X)\cap\partial\overline{\Eff}(X)=\{0\}$. Producing those examples represents an important goal of computational techniques in definitely setting an open geometric problem. In particular, for $n=4$, the given example turns out to be a weak Fano toric fourfold of Picard number 4.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Toric varieties and Gröbner bases: the complete Q-factorial case

We present two algorithms determining all the complete and simplicial fans admitting a fixed non-degenerate set of vectors $V$ as generators of their 1-skeleton. The interplay of the two algorithms allows us to discerning if the associated toric varieties admit a projective embedding, in principle for any values of dimension and Picard number. The first algorithm is slower than the second one, but it computes all complete and simplicial fans supported by $V$ and lead us to formulate a topological-combinatoric conjecture about the definition of a fan. On the other hand, we adapt the Sturmfels' arguments on the Gröbner fan of toric ideals to our complete case; we give a characterization of the Gröbner region and show an explicit correspondence between Gröbner cones and chambers of the secondary fan. A homogenization procedure of the toric ideal associated to $V$ allows us to employing GFAN and related software in producing our second algorithm. The latter turns out to be much faster than the former, although it can compute only the projective fans supported by $V$. We provide examples and a list of open problems. In particular we give examples of rationally parametrized families of $\Q$-factorial complete toric varieties behaving in opposite way with respect to the dimensional jump of the nef cone over a special fibre.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Embedding the Picard group inside the class group: the case of $\Q$-factorial complete toric varieties

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

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Weighted Projective Spaces from the toric point of view with computational applications

The purpose of the present paper is threefold. First: giving a treatise on weighted projective spaces by the toric point of view. Second: providing characterizations of fans and polytopes giving weighted projective spaces, with particular focus on a kind of \emph{recognition process} of toric data like fans and polytopes. Third: building a mathematical framework for the algorithmic and computational approach to wps's realized in [23,24].

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Computational procedures for weighted projective spaces

This is a pdf print of the homonymous Maple file, freely available at http://www.maplesoft.com/applications/view.aspx?SID=127621, providing procedures which are able to produce the toric data associated with a (polarized) weighted projective space i.e. fans, polytopes and their equivalences. More originally it provides procedures which are able to detect a weights vector Q starting from either a fan or a polytope: we will call this process the recognition of a (polarized) weighted projective space. Moreover it gives procedures connecting polytopes of a polarized weighted projective space with an associated fan and viceversa.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Ideals with an assigned initial ideal

The stratum St(J,<) (the homogeneous stratum Sth(J,<) respectively) of a monomial ideal J in a polynomial ring R is the family of all (homogeneous) ideals of R whose initial ideal with respect to the term order < is J. St(J,<) and Sth(J,<) have a natural structure of affine schemes. Moreover they are homogeneous w.r.t. a non-standard grading called level. This property allows us to draw consequences that are interesting from both a theoretical and a computational point of view. For instance a smooth stratum is always isomorphic to an affine space (Corollary 3.6). As applications, in Sec. 5 we prove that strata and homogeneous strata w.r.t. any term ordering < of every saturated Lex-segment ideal J are smooth. For Sth(J,Lex) we also give a formula for the dimension. In the same way in Sec. 6 we consider any ideal R in k[x0,..., xn] generated by a saturated RevLex-segment ideal in k[x,y,z]. We also prove that Sth(R,RevLex) is smooth and give a formula for its dimension.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Towards an analogue of Ihara's lemma for Shimura curves

The object of this work is to present the status of art of an open problem: to provide an analogue for Shimura curves of the Ihara's lemma \cite{Ihara73} which holds for modular curves. We will describe our direct result towards the "Problem of Ihara" and we will present some possible approaches to it, giving a formulation of our conjecture in terms of congruence subgroup problem for quaternion algebras. Since some modular forms can be reinterpreted as elements of the cohomology of Shimura curves, we will describe a consequence of the "Problem of Ihara" about congruence modules of modular forms and a consequence of it about the problem of raising the level of modular forms.

0 citations0 reviewsNo code linkedOpen access